Results 51 to 60 of about 6,236,903 (286)
Type Theory and Universal Grammar
Philosophia Scientiæ, 2006 The paper takes a look at the history of the idea of universal grammar and compares it with multilingual grammars, as formalized in the Grammatical Framework, GF.
Aarne Ranta
doaj +1 more source
Internalising modified realisability in constructive type theory [PDF]
Logical Methods in Computer Science, 2005 A modified realisability interpretation of infinitary logic is formalised and proved sound in constructive type theory (CTT). The logic considered subsumes first order logic.
Erik Palmgren
doaj +1 more source
, 1998 We consider novel nonperturbative effects of type I theories compactified on singular ALE spaces obtained by adding NS branes. Such effects include a description of small $E_8$ instantons at singularities.Comment: 6 pages, Harvmac.tex, updated ...
Blum, Julie D.
core +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background This study investigated how neighborhood‐level social determinants of health (SDOH), including redlining and neurological risk, interact to influence cognitive outcomes in children treated for brain tumors (CTBT). Methods A retrospective chart review of 161 CTBT aged 5–17 was conducted.
Alannah R. Srsich +5 more
wiley +1 more source
Divergence-type theory of conformal fields
, 2009 We present a nonlinear hydrodynamical description of a conformal plasma within the framework of divergence-type theories (DTTs), which are not based on a gradient expansion.
Calzetta, E., Peralta-Ramos, J.
core +1 more source
Fermion Mass Hierarchy in Lifshitz Type Gauge Theory [PDF]
, 2010 We study the origin of fermion mass hierarchy and flavor mixing in a Lifshitz type extension of the standard model including an extra scalar field. We show that the hierarchical structure can originate from renormalizable interactions. In contrast to the
Anselmi D. +4 more
core +4 more sources
Therapeutic Apheresis and Dialysis, EarlyView.ABSTRACT Introduction Pre‐dilution online hemodiafiltration (Pre‐HDF) is predominantly used in Japan, whereas post‐dilution online HDF (Post‐HDF) is more common in Europe. An asymmetric cellulose triacetate (ATA) membrane may improve biocompatibility.
Kenji Sakurai +4 more
wiley +1 more source
Determining substitutability of cloud services supported by semantically extended type theory
Tongxin xuebao, 2016 In cloud environments, the high dynamics and more service failures were great obstacles to cloud applications, service substitution was a key research issue and also was a main solution to these challenges.
Xian-qing WANG +5 more
doaj
Massive deformations of Type IIA theory within double field theory
Journal of High Energy Physics, 2018 We obtain massive deformations of Type IIA supergravity theory through duality twisted reductions of Double Field Theory (DFT) of massless Type II strings. The mass deformation is induced through the reduction of the DFT of the RR sector. Such reductions
Aybike Çatal-Özer
doaj +1 more source
Kripke Semantics for Martin-L\"of's Extensional Type Theory [PDF]
Logical Methods in Computer Science, 2011 It is well-known that simple type theory is complete with respect to non-standard set-valued models. Completeness for standard models only holds with respect to certain extended classes of models, e.g., the class of cartesian closed categories. Similarly,
Steve Awodey, Florian Rabe
doaj +1 more source