935 search results - page 73 / 187 » Stable models and difference logic |
INAP
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. In requirements engineering use cases are employed to describe the ow of events and the occurrence of states in a future information system. Use cases consist of a set of...
JCC
2008
13 years 10 months ago
2008
: An explicit ion, implicit water solvent model for molecular dynamics was developed and tested with DNA and RNA simulations. The implicit water model uses the finite difference Po...
FUIN
2010
13 years 7 months ago
2010
We study the notion of solvability in the resource calculus, an extension of the -calculus modelling resource consumption. Since this calculus is non-deterministic, two different ...
AML
2008
13 years 10 months ago
2008
We compare realizability models over partial combinatory algebras by embedding them into sheaf toposes. We then use the machinery of Grothendieck toposes and geometric morphisms t...
JSYML
2010
13 years 8 months ago
2010
Continuous first-order logic has found interest among model theorists who wish to extend the classical analysis of “algebraic” structures (such as fields, group, and graphs) ...