Sciweavers

212 search results - page 30 / 43
» Hybrid Analysis and Control of Malware
Sort
View
HYBRID
2007
Springer
14 years 4 months ago
Model Checking Genetic Regulatory Networks with Parameter Uncertainty
The lack of precise numerical information for the values of biological parameters severely limits the development and analysis of models of genetic regulatory networks. To deal wit...
Grégory Batt, Calin Belta, Ron Weiss
ICMCS
2005
IEEE
98views Multimedia» more  ICMCS 2005»
14 years 3 months ago
Performance Studio of Multicast Video Streaming Using SRMSH
With the increasing deployment of multimedia real-time Internet applications, evaluating transport protocol metrics of Quality of Service (QoS) has gained rapidly increasing impor...
Oscar Martínez Bonastre, C. P. Salvador
BMCBI
2007
86views more  BMCBI 2007»
13 years 10 months ago
Toxicogenomic analysis incorporating operon-transcriptional coupling and toxicant concentration-expression response: analysis of
Background: Deficiencies in microarray technology cause unwanted variation in the hybridization signal, obscuring the true measurements of intracellular transcript levels. Here we...
William O. Ward, Carol D. Swartz, Steffen Porwolli...
HYBRID
2009
Springer
14 years 2 months ago
Trajectory Based Verification Using Local Finite-Time Invariance
Abstract. In this paper we propose a trajectory based reachability analysis by using local finite-time invariance property. Trajectory based analysis are based on the execution tra...
A. Agung Julius, George J. Pappas
BMCBI
2010
65views more  BMCBI 2010»
13 years 10 months ago
VIPR: A probabilistic algorithm for analysis of microbial detection microarrays
Background: All infectious disease oriented clinical diagnostic assays in use today focus on detecting the presence of a single, well defined target agent or a set of agents. In r...
Adam F. Allred, Guang Wu, Tuya Wulan, Kael F. Fisc...