Sciweavers

2941 search results - page 242 / 589
» The Myth of the Educational Computer
Sort
View
CORR
2007
Springer
109views Education» more  CORR 2007»
15 years 6 months ago
Abstract machines for dialogue games
Machines for Dialogue Games P.-L. Curien (CNRS - Paris 7) H. Herbelin (INRIA-Futurs) July 16, 2005 The notion of abstract B¨ohm tree has arisen as an operationally-oriented disti...
Pierre-Louis Curien, Hugo Herbelin
CORR
2007
Springer
104views Education» more  CORR 2007»
15 years 6 months ago
Multi-physics Extension of OpenFMO Framework
OpenFMO framework, an open-source software (OSS) platform for Fragment Molecular Orbital (FMO) method, is extended to multi-physics simulations (MPS). After reviewing the several F...
Toshiya Takami, Jun Maki, Jun-ichi Ooba, Yuichi In...
CORR
2007
Springer
103views Education» more  CORR 2007»
15 years 6 months ago
Moderate Growth Time Series for Dynamic Combinatorics Modelisation
Here, we present a family of time series with a simple growth constraint. This family can be the basis of a model to apply to emerging computation in business and micro-economy wh...
Luaï Jaff, Gérard Henry Edmond Duchamp...
CORR
2007
Springer
121views Education» more  CORR 2007»
15 years 6 months ago
Diagrammatic Inference
Diagrammatic logics were introduced in 2002, with emphasis on the notions of specifications and models. In this paper we improve the description of the inference process, which i...
Dominique Duval
CORR
2007
Springer
96views Education» more  CORR 2007»
15 years 6 months ago
Non-linear estimation is easy
Abstract: Non-linear state estimation and some related topics, like parametric estimation, fault diagnosis, and perturbation attenuation, are tackled here via a new methodology in ...
Michel Fliess, Cédric Join, Hebertt Sira-Ra...