433 search results - page 19 / 87 » Contracts: From Analysis to C Implementation |
BMCBI
2007
14 years 9 months ago
2007
Background: The combination of mass spectrometry and solution phase amide hydrogen/deuterium exchange (H/D exchange) experiments is an effective method for characterizing protein ...
SDM
2010
SIAM
14 years 11 months ago
2010
SIAM
We apply statistical relational learning to a database of criminal and terrorist activity to predict attributes and event outcomes. The database stems from a collection of news ar...
162
click to vote
SIAMJO
2011
14 years 4 months ago
2011
Many applications arising in a variety of fields can be well illustrated by the task of recovering the low-rank and sparse components of a given matrix. Recently, it is discovered...
DATE
2003
IEEE
15 years 3 months ago
2003
IEEE
System design methodology is poised to become the next big enabler for highly sophisticated electronic products. Design verification continues to be a major challenge and simulat...
PODC
2004
ACM
15 years 3 months ago
2004
ACM
We introduce the distributed gradient clock synchronization problem. As in traditional distributed clock synchronization, we consider a network of nodes equipped with hardware clo...