4666 search results - page 59 / 934 » Equations on Timed Languages |
POPL
2009
ACM
14 years 11 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...
ESANN
2004
14 years 5 days 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...
ESANN
2000
14 years 4 days 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...
CSL
2010
Springer
13 years 12 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...
CMA
2010
13 years 8 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 ), ...