97 search results - page 20 / 20 » Processing Queries with Expensive Functions and Large Object... |
TACS
1994
Springer
13 years 8 months ago
1994
Springer
In this paper we present a semantic theory for Concurrent ML. It consists of a new effect-based type system and a denotational model. The new type system is based on an extension o...
GECCO
2009
Springer
13 years 11 months ago
2009
Springer
Mathematical modeling for gene regulative networks (GRNs) provides an effective tool for hypothesis testing in biology. A necessary step in setting up such models is the estimati...