Results 251 to 260 of about 7,715,827 (290)
Some of the next articles are maybe not open access.
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
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
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 +2 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 +2 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 +1 more source
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
Computer-Aided Design, 1986
A coherent theory of computer modelling in architecture is being developed in Cambridge. The theory, based on concepts from many disciplines (especially philosophy and the design disciplines), is intended as a framework within which computer models can be assessed and compared.
openaire +1 more source
A coherent theory of computer modelling in architecture is being developed in Cambridge. The theory, based on concepts from many disciplines (especially philosophy and the design disciplines), is intended as a framework within which computer models can be assessed and compared.
openaire +1 more source
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
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
Ultraproducts in the Theory of Models
The Annals of Mathematics, 1961In this paper we shall study an algebraic construction which has become a powerful new tool in the theory of models.1 This construction, called the ultraproduct operation', was first described in Los [20] under the name "champ logique," where its characteristic property of yielding elementary extensions of a given relational system was stated.
openaire +2 more sources