Sciweavers

274 search results - page 9 / 55
» Universal extensions to simulate specifications
Sort
View
BRAIN
2010
Springer
15 years 5 days 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
118
Voted
WSC
2004
15 years 4 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
137
Voted
FLAIRS
2006
15 years 4 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,...
149
Voted
TCS
2002
15 years 3 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
114
Voted
WSC
1998
15 years 4 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