4666 search results - page 43 / 934 » Equations on Timed Languages |
ARC
2010
Springer
13 years 11 months ago
2010
Springer
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...
COMBINATORICS
2006
13 years 10 months ago
2006
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...
SIAMMA
2010
13 years 5 months ago
2010
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,...
VISAPP
2007
13 years 12 months ago
2007
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...
SCL
2011
13 years 1 months ago
2011
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 ...