Results 51 to 60 of about 7,723,963 (248)

Type-checking Balloon Types

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

Type Inference for Correspondence Types

Electronic Notes in Theoretical Computer Science, 2009
AbstractWe present a correspondence type/effect system for authenticity in a π-calculus with polarized channels, dependent pair types and effect terms and show how one may, given a process P and an a priori type environment E, generate constraints that are formulae in the Alternating Least Fixed-Point (ALFP) logic.
Andrew D. Gordon 0001, Hans Hüttel, René Rydhof Hansen   +2 more
openaire   +2 more sources

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

Rational Use of Herbal Products in Pediatric Patients Treated With Anticancer Drugs in the European Union

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Introduction The use of herbal medical preparation (HMP) is rising among pediatric oncology patients, often to manage treatment‐related symptoms. Their effectiveness remains uncertain, and the risk of herb–drug interactions is underestimated.
Orianne Mahot, Mathieu Corvaisier, Laurence Spiesser‐Robelet, Mylène Duplan, Isabelle Pellier, Delphine Bourneau‐Martin, Séverine Derbré   +6 more
wiley   +1 more source

Madame Davit: Gaudir de la natura: La il·lustració botànica des de la perspectiva de gènere

Mètode Science Studies Journal: Annual Review
Suzanne Davit (París, 1897–Barcelona, 1973) és poc coneguda i estudiada, tot i la rellevància del seu llegat en la il·lustració botànica catalana de començament i de mitjan segle xx.
Àngels Viladomiu, Àngel Romo
doaj   +1 more source

A comparative analysis of influenza virus infections in the 2013/2014 and 2014/2015 epidemic seasons in the reporting system, for different age groups in Poland

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, Daniel Rabczenko, Karolina Bednarska, Katarzyna Kondratiuk, Lidia B. Brydak   +4 more
doaj   +1 more source

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

Guidelines for Pediatric Radiotherapy Simulation: A Report From the Children's Oncology Group Radiation Oncology Discipline

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Pediatric radiation therapy presents unique challenges compared to adult treatments, including those of immobilization, potential need for sedation, and the critical importance of accurate, reproducible positioning. Additionally, heightened attention to imaging doses is necessary to minimize long‐term toxicity in survivors.
Parham Alaei, Stephen Mihalcik, Sujith Baliga, Young Kwok, Dana Casey, Eric Ehler, Christiane Burton, John C. Breneman, Daphne A. Haas‐Kogan, Suzanne L. Wolden, Arnold C. Paulino, Nadia N. Laack, Natia Esiashvili, Sarah Milgrom, Christine Hill‐Kayser, Thomas J. Fitzgerald, John A. Kalapurakal, Chia‐Ho Hua   +17 more
wiley   +1 more source

Personalized Zebrafish Models for Fusion‐Positive Pediatric Sarcomas

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Clinical sequencing efforts have revolutionized our approaches to categorizing pediatric cancers in real time. This has dramatically improved our ability to profile pediatric tumors, identify actionable vulnerabilities, and influence clinical care.
Lisa H. Hall, Emma N. Harrison, Genevieve C. Kendall   +2 more
wiley   +1 more source

The Role of “Adult‐Onset” Cancer Predisposition Genes in Pediatric Cancer: A Comprehensive Review

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Current literature estimates that 10% of pediatric cancers are caused by pathogenic or likely pathogenic (P/LP) germline variants in cancer predisposition genes (CPGs). Variants in CPGs thought to increase cancer risk exclusively during adulthood are referred to as “adult‐onset” CPGs (aoCPGs).
Maria Rozo, Miriam A. Bornhorst, Angela J. Waanders, Sara Zarnegar‐Lumley, Ashwin Lakshman Koppayi, Lucy A. Godley   +5 more
wiley   +1 more source