Results 11 to 20 of about 4,122,199 (286)
Fibrational induction rules for initial algebras [PDF]
, 2010 This paper provides an induction rule that can be used to prove properties of data structures whose types are inductive, i.e., are carriers of initial algebras of functors.
B. Jacobs +7 more
core +1 more source
Artificial neural network prediction of weld distortion rectification using a travelling induction coil [PDF]
, 2013 An experimental investigation has been carried out to determine the applicability of an induction heating process with a travelling induction coil for the rectification of angular welding distortion.
Barclay, C. J. +3 more
core +1 more source
For Finitary Induction-Induction, Induction is Enough
, 2019 Inductive-inductive types (IITs) are a generalisation of inductive types in type theory. They allow the mutual definition of types with multiple sorts where later sorts can be indexed by previous ones. An example is the Chapman-style syntax of type theory with conversion relations for each sort where e.g. the sort of types is indexed by contexts.
Kaposi, Ambrus +2 more
openaire +3 more sources
SKILLS4EOSC, 2022 Presentation of Skills4EOSC project used during project induction ...
openaire +1 more source
Supporting induction: relationships count [PDF]
, 2003 This article examines the structural changes to the induction of teachers in Scotland using the perceptions of a group of final year student teachers. This group would be the first probationer teachers to experience revised arrangements for new teacher ...
BALL S. +17 more
core +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Pediatric patients with extracranial solid tumors (ST) receiving chemotherapy are at an increased risk for Pneumocystis jirovecii pneumonia (PJP). However, evidence guiding prophylaxis practices in this population is limited. A PJP‐related fatality at our institution highlighted inconsistent prescribing approaches and concerns about
Kriti Kumar +8 more
wiley +1 more source
Sickle Cell Disease Is an Inherent Risk for Asthma in a Sibling Comparison Study
Pediatric Blood &Cancer, EarlyView.ABSTRACT Introduction Sickle cell disease (SCD) and asthma share a complex relationship. Although estimates vary, asthma prevalence in children with SCD is believed to be comparable to or higher than the general population. Determining whether SCD confers an increased risk for asthma remains challenging due to overlapping symptoms and the ...
Suhei C. Zuleta De Bernardis +9 more
wiley +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT The pediatric hematology‐oncology fellowship training curriculum has not substantially changed since its inception. The first year of training is clinically focused, and the second and third years are devoted to scholarship. However, this current structure leaves many fellows less competitive in the current job market, resulting in ...
Scott C. Borinstein +3 more
wiley +1 more source
New statutory guidance for the induction of newly qualified teachers (NQTs) in England [PDF]
, 2012 "In autumn 2011, the Department for Education consulted on proposed changes to the induction regulations for NQTs. Proposals aimed to reduce prescription and provide appropriate bodies and schools with the flexibility to exercise their professional ...
core
The Anti-Induction for Scientific Realism [PDF]
, 2018 In contemporary philosophy of science, the no-miracles argument and the pessimistic induction are regarded as the strongest arguments for and against scientific realism, respectively. In this paper, I construct a new argument for scientific realism which
Park, Seungbae
core +2 more sources