Sciweavers

51 search results - page 5 / 11
» An Intermediate Language for the Simulation of Biological Sy...
Sort
View
TCSB
2010
14 years 8 months ago
Rule-Based Modeling of Transcriptional Attenuation at the Tryptophan Operon
Transcriptional attenuation at E.coli’s tryptophan operon is a prime example of RNA-mediated gene regulation. In this paper, we present a discrete stochastic model for this pheno...
Céline Kuttler, Cédric Lhoussaine, M...
IEAAIE
2004
Springer
15 years 3 months ago
Cell Modeling Using Agent-Based Formalisms
The systems biology community is building increasingly complex models and simulations of cells and other biological entities. This community is beginning to look at alternatives t...
Ken Webb, Tony White
ATAL
2006
Springer
15 years 1 months ago
SeSAm: implementation of agent-based simulation using visual programming
In this paper, we present the most important features of SeSAm, a modeling and simulation platform for multi-agent simulations. Based on a declarative, explicit model representati...
Franziska Klügl, Rainer Herrler, Manuel Fehle...
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 1 months ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund
87
Voted
HYBRID
2001
Springer
15 years 2 months ago
Hybrid Modeling and Simulation of Biomolecular Networks
Abstract. In a biological cell, cellular functions and the genetic regulatory apparatus are implemented and controlled by a network of chemical reactions in which regulatory protei...
Rajeev Alur, Calin Belta, Franjo Ivancic