Sciweavers

704 search results - page 2 / 141
» Bayesian methods in bioinformatics and computational systems...
Sort
View
FM
2009
Springer
138views Formal Methods» more  FM 2009»
14 years 6 days 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...
ICFCA
2004
Springer
13 years 11 months ago
BLID: An Application of Logical Information Systems to Bioinformatics
BLID (Bio-Logical Intelligent Database) is a bioinformatic system designed to help biologists extract new knowledge from raw genome data by providing high-level facilities for both...
Sébastien Ferré, Ross D. King
BMCBI
2007
123views more  BMCBI 2007»
13 years 5 months ago
BIRCH: A user-oriented, locally-customizable, bioinformatics system
Background: Molecular biologists need sophisticated analytical tools which often demand extensive computational resources. While finding, installing, and using these tools can be ...
Brian Fristensky
JCB
2002
131views more  JCB 2002»
13 years 5 months ago
Modeling and Simulation of Genetic Regulatory Systems: A Literature Review
In order to understand the functioning of organisms on the molecular level, we need to know which genes are expressed, when and where in the organism, and to which extent. The reg...
Hidde de Jong
CSB
2005
IEEE
133views Bioinformatics» more  CSB 2005»
13 years 11 months ago
Biological Pathway Prediction from Multiple Data Sources Using Iterative Bayesian Updating
There is a diversity of functional genomics data, such as gene expression data from microarray experiments, phenotypic data from gene deletion experiments, protein-protein interac...
Corey Powell, Joshua M. Stuart