2502 search results - page 152 / 501 » Using probabilistic model checking in systems biology |
117
Voted
FAC
2008
15 years 3 months ago
2008
We extend the approach of model checking parameterized networks of processes by means of network invariants to the setting of real-time systems. We introduce timed transition stru...
122
Voted
ENTCS
2010
15 years 3 months ago
2010
Rules that are admissible can be used in any derivations in any axiomatic system of a logic. In this paper we introduce a method for checking the admissibility of rules in the mod...
150
Voted
KDD
2012
ACM
13 years 6 months ago
2012
ACM
In recent years, both hashing-based similarity search and multimodal similarity search have aroused much research interest in the data mining and other communities. While hashing-...
129
Voted
RECOMB
2009
Springer
16 years 4 months ago
2009
Springer
Finding similar structures from 3-D structure databases of proteins is becoming more and more important issue in the post-genomic molecular biology. To compare 3-D structures of tw...
144
Voted
ENTCS
2006
15 years 3 months ago
2006
Patterns for property specification enable non-experts to write formal specifications that can be used for automatic model checking. The existing patterns identified in [6] allow ...