Sciweavers

274 search results - page 9 / 55
» Universal extensions to simulate specifications
Sort
View
BRAIN
2010
Springer
13 years 4 months ago
Domain-Specific Modeling as a Pragmatic Approach to Neuronal Model Descriptions
Biologically realistic modeling has been greatly facilitated by the development of neuro-simulators, and the development of simulatorindependent formats for model exchange is the s...
Ralf Ansorg, Lars Schwabe
WSC
2004
13 years 9 months ago
Data Farming Coevolutionary Dynamics in RePast
This paper describes the application of data farming techniques (Brandstein and Horne 1998) to explore various aspects of coevolutionary dynamics (McKelvey 2002) in organization s...
Brian F. Tivnan
FLAIRS
2006
13 years 9 months ago
Cognitive Simulation in Virtual Patients
We present an overview of the Virtual Patient project at the University of Maryland, which is developing a cognitive model of humans experiencing various states of health and dise...
Sergei Nirenburg, Marjorie McShane, Stephen Beale,...
TCS
2002
13 years 7 months ago
Specification of real-time and hybrid systems in rewriting logic
This paper explores the application of rewriting logic to the executable formal modeling of real-time and hybrid systems. We give general techniques by which such systems can be s...
Peter Csaba Ölveczky, José Meseguer
WSC
1998
13 years 9 months ago
Simulation-based Production Control in the Semiconductor Industry
The article deals with the development of simulation models for the semiconductor industry at the Technical University of Ilmenau. Hereby, the main focus is set on the development...
Matthias Thiel, Roland Schulz, Peter Gmilkowsky