103 search results - page 21 / 21 » Regulatory Network Reconstruction Using Stochastic Logical N... |
NAR
2002
14 years 9 months ago
2002
The prediction of operons, the smallest unit of transcription in prokaryotes, is the first step towards reconstruction of a regulatory network at the whole genome level. Sequence ...
APBC
2004
14 years 11 months ago
2004
Biopathway databases have been developed, such as KEGG and EcoCyc, that compile interaction structures of biopathways together with biological annotations. However, these biopathw...
DSN
2002
IEEE
15 years 2 months ago
2002
IEEE
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...