7690 search results - page 1392 / 1538 » On the semantics of informational independence |
219
click to vote
FORTE
1994
15 years 7 months ago
1994
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...
177
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Transcriptional gene regulation is one of the most important mechanisms in controlling many essential cellular processes, including cell development, cell-cycle contro...
169
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Network Component Analysis (NCA) has been used to deduce the activities of transcription factors (TFs) from gene expression data and the TF-gene binding relationship. ...
159
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Detection of adaptive amino acid changes in proteins under recent short-term selection is of great interest for researchers studying microevolutionary processes in mic...
169
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Due to the complex and distributed nature of biological research, our current biological knowledge is spread over many redundant annotation databases maintained by man...