Sciweavers

2639 search results - page 342 / 528
» Biological Systems as Reactive Systems
Sort
View
QEST
2007
IEEE
16 years 27 days ago
Probabilistic Model Checking Modulo Theories
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...
Björn Wachter, Lijun Zhang, Holger Hermanns
INFOCOM
2006
IEEE
16 years 19 days ago
A Quasi-Species Approach for Modeling the Dynamics of Polymorphic Worms
— Polymorphic worms can change their byte sequence as they replicate and propagate, thwarting the traditional signature analysis techniques used by many intrusion detection syste...
Bradley Stephenson, Biplab Sikdar
IV
2006
IEEE
108views Visualization» more  IV 2006»
16 years 19 days ago
From Visualization to Manipulation of RNA Secondary and Tertiary Structures
Ribonucleic Acid (RNA) is an important molecule which performs a wide range of functions in biological systems. We present a method for visualizing, exploring and editing RNA mole...
Gilles Bailly, David Auber, Laurence Nigay
CBMS
2005
IEEE
16 years 7 days ago
An Ontology-Driven Clustering Method for Supporting Gene Expression Analysis
The Gene Ontology (GO) is an important knowledge resource for biologists and bioinformaticians. This paper explores the integration of similarity information derived from GO into ...
Haiying Wang, Francisco Azuaje, Olivier Bodenreide...
CSB
2005
IEEE
139views Bioinformatics» more  CSB 2005»
16 years 7 days ago
Open Microscopy Environment
High-throughput scoring of image-based biological assays heavily depends on the extraction of quantitative numerical information from microscopy images. This paper describes how t...
Ilya G. Goldberg