2624 search results - page 384 / 525 » The 2LIP model and its implementations |
124
Voted
POPL
2010
ACM
15 years 3 months 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...
88
Voted
NSDI
2007
15 years 3 months 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...
122
Voted
BMCBI
2007
15 years 28 days 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 ...
91
Voted
BMCBI
2008
15 years 28 days 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...
92
Voted
BMCBI
2010
15 years 28 days 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 ...