2502 search results - page 195 / 501 » Using probabilistic model checking in systems biology |
151
click to vote
CCE
2008
15 years 6 months ago
2008
Protein structure determination and prediction has been a focal research subject in life sciences due to the importance of protein structure in understanding the biological and ch...
171
click to vote
DNA
2005
Springer
16 years 23 hour ago
2005
Springer
The first step of the Adleman-Lipton extract model in DNA computing is the combinatorial generation of libraries. In this paper a new method is proposed for generating a initial p...
172
click to vote
IROS
2008
IEEE
16 years 27 days ago
2008
IEEE
Abstract— Bayesian filtering is a general framework for recursively estimating the state of a dynamical system. The most common instantiations of Bayes filters are Kalman filt...
272
click to vote
SP
2006
IEEE
16 years 15 days ago
2006
IEEE
Security concerns are becoming increasingly critical in networked systems. Firewalls provide important defense for network security. However, misconfigurations in firewalls are ...
162
click to vote
ESANN
2006
15 years 7 months ago
2006
A probabilistic, ``neural'' approach to sensor modelling and classification is described, performing local data fusion in a wireless system for embedded sensors using a ...