Concept

Équation polynomiale

Publications associées (73)

Finite-element preconditioning of G-NI spectral methods

Several old and new finite-element preconditioners for nodal-based spectral discretizations of −laplace(u) = f in the domain

\Omega = (-1, 1)^d

(d = 2 or 3), with Dirichlet or Neumann boundary conditions, are considered and compared in terms of bothcondi ...

2009

Invariant generation for P-solvable loops with assignments

Laura Ildiko Kovacs

We discuss interesting properties of a general technique for inferring polynomial invariants for a subfamily of imperative loops, called the P-solvable loops, with assignments only. The approach combines algorithmic combinatorics, polynomial algebra and co ...

Springer-Verlag New York, Ms Ingrid Cunningham, 175 Fifth Ave, New York, Ny 10010 Usa2008

Groebner Basis Methods for Multichannel Sampling with Unknown Offsets

Martin Vetterli, Luciano Sbaiz, Patrick Vandewalle

In multichannel sampling, several sets of sub-Nyquist sampled signal values are acquired. The offsets between the sets are unknown, and have to be resolved, just like the parameters of the signal itself. This problem is nonlinear in the offsets, but linear ...

Elsevier2008

Aligator: A mathematica package for invariant generation

Laura Ildiko Kovacs

We describe the new software package Aligator for automatically inferring polynomial loop invariants, The package combines algorithms from symbolic summation and polynomial algebra with computational logic, and is applicable to the rich class of P-solvable ...

Springer-Verlag New York, Ms Ingrid Cunningham, 175 Fifth Ave, New York, Ny 10010 Usa2008

Reasoning algebraically about P-solvable loops

Laura Ildiko Kovacs

We present a method for generating polynomial invariants for a subfamily of imperative loops operating on numbers, called the P-solvable loops. The method uses algorithmic combinatorics and algebraic techniques. The approach is shown to be complete for som ...

Springer-Verlag New York, Ms Ingrid Cunningham, 175 Fifth Ave, New York, Ny 10010 Usa2008

Statistics of resonances in a semi-infinite disordered chain

Hervé Kunz

We study the average density of resonances (DOR) for a semi-infinite disordered chain, coupled to the outside world by a (semi-infinite) perfect lead. A set of equations is derived, which provides the general framework for calculating the average DOR, for ...

2008

Closed-form solutions to stochastic switching problems

Erwan Morellec

This paper studies the price of an asset depending on both a fundamental and possible interventions of an authority. Using the martingale approach in continuous time, we provide closed-form solutions to switching problems involving irreversible, state depe ...

2008

EEG source localization by multi-planar analytic sensing

Dimitri Nestor Alice Van De Ville, Thierry Blu, Clotaire Michel, Djano Kandaswamy

Source localization from EEG surface measurements is an important problem in neuro-imaging. We propose a new mathematical framework to estimate the parameters of a multidipole source model. To that aim, we perform 2-D analytic sensing in multiple planes. T ...

Ieee Service Center, 445 Hoes Lane, Po Box 1331, Piscataway, Nj 08855-1331 Usa2008

EEG Source Localization by Multi-Planar Analytic Sensing

Dimitri Nestor Alice Van De Ville, Thierry Blu, Clotaire Michel, Djano Kandaswamy

IEEE2008

Adjoint Sensitivity Analysis of Index-One Multistage Differential Equations

Dominique Bonvin, Benoît Chachuat

Many practical chemical engineering processes involve a sequence of distinct transient operations, forming multistage systems in which each stage is described by mixed sets of differential and algebraic equations (DAEs). These models usually involve decisi ...

2007

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search

Finite-element preconditioning of G-NI spectral methods

Alfio Quarteroni

Several old and new finite-element preconditioners for nodal-based spectral discretizations of −laplace(u) = f in the domain

\Omega = (-1, 1)^d

(d = 2 or 3), with Dirichlet or Neumann boundary conditions, are considered and compared in terms of bothcondi ...

2009