Results 11 to 20 of about 1,021,911 (264)
Model granularity in engineering design – concepts and framework
Design Science, 2017 In many engineering design contexts models are indispensable. They offer decision support and help tackle complex and interconnected design projects, capturing the underlying structure of development processes or resulting products.
Jakob F. Maier +2 more
doaj +1 more source
The Model-Model of the Theory-Theory [PDF]
Inquiry, 2012 Abstract “Theory of Mind” (ToM) is widely held to be ubiquitous in our navigation of the social world. Recently this standard view has been contested by phenomenologists and enactivists. Proponents of the ubiquity of ToM, however, accept and effectively neutralize the intuitions behind their arguments by arguing that ToM is mostly sub-personal.
openaire +3 more sources
Model Theory and Proof Theory of Coalgebraic Predicate Logic [PDF]
Logical Methods in Computer Science, 2018 We propose a generalization of first-order logic originating in a neglected work by C.C. Chang: a natural and generic correspondence language for any types of structures which can be recast as Set-coalgebras.
Tadeusz Litak +3 more
doaj +1 more source
Security Theorems via Model Theory [PDF]
Electronic Proceedings in Theoretical Computer Science, 2009 A model-theoretic approach can establish security theorems for cryptographic protocols. Formulas expressing authentication and non-disclosure properties of protocols have a special form. They are quantified implications for all xs .
Joshua Guttman
doaj +1 more source
Combustion theory and modeling [PDF]
Proceedings of the Combustion Institute, 2005 In honor of the fiftieth anniversary of the Combustion Institute, we are asked to assess accomplishments of theory in combustion over the past fifty years and prospects for the future. The title of our article is chosen to emphasize that development of theory necessarily goes hand-in-hand with specification of a model.
Buckmaster, J. +6 more
openaire +3 more sources
Typology emerges from simplicity in representations and learning
Journal of Language Modelling, 2021 We derive well-understood and well-studied subregular classes of formal languages purely from the computational perspective of algorithmic learning problems.
Dakotah Jay Lambert +2 more
doaj
The microscale obstacle-resolving meteorological model MITRAS v2.0: model theory [PDF]
Geoscientific Model Development, 2018 This paper describes the developing theory and underlying processes of the microscale obstacle-resolving model MITRAS version 2. MITRAS calculates wind, temperature, humidity, and precipitation fields, as well as transport within the obstacle layer ...
M. H. Salim +8 more
doaj +1 more source
Information and Computation, 1995 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Erich Grädel, Yuri Gurevich
openaire +1 more source
On the Newen’s Person Model Theory
Дискурс, 2022 Introduction. Strategies for understanding another person, which play an important role in social interactions, are focused on recognizing the mental states of the person who is under consideration.
A. I. Ponomarev, K. G. Frolov
doaj +1 more source
Theory, models and biology [PDF]
eLife, 2015 Theoretical ideas have a rich history in many areas of biology, and new theories and mathematical models have much to offer in the future.
Wenying Shou +3 more
openaire +5 more sources