Results 41 to 50 of about 6,236,903 (286)

Type IIB Matrix Theory at Two Loops [PDF]

open access: yes, 1998
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)

open access: yesCifra: Информационные технологии и телекоммуникации
Представлены результаты исследования проблемы неполноты алгоритмов. Введено новаторское определение «неполный алгоритм», отличающееся от известной в науке неполноты по Тьюрингу.
Коновалов В.А.
doaj   +1 more source

Why and When Are Evidence‐Based Interventions Adopted in Paediatric Supportive Care? A Qualitative Exploration of the Determinants of Photobiomodulation Implementation

open access: yesPediatric Blood &Cancer, EarlyView.
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

Constructive Dynamic Syntax

open access: yesLanguages
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

open access: yesJournal of High Energy Physics, 2023
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

Preferences of Pediatric Patients and Their Caregivers for Chemotherapy‐Induced Nausea and Vomiting Control Endpoints: A Mixed Methods Study

open access: yesPediatric Blood &Cancer, EarlyView.
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

open access: yesJournal 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

Non-wellfounded trees in Homotopy Type Theory [PDF]

open access: yes, 2015
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

The Role of Invasive Procedures in the Treatment of Complicated Gastrointestinal Graft‐Versus‐Host Disease in Pediatric Patients

open access: yesPediatric Blood &Cancer, EarlyView.
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

open access: yesLanguages
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

Home - About - Disclaimer - Privacy