1363 search results - page 160 / 273 » Dynamics of a Classical Conditioning Model |
92
Voted
ICFP
2006
ACM
16 years 23 days ago
2006
ACM
The problem of expressing I/O and side effects in functional languages is a well-established one. This paper addresses this problem from a general semantic viewpoint by giving a u...
234
Voted
DNA
2011
Springer
14 years 18 days ago
2011
Springer
Several molecular systems form large-scale objects. One would like to understand their assembly and how this assembly is regulated. As a first step, we investigate the phase trans...
89
Voted
LICS
2005
IEEE
15 years 6 months ago
2005
IEEE
We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthem...
110
click to vote
CMPB
2010
14 years 7 months ago
2010
Steady state flux balance analysis (FBA) for cellular metabolism is used, e.g., to seek information on the activity of the different pathways under equilibrium conditions, or as a...
116
click to vote
ICCS
2007
Springer
15 years 2 months ago
2007
Springer
Abstract. Humanity’s understanding of the Earth’s weather and climate depends critically on accurate forecasting and state-estimation technology. It is not clear how to build a...