Sciweavers

532 search results - page 86 / 107
» Process Algebras for Quantitative Analysis
Sort
View
SPIESR
2004
143views Database» more  SPIESR 2004»
13 years 9 months ago
An entropy-based objective evaluation method for image segmentation
Accurate image segmentation is important for many image, video and computer vision applications. Over the last few decades, many image segmentation methods have been proposed. How...
Hui Zhang, Jason E. Fritts, Sally A. Goldman
BMCBI
2010
95views more  BMCBI 2010»
13 years 7 months ago
Quantifying the relationship between sequence and three-dimensional structure conservation in RNA
Background: In recent years, the number of available RNA structures has rapidly grown reflecting the increased interest on RNA biology. Similarly to the studies carried out two de...
Emidio Capriotti, Marc A. Martí-Renom
BMCBI
2007
109views more  BMCBI 2007»
13 years 7 months ago
A domain-based approach to predict protein-protein interactions
Background: Knowing which proteins exist in a certain organism or cell type and how these proteins interact with each other are necessary for the understanding of biological proce...
Mudita Singhal, Haluk Resat
AB
2008
Springer
14 years 2 months ago
An Algorithm for Qualitative Simulation of Gene Regulatory Networks with Steep Sigmoidal Response Functions
A specific class of ODEs has been shown to be adequate to describe the essential features of the complex dynamics of Gene-Regulatory Networks (GRN). But, the effective exploitatio...
Liliana Ironi, Luigi Panzeri, Erik Plahte
SAS
2009
Springer
162views Formal Methods» more  SAS 2009»
14 years 8 months ago
Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships
Polyhedra: An Abstract Domain to Infer Interval Linear Relationships Liqian Chen1,2 , Antoine Min?e2,3 , Ji Wang1 , and Patrick Cousot2,4 1 National Laboratory for Parallel and Dis...
Antoine Miné, Ji Wang, Liqian Chen, Patrick...