1222 search results - page 184 / 245 » A Bayesian Approach to Model Checking Biological Systems |
134
click to vote
BC
2005
15 years 4 months ago
2005
The tangential neurons in the lobula plate region of the flies are known to respond to visual motion across broad receptive fields in visual space. When intracellular recordings ar...
134
click to vote
ICALP
2001
Springer
15 years 8 months ago
2001
Springer
A cryptographic protocol can be described as a system of concurrent processes, and analysis of the traces generated by this system can be used to verify authentication and secrecy ...
141
click to vote
BIOSYSTEMS
2007
15 years 4 months ago
2007
This paper develops an algorithm that extracts explanatory rules from microarray data, which we treat as time series, using genetic programming (GP) and fuzzy logic. Reverse polis...
142
click to vote
DAGSTUHL
2003
15 years 5 months ago
2003
Abstract. In this paper, we show how the concepts of objects, components, features and agents are used today in the Agent Building Center (ABC) environment in order to marry the mo...
139
click to vote
ENTCS
2007
15 years 4 months ago
2007
In the context of process algebras it is customary to define semantics in the form of a reaction relation supported by a structural congruence relation. Recently process algebras...