1933 search results - page 231 / 387 » A Dynamic Theory of Ontology |
AUTOMATICA
2008
13 years 9 months ago
2008
This paper is concerned with obtaining necessary and sufficient conditions for fulfilling specified state and control pointwise-in-time constraints against a certain class of nonli...
BIOSYSTEMS
2007
13 years 9 months ago
2007
This essay is designed to organize a range of experimental findings and theoretical insights of the past 25 years into a coherent view of the brain’s style of function. The view...
ECEASST
2008
13 years 9 months ago
2008
: This paper introduces negative application conditions for reconfigurable place/transition nets. These are Petri nets together with a set of rules that allow changing the net and ...
ENTCS
2008
13 years 9 months ago
2008
CLF (the Concurrent Logical Framework) is a language for specifying and reasoning about concurrent systems. Its most significant feature is the first-class representation of concu...
CPHYSICS
2007
13 years 9 months ago
2007
Melting front velocity dependencies on temperature are calculated using the molecular-dynamics method for the EAM models of Al and Fe as well as for the Lennard-Jones system. Di�...