Sciweavers

11716 search results - page 179 / 2344
» Computable symbolic dynamics
Sort
View
EUROCAST
2009
Springer
126views Hardware» more  EUROCAST 2009»
16 years 1 months ago
Mathematical and Computational Modeling of Neurons and Neuronal Ensembles
Abstract. In Computational Neuroscience, mathematical and computational modeling are differentiated. In this paper, both kinds of modeling are considered. In particular, modeling ...
Andreas Schierwagen
AFP
2008
Springer
245views Formal Methods» more  AFP 2008»
16 years 26 days ago
Self-adjusting Computation with Delta ML
Abstract. In self-adjusting computation, programs respond automatically and efficiently to modifications to their data by tracking the dynamic data dependences of the computation ...
Umut A. Acar, Ruy Ley-Wild
CDC
2008
IEEE
109views Control Systems» more  CDC 2008»
16 years 29 days ago
Sensitivity analysis and computational uncertainty with applications to control of nonlinear parabolic partial differential equa
— In this paper we illustrate how sensitivities can be used to provide a practical precursor to dynamic transitions and numerical uncertainty in parameterized nonlinear parabolic...
John A. Burns, Lisa G. Davis
COLING
2008
15 years 8 months ago
Semantic Visualization and Meaning Computation
We present here VISUSYN, a prototype we developed in order to study meaning construction. This software implements the model of dynamic construction of meaning proposed by Victorr...
Fabienne Venant
ICSE
2004
IEEE-ACM
15 years 12 months ago
Semantics-Aware Services for the Mobile Computing Environment
Abstract. Today's wireless networks and devices support the dynamic composition of mobile distributed systems according to networked services and re
Nikolaos Georgantas, Sonia Ben Mokhtar, Ferda Tart...