Publications related to Reconstructing the temporal dynamics of snow cover from observations

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

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 posteriori error estimation for partial differential equations with random input data

Diane Sylvie Guignard

This thesis is devoted to the derivation of error estimates for partial differential equations with random input data, with a focus on a posteriori error estimates which are the basis for adaptive strategies. Such procedures aim at obtaining an approximati ...

EPFL2016

A posteriori error estimations for elliptic partial differential equations with small uncertainties

Fabio Nobile, Marco Picasso, Diane Sylvie Guignard

In this article, a finite element error analysis is performed on a class of linear and nonlinear elliptic problems with small uncertain input. Using a perturbation approach, the exact (random) solution is expanded up to a certain order with respect to a pa ...

2016

Adaptive polynomial approximation by means of random discrete least squares

Giovanni Migliorati

We address adaptive multivariate polynomial approximation by means of the discrete least-squares method with random evaluations, to approximate in the L2 probability sense a smooth function depending on a random variable distributed according to a given pr ...

Springer2015

Data Reconciliation in Open Reaction Systems using the Concept of Extents

Dominique Bonvin, Julien Léo Billeter, Sriniketh Srinivasan

Kinetic models of chemical reaction systems are typically represented in terms of state variables, such as concentrations, temperature and partial pressures [1]. These state variables in turn depend on the underlying reactions, transfer phenomena, and tran ...

2015

The temporal patterns of disease severity and prevalence in schistosomiasis

Andrea Rinaldo, Lorenzo Mari, Marino Gatto

Schistosomiasis is one of the most widespread public health problems in the world. In this work, we introduce an eco-epidemiological model for its transmission and dynamics with the purpose of explaining both intra-and inter-annual fluctuations of disease ...

American Institute of Physics2015

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

MATHICSE Technical Report : A posteriori error estimations for elliptic partial differential equations with small uncertainties

Fabio Nobile, Marco Picasso, Diane Sylvie Guignard

In this paper, a finite element error analysis is performed on a class of linear and nonlinear elliptic problems with small uncertain input. Using a perturbation approach, the exact (random) solution is expanded up to a certain order with respect to a para ...

MATHICSE2014

Approximation of Quantities of Interest in Stochastic PDEs by the Random Discrete $L^2$ Projection on Polynomial Spaces

Fabio Nobile, Giovanni Migliorati, Erik Gustaf Bogislaw Von Schwerin

In this work we consider the random discrete

L^2

projection on polynomial spaces (hereafter RDP) for the approximation of scalar quantities of interest (QOIs) related to the solution of a partial differential equation model with random input parameters. ...

Siam Publications2013

Ramsey-type results for semi-algebraic relations

János Pach

A k-ary semi-algebraic relation E on R^d is a subset of R^{kd}, the set of k-tuples of points in R^d, which is determined by a finite number of polynomial equations and inequalities in kd real variables. The description complexity of such a relation is at ...

2013

Reconstructing the temporal dynamics of snow cover from observations

Graph Chatbot

Chat with Graph Search

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

A posteriori error estimation for partial differential equations with random input data

A posteriori error estimations for elliptic partial differential equations with small uncertainties

Adaptive polynomial approximation by means of random discrete least squares

Data Reconciliation in Open Reaction Systems using the Concept of Extents

The temporal patterns of disease severity and prevalence in schistosomiasis

Nonlinear Analysis of a Coaxial Microhelicopter with a Bell Stabilizer Bar

MATHICSE Technical Report : A posteriori error estimations for elliptic partial differential equations with small uncertainties

Approximation of Quantities of Interest in Stochastic PDEs by the Random Discrete $L^2$ Projection on Polynomial Spaces

Ramsey-type results for semi-algebraic relations

Data Reconciliation in Open Reaction Systems using the Concept of Extents

A posteriori error estimations for elliptic partial differential equations with small uncertainties

Nonlinear Analysis of a Coaxial Microhelicopter with a Bell Stabilizer Bar

Adaptive polynomial approximation by means of random discrete least squares

A posteriori error estimation for partial differential equations with random input data

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

Approximation of Quantities of Interest in Stochastic PDEs by the Random Discrete $L^2$ Projection on Polynomial Spaces

The temporal patterns of disease severity and prevalence in schistosomiasis

MATHICSE Technical Report : A posteriori error estimations for elliptic partial differential equations with small uncertainties

Ramsey-type results for semi-algebraic relations