Sciweavers

4666 search results - page 43 / 934
» Equations on Timed Languages
Sort
View
ARC
2010
Springer
105views Hardware» more  ARC 2010»
13 years 11 months ago
Lyapunov functionals and matrices
In the talk we present a survey of the current state of art in the area of quadratic functionals with prescribed time derivatives. The ...rst contribution dedicated to the topic w...
Vladimir L. Kharitonov
COMBINATORICS
2006
98views more  COMBINATORICS 2006»
13 years 10 months ago
Shift Equivalence of P-finite Sequences
We present an algorithm which decides the shift equivalence problem for Pfinite sequences. A sequence is called P-finite if it satisfies a homogeneous linear recurrence equation w...
Manuel Kauers
SIAMMA
2010
89views more  SIAMMA 2010»
13 years 5 months ago
The Navier-Stokes-Vlasov-Fokker-Planck System near Equilibrium
This paper is concerned with a system that couples the incompressible Navier-Stokes equations to the Vlasov-Fokker-Planck equation. Such a system arises in the modeling of sprays,...
Thierry Goudon, Lingbing He, Ayman Moussa, Ping Zh...
VISAPP
2007
13 years 12 months ago
Image deconvolution using a stochastic differential equation approach
We consider the problem of image deconvolution. We foccus on a Bayesian approach which consists of maximizing an energy obtained by a Markov Random Field modeling. MRFs are classi...
Xavier Descombes, M. Lebellego, Elena Zhizhina
SCL
2011
13 years 1 months ago
Regularity issues for the null-controllability of the linear 1-d heat equation
The fact that the heat equation is controllable to zero in any bounded domain of the euclidean space, any time T > 0 and from any open subset of the boundary is well known. On ...
Sorin Micu, Enrique Zuazua