936 search results - page 177 / 188 » Mathematical Models of Endocrine Systems |
156
Voted
CAV
1998
Springer
15 years 4 months ago
1998
Springer
As a pedagogical exercise in ACL2, we formalize and prove the correctness of a write invalidate cache scheme. In our formalization, an arbitrary number of processors, each with its...
106
click to vote
ICDE
1994
IEEE
15 years 4 months ago
1994
IEEE
The relational data model is based on sets of tuples, i.e. it does not allow duplicate tuples in a relation. Many database languages and systems do require multi-set place, the hi...
117
click to vote
SCA
2007
15 years 2 months ago
2007
We describe a method for animating incompressible liquids with detailed free surfaces. For each time step, semiLagrangian contouring computes a new fluid boundary (represented as ...
101
Voted
APCCM
2009
15 years 1 months ago
2009
In the design of multimedia systems, one of the important issues is how to deal with "Kansei" of human beings. The concept of "Kansei" in Japanese includes sev...
104
Voted
JGO
2008
14 years 12 months ago
2008
Abstract In this paper we present an evolutionary variational inequality model of vaccination strategies games in a population with a known vaccine coverage profile over a certain ...