Results 71 to 80 of about 7,704,581 (310)
Call-by-Value and Call-by-Name Dual Calculi with Inductive and Coinductive Types [PDF]
Logical Methods in Computer Science, 2013 This paper extends the dual calculus with inductive types and coinductive types. The paper first introduces a non-deterministic dual calculus with inductive and coinductive types. Besides the same duality of the original dual calculus, it has the duality
Daisuke Kimura, Makoto Tatsuta
doaj +1 more source
Computer science and engineering
Journal of Computer Science, 2018 blockchain setting. Smart contracts. Cross-chain transactions. Blockchain databases and enterprise blockchains.
G. Weber, P. Vasant, J. Saucedo
semanticscholar +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background An earlier study on children diagnosed with acute lymphoblastic leukemia (ALL) at Moi Teaching and Referral Hospital (MTRH) in Kenya reported a low event‐free survival (EFS), excess treatment abandonment, and high induction mortality.
Gilbert Olbara +7 more
wiley +1 more source
Universal codes of the natural numbers [PDF]
Logical Methods in Computer Science, 2013 A code of the natural numbers is a uniquely-decodable binary code of the natural numbers with non-decreasing codeword lengths, which satisfies Kraft's inequality tightly.
Yuval Filmus
doaj +1 more source
Diversity Barriers in K-12 Computer Science Education: Structural and Social
Technical Symposium on Computer Science Education, 2017 As computer science (CS) education expands at the K-12 level, we must be careful to ensure that CS neither exacerbates existing equity gaps in education nor hinders efforts to diversify the field of CS.
Jennifer Wang, S. H. Moghadam
semanticscholar +1 more source
ASSIST: Refinement of a Benefits Navigator Intervention Among Low‐Income Pediatric Oncology Families
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background/Objectives Children with cancer living in poverty experience worse survival and quality of life. Interventions connecting low‐income families to benefits (e.g., Supplemental Nutrition Assistance Program [SNAP] improve health outcomes; yet nearly 50% of SNAP‐eligible pediatric oncology families are unenrolled.
Puja J. Umaretiya +11 more
wiley +1 more source
Balancing Computational Science and Computer Science Research on a Terascale Computing Facility [PDF]
, 2005 The design and deployment of Virginia Tech's terascale computing cluster is described. The goal of this project is to demonstrate that world-class on-campus supercomputing is possible and affordable, and to explore the resulting benefits for an academic community consisting of both computational scientists and computer science researchers and students.
Calvin J. Ribbens +3 more
openaire +1 more source
COMPUTER SCIENCE IN THE EDUCATION OF UKRAINE: FORMATION PROSPECTS
Ìнформаційні технології в освіті, 2016 The article deals with the formation of computer science as science and school subject as well in the system of education in Ukraine taking into consideration the development tendencies of this science in the world.
Viktor Shakotko
doaj
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Acute lymphoblastic leukaemia (ALL) is one of the most treatable forms of paediatric cancer; however, there is a substantial burden of treatment‐related toxicities (TRTs). In addition, the long‐term changes in children's health‐related quality of life (HRQoL) due to toxic treatments are not well understood.
Clare Ghows +19 more
wiley +1 more source
Ubiquity symposium: The science in computer science: natural computation [PDF]
Ubiquity, 2014 In this twelfth piece of the Ubiquity symposium discussing science in computer science, Erol Gelenbe reviews computation in natural systems, focusing mainly on biology and citing examples of the computation that is inherent in chemistry, natural selection, gene regulatory networks, and neuronal systems.
openaire +1 more source