Sciweavers

40 search results - page 3 / 8
» Automated modelling of signal transduction networks
Sort
View
127
Voted
BMCBI
2006
133views more  BMCBI 2006»
14 years 9 months ago
Topological basis of signal integration in the transcriptional-regulatory network of the yeast, Saccharomyces cerevisiae
Background: Signal recognition and information processing is a fundamental cellular function, which in part involves comprehensive transcriptional regulatory (TR) mechanisms carri...
Illés J. Farkas, Chuang Wu, Chakra Chennubh...
FM
2009
Springer
138views Formal Methods» more  FM 2009»
15 years 4 months ago
What Can Formal Methods Bring to Systems Biology?
This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can ...
Nicola Bonzanni, K. Anton Feenstra, Wan Fokkink, E...
86
Voted
HYBRID
2003
Springer
15 years 2 months ago
Automated Symbolic Reachability Analysis; with Application to Delta-Notch Signaling Automata
Abstract. This paper describes the implementation of predicate abstraction techniques to automatically compute symbolic backward reachable sets of high dimensional piecewise affine...
Ronojoy Ghosh, Ashish Tiwari, Claire Tomlin
CEC
2008
IEEE
15 years 4 months ago
Toward a gene regulatory network model for evolving chemotaxis behavior
— Inspired from bacteria, a gene regulatory network model for signal transduction is presented in this paper. After describing experiments on stabilizing the population size for ...
Neale Samways, Yaochu Jin, Xin Yao, Bernhard Sendh...
88
Voted
BMCBI
2005
109views more  BMCBI 2005»
14 years 9 months ago
Automation of gene assignments to metabolic pathways using high-throughput expression data
Background: Accurate assignment of genes to pathways is essential in order to understand the functional role of genes and to map the existing pathways in a given genome. Existing ...
Liviu Popescu, Golan Yona