Sciweavers

2502 search results - page 21 / 501
» Using probabilistic model checking in systems biology
Sort
View
JMLR
2008
127views more  JMLR 2008»
13 years 7 months ago
Incremental Identification of Qualitative Models of Biological Systems using Inductive Logic Programming
The use of computational models is increasingly expected to play an important role in predicting the behaviour of biological systems. Models are being sought at different scales o...
Ashwin Srinivasan, Ross D. King
ALMOB
2006
110views more  ALMOB 2006»
13 years 7 months ago
New journal: Algorithms for Molecular Biology
This editorial announces Algorithms for Molecular Biology, a new online open access journal published by BioMed Central. By launching the first open access journal on algorithmic ...
Burkhard Morgenstern, Peter F. Stadler
JALC
2006
95views more  JALC 2006»
13 years 7 months ago
On the Decidability of Model-Checking for P Systems
Membrane computing is a branch of molecular computing that aims to develop models and paradigms that are biologically motivated. It identifies an unconventional computing model, n...
Zhe Dang, Oscar H. Ibarra, Cheng Li, Gaoyan Xie
RECOMB
2004
Springer
14 years 8 months ago
Probabilistic discovery of overlapping cellular processes and their regulation
In this paper, we explore modeling overlapping biological processes. We discuss a probabilistic model of overlapping biological processes, gene membership in those processes, and ...
Alexis Battle, Eran Segal, Daphne Koller
BIBE
2007
IEEE
113views Bioinformatics» more  BIBE 2007»
14 years 2 months ago
Quantitative and Probabilistic Modeling in Pathway Logic
—This paper presents a study of possible extensions of Pathway Logic to represent and reason about semiquantitative and probabilistic aspects of biological processes. The underly...
Alessandro Abate, Yu Bai, Nathalie Sznajder, Carol...