Results 71 to 80 of about 3,897,984 (301)
Constructing quotient inductive-inductive types [PDF]
Proceedings of the ACM on Programming Languages, 2019 Quotient inductive-inductive types (QIITs) generalise inductive types in two ways: a QIIT can have more than one sort and the later sorts can be indexed over the previous ones. In addition, equality constructors are also allowed. We work in a setting with uniqueness of identity proofs, hence we use the term QIIT instead of higher inductive-inductive ...
Ambrus Kaposi +2 more
openaire +1 more source
Outcomes of Live Virus Vaccination in Patients With Vascular Anomalies Being Treated With Sirolimus
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Live vaccination in patients with vascular anomalies (VA) receiving sirolimus remains controversial due to immunosuppressive effects and theoretical risks. Procedure This single‐center retrospective study included patients with VA less than 4 years old at the start of sirolimus therapy who were incompletely vaccinated.
Svatava Merkle +5 more
wiley +1 more source
Low-dose Misoprostol for Second Trimester Pregnancy Termination in Women with a Prior Caesarean Delivery [PDF]
Journal of Clinical and Diagnostic Research, 2019 Introduction: Termination of Pregnancy (ToP) is an obstetric procedure that can be performed by surgical or medical techniques during the first or second trimester of pregnancy.
Emine Aydin, Ozgur Ozyuncu
doaj +1 more source
An open source rule induction tool for transfer-based SMT [PDF]
, 2009 In this paper we describe an open source tool for automatic induction of transfer rules. Transfer rule induction is carried out on pairs of dependency structures and their node alignment to produce all rules consistent with the node alignment.
Graham, Yvette, van Genabith, Josef
core +1 more source
Mathematical induction, transfinite induction, and induction over the continuum
International Journal of Mathematics and Mathematics Education, 2023 This article examines three types of induction methods in mathematics: mathematical induction, transfinite induction, and induction over the continuum. If a statement holds true for all natural numbers, it is proven using mathematical induction. If a statement holds true for all ordinal numbers, it is proven using transfinite induction. Since induction
Denik Agustito +2 more
openaire +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Nurses are central to cancer care for children and adolescents, yet no comprehensive synthesis has defined essential core competencies for pediatric oncology nursing (PON) practice internationally, particularly in Latin America and the Caribbean (LAC).
Luís Carlos Lopes‐Júnior +7 more
wiley +1 more source
Electrodynamic induction flowmeter [PDF]
, 1970 Device determines velocity and electrical conductivity of a moving fluid of high electrical resistance by imposing a transverse electro-quasistatic field on the fluid.
Melcher, J. A.
core +1 more source
Direct Observation of Condon Domains in Silver by Hall Probes
, 2005 Using a set of micro Hall probes for the detection of the local induction, the inhomogeneous Condon domain structure has been directly observed at the surface of a pure silver single crystal under strong Landau quantization in magnetic fields up to 10 T.
Egorov, V. S. +4 more
core +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Kaposiform lymphangiomatosis (KLA) is an aggressive complex lymphatic anomaly. Patients exhibit malformed lymphatic vessels and often develop hemorrhagic effusions and elevated angiopoietin‐2 (Ang‐2) levels. A somatic NRAS p.Q61R (NRASQ61R) mutation has been associated with KLA.
C. Griffin McDaniel +3 more
wiley +1 more source
Parity as Failure Determinants of Labor Induction in Bangka Belitung [PDF]
, 2016 Objectives: to identify factors affecting labor induction failure in Sungailiat General Hospital, District Bangka, Bangka Belitung.Materials and Methods: This is a case control retrospective analytic study.
Anggriani, D. D. (Dina) +2 more
core