2502 search results - page 44 / 501 » Using probabilistic model checking in systems biology |
SEW
2006
IEEE
14 years 3 months ago
2006
IEEE
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...
ICINCO
2004
13 years 10 months ago
2004
This paper presents an Iterative Linear Quadratic Regulator (ILQR) method for locally-optimal feedback control of nonlinear dynamical systems. The method is applied to a musculo-s...
ESANN
2004
13 years 10 months ago
2004
Abstract. We present a large-scale Neuromorphic model based on integrateand-fire (IF) neurons that analyses objects and their depth within a moving visual scene. A feature-based al...
IJNSEC
2008
13 years 9 months ago
2008
The ASW protocol is one of the prominent optimistic fair exchange protocols that is used for contract signing between two participants, the originator and the responder, with the ...
BICOB
2010
Springer
14 years 1 months ago
2010
Springer
Most existing approaches for gene selection are based on evaluating the statistical relevance. However, there are remarkable discrepancies between statistical relevance and biolog...