Sciweavers

2917 search results - page 200 / 584
» Interactive Simulation of Fire
Sort
View
ICSE
2000
IEEE-ACM
15 years 6 months ago
An inheritance-based technique for building simulation proofs incrementally
This paper presents a technique for incrementally constructing safety specifications, abstract algorithm descriptions, and simulation proofs showing that algorithms meet their spe...
Idit Keidar, Roger Khazan, Nancy A. Lynch, Alexand...
129
Voted
WSC
2007
15 years 5 months ago
Fundamentals of simulation modeling
We start with basic terminology and concepts of modeling, and decompose the art of modeling as a process. This overview of the process helps clarify when we should or should not u...
Paul J. Sánchez
SIAMSC
2008
131views more  SIAMSC 2008»
15 years 3 months ago
Fast Monte Carlo Simulation Methods for Biological Reaction-Diffusion Systems in Solution and on Surfaces
Many important physiological processes operate at time and space scales far beyond those accessible to atom-realistic simulations, and yet discrete stochastic rather than continuum...
Rex A. Kerr, Thomas M. Bartol, Boris Kaminsky, Mar...
BMCBI
2010
191views more  BMCBI 2010»
14 years 10 months ago
Molecular dynamics simulation studies and in vitro site directed mutagenesis of avian beta-defensin Apl_AvBD2
Background: Defensins comprise a group of antimicrobial peptides, widely recognized as important elements of the innate immune system in both animals and plants. Cationicity, rath...
Soja Saghar Soman, Krishnankutty Chandrika Sivakum...
WSC
1997
15 years 4 months ago
Simulation-based Planning for Multi-Agent Environments
One of the key issues in reasoning with multiple interacting intelligent agents is how to model and code the decision making process of the agents. In Artificial Intelligence (AI...
Jin Joo Lee, Paul A. Fishwick