Results 81 to 90 of about 43,809,397 (175)

A New Formal Approach to Two-Dimensional Semantics: Building on Davies and Humberstone’s Two-Dimensional Modal Logic [PDF]

In “Two Conceptions of Necessity”, Martin Davies and Lloyd Humberstone construct a two-dimensional modal logic to formalize Gareth Evans’ distinction between superficial and deep modalities, thereby addressing Saul Kripke’s notions of “contingent a ...
Zhang, Yuxuan
core  

An analytical, phenomenological and numerical study of geophysical and magnetohydrodynamic turbulence in two dimensions [PDF]

, 2013
In this thesis I study a variety of two-dimensional turbulent systems using a mixed analytical, phenomenological and numerical approach. The systems under consideration are governed by the two-dimensional Navier-Stokes (2DNS), surface quasigeostrophic
Blackbourn, Luke A. K.
core   +1 more source

Classification of Four-Dimensional CR Submanifolds of the Homogenous Nearly Kähler ${\mathbb{S}}^{\mathbf{3}}\mathbf{\times }{\mathbb{S}}^{\mathbf{3}}$ Which Almost Complex Distribution Is Almost Product Orthogonal on Itself

Mathematics
The product manifold S3×S3, which belongs to the homogenous six-dimensional nearly Kähler manifolds, admits two structures, the almost complex structure J and the almost product structure P.
Nataša Djurdjević
doaj   +1 more source

Two-dimensional models of type theory

, 2020
We describe a non-extensional variant of Martin-Löf type theory, which we call two-dimensional type theory, and equip it with a sound and complete semantics valued in 2 ...
R I C H A R D G A R N E R
core  

Cross-linguistics difference in disjunction in two-dimensional semantics

Semantics and Linguistic Theory
Disjunction, expressed by or in English, is a primary connective available in natural language. It was traditionally analyzed as the counterparts of the Boolean connectives ∨ (e.g., Montague 1973), but subsequent studies revealed a number of inadequacies in this approach, which led to the ‘dynamic turn’ in natural language semantics (Karttunen 1974 ...
openaire   +1 more source

GeoEPred: A multimodal structure-aware geometric deep learning framework for Gram-negative bacterial secreted effector prediction with sequence semantics. [PDF]

PLoS Comput Biol
Song S, Shi H, Wu H, Liu D, Lin Y, Mat Isa NA, Zou Q, Wei L.   +7 more
europepmc   +1 more source

Integrated design process of Chinese character furniture through regular script. [PDF]

PLoS One
Li J, Shi J, Wei Y, Yan K.
europepmc   +1 more source

The two-dimensional cutting stock problem within the roller blind production process [PDF]

In this paper we consider a two-dimensional cutting stock problem encountered at a large manufacturer of window covering products. The problem occurs in the production process of made-to-measure roller blinds. We develop a solution method that takes into
Wagelmans, A.P.M., Gelder, E.R. de
core  

Top-down semantic predictions align phonetic neuronal dynamics in human superior temporal gyrus. [PDF]

Nat Commun
Orepić P, Truccolo W, Halgren E, Cash SS, Giraud AL, Proix T.   +5 more
europepmc   +1 more source

The use of two-dimensional semantics in an argument from conceivability

, 2012
D. Chalmers uses the two-dimensional semantics for inferring metaphysical conclusion about the falsity of materialism from conceivability of zombies. In this article Chalmers' argument is analyzed and it is demonstrated that metaphysical conclusion does ...
Нагуманова, С. Ф., Nagumanova, S. F.   +1 more
core