709 search results - page 62 / 142 » An Equational Theory for Transactions |
115
click to vote
FP
1991
15 years 2 months ago
1991
The notion of functionality is not cast in stone, but depends upon what we have as types in our language. With partial equivalence relations (pers) as types we show that the funct...
ICMLA
2008
15 years 21 days ago
2008
In evolving applications, there is a need for the dynamic selection of algorithms or algorithm parameters. Such selection is hardly ever governed by exact theory, so intelligent r...
ISMB
1993
15 years 17 days ago
1993
In the field of biotechnologyand medicineit is of interest to modeland simulate metabolicprocesses. The usual methods to model metabolic pathwaysare chemicaldescriptions anddiffer...
AUTOMATICA
2007
14 years 11 months ago
2007
We discuss notions of detectability for stochastic linear control systems of Itˆo type. A natural concept of detectability requires a non-zero output, if the state process is uns...
AMC
2006
14 years 11 months ago
2006
In this paper, the distribution of grazing animals around a resource point on a grassland was studied by using theories of stochastic process and differential equations. The resul...