2502 search results - page 416 / 501 » Using probabilistic model checking in systems biology |
152
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: Most existing algorithms for the inference of the structure of gene regulatory networks from gene expression data assume that the activity levels of transcription fact...
153
click to vote
INTERNET
2006
15 years 4 months ago
2006
A conversation is the global sequence of messages exchanged among the components of a distributed system. Conversations provide a promising model for specifying and analyzing the ...
FROCOS
2005
Springer
15 years 9 months ago
2005
Springer
Interface formalisms are able to model both the input requirements and the output behavior of system components; they support both bottom-up component-based design, and top-down de...
172
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: Biomedical and chemical databases are large and rapidly growing in size. Graphs naturally model such kinds of data. To fully exploit the wealth of information in these...
126
click to vote
RAS
2000
15 years 3 months ago
2000
In the last two decades, the barn owl, a nocturnal predator with accurate visual and auditory capabilities, has become a common experimental system for neuroscientists investigati...