Results 61 to 70 of about 12,021,669 (295)
Type classes for mathematics in type theory [PDF]
Mathematical Structures in Computer Science, 2011 The introduction of first-class type classes in the Coq system calls for a re-examination of the basic interfaces used for mathematical formalisation in type theory. We present a new set of type classes for mathematics and take full advantage of their unique features to make practical a particularly flexible approach that was formerly thought to be ...
Bas Spitters, Eelis van der Weegen
openaire +4 more sources
Family Medicine & Primary Care Review, 2016 Background . Influenza remains the cause of many seasonal infections, leading even to death, in all age groups, for all patient health states, under all health policies, and in all latitudes.
Ewelina Hallmann-Szelińska +4 more
doaj +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Central nervous system (CNS) involvement in childhood acute lymphoblastic leukemia (ALL) is assessed by cell counting and cytomorphology from cerebrospinal fluid (CSF) and is used for treatment stratification worldwide. The ratio of “CNS2” patients in clinical trials ranges from 3% to 40%, with unclear prognostic significance ...
Laura Almási +14 more
wiley +1 more source
Session Types as Generic Process Types [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 In Proceedings EXPRESS/SOS 2014, arXiv:1408 ...
Simon J. Gay +2 more
openaire +5 more sources
Case report: The spectrum of SMPD1 pathogenic variants in Hungary
Frontiers in Genetics, 2023 Acid sphingomyelinase deficiency (ASMD) is an autosomal recessive disease caused by biallelic pathogenic variants in the sphingomyelin phosphodiesterase-1 (SMPD1) gene.
Maria Judit Molnar +8 more
doaj +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Pediatric sarcomas are a heterogeneous group of tumors that contribute disproportionately to cancer mortality in children. Although congenital anomalies are among the strongest known risk factors for childhood cancer, the risk of specific sarcoma subtypes among affected individuals has not yet been thoroughly evaluated. Procedure We
Russ Wolters +17 more
wiley +1 more source
Electronic Notes in Theoretical Computer Science, 1999 AbstractCurrent data abstraction mechanisms are not adequate to control sharing of state in the general case involving objects in linked structures. The pervading possibility of sharing is a source of errors and an obstacle to language implementation techniques.Balloon types, which we have introduced in [2], are a general extension to programming ...
openaire +1 more source
W-types in homotopy type theory [PDF]
Mathematical Structures in Computer Science, 2014 We will give a detailed account of why the simplicial sets model of the univalence axiom due to Voevodsky also models W-types. In addition, we will discuss W-types in categories of simplicial presheaves and an application to models of set theory.
van den Berg, B., Moerdijk, I.
openaire +7 more sources
Therapeutic Apheresis and Dialysis, EarlyView.ABSTRACT Objective To compare the efficacy and safety of roxarestat versus recombinant human erythropoietin (rhEPO) in the management of renal anemia in patients undergoing maintenance hemodialysis. Methods This was a prospective, open‐label, randomized controlled trial.
Lingling Chen, Junjie Zhu, Qiaonan Ge
wiley +1 more source
Therapeutic Apheresis and Dialysis, EarlyView.ABSTRACT Introduction Pre‐dilution online hemodiafiltration (Pre‐HDF) is predominantly used in Japan, whereas post‐dilution online HDF (Post‐HDF) is more common in Europe. An asymmetric cellulose triacetate (ATA) membrane may improve biocompatibility.
Kenji Sakurai +4 more
wiley +1 more source