Results 221 to 230 of about 1,081,112 (263)
Some of the next articles are maybe not open access.
Journal of Symbolic Logic, 1976
Several results in the theory of recursion in higher types indicate that the effect of a higher type functional on the lower types does not reflect the high type, i.e. the same effect could be obtained by functionals of relatively low type. The two main results here are:Plus -1 - Theorem (G. Sacks [6] for k = 1, [7] for k > 1).
Johan Moldestad, Dag Normann
openaire +3 more sources
Several results in the theory of recursion in higher types indicate that the effect of a higher type functional on the lower types does not reflect the high type, i.e. the same effect could be obtained by functionals of relatively low type. The two main results here are:Plus -1 - Theorem (G. Sacks [6] for k = 1, [7] for k > 1).
Johan Moldestad, Dag Normann
openaire +3 more sources
Effective model theory vs. recursive model theory
Journal of Symbolic Logic, 1990Recursive model theory is supposed to be the study of the effectiveness of constructions and theorems in model theory. This often involves getting “effective” versions of various classical model-theoretic notions. The traditional way of doing this is to restrict attention to recursive models, and recursive isomorphisms between them, etc.
openaire +1 more source
Modeling agents with a theory of mind: Theory–theory versus simulation theory [PDF]
Web Intelligence and Agent Systems: An International Journal, 2012 Virtual training systems with intelligent agents provide an effective means to train people for complex, dynamic tasks like crisis management or firefighting. For successful training, intelligent virtual agents should be able to show believable behavior, adapt their behavior to the trainee's performance and give useful explanations about their behavior.
Harbers, M. +2 more
openaire +4 more sources
The model theory of concurrency
2006Process algebras such as Milner's Calculus of Communicating Systems (CCS) are universalist, i.e., they assume that there is a single universe in which expressions are to be interpreted. We begin an investigation of a model theoretic approach to concurrency in which there are many universes.
Kevin J. Compton, Rosario Uceda-Sosa
openaire +2 more sources
Calcified Tissue International, 1979
The editor has offered the challenge of producing a review-type article which might introduce constructively provocative ideas into an area of hard tissue inquiry. He probably expected a review of BMU theory, but since that theory flourishes in the capable hands of others a different topic appears here, an algorithm little touched by but fully open to ...
openaire +2 more sources
The editor has offered the challenge of producing a review-type article which might introduce constructively provocative ideas into an area of hard tissue inquiry. He probably expected a review of BMU theory, but since that theory flourishes in the capable hands of others a different topic appears here, an algorithm little touched by but fully open to ...
openaire +2 more sources
Theories with recursive models
Journal of Symbolic Logic, 1979A structure is recursive if the set of quantifier-free sentences in the complete diagram ⊿() of is recursive. It has been known for some time that every decidable theory has a recursive model. In fact, every decidable theory has a decidable model (that is a model such that ⊿() is recursive). In this paper we find other conditions which imply that a
Manuel Lerman, James H. Schmerl
openaire +1 more source
Physical Review, 1955
The framework for a unified theory of nuclear structure is described in which the wave functions for different nuclear models are obtained by transformations on the actual nuclear wave function. This formulation provides a basis for explaining the success of weak-coupling models of the nucleus and showing that they are not in conflict with the ...
Eden, R. J., Franci, N. C.
openaire +1 more source
The framework for a unified theory of nuclear structure is described in which the wave functions for different nuclear models are obtained by transformations on the actual nuclear wave function. This formulation provides a basis for explaining the success of weak-coupling models of the nucleus and showing that they are not in conflict with the ...
Eden, R. J., Franci, N. C.
openaire +1 more source
2014
This section reviews the relation between the continuous dynamics of a molecular system in thermal equilibrium and the kinetics given by a Markov State Model (MSM). We will introduce the dynamical propagator, an error-less, alternative description of the continuous dynamics, and show how MSMs result from its discretization.
Marco, Sarich +2 more
openaire +2 more sources
This section reviews the relation between the continuous dynamics of a molecular system in thermal equilibrium and the kinetics given by a Markov State Model (MSM). We will introduce the dynamical propagator, an error-less, alternative description of the continuous dynamics, and show how MSMs result from its discretization.
Marco, Sarich +2 more
openaire +2 more sources
Qualitative Health Research, 2018
Although theory building is often described as the ultimate goal of qualitative research, an examination of articles in Qualitative Health Research ( QHR) shows that themes are actually the typical format for reporting results. In addition, articles that rely on themes often present low-level theories in the form of models that connect these themes ...
openaire +3 more sources
Although theory building is often described as the ultimate goal of qualitative research, an examination of articles in Qualitative Health Research ( QHR) shows that themes are actually the typical format for reporting results. In addition, articles that rely on themes often present low-level theories in the form of models that connect these themes ...
openaire +3 more sources
Canadian Mathematical Bulletin, 1974
Given a first-order theory T, welet be the category of models of T and homomorphisms between them. We shall show that a morphism A→B of is an epimorphism if and only if every element of B is definable from elements of A in a certain precise manner (see Theorem 1), and from this derive the best possible Cowell- power Theorem for .
openaire +1 more source
Given a first-order theory T, welet be the category of models of T and homomorphisms between them. We shall show that a morphism A→B of is an epimorphism if and only if every element of B is definable from elements of A in a certain precise manner (see Theorem 1), and from this derive the best possible Cowell- power Theorem for .
openaire +1 more source