Sciweavers

2416 search results - page 308 / 484
» The Language of Cortical Dynamics
Sort
View
WSC
2000
15 years 7 months ago
Teaching system modeling, simulation and validation
Simulation is used in the design process of dynamic systems. The results of simulation are employed for validating a model, and they are helpful for the improvement of the design ...
Jörg Desel
ENTCS
2006
155views more  ENTCS 2006»
15 years 6 months ago
Biomolecular Agents as Multi-behavioural Concurrent Objects
In recent years, there has been increasing interest in computational models of biological systems based on various calculi of communicating processes, such as the stochastic pi-ca...
Denys Duchier, Céline Kuttler
JOLLI
2008
83views more  JOLLI 2008»
15 years 6 months ago
Inessential Features, Ineliminable Features, and Modal Logics for Model Theoretic Syntax
While monadic second-order logic (MSO) has played a prominent role in model theoretic syntax, modal logics have been used in this context since its inception. When comparing propos...
Hans-Jörg Tiede
ENVSOFT
2002
187views more  ENVSOFT 2002»
15 years 6 months ago
AVTOP: a full integration of TOPMODEL into GIS
The integration of environmental models and Geographical Information Systems (GIS) usually takes two approaches: loose coupling and tight coupling. This paper, however, presents a...
Bo Huang, Bin Jiang
VLDB
2002
ACM
122views Database» more  VLDB 2002»
15 years 6 months ago
Lightweight Flexible Isolation for Language-based Extensible Systems
Safe programming languages encourage the development of dynamically extensible systems, such as extensible Web servers and mobile agent platforms. Although protection is of utmost...
Laurent Daynès, Grzegorz Czajkowski