Sciweavers

4770 search results - page 217 / 954
» Flexible Type Analysis
Sort
View
IJFCS
2008
166views more  IJFCS 2008»
15 years 7 months ago
Decidability and Complexity Analysis of Forbidden State Problems for Discrete Event Systems
The conventional forbidden state problem for discrete event systems is concerned with the issue of synthesizing a maximally permissive control policy to prevent a discrete event s...
Hsu-Chun Yen
BMCBI
2005
144views more  BMCBI 2005»
15 years 7 months ago
GeneRank: Using search engine technology for the analysis of microarray experiments
Background: Interpretation of simple microarray experiments is usually based on the fold-change of gene expression between a reference and a "treated" sample where the t...
Julie L. Morrison, Rainer Breitling, Desmond J. Hi...
CCR
2000
111views more  CCR 2000»
15 years 7 months ago
Analysis of errors in network load measurements
The paper identifies elements in network monitoring systems that cause errors in the load measurements found in recent reports on network statistics from an academic backbone netw...
Stanislav Belenki, Sven Tafvelin
BMCBI
2006
131views more  BMCBI 2006»
15 years 7 months ago
The statistics of identifying differentially expressed genes in Expresso and TM4: a comparison
Background: Analysis of DNA microarray data takes as input spot intensity measurements from scanner software and returns differential expression of genes between two conditions, t...
Allan A. Sioson, Shrinivasrao P. Mane, Pinghua Li,...
POPL
2010
ACM
16 years 4 months ago
Continuity Analysis of Programs
We present an analysis to automatically determine if a program represents a continuous function, or equivalently, if infinitesimal changes to its inputs can only cause infinitesim...
Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerm...