1222 search results - page 12 / 245 » A Bayesian Approach to Model Checking Biological Systems |
ENTCS
2008
14 years 11 months ago
2008
The Brane Calculus is a calculus intended to model the structure and the dynamics of biological membranes. In order to express properties of systems in this calculus, in previous ...
UC
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Membrane computing is a branch of molecular computing that aims to develop models and paradigms that are biologically motivated. It identifies an unconventional computin...
163
click to vote
AINA
2008
IEEE
15 years 6 months ago
2008
IEEE
The analysis of gene expression time series obtained from microarray experiments can be effectively exploited to understand a wide range of biological phenomena from the homeostat...
BIBM
2008
IEEE
15 years 6 months ago
2008
IEEE
Identifying functionally important sites from biological sequences, formulated as a biological sequence labeling problem, has broad applications ranging from rational drug design ...
117
click to vote
BMCBI
2007
14 years 11 months ago
2007
Background: Causal networks based on the vector autoregressive (VAR) process are a promising statistical tool for modeling regulatory interactions in a cell. However, learning the...