Publications related to ElimLin Algorithm Revisited

Multi space reduced basis preconditioners for parametrized partial differential equations

The multiquery solution of parametric partial differential equations (PDEs), that is, PDEs depending on a vector of parameters, is computationally challenging and appears in several engineering contexts, such as PDE-constrained optimization, uncertainty qu ...

EPFL2018

Multi space reduced basis preconditioners for large-scale parametrized PDEs

Alfio Quarteroni, Simone Deparis, Andrea Manzoni, Niccolò Dal Santo

In this work we introduce a new two-level preconditioner for the efficient solution of large-scale linear systems arising from the discretization of parametrized PDEs. The proposed preconditioner combines in a multiplicative way a reduced basis solver, whi ...

2018

Shape Projectors for Landmark-Based Spline Curves

Michaël Unser, Daniel Andreas Schmitter

We present a generic method to construct orthogonal projectors for two-dimensional landmark-based parametric spline curves. We construct vector spaces that define a geometric transformation (e.g., affine, similarity, and scaling) that is applied to a refer ...

2017

Structure preserving model reduction of parametric Hamiltonian systems

Jan Sickmann Hesthaven, Babak Maboudi Afkham

While reduced-order models (ROMs) are popular for approximately solving large systems of differential equations, the stability of reduced models over long-time integration remains an open question. We present a greedy approach for ROM generation of paramet ...

2017

Formal Verification of Integer Multipliers by Combining Gröbner Basis with Logic Reduction

Mathias Soeken

Formal verification utilizing symbolic computer algebra has demonstrated the ability to formally verify large Galois field arithmetic circuits and basic architectures of integer arithmetic circuits. The technique models the circuit as Gröbner basis polynom ...

IEEE2016

A New Identity for the Least-square Solution of Overdetermined Set of Linear Equations

Afsaneh Asaei, Mohammadjavad Taghizadeh, Saeid Haghighatshoar

In this paper, we prove a new identity for the least-square solution of an over-determined set of linear equation

Ax=b

, where

A

is an

m\times n

full-rank matrix,

b

is a column-vector of dimension

m

, and

m

(the number of equations) is larger tha ...

2015

A New Identity for the Least-square Solution of Overdetermined Set of Linear Equations

Afsaneh Asaei, Mohammadjavad Taghizadeh, Saeid Haghighatshoar

In this paper, we prove a new identity for the least-square solution of an over-determined set of linear equation

Ax=b

, where

A

is an

m\times n

full-rank matrix,

b

is a column-vector of dimension

m

, and

m

(the number of equations) is larger tha ...

Idiap2015

Method to determine the distribution of temperature sensors

Martin Vetterli, David Atienza Alonso, Juri Ranieri, Amina Chebira, Alessandro Vincenzi

Apparatus comprising M sensors for measuring the temperature on M locations of the apparatus and an estimator configured to estimate a temperature vector of the apparatus with N temperature variables, whereby the estimator is configured to approximate the ...

2014

Nonlinear Analysis of a Coaxial Microhelicopter with a Bell Stabilizer Bar

Philippe Müllhaupt, Basile Graf

Nonlinear modeling of coaxial microhelicopters is studied. All equations are derived using a Lagrangian approach and simplified aerodynamics assumptions so that all parameters have a physical meaning; there is no “black box.” The model is constructed with ...

Amer Helicopter Soc Inc2014

On The Image Of The Almost Strict Morse N-Category Under Almost Strict N-Functors

In an earlier work, we constructed the almost strict Morse n-category X which extends Cohen Sz Jones Sz Segal's flow category. In this article, we define two other almost strict n-categories V and W where V is based on homomorphisms between real vector spa ...

Mount Allison University2014

ElimLin Algorithm Revisited

Graph Chatbot

Chat with Graph Search

Multi space reduced basis preconditioners for parametrized partial differential equations

Multi space reduced basis preconditioners for large-scale parametrized PDEs

Shape Projectors for Landmark-Based Spline Curves

Structure preserving model reduction of parametric Hamiltonian systems

Formal Verification of Integer Multipliers by Combining Gröbner Basis with Logic Reduction

A New Identity for the Least-square Solution of Overdetermined Set of Linear Equations

A New Identity for the Least-square Solution of Overdetermined Set of Linear Equations

Method to determine the distribution of temperature sensors

Nonlinear Analysis of a Coaxial Microhelicopter with a Bell Stabilizer Bar

On The Image Of The Almost Strict Morse N-Category Under Almost Strict N-Functors

Shape Projectors for Landmark-Based Spline Curves

Formal Verification of Integer Multipliers by Combining Gröbner Basis with Logic Reduction

Multi space reduced basis preconditioners for parametrized partial differential equations

Structure preserving model reduction of parametric Hamiltonian systems

Multi space reduced basis preconditioners for large-scale parametrized PDEs

Nonlinear Analysis of a Coaxial Microhelicopter with a Bell Stabilizer Bar

On The Image Of The Almost Strict Morse N-Category Under Almost Strict N-Functors

A New Identity for the Least-square Solution of Overdetermined Set of Linear Equations

A New Identity for the Least-square Solution of Overdetermined Set of Linear Equations

Method to determine the distribution of temperature sensors