Sciweavers

174 search results - page 28 / 35
» A Typeful Approach to Object-Oriented Programming with Multi...
Sort
View
CMSB
2003
Springer
14 years 1 months ago
Multiscale Modeling of Alternative Splicing Regulation
Alternative splicing is a key process in post-transcriptional regulation, by which several kinds of mature RNA can be obtained from the same premessenger RNA. Using a constraint pr...
Damien Eveillard, Delphine Ropers, Hidde de Jong, ...
SIGSOFT
2005
ACM
14 years 9 months ago
Applying classification techniques to remotely-collected program execution data
There is an increasing interest in techniques that support measurement and analysis of fielded software systems. One of the main goals of these techniques is to better understand ...
Murali Haran, Alan F. Karr, Alessandro Orso, Adam ...
CCS
2009
ACM
14 years 3 months ago
Reactive noninterference
Many programs operate reactively, patiently waiting for user input, subsequently running for a while producing output, and eventually returning to a state where they are ready to ...
Aaron Bohannon, Benjamin C. Pierce, Vilhelm Sj&oum...
BMCBI
2011
13 years 1 days ago
Inference of Chromosome-Specific Copy Numbers Using Population Haplotypes
Background: Using microarray and sequencing platforms, a large number of copy number variations (CNVs) have been identified in humans. In practice, because our human genome is a d...
Yao-Ting Huang, Min-Han Wu
ICRA
2009
IEEE
122views Robotics» more  ICRA 2009»
14 years 3 months ago
Probabilistic search optimization and mission assignment for heterogeneous autonomous agents
— This paper presents an algorithmic framework for conducting search and identification missions using multiple heterogeneous agents. Dynamic objects of type “neutral” or ...
Timothy H. Chung, Moshe Kress, Johannes O. Royset