Results 281 to 290 of about 6,723,237 (315)
Some of the next articles are maybe not open access.

An extension of the theory of learning systems

Acta Informatica, 1973
The author's inquiry [1] on learning systems is generalized in the following respects: The process of learning, instead of coming to an end when the learning goal has been reached, is supposed to last for ever, so that the above "definitive" learning as well as phenomena such as forgetting, re-learning, changing the goal etc. become describable.
openaire   +3 more sources

An extension of Ackermann's set theory

Journal of Symbolic Logic, 1972
Ackermann's set theory [1], called here A, involves a schemawhere φ is an ∈-formula with free variables among y1, …, yn and w does not appear in φ. Variables are thought of as ranging over classes and V is intended as the class of all sets.S is a kind of comprehension principle, perhaps most simply motivated by the following idea: The familiar ...
openaire   +3 more sources

The Theory of Extensive Form Games

2016
This book has grown out of a decade and a half of joint research that resultedin the articles underlying it (Alós-Ferrer and Ritzberger2005a,b, Alós-Ferrer andRitzberger2008, Alós-Ferrer et al.2011, Alós-Ferrer and Ritzberger2013,2015,2016a,2016b,2016c).
Alós-Ferrer, Carlos, Ritzberger, Klaus
openaire   +1 more source

The Theory of Extension

1997
This chapter analyzes Part IV of Process and Reality. It begins with a discussion of coordinate division, which is the isolation of the separable elements in the inseparate unity of the satisfaction. In genetic analysis, which is likewise an analysis of these separable elements, the emphasis is placed on the feelings themselves: their arising ...
openaire   +1 more source

Constraints on extensions of a default theory

Journal of Computer Science and Technology, 2001
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

An Extension of Classical Measure Theory

SIAM Review, 1984
The author has generalized the classical measure theory by considering, as the domain of a measure function, not an algebra, but a \(\sigma\)-base, i.e. a collection of sets closed under complementation and countable unions of pairwise disjoint sets only.
openaire   +2 more sources

Designing Theory Solvers with Extensions

2017
Satisfiability Modulo Theories (SMT) solvers have been developed to natively support a wide range of theories, including linear arithmetic, bit-vectors, strings, algebraic datatypes and finite sets. They handle constraints in these theories using specialized theory solvers.
Andrew Reynolds 0001   +3 more
openaire   +1 more source

Extensions to the theory of selective withdrawal

Journal of Fluid Mechanics, 2001
Most reservoirs contain stratified fluid and selective withdrawal is used to obtain water with the desired properties. We initially deal with a layered density distribution. The theory for the critical discharge for a single layer and a point sink is reviewed and extended to cover the case where there is gate discharge (a line sink). The theory for
openaire   +2 more sources

On a dynamic extension of the theory of graphs

Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301), 2002
We consider a graph of a given order whose topology is dictated by an underlying controlled dynamics. This dynamic graph structure provides a convenient framework for modeling distributed dynamic systems where the topology of the interaction among its elements evolves in time.
openaire   +1 more source

Home - About - Disclaimer - Privacy