124 search results - page 15 / 25 » Safraless Procedures for Timed Specifications |
TMC
2008
13 years 7 months ago
2008
Mutual network synchronization is a distributed method in which geographically separated clocks align their times to one another without the need of reference or master clocks. Mut...
BMCBI
2005
13 years 7 months ago
2005
Background: Identification of gene and protein names in biomedical text is a challenging task as the corresponding nomenclature has evolved over time. This has led to multiple syn...
BMCBI
2007
13 years 7 months ago
2007
Background: A nearly complete collection of gene-deletion mutants (96% of annotated open reading frames) of the yeast Saccharomyces cerevisiae has been systematically constructed....
PRESENCE
2006
13 years 7 months ago
2006
The generation of multimodal virtual environments for surgical training is complicated by the necessity to develop heterogeneous simulation scenarios such as surgical incision, ca...
BMCBI
2008
13 years 7 months ago
2008
Background: The integration of biomedical information is essential for tackling medical problems. We describe a data model in the domain of flow cytometry (FC) allowing for massiv...