Sciweavers

23 search results - page 1 / 5
» Deducing Interactions in Partially Unspecified Biological Sy...
Sort
View
AB
2007
Springer
14 years 5 months ago
Deducing Interactions in Partially Unspecified Biological Systems
Paolo Baldan, Andrea Bracciali, Linda Brodo, Rober...
BMCBI
2008
78views more  BMCBI 2008»
13 years 11 months ago
Deducing topology of protein-protein interaction networks from experimentally measured sub-networks
Background: Protein-protein interaction networks are commonly sampled using yeast two hybrid approaches. However, whether topological information reaped from these experimentallym...
Ling Yang, Thomas M. Vondriska, Zhangang Han, W. R...
BIOSYSTEMS
2008
130views more  BIOSYSTEMS 2008»
13 years 11 months ago
Biological networks in metabolic P systems
The metabolic P algorithm is a procedure which determines, in a biochemically realistic way, the evolution of P systems representing biological phenomena. A new formulation of thi...
Vincenzo Manca, Luca Bianco
CIBB
2009
13 years 12 months ago
On the Use of Temporal Formal Logic to Model Gene Regulatory Networks
Modelling activities in molecular biology face the difficulty of prediction to link molecular knowledge with cell phenotypes. Even when the interaction graph between molecules is k...
Gilles Bernot, Jean-Paul Comet
CLEIEJ
2006
88views more  CLEIEJ 2006»
13 years 11 months ago
A Stochastic Concurrent Constraint Based Framework to Model and Verify Biological Systems
Concurrent process calculi are powerful formalisms for modelling concurrent systems. The mathematical style underlying process calculi allow to both model and verify properties of...
Carlos Olarte, Camilo Rueda