Sciweavers

977 search results - page 51 / 196
» Logic-Based Modeling in Systems Biology
Sort
View
CIBB
2009
15 years 5 months ago
On the Use of Temporal Formal Logic to Model Gene Regulatory Networks
Modelling activities in molecular biology face the difficulty of prediction to link molecular knowledge with cell phenotypes. Even when the interaction graph between molecules is k...
Gilles Bernot, Jean-Paul Comet
TSMC
2011
328views more  TSMC 2011»
14 years 11 months ago
Morphogenetic Robotics: An Emerging New Field in Developmental Robotics
—Developmental robotics is also known as epigenetic robotics. We propose in this paper that there is one substantial difference between developmental robotics and epigenetic robo...
Yaochu Jin, Yan Meng
IJFCS
2006
130views more  IJFCS 2006»
15 years 4 months ago
Mealy multiset automata
We introduce the networks of Mealy multiset automata, and study their computational power. The networks of Mealy multiset automata are computationally complete. 1 Learning from Mo...
Gabriel Ciobanu, Viorel Mihai Gontineac
114
Voted
ISMB
1993
15 years 5 months ago
Grammatical Formalization of Metabolic Processes
In the field of biotechnologyand medicineit is of interest to modeland simulate metabolicprocesses. The usual methods to model metabolic pathwaysare chemicaldescriptions anddiffer...
Ralf Hofestädt
CONCUR
2009
Springer
15 years 2 months ago
BlenX Static and Dynamic Semantics
We introduce a new programming language called BlenX. It is strongly inspired to process calculi and it is an evolution of Betabinders. It has been specifically designed and implem...
Corrado Priami, Paola Quaglia, Alessandro Romanel