Sciweavers

1526 search results - page 147 / 306
» Computer algebra in systems biology
Sort
View
CAV
2010
Springer
227views Hardware» more  CAV 2010»
15 years 5 months ago
Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems
We describe Breach, a Matlab toolbox providing a coherent set of simulation-based techniques aimed at the analysis of deterministic models of hybrid dynamical systems. The primary ...
Alexandre Donzé
WSC
2007
15 years 9 months ago
Modeling bioterrorism preparedness with simulation in rural healthcare system
As a result of the anthrax letter incidents in 2001, concerns about terrorists’ use of biological agents have increased dramatically at government state and federal levels. The ...
Lisa Patvivatsiri, Elliot J. Montes Jr., Ouyang Xi
ICNC
2005
Springer
16 years 17 days ago
Reaction-Driven Membrane Systems
Abstract. Membrane systems are gaining a prominent role in the modeling of biochemical processes and cellular dynamics. We associate specific reactivity values to the production r...
Luca Bianco, Federico Fontana, Vincenzo Manca
WOB
2004
102views Bioinformatics» more  WOB 2004»
15 years 8 months ago
An Agent-Based System for Re-annotation of Genomes
Genome annotation projects may produce wrong results since they may be based on obsolete data or wrong models. This work aims to develop an automatic re-annotation system that use ...
Leonardo Vianna do Nascimento, Ana L. C. Bazzan
AAMAS
2007
Springer
16 years 1 months ago
Bee Behaviour in Multi-agent Systems
Abstract. In this paper we present a new, non-pheromone-based algorithm inspired by the behaviour of biological bees. The algorithm combines both recruitment and navigation strateg...
Nyree Lemmens, Steven de Jong, Karl Tuyls, Ann Now...