9521 search results - page 461 / 1905 » Compiling with continuations, continued |
133
click to vote
APAL
2010
15 years 5 months ago
2010
The characteristic sequence of hypergraphs Pn : n < associated to a formula (x; y), introduced in [5], is defined by Pn(y1, . . . yn) = (x) in (x; yi). We continue the study o...
138
Voted
APAL
2008
15 years 5 months ago
2008
Bisimulations, behavioral equivalence and logical equivalence are investigated for stochastic T-coalgebras that interpret coalgebraic logic which is defined in terms of predicate ...
160
click to vote
ARC
2007
Springer
15 years 5 months ago
2007
Springer
General delay dynamical systems in which uncertainty is present in the form of probability measure dependent dynamics are considered. Several motivating examples arising in biolog...
139
click to vote
BIB
2007
15 years 5 months ago
2007
The application of informatics to neuroscience goes far beyond ‘traditional’ bioinformatics modalities such as DNA sequences. In this review, we describe how informatics is be...
147
click to vote
BMCBI
2008
15 years 5 months ago
2008
Background: This paper discusses the problem of automated annotation. It is a continuation of the previous work on the A4-algorithm (Adaptive algorithm of automated annotation) de...