Results 231 to 240 of about 228,995 (268)

An Illustrated Guide to the Model Theory of Supertype Abstraction and Behavioral Subtyping

2018
Object-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   +3 more sources

Toward a Generic Mathematical Model of Abstract Game Theories

2008
Games 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

Existence theory of abstract approximate deconvolution models of turbulence

ANNALI DELL'UNIVERSITA' DI FERRARA, 2008
By 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

Graphs, Maps, Trees: Abstract Models for a Literary Theory

Annals of the Association of American Geographers, 2006
Franco 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

ABSTRACT THEORIES AND MECHANICAL MODELS

2021
openaire   +1 more source

Model Theory for Abstract Entities and its Philosophical Implications

1993
Throughout this book, I have principally concerned myself with natural language semantics and the natural language metaphysics underlying it So for the most part, I have concentrated on discussions of DRSs, the partial models whose task it is to reflect to some extent natural language metaphysics in their discourse referent types.
openaire   +1 more source

Topological Inquiry in Abstract Model Theory

Asterios Gkantzounis, Petros Stefaneas
openaire   +2 more sources

A New Era of Cancer Immunotherapy: Converting Theory to Performance

Ca-A Cancer Journal for Clinicians, 1999
Steven Rosenberg
exaly  

Abstract model theory and nets of C*-algebras

1984
Abstract model theory and nets of C ...
openaire   +1 more source

American Joint Committee on Cancer Acceptance Criteria for Inclusion of Risk Models for Individualized Prognosis in the Practice of Precision Medicine

Ca-A Cancer Journal for Clinicians, 2016
Daniel J. Sargent, Michael W Kattan, Phyllis Gimotty   +2 more
exaly