Results 211 to 220 of about 757,560 (265)
Some of the next articles are maybe not open access.
2010
This compendium gives a comprehensive overview of the advances in fibrillation-defibrillation knowledge — recognition of fibrillation as a unique life threatening cardiac arrhythmia; discovery of the electric discharge in its double role of culprit and savior; and technological improved contributions.
D. L. Gonzalez +2 more
openaire +6 more sources
This compendium gives a comprehensive overview of the advances in fibrillation-defibrillation knowledge — recognition of fibrillation as a unique life threatening cardiac arrhythmia; discovery of the electric discharge in its double role of culprit and savior; and technological improved contributions.
D. L. Gonzalez +2 more
openaire +6 more sources
Theoretical modelling of jet grouting
Géotechnique, 2006Theoretical modelling of the mechanical phenomena induced by jet grouting is presented. The analysis is developed for the single-fluid method. The jet propagation across the space included between the injection nozzles and the intact soil is first modelled on the basis of the theory of submerged flows.
MODONI, Giuseppe +2 more
openaire +2 more sources
The Journal of Symbolic Logic, 1976
Since the late 1940's model theory has found numerous applications to algebra. I would like to indicate some of the points of contact between model theoretic methods and strictly algebraic concerns by means of a few concrete examples and typical applications. §1.
openaire +2 more sources
Since the late 1940's model theory has found numerous applications to algebra. I would like to indicate some of the points of contact between model theoretic methods and strictly algebraic concerns by means of a few concrete examples and typical applications. §1.
openaire +2 more sources
Introduction to Theoretical Modelling
2013We briefly overview commonly encountered theoretical notions arising in the modelling of quantum gases, intended to provide a unified background to the ‘language’ and diverse theoretical models presented elsewhere in this book, and aimed particularly at researchers from outside the quantum gases community.
Davis MJ +5 more
openaire +4 more sources
A Proof Theoretic Interpretation of Model Theoretic Hiding
2012Logical frameworks like LF are used for formal representations of logics in order to make them amenable to formal machine-assisted meta-reasoning. While the focus has originally been on logics with a proof theoretic semantics, we have recently shown how to define model theoretic logics in LF as well.
Mihai Codescu +4 more
openaire +1 more source
The Journal of Symbolic Logic, 2016
AbstractOne of the basic concepts of set theoretic geology is the mantle of a model of set theory V: it is the intersection of all grounds of V, that is, of all inner models M of V such that V is a set-forcing extension of M. The main theme of the present paper is to identify situations in which the mantle turns out to be a fine structural extender ...
Gunter Fuchs, Ralf Schindler
openaire +2 more sources
AbstractOne of the basic concepts of set theoretic geology is the mantle of a model of set theory V: it is the intersection of all grounds of V, that is, of all inner models M of V such that V is a set-forcing extension of M. The main theme of the present paper is to identify situations in which the mantle turns out to be a fine structural extender ...
Gunter Fuchs, Ralf Schindler
openaire +2 more sources
Model theoretic semantics for Demo
1992A useful 3-valued provability predicate Demos is defined, that can provably simulate non-classical logics and connectives (like autoepistemic logic and negation-as-failure) and that, despite its 3-valued semantics, is able to capture thoroughly classical notions of provability and unprovability.
openaire +2 more sources
Model-theoretic aspects of unification
1992Unification is a fundamental operation in various areas of computer science, in particular in automated theorem proving and logic programming. In this paper we establish a relation between unification theory and classical model theory. We show how model-theoretic methods can be used to investigate a generalized form of unification, namely the problem ...
openaire +2 more sources
A review on theoretical models for lithium–sulfur battery cathodes
Informační Materiály, 2022Zhongheng Fu, Qiang Zhang, Xiang Chen
exaly