Sciweavers

245 search results - page 29 / 49
» State Complexity of Testing Divisibility
Sort
View
STACS
2001
Springer
15 years 4 months ago
Evasiveness of Subgraph Containment and Related Properties
We prove new results on evasiveness of monotone graph properties by extending the techniques of Kahn, Saks, and Sturtevant [Combinatorica, 4 (1984), pp. 297–306]. For the propert...
Amit Chakrabarti, Subhash Khot, Yaoyun Shi
CMSB
2009
Springer
15 years 7 months ago
Probabilistic Approximations of Signaling Pathway Dynamics
Systems of ordinary differential equations (ODEs) are often used to model the dynamics of complex biological pathways. We construct a discrete state model as a probabilistic appro...
Bing Liu, P. S. Thiagarajan, David Hsu
111
Voted
CSB
2003
IEEE
123views Bioinformatics» more  CSB 2003»
15 years 5 months ago
Fourier Harmonic Approach for Visualizing Temporal Patterns of Gene Expression Data
DNA microarray technology provides a broad snapshot of the state of the cell by measuring the expression levels of thousands of genes simultaneously. Visualization techniques can ...
Li Zhang, Aidong Zhang, Murali Ramanathan
JMLR
2010
97views more  JMLR 2010»
14 years 7 months ago
Evaluation of a Bayesian model-based approach in GA studies
In a typical Genetic Association Study (GAS) several hundreds to millions of genomic variables are measured and tested for association with a given set of a phenotypic variables (...
Gábor Hullám, Peter Antal, Csaba Sza...
ECOOP
2010
Springer
15 years 3 months ago
Contract-Based Data Structure Repair Using Alloy
Contracts and specifications have long been used in object-oriented design, programming and testing to enhance reliability before software deployment. However, the use of specifica...
Razieh Nokhbeh Zaeem, Sarfraz Khurshid