Results 241 to 250 of about 7,042,113 (292)
Left Ventricular Mechanics and Myocardial Work in Competitive Sprinters. [PDF]
EchocardiographyPoyraz E, Can F.
europepmc +1 more source
The Bulletin of the Ecological Society of America, EarlyView.
Pedro Jordano, José María Gómez
wiley +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Computability in constructive type theory
2022Wir behandeln eine formalisierte und maschinengeprüfte Betrachtung von Berechenbarkeitstheorie im Calculus of Inductive Constructions (CIC), der konstruktiven Typtheorie die dem Beweisassistenten Coq zugrunde liegt. Wir entwickeln erst synthetische Berechenbarkeitstheorie, vorbereitet durch die Arbeit von Richman, Bridges und Bauer, wobei alle ...
openaire +2 more sources
Journal of Symbolic Logic, 1997
In this paper we continue the investigations begun in [2] of equivalence classes of (denumerable) well-orderings under one-one partial recursive, order-preserving maps (recursive isotonisms). The numbering and notation are continued from [2] except that we now use lower case Greek letters for classical ordinals and upper case Roman letters for sets and
openaire +2 more sources
In this paper we continue the investigations begun in [2] of equivalence classes of (denumerable) well-orderings under one-one partial recursive, order-preserving maps (recursive isotonisms). The numbering and notation are continued from [2] except that we now use lower case Greek letters for classical ordinals and upper case Roman letters for sets and
openaire +2 more sources
Constructive order types on cuts
Journal of Symbolic Logic, 1969If A and B are subsets of natural numbers we say that A is recursively equivalent to B (denoted A ≃ B) if there is a one-one partial recursive function which maps A onto B, and that A is recursively isomorphic to B (denoted A
openaire +1 more source
A Type Theory with Mixed Constructivity and Assignments
Logic Journal of IGPL, 1997A logic \(Sp_2\) that supports a simple form of assignment within a type-theoretical context that includes constructive, classical, and mixed logical formulas as databases is defined. Assignments in \(Sp_2\) can change the value of a variable as well as update the syntactic environment with information that tracks properties of the current and old ...
openaire +3 more sources
Types of Construction Contracts
2021At the early stage of a project, the main issue that faces the employer and his consultants is to decide on the contract strategy that best suits the project objectives. The development of the contract strategy comprises a complete assessment of the choices available for the management of the design and the construction, to maximise the likelihood of ...
openaire +1 more source
European Journal of Psychological Assessment, 2014
The interaction of negative affectivity (NA) and social inhibition (SI), known as the Type D personality, is associated with a worse prognosis in cardiac patients. Until now, causal models have been speculative, and this is partly due to a lack of clarity related to the validity of SI, its role in emotion regulation, and the postulated independence of
Gesine Grande +3 more
openaire +1 more source
The interaction of negative affectivity (NA) and social inhibition (SI), known as the Type D personality, is associated with a worse prognosis in cardiac patients. Until now, causal models have been speculative, and this is partly due to a lack of clarity related to the validity of SI, its role in emotion regulation, and the postulated independence of
Gesine Grande +3 more
openaire +1 more source
Constructing the “Jewish Type”
Nuncius, 2021Abstract With the emergence of new photographic technologies and processes during the second half of the nineteenth century, it became increasingly easier to pursue anthropometric research in anthropology. One group to receive particular attention was the Jewish community.
openaire +1 more source