Results 41 to 50 of about 6,236,903 (286)
Type IIB Matrix Theory at Two Loops [PDF]
The IKKT matrix model was proposed to be a non-perturbative formulation of type IIB superstring theory. One of its important consistency criteria is that the leading one-loop $1/r^8$ effective interaction between a cluster of type IIB D-objects should ...
A. A. Tseytlin +42 more
core +2 more sources
НЕПОЛНЫЙ АЛГОРИТМ В КОНСТРУКТИВНОЙ МАТЕМАТИКЕ (ЧАСТЬ 1)
Представлены результаты исследования проблемы неполноты алгоритмов. Введено новаторское определение «неполный алгоритм», отличающееся от известной в науке неполноты по Тьюрингу.
Коновалов В.А.
doaj +1 more source
ABSTRACT Background Oral mucositis is a common and debilitating side effect of childhood cancer and stem cell transplant treatments. It affects the quality of life of children and young people (CYP) and places a strain on services. Photobiomodulation is recommended for oral mucositis prevention in international guidance but is poorly implemented in UK ...
Claudia Heggie +4 more
wiley +1 more source
This paper explores the integration of constructive type theory in the tradition of Martin Löf into Dynamic Syntax.
Stergios Chatzikyriakidis
doaj +1 more source
Type II double field theory in superspace
We explore type II supersymmetric double field theory in superspace. The double supervielbein is an element of the orthosymplectic group OSp(10, 10|64), which also governs the structure of generalized superdiffeomorphisms.
Daniel Butter
doaj +1 more source
ABSTRACT Purpose Although not always achieved, complete chemotherapy‐induced nausea and vomiting (CINV) control is the conventional goal of CINV prophylaxis. In this two‐center, mixed‐methods study, we sought to understand the preferences of adolescent patients and family caregivers for CINV control endpoints.
Haley Newman +8 more
wiley +1 more source
Muti-instanton amplitudes in type IIB string theory
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
Non-wellfounded trees in Homotopy Type Theory [PDF]
We prove a conjecture about the constructibility of coinductive types - in the principled form of indexed M-types - in Homotopy Type Theory. The conjecture says that in the presence of inductive types, coinductive types are derivable.
Ahrens, Benedikt +2 more
core +2 more sources
ABSTRACT Background Gastrointestinal graft‐versus‐host disease (GI GVHD) following hematopoietic stem cell transplant is typically managed with medical therapy, but surgery and angioembolization may be warranted in selected cases with life‐threatening complications.
Gaia Brunetti +12 more
wiley +1 more source
Dynamic Syntax in a Theory of Types with Records
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

