2138 search results - page 320 / 428 » Logics for the Relational Syllogistic |
DAGSTUHL
1998
13 years 10 months ago
1998
After brie y reviewing the basic notions and terminology of active rules and relating them to production rules and deductive rules, respectively, we survey a number of formal appro...
ISMB
1998
13 years 10 months ago
1998
Traditionally, biochemical systems are modelled usingkinetics anddifferential equationsin a quantitative simulator. However,for manybiological processes detailed quantitative info...
IWFM
1998
13 years 10 months ago
1998
ing Structured Database Schemas into Abstract Machines Brian Matthews Rutherford Appleton Laboratory, Didcot, OXON, OX11 OQX, U.K. Elvira Locuratolo Istituto di Elaborazione dell&#...
WIESS
2000
13 years 10 months ago
2000
A software system can be called a safe-system with respect to memory, when it supports only strong-typing and it does not allow for the manual disposal of dynamic memory [2]. The ...
WSC
2000
13 years 10 months ago
2000
The paper deals with a simulation study on a planned production plant in the brick industry. We implemented this plant in TAYLOR II. Although the boundary conditions seemed relati...