Results 111 to 120 of about 7,723,963 (248)

Quotient types in type theory

, 2015
Martin-Lof's intuitionistic type theory (Type Theory) is a formal system that serves not only as a foundation of constructive mathematics but also as a dependently typed programming language. Dependent types are types that depend on values of other types.
openaire   +2 more sources

Nephrogenic Rests/Nephroblastomatosis in Patients With Unilateral Wilms Tumor Are Not Associated With an Increased Risk of Relapse: An Analysis of Patients Treated on the SIOP‐WT‐2001 Protocol in the SIOP‐UK‐CCLG and SIOP‐GPOH Studies (2001–2022)

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Introduction Nephrogenic rests (NRs) and nephroblastomatosis (NBM) are precursor lesions for development of Wilms tumor (WT). Their association with the risk of relapse has not been properly assessed, partly due to misunderstanding of their diagnostic criteria and terminology.
Gordan M. Vujanić, Rhoikos Furtwängler, Tanzina Chowdhury, Christian Vokuhl, Jenny Wegert, Norbert Graf   +5 more
wiley   +1 more source

Administering Blinatumomab via Continuous Intravenous Infusion in Pediatric Patients—A Single‐Institution Retrospective Review

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Blinatumomab, a CD19xCD3 bispecific T‐cell engager, has become standard therapy for children with de novo B‐cell acute lymphoblastic leukemia (B‐ALL). This retrospective review describes the experience of blinatumomab administration in pediatric patients.
Julia M. Hurley, Ryleigh Krueger, Kellie Joyce, James Stanley, Mary Waskerwitz‐Freyer, Marielle Klunder, David J. Hoogstra   +6 more
wiley   +1 more source

Perioperative and Long-Term Outcomes of Acute Stanford Type A Aortic Dissection Repair in Octogenarians

Medical Sciences
Background: The aims of this study were to assess the perioperative morbidity, mortality and long-term survival of octogenarians undergoing acute type A aortic dissection repair (ATAAD), and to compare open and closed distal anastomosis techniques ...
Hannah Masraf, Manoraj Navaratnarajah, Laura Viola, Davorin Sef, Pietro G. Malvindi, Szabolcs Miskolczi, Theodore Velissaris, Suvitesh Luthra   +7 more
doaj   +1 more source

Occurrence of Extramedullary Relapses in Pediatric Acute Lymphoblastic Leukemia After Treatment With Blinatumomab

Pediatric Blood &Cancer, EarlyView.
ABSTRACT We report a retrospective single‐center analysis of pediatric patients with relapsed or refractory B‐cell precursor acute lymphoblastic leukemia focusing on relapses outside of the typical locations, bone marrow, central nervous system, or testes.
Johanna Kunz, Martin Ebinger, Michaela Döring, Markus Mezger, Ursula Holzer, Rupert Handgretinger, Peter Lang, Manon Queudeville   +7 more
wiley   +1 more source

Type Inference for Pure Type Systems

Information and Computation, 1998
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

A Bibliometric Analysis of Publications in Uremic Toxins From 1991 to 2024

Therapeutic Apheresis and Dialysis, EarlyView.
ABSTRACT Background Uremic toxins are a growing area of research in nephrology, with significant implications in the progression and treatment of chronic kidney disease (CKD) and the management of end‐stage kidney disease (ESKD). This bibliometric analysis aims to evaluate the global research trends, key contributors, and the impact of publications in ...
Yuh‐Shan Ho, Karim M. Soliman, Wisit Cheungpasitporn, Wannasit Wathanavasin, Ahmed Daoud, Ahmed I. Kamal, Balázs Szamosfalvi, Tibor Fülöp   +7 more
wiley   +1 more source

Prognostic Value of D‐Dimer in Acute Type A Aortic Dissection and Intramural Hematoma: Observations from the Acute Aortic Syndrome Group of the Registry of Acute Non‐Traumatic Chest Pain in China

Journal of the American Heart Association: Cardiovascular and Cerebrovascular Disease
Background Acute type A aortic dissection (AAD) and acute type A intramural hematoma (AIMH) are life‐threatening conditions with high mortality rates, and prognostic indicators are critical for guiding urgent treatment decisions.
Lingyue Qiu, Qingwei Ji, Huangtai Miao, Meiying Long, Ming Gong, Jing Ye, Tianxiao Liu, Tianlong Zhang, Zhaohe Huang, Yan Liu, Na Yin, Xiaoyan Wu, Ying Shi, Huayuan Zeng, Ling Liu, Yingzhong Lin, Liwen Lyu, Wei Chen, Hua Su, Guoping Shi, Hai Gao, Hongjia Zhang   +21 more
doaj   +1 more source

Therapeutic Apheresis in Nigeria: A Multi‐Center Summary of Abstracts From the Inaugural Nigerian Society for Apheresis Scientific Meeting

Therapeutic Apheresis and Dialysis, EarlyView.
ABSTRACT Background Therapeutic apheresis (TA) is an established treatment modality for hematologic, neurologic, and immunologic disorders, yet access remains severely limited in sub‐Saharan Africa. Donor apheresis, including platelet apheresis collection from healthy donors, represents an important complementary modality supporting blood product ...
Nosa Bazuaye, Chimezie Okwuonu, Evelyn Idam, Folasade Adelekan‐Popoola, Shakirat Gold‐Olufadi, Olufunto Olufela Kalejaiye, Abdullateef Ogala, Zinnah Aloziem, Blossom Amamchukwu, Patience Elimia, Mkpoikanabasi Obot‐Obot, Henry Mbakwe, Praises Maduagwuna, Olatunji Akinrodoye, Chiamaka Anyanwu, Benjamin Anyanwu, Adedamola Akinsiku, Oluwatoyin A. Akinsiku, Muzamil O. Hassan, Fatiu A. Arogundade, Olalekan E. Ojo, Homayemem Weli, Jesupelumi Adenihun, Aderemi Adelaja, Ebun Bamgboye, Olalekan Olatise, Ade E. Faponle, Ayoola Odeyemi, Michael Muoka, Stephen Asaolu, Qudrat Busari, Blessing Dawudu, Michael Naiyeju, Rasheed A. Balogun   +33 more
wiley   +1 more source

Experience With Performing Rheocarna Therapy via the Single‐Needle Method for Treatment of Chronic Limb‐Threatening Ischemia

Therapeutic Apheresis and Dialysis, EarlyView.
ABSTRACT Introduction This study investigated the safety and efficacy of single‐needle Rheocarna therapy for chronic limb‐threatening ischemia (CLTI) with wounds. Methods Six patients with CLTI involving ulcers unresponsive to revascularization underwent single‐needle Rheocarna treatment.
Yasutaka Yamauchi, Rie Tanaka, Reona Kawahira, Shingo Nabeta, Kouhei Naoi, Kazuhito Kitajima, Akira Wada, Tomonari Takagi, Norihiko Ohura, Akira Miyamoto   +9 more
wiley   +1 more source