Results 271 to 280 of about 3,950,481 (321)
Some of the next articles are maybe not open access.
ChemInform Abstract: Theory and Modeling of Asymmetric Catalytic Reactions
ChemInform, 2016AbstractReview: 70 refs.
Yu‐hong Lam +4 more
openaire +1 more source
Natural Models of Homotopy Type Theory (Abstract)
2013Homotopy type theory is an interpretation of constructive Martin-Lof type theory into abstract homotopy theory. It allows type theory to be used as a formal calculus for reasoning about homotopy theory, as well as more general mathematics such as can be formulated in category theory or set theory, under this new homotopical interpretation.
openaire +1 more source
Inverse topological systems and compactness in abstract model theory
Journal of Symbolic Logic, 1986AbstractGiven an abstract logic , generated by a set of quantifiers Qi, one can construct for each type τ a topological space Sτ, exactly as one constructs the Stone space for τ in first-order logic. Letting T be an arbitrary directed set of types, the set is an inverse topological system whose bonding mappings are naturally determined by the reduct ...
openaire +3 more sources
An Illustrated Guide to the Model Theory of Supertype Abstraction and Behavioral Subtyping
2018Object-oriented (OO) programs, which use subtyping and dynamic dispatch, make specification and verification difficult because the code executed by a method call may dynamically be dispatched to an overriding method in any subtype, even ones that did not exist at the time the program was specified. Modular reasoning for such programs means allowing one
Gary T. Leavens, David A. Naumann
openaire +2 more sources
Abstract Model Theory as a Framework for Universal Logic
2005We suggest abstract model theory as a framework for universal logic. For this end we present basic concepts of abstract model theory in a general form which covers both classical and non-classical logics. This approach aims at unifying model-theoretic results covering as large a variety of examples as possible, in harmony with the general aim of ...
Marta García-Matos, Jouko Väänänen
openaire +1 more source
On Finite Model Theory (Extended Abstract)
1990The subject of this paper is the part of finite model theory intimately related to the classical model theory. In the very beginning of our career in computer science, we attended a few lectures on database theory where databases were inconspicuously allowed to be infinite and then classical model-theoretical theorems were applied.
openaire +1 more source
Existence theory of abstract approximate deconvolution models of turbulence
ANNALI DELL'UNIVERSITA' DI FERRARA, 2008By using approximate deconvolution, the author develops an abstract approach to modeling the motion of large eddies in a turbulent flow. The first part represents approximate deconvolution models (ADM) and an approximate deconvolution or approximate/asymptotic inverse of the filtering operator \(D\). For large eddy simulation (LES), the author examines
openaire +3 more sources
Toward a Generic Mathematical Model of Abstract Game Theories
2008Games are a complex mathematical structure for modeling dynamicdecision processes under competition where opponent players compete for themaximum gain or toward a success state in the same environment according tothe same rules of the game. Games are conventionally dealt with payoff tablesbased on random strategies, which are found inadequate to ...
openaire +1 more source
Graphs, Maps, Trees: Abstract Models for a Literary Theory
Annals of the Association of American Geographers, 2006Franco Moretti. Afterword by Alberto Piazza. London and New York: Verso, 2005. viii and 119 pp., graphs, maps, trees, notes, and index. $26.00 cloth (ISBN 1-84467-026-0).
openaire +1 more source