130 search results - page 8 / 26 » Algorithmic Algebraic Model Checking I: Challenges from Syst... |
TACAS
2007
Springer
15 years 3 months ago
2007
Springer
Analysis of biological data often requires an understanding of components of pathways and/or networks and their mutual dependency relationships. Such systems are often analyzed and...
BIBM
2007
IEEE
15 years 4 months ago
2007
IEEE
Thousands of biochemical interactions are available for download from curated databases such as Reactome, Pathway Interaction Database and other sources in the Biological Pathways...
TREC
2007
14 years 10 months ago
2007
Questions that require answers in the form of a list of entities and the identification of diverse biological entity classes present an interesting challenge that required new app...
103
Voted
KDD
2008
ACM
15 years 10 months ago
2008
ACM
We present an approach to reconstructing chemical reaction networks from time series measurements of the concentrations of the molecules involved. Our solution strategy combines t...
80
Voted
ATAL
2008
Springer
14 years 11 months ago
2008
Springer
Business contracts tend to be complex. In current practice, contracts are often designed by hand and adopted by their participants after, at best, a manual analysis. This paper mo...