1,721,943 research outputs found
Bounded quantifiers have interval models
No full textWe propose a sound model for an extension of the language Fun, proposed by L. Cardelli and P. Wegner as a formalization of the notion of inheritance in the context of higher order polymorphic functional languages. The model Is obtained by modifying the Interval Model proposed by R. Cartwright, In order to accomodate bounded quantifiers and to obtain a sound structure. Our extension of the language supports also a general recursion operator for functions (but not for types)
Correction to: Computational Thinking, Between Papert and Wing (Science & Education, (2021), 30, 4, (883-908), 10.1007/s11191-021-00202-5)
No full textThe original version of this article unfortunately contains unmatched footnote references and footnote text Reference 9: should point to the text in footnote 35 Reference 10: should point to the text in footnote 9 Reference 11: should point to the text in footnote 10 Reference 12: should point to the text in footnote 11 Reference 13: should point to the text in footnote 12 Reference 14: should point to the text in footnote 13 Reference 15: should point to the text in footnote 14 Reference 16: should point to the text in footnote 15 Reference 17: should point to the text in footnote 16 Reference 18: should point to the text in footnote 17 Reference 20: should point to the text in footnote 18 Reference 21: should point to the text in footnote 36 Reference 22: should point to the text in footnote 20 Reference 23: should point to the text in footnote 21 Reference 25: should point to the text in footnote 22 Reference 26: should point to the text in footnote 23 Reference 27: should point to the text in footnote 37 Reference 28: should point to the text in footnote 25 Reference 29: should point to the text in footnote 26 Reference 30: should point to the text in footnote 27 Reference 31: should point to the text in footnote 28 Reference 32: should point to the text in footnote 29 Reference 33: should point to the text in footnote 30 Reference 34: should point to the text in footnote 31 Reference 35: should point to the text in footnote 32 Reference 36: should point to the text in footnote 33 Reference 37: should point to the text in footnote 34 The original article has been corrected
Premature Infants
No full textPreterm birth is a leading cause of neonatal and childhood mortality worldwide. Advances in medical technologies and therapeutic perinatal and neonatal care have substantially improved the rates of survival among preterm infants, even at the lowest gestational ages. However, the functional and structural immaturity of preterm infants’ organs and systems is responsible for the development of multiple short- and long-term complications, which significantly contribute to the healthcare and socioeconomic burden of preterm birth. Among these complications, the most common include respiratory distress, bronchopulmonary dysplasia, persistent patency of the ductus arteriosus, necrotizing enterocolitis, brain injury, poor nutrition and growth, and sensorineural deficits. In turn, these conditions variously contribute to the development of adverse neurocognitive outcomes, with relevant long-term implications. This chapter aims to review the main risk factors associated with preterm birth, the clinical features of preterm infants, and the most frequent complications encountered in this frail population, highlighting the importance of a multidisciplinary approach and a long-term neurodevelopmental follow-u
Going Beyond Counting First Authors in Author Co-citation Analysis
Full text linkThe present study examines one of the fundamental aspects of author co-citation analysis (ACA) - the way co-citation
counts are defined. Co-citation counting provides the data on which all subsequent statistical analyses and mappings
are based, and we compare ACA results based on two different types of co-citation counting - the traditional type that
only counts the first one among a cited work's authors on the one hand and a non-traditional type that takes into
account the first 5 authors of a cited work on the other hand. Results indicate that the picture produced through this non-traditional author co-citation counting contains more coherent author groups and is therefore considerably clearer. However, this picture represents fewer specialties in the research field being studied than that produced through the traditional first-author co-citation counting when the same number of top-ranked authors is selected and analyzed. Reasons for these effects are discussed
- …
