Results 51 to 60 of about 13,143,476 (301)

Social Functioning Within the First Years After Pediatric Brain Tumor Diagnosis and the Relationship With Family Psychosocial Risk

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Survivors of pediatric brain tumors (PBTs) can experience long‐term social difficulties, impacting quality of life. Beyond medical and environmental factors, family psychosocial risk may play a role in social outcomes by shaping the caregiving environment and may provide intervention options.
Renske H. Houben, Marisa H. Huisman, Martha A. Grootenhuis, Femke K. Aarsen, Marita Partanen   +4 more
wiley   +1 more source

Psychological-type theory and Christian theology : a conflict between implicit and explicit religions? [PDF]

, 2013
This study analyses the relationship between psychological-type theory and Christian theology through the lens of implicit religion, drawing on the conceptualisation of implicit religion proposed by Edward Bailey, on the methodology for identifying ...
Francis, Leslie J.
core   +1 more source

Cubical Intepretations of Type Theory [PDF]

, 2016
The interpretation of types in intensional Martin-Löf type theory as spaces and their equalities as paths leads to a surprising new view on the identity type: not only are higher-dimensional equalities explained as homotopies, this view also is ...
Huber, Simon
core   +1 more source

НЕПОЛНЫЙ АЛГОРИТМ В КОНСТРУКТИВНОЙ МАТЕМАТИКЕ (ЧАСТЬ 1)

Cifra: Информационные технологии и телекоммуникации
Представлены результаты исследования проблемы неполноты алгоритмов. Введено новаторское определение «неполный алгоритм», отличающееся от известной в науке неполноты по Тьюрингу.
Коновалов В.А.
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

Retrospective Analysis of Donor Lymphocyte Infusions in Pediatric Patients With Mixed Chimerism After Hematopoietic Stem Cell Transplantation

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Allogeneic hematopoietic stem cell transplantation (alloHSCT) is an essential therapy for several malignant and nonmalignant diseases, but relapse and graft loss remain the principal threats to its success. Routine monitoring of chimerism and minimal residual disease (MRD) enables early detection of imminent recurrence and guides ...
Carmen Junk, Sebastian Michaelis, Michaela Döring, Thomas Eichholz, Ursula Holzer, Martin Ebinger, Tim Flaadt, Rupert Handgretinger, Peter Lang, Jan Frederic Weller, Markus Mezger   +10 more
wiley   +1 more source

Normalization for multimodal type theory [PDF]

Logical Methods in Computer Science
We prove normalization for MTT, a general multimodal dependent type theory capable of expressing modal type theories for guarded recursion, internalized parametricity, and various other prototypical modal situations.
Daniel Gratzer
doaj   +1 more source

Native Type Theory

Electronic Proceedings in Theoretical Computer Science, 2022
In Proceedings ACT 2021, arXiv:2211 ...
Christian Williams, Michael Stay
openaire   +2 more sources

Pediatric Idiopathic Multicentric Castleman Disease Is Often Severe But Responsive to Siltuximab

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Idiopathic multicentric Castleman disease (iMCD) is a potentially fatal immunologic disorder marked by widespread lymphadenopathy and inflammation. Siltuximab, an interleukin‐6 (IL‐6) inhibitor, is the only FDA‐approved treatment for adult patients with iMCD.
Bridget Austin, Sheila K. Pierson, Kelley C. Dacus, Mateo Sarmiento Bustamante, Saishravan Shyamsundar, Larissa Borys, Kayla McHugh, Abiola Irvine, Yoojin Jo, Adam Bagg, Mary Jo Lechowicz, Daisy Alapat, Amy Chadburn, Megan S. Lim, Gordan Srkalovic, Frits van Rhee, David C. Fajgenbaum, Joshua D. Brandstadter   +17 more
wiley   +1 more source

Educational Administration: Theory and Practice [PDF]

, 2021
Educational Administration: Theory & Practice: Vol 25, Issue
Educational Administration Theory and Practice
core