Results 41 to 50 of about 837,747 (262)

Muti-instanton amplitudes in type IIB string theory

Journal of High Energy Physics, 2021
We compute the normalization of the multiple D-instanton amplitudes in type IIB string theory and show that the result agrees with the prediction of S-duality due to Green and Gutperle.
Ashoke Sen
doaj   +1 more source

Parent Quality of Life at Two Years Following Their Child's Completion of Acute Lymphoblastic Leukemia Treatment

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Parents of children treated for acute lymphoblastic leukemia (ALL) often experience significant caregiver burden and disruption to their well‐being. While parent quality of life (QoL) during treatment is well characterized, little is known about outcomes during early survivorship.
Sara Dal Pra, Maria McCarthy, Michael Takagi, Cinzia De Luca   +3 more
wiley   +1 more source

Dynamic Syntax in a Theory of Types with Records

Languages
This paper presents a recasting of key aspects of dynamic syntax (DS) in a theory of types with records (TTR), concentrating on the incremental processing of speech events as they unfold and viewed in terms of classifying these events in terms of ...
Robin Cooper, Staffan Larsson
doaj   +1 more source

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

Cognitive Functioning in Vorinostat‐Treated Pediatric and Young Adult Patients Over the First 180 Days After Hematopoietic Stem Cell Transplant

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Purpose Cognitive and psychological difficulties could negatively interfere with treatment adherence and quality of life before and after hematopoietic stem cell transplant (HSCT). Methods to mitigate these changes may have positive effects on treatment success.
Kristen L. Votruba, Michelle Rozwadowski, Thomas Braun, April Rahrig, Edward Peres, Kirsten M. Williams, Vanessa Fabrizio, Julie‐An Talano, Carrie L. Kitko, Nicolas Parnell, Pavan Reddy, Sung Won Choi   +11 more
wiley   +1 more source

A PRSZT Registry Analysis of Prognostic Factors Influencing Survival and Relapse Rates After Second Allogeneic Hematopoietic Stem Cell Transplantation in Pediatric Acute Lymphoblastic Leukemia

Pediatric Blood &Cancer, EarlyView.
ABSTRACT A second allogeneic (allo‐)hematopoietic stem cell transplantation (HSCT2) is a potential curative option for pediatric patients with acute lymphoblastic leukemia (ALL) following relapse after first allogeneic transplantation (HSCT1), but its efficacy is limited by high relapse rates and transplant‐related toxicity in highly pretreated ...
Ava Momm, Imme Haubitz, Rita Beier, Martin Zimmermann, Andrej Lissat, Peter Bader, Matthias Eyrich, Jan‐Henning Klusmann, Matthias Wölfl, Paul‐Gerhardt Schlegel, Verena Wiegering   +10 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, Chang-qin HUANG, UOXuan LUO, Rui-hua NIE, Yong TANG, Xiao-yong MEI   +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