Results 21 to 30 of about 7,641,165 (285)
Statistical Relational Learning With Unconventional String Models
Frontiers in Robotics and AI, 2018 This paper shows how methods from statistical relational learning can be used to address problems in grammatical inference using model-theoretic representations of strings.
Mai H. Vu +5 more
doaj +1 more source
Minimal model theory for log surfaces [PDF]
, 2011 We discuss the log minimal model theory for log surfaces. We show that the log minimal model program, the finite generation of log canonical rings, and the log abundance theorem for log surfaces hold true under assumptions weaker than the usual framework
Fujino, Osamu
core +3 more sources
Thirring Model as a Gauge Theory [PDF]
, 1995 We give another reformulation of the Thirring model (with four-fermion interaction of the current-current type) as a gauge theory and identify it with a gauge-fixed version of the corresponding gauge theory according to the Batalin-Fradkin formalism ...
Alvarez-Gaume +50 more
core +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
Maxwell Theory from Matrix Model [PDF]
, 2000 We present a scenario for deriving Maxwell theory from IIB matrix model. Four dimensional spacetime and theories on it relate different dimensional ones by applying appropriate limits of the backgrounds of matrix model.
Aoki +4 more
core +2 more sources
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
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
An Inflationary Model in String Theory [PDF]
, 2004 We construct a model of inflation in string theory after carefully taking into account moduli stabilization. The setting is a warped compactification of Type IIB string theory in the presence of D3 and anti-D3-branes. The inflaton is the position of a D3-
A. Giryavets +56 more
core +5 more sources
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 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