Sciweavers

57 search results - page 9 / 12
» The Interval Analysis of Multilinear Expressions
Sort
View
ICSE
1997
IEEE-ACM
15 years 2 months ago
Analyzing Partially-Implemented Real-Time Systems
—Most analysis methods for real-time systems assume that all the components of the system are at roughly the same stage of development and can be expressed in a single notation, ...
George S. Avrunin, James C. Corbett, Laura K. Dill...
BMCBI
2007
106views more  BMCBI 2007»
14 years 10 months ago
Modeling SAGE tag formation and its effects on data interpretation within a Bayesian framework
Background: Serial Analysis of Gene Expression (SAGE) is a high-throughput method for inferring mRNA expression levels from the experimentally generated sequence based tags. Stand...
Michael A. Gilchrist, Hong Qin, Russell L. Zaretzk...
CSDA
2006
97views more  CSDA 2006»
14 years 10 months ago
Fuzzy multidimensional scaling
Multidimensional scaling (MDS) is a data analysis technique for representing measurements of (dis)similarity among pairs of objects as distances between points in a low-dimensiona...
Pierre-Alexandre Hébert, Marie-Hél&e...
BMCBI
2008
128views more  BMCBI 2008»
14 years 10 months ago
Finding sequence motifs with Bayesian models incorporating positional information: an application to transcription factor bindin
Background: Biologically active sequence motifs often have positional preferences with respect to a genomic landmark. For example, many known transcription factor binding sites (T...
Nak-Kyeong Kim, Kannan Tharakaraman, Leonardo Mari...
TACAS
2007
Springer
92views Algorithms» more  TACAS 2007»
15 years 4 months ago
Model Checking Liveness Properties of Genetic Regulatory Networks
Abstract. Recent studies have demonstrated the possibility to build genetic regulatory networks that confer a desired behavior to a living organism. However, the design of these ne...
Grégory Batt, Calin Belta, Ron Weiss