124 search results - page 18 / 25 » Safraless Procedures for Timed Specifications |
BMCBI
2008
13 years 7 months ago
2008
Background: Innumerable biological investigations require comparing collections of molecules, cells or organisms to one another with respect to one or more of their properties. Al...
BMCBI
2008
13 years 7 months ago
2008
Background: When predictive survival models are built from high-dimensional data, there are often additional covariates, such as clinical scores, that by all means have to be incl...
BMCBI
2007
13 years 7 months ago
2007
Background: Peptide ligands have tremendous therapeutic potential as efficacious drugs. Currently, more than 40 peptides are available in the market for a drug. However, since cos...
ECUMN
2004
Springer
13 years 11 months ago
2004
Springer
Traffic engineering of IP networks requires the characterization and modeling of network traffic on multiple time scales due to the existence of several statistical properties that...
USS
2008
13 years 10 months ago
2008
Optical scan electronic voting machines employ software components that are customized for each specific election. Such software components are critical from a security and integr...