2502 search results - page 487 / 501 » Using probabilistic model checking in systems biology |
CN
2007
14 years 11 months ago
2007
Distributed denial of service (DDoS) has long been an open security problem of the Internet. Most proposed solutions require the upgrade of routers across the Internet, which is e...
BMCBI
2007
14 years 11 months ago
2007
Background: With microarray technology, variability in experimental environments such as RNA sources, microarray production, or the use of different platforms, can cause bias. Suc...
QEST
2010
IEEE
14 years 9 months ago
2010
IEEE
We study Timed Branching Processes (TBPs), a natural extension of (multitype) Branching Processes (BPs) where each entity is equipped with a finite set of private continuous variab...
111
click to vote
FIMH
2009
Springer
14 years 9 months ago
2009
Springer
Cardiac magnetic resonance (MR) imaging has advanced to become a powerful diagnostic tool in clinical practice. Automatic detection of anatomic landmarks from MR images is importan...
120
click to vote
AFRIGRAPH
2010
ACM
15 years 3 months ago
2010
ACM
Aligning structures, often referred to as docking or registration, is frequently required in fields such as computer science, robotics and structural biology. The task of alignin...