Sciweavers

2877 search results - page 101 / 576
» Computational Biology
Sort
View
JIB
2007
95views more  JIB 2007»
15 years 3 months ago
Integration of constraints documented in SBML, SBO, and the SBML Manual facilitates validation of biological models
The creation of quantitative, simulatable, Systems Biology Markup Language (SBML) models that accurately simulate the system under study is a time-intensive manual process that re...
Allyson L. Lister, Matthew R. Pocock, Anil Wipat
BIB
2007
139views more  BIB 2007»
15 years 4 months ago
Petri net modelling of biological networks
Mathematical modelling is increasingly used to get insights into the functioning of complex biological networks. In this context, Petri nets (PNs) have recently emerged as a promi...
Claudine Chaouiya
TCS
2010
15 years 2 months ago
Detecting synchronisation of biological oscillators by model checking
We define a subclass of timed automata, called oscillator timed automata, suitable to model biological oscillators. Coupled biological oscillators may synchronise, as emerging be...
Ezio Bartocci, Flavio Corradini, Emanuela Merelli,...
TCS
2011
14 years 10 months ago
Parameter estimation for Boolean models of biological networks
Boolean networks have long been used as models of molecular networks and play an increasingly important role in systems biology. This paper describes a software package, offered ...
Elena S. Dimitrova, Luis David García-Puent...
AINA
2005
IEEE
15 years 9 months ago
A Biologically Inspired QoS Routing Algorithm for Mobile Ad Hoc Networks
— This paper presents an Emergent Ad hoc Routing Algorithm with QoS provision (EARA-QoS). This ad hoc QoS routing algorithm is based on a swarm intelligence inspired routing infr...
Zhenyu Liu, Marta Z. Kwiatkowska, Costas C. Consta...