549 search results - page 85 / 110 » Verification condition generation for conditional informatio... |
119
Voted
BMCBI
2007
15 years 19 days ago
2007
Background: Regulation of gene expression is relevant to many areas of biology and medicine, in the study of treatments, diseases, and developmental stages. Microarrays can be use...
107
Voted
MICRO
2006
IEEE
15 years 14 days ago
2006
IEEE
In the past few years, several research works have demonstrated that sampling can drastically speed up architecture simulation, and several of these sampling techniques are already...
109
Voted
NN
2008
Springer
15 years 14 days ago
2008
Springer
In the study of information flow in the nervous system, component processes can be investigated using a range of electrophysiological and imaging techniques. Although data is diff...
CLEF
2006
Springer
15 years 4 months ago
2006
Springer
The University of Maryland participated in the English and Czech tasks. For English, one monolingual run using only fields based on fully automatic transcription (the required con...
115
click to vote
SIGMOD
2010
ACM
15 years 4 months ago
2010
ACM
A database application differs form regular applications in that some of its inputs may be database queries. The program will execute the queries on a database and may use any re...