2502 search results - page 155 / 501 » Using probabilistic model checking in systems biology |
190
click to vote
RECOMB
2007
Springer
16 years 6 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...
160
click to vote
FOCS
1998
IEEE
15 years 10 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...
151
click to vote
CSMR
2009
IEEE
15 years 11 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...
155
click to vote
FTCS
1993
15 years 7 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...
176
click to vote
ICTAC
2004
Springer
15 years 11 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 ...