Results 51 to 60 of about 560,921 (309)

A calculus of constructions with explicit subtyping [PDF]

, 2014
International audienceThe calculus of constructions can be extended with an infinite hierarchy of universes and cumulative subtyping. In this hierarchy, each universe is contained in a higher universe.
Assaf, Ali
core   +2 more sources

Central Nervous System Tumors Among Infants in Canada: A Report From CYP‐C

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Central nervous system (CNS) tumors in infants are rare, pose unique clinical challenges, and lack large‐scale evidence‐based data to guide management. This study seeks to describe CNS tumors in Canadian infants and to compare their outcomes with those of older children.
Samuel Sassine, Hallie Coltin, Sylvia Cheng, Lucie Lafay‐Cousin, Vanan Issai Magimairajan, Craig Erker, Stéphanie Vairy, Lynette Bowes, Adam Fleming, Donna Johnston, Sarah McKillop, Roona Sinha, Julie Bennett, Christina Coleman, Laura Wheaton, Shayna Zelcer, Samuele Renzi, Thai Hoa Tran   +17 more
wiley   +1 more source

The undecidability of Mitchell's subtyping relationship [PDF]

, 1995
Mitchell defined and axiomatized a subtyping relationship (also known as containment, coercibility, or subsumption) over the types of System F (with "→" and "∀").
Wells, J.B.
core   +1 more source

Mathematics and reading difficulty subtypes: Minor phonological influences on mathematics for 5-7 year olds

Frontiers in Psychology, 2015
Linguistic influences in mathematics have previously been explored through subtyping methodology and by taking advantage of the componential nature of mathematics and variations in language requirements that exist across tasks.
Julie Ann eJordan, Judith eWylie, Gerry eMulhern   +2 more
doaj   +1 more source

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

Subtyping and Parametricity [PDF]

, 1993
In this paper we study the interaction of subtyping and parametricity. We describe a logic for a programming language with parametric polymorphism and subtyping. The logic supports the formal definition and use of relational parametricity.
Luca Cardelli, Gordon Plotkin, Martín Abadi   +2 more
core  

A dependently typed calculus with polymorphic subtyping

, 2021
A polymorphic subtyping relation, which relates more general types to more specific ones, is at the core of many modern functional languages. As those languages start moving towards dependently typed programming a natural question is how can polymorphic ...
XUE, M, Dos Santos Oliveira, BCDS
core   +1 more source

Venetoclax‐Based Therapy as a Bridge to Hematopoietic Stem Cell Transplantation in Relapsed or Refractory Pediatric Acute Leukemia

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Relapsed and/or refractory (R/R) pediatric acute leukemia carries a dismal prognosis, largely driven by chemoresistance to conventional salvage therapy. The BH3‐mimetic venetoclax, combined with chemotherapy or hypomethylating agents, has demonstrated efficacy in small clinical trials.
Katherine S. Colman, Deborah Meyran, Vajiranee Malalasekera, Heather Weerdenburg, Janine Campbell, Rachel Conyers, Stacie Wang, Hannah Walker, Seong Lin Khaw, Diane Hanna   +9 more
wiley   +1 more source

Implementation of Valid HPV Diagnostics for the Early Detection of Cervical Cancer in Molecular Pathology: HPV 3.5 LCD-Array (Chipron GmbH) vs. PapilloCheck^® (Greiner Bio-One GmbH) vs. VisionArray^® (ZytoVision GmbH)

Journal of Molecular Pathology
The occurrence of cervical cancer is often linked to a previous infection with a human papillomavirus (HPV). In order to detect HPV infections in cervical smears, a broad range of tests can be used.
Jan Jeroch, Melanie Winter, Anna Bieber, Agnes Boger, Christina Schmitt, Silvana Ebner, Morva Tahmasbi Rad, Henning Reis, Peter. J. Wild   +8 more
doaj   +1 more source

Evaluation of Salmonella Serotype Prediction With Multiplex Nanopore Sequencing

Frontiers in Microbiology, 2021
The use of whole genome sequencing (WGS) data generated by the long-read sequencing platform Oxford Nanopore Technologies (ONT) has been shown to provide reliable results for Salmonella serotype prediction in a previous study.
Xingwen Wu, Hao Luo, Feng Xu, Chongtao Ge, Shaoting Li, Xiangyu Deng, Martin Wiedmann, Robert C. Baker, Abigail Stevenson, Guangtao Zhang, Silin Tang   +10 more
doaj   +1 more source