4666 search results - page 59 / 934 » Equations on Timed Languages |
194
Voted
POPL
2009
ACM
16 years 1 months ago
2009
ACM
We develop a model of concurrent imperative programming with threads. We focus on a small imperative language with cooperative threads which execute without interruption until the...
115
Voted
ESANN
2004
15 years 2 months ago
2004
The one-dimensional functional equation g(y(t)) = cg(z(t)) with known functions y and z and constant c is considered. The indeterminacies are calculated, and an algorithm for appro...
82
Voted
ESANN
2000
15 years 2 months ago
2000
Abstract. A prediction scheme for spatio-temporal time series is presented that is based on reconstructed local states. As a numerical example the ev olution of a Kuramoto-Sivashin...
111
Voted
CSL
2010
Springer
15 years 1 months ago
2010
Springer
We shall discuss several situations in which it is possible to extract from a proof, be it a proof in a first-order theory or a propositional proof, some feasible computational inf...
89
Voted
CMA
2010
14 years 10 months ago
2010
: In this paper we study the existence and uniqueness of solutions to a nonlinear Neumann problem for a scalar second order ordinary differential equation u = a t u + f(t, u, u ), ...