2502 search results - page 155 / 501 » Using probabilistic model checking in systems biology |
143
Voted
RECOMB
2007
Springer
16 years 4 months ago
2007
Springer
We present a technique for approximating the free energy of protein structures using Generalized Belief Propagation (GBP). The accuracy and utility of these estimates are then demo...
125
Voted
FOCS
1998
IEEE
15 years 8 months ago
1998
IEEE
The properties of any system of k simultaneous equations in n variables over GF(q), are studied, with a particular emphasis on unsatisfiable systems. A general formula for the num...
112
Voted
CSMR
2009
IEEE
15 years 8 months ago
2009
IEEE
A tool for Enterprise Architecture analysis using a probabilistic mathematical framework is demonstrated. The Model-View-Controller tool architecture is outlined, he use of the to...
122
Voted
FTCS
1993
15 years 5 months ago
1993
Fault tolerance requirements for near term disk array storage systems are analyzed. The excellent reliability provided by RAID Level 5 data organization is seen to be insu cient f...
127
Voted
ICTAC
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. P systems (known also as membrane systems) are biologically motivated theoretical models of distributed and parallel computing. The two most interesting questions in the ...