2502 search results - page 374 / 501 » Using probabilistic model checking in systems biology |
118
click to vote
ENTCS
2010
15 years 4 months ago
2010
The crucial strength of the component paradigm lies in the possibility to encapsulate behaviours. In this work, we focus on the observable behaviour of composite components which ...
156
click to vote
DEBS
2008
ACM
15 years 6 months ago
2008
ACM
Several new Complex Event Processing (CEP) engines have been recently released, many of which are intended to be used in performance sensitive scenarios - like fraud detection, tr...
134
click to vote
ISBI
2008
IEEE
16 years 5 months ago
2008
IEEE
Image-based 3D atlases have been proven to be very useful in biological and medical research. They serve as spatial reference systems that enable researchers to integrate experime...
132
click to vote
CSB
2005
IEEE
15 years 10 months ago
2005
IEEE
The Mouse Genome Informatics (MGI) Database at The Jackson Laboratory provides a comprehensive public resource about the laboratory mouse. MGI curated data types include gene repr...
119
click to vote
GCB
2005
Springer
15 years 10 months ago
2005
Springer
Motivation: With the increasing availability of protein structures, the generation of biologically meaningful 3D patterns from the simultaneous alignment of several protein struct...