2624 search results - page 384 / 525 » The 2LIP model and its implementations |
POPL
2010
ACM
14 years 23 days ago
2010
ACM
Angelic nondeterminism can play an important role in program development. It simplifies specifications, for example in deriving programs with a refinement calculus; it is the form...
NSDI
2007
14 years 19 days ago
2007
The network and distributed systems research communities have an increasing need for “replayable” research, but our current experimentation resources fall short of reaching th...
BMCBI
2007
13 years 10 months ago
2007
Background: Detection of short, subtle conserved motif regions within a set of related DNA or amino acid sequences can lead to discoveries about important regulatory domains such ...
BMCBI
2008
13 years 10 months ago
2008
Background: Reliable prediction of antibody, or B-cell, epitopes remains challenging yet highly desirable for the design of vaccines and immunodiagnostics. A correlation between a...
BMCBI
2010
13 years 10 months ago
2010
Background: Robust biomarkers are needed to improve microbial identification and diagnostics. Proteomics methods based on mass spectrometry can be used for the discovery of novel ...