237 search results - page 21 / 48 » Toward Verified Biological Models |
TCS
2008
14 years 9 months ago
2008
Beta-binders is a recent process calculus developed for modelling and simulating biological systems. As usual for process calculi, the semantic definition heavily relies on a stru...
100
click to vote
BMCBI
2010
14 years 9 months ago
2010
Background: Quantitative models for transcriptional regulation have shown great promise for advancing our understanding of the biological mechanisms underlying gene regulation. Ho...
66
Voted
CSL
2007
Springer
14 years 9 months ago
2007
Springer
This study is aimed at investigating whether automatic phonetic transcription procedures can approximate manual transcriptions typically delivered with contemporary large speech c...
ICIAP
2009
ACM
15 years 4 months ago
2009
ACM
Multi-modality is a fundamental feature that characterizes biological systems and lets them achieve high robustness in understanding skills while coping with uncertainty. Relativel...
AAMAS
2005
Springer
15 years 3 months ago
2005
Springer
This paper presents a model for adaptive agents. The model describes the behavior of an agent as a graph of roles, in short a behavior graph. Links between roles provide conditions...