Results 251 to 260 of about 11,553,357 (305)
Preferential Interfacial Engineering of Hydrogels via Interdigitated Nanoparticle Assembly
Robust surface functionalization of hydrogel surfaces is performed via interdigitated metal nanoparticle assembly, inducing strong affinity with the hydrogel matrix. The partially exposed nanoparticle domains act as interfacial nanobridges that mediate both chemical and physical bonding with diverse materials, including small molecules, fluorous ...
Hyeonjin Kim +11 more
wiley +1 more source
Melanin content directly controls fungal spore mechanical properties, with pigmented spores achieving rupture forces two orders of magnitude higher than hyaline spores. Environmental stress drives this quantity‐quality tradeoff; stressed species invest energy in melanin‐reinforced, mechanically superior thick‐walled, super‐hydrophobic spores, while ...
Atul Agrawal, Steven E. Naleway
wiley +1 more source
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
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 +3 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 +3 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 +3 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 +3 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 +2 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
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

