1922 search results - page 35 / 385 » Systems biology, models, and concurrency |
139
click to vote
SIGOPS
2008
15 years 1 months ago
2008
During the last three years, we have been experimenting with the use of the Uppaal model checker in an introductory course on operating systems for first-year Computer Science stu...
123
click to vote
CIBCB
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract— This paper presents a parametric model to estimate the DNA-protein binding time using the DNA and protein structures and details of the binding site. To understand the ...
133
click to vote
KDD
2009
ACM
16 years 2 months ago
2009
ACM
A major source of information (often the most crucial and informative part) in scholarly articles from scientific journals, proceedings and books are the figures that directly pro...
134
click to vote
SAC
2004
ACM
15 years 7 months ago
2004
ACM
for ideas, and then abstract away from these ideas to produce algorithmic processes that can create problem solutions in a bottom-up manner. We have previously described a top-dow...
105
click to vote
IS4TH
2003
Springer
15 years 7 months ago
2003
Springer
Realistic mechanical models of biological soft tissues are a key issue to allow the implementation of reliable systems to aid on orthopedic diagnosis and surgery planning. We are w...