Results 31 to 40 of about 387,627 (292)
, 2010 The goal of this lecture is to show how modern theorem provers---in this case, the Coq proof assistant---can be used to mechanize the specification of programming languages and their semantics, and to reason over individual programs and over generic ...
Leroy, Xavier
core +4 more sources
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Psychological safety (PS) is essential for teamwork, communication, and patient safety in complex healthcare environments. In pediatric oncology, interprofessional collaboration occurs under high emotional and organizational demands. Low PS may increase stress, burnout, and adverse events.
Alexandros Rahn +4 more
wiley +1 more source
Bringing Computer Science Concepts into the Language Classroom: A Case Study on Teachers’ and Students’ Perception on Modeling to Teach Computational Thinking [PDF]
, 2022 Marina Rottenhofer +3 more
openalex +1 more source
European Journal of Theoretical and Applied SciencesIn the face of the growing importance of programming skills across various fields, understanding student preferences for programming languages becomes crucial. This study delves into this very topic, examining which languages resonate most with computer science majors and students from non-computer science backgrounds.
Md Tohidul Islam +6 more
openaire +1 more source
Completeness of algebraic CPS simulations
, 2011 The algebraic lambda calculus and the linear algebraic lambda calculus are two extensions of the classical lambda calculus with linear combinations of terms.
Ali Assaf +22 more
core +4 more sources
Developmental Disorders in Children Recently Diagnosed With Cancer
Pediatric Blood &Cancer, EarlyView.ABSTRACT Neurocognitive deficits in adult survivors of childhood cancer are well established, but less is known about developmental disorders (DD) arising shortly after cancer diagnosis. Using 2016–2019 linked Ohio cancer registry and Medicaid data, we compared DD among 324 children with cancer and 606,913 cancer‐free controls.
Jamie Shoag +5 more
wiley +1 more source
A Simple and Fast Line-Clipping Method as a Scratch Extension for Computer Graphics Education
Computer Science and Information Technology, 2019 Line clipping is a fundamental topic in an introductory computer graphics course. An understanding of a line-clipping algorithm is reinforced by having students write actual code and see the results by choosing a user-friendly integrated development ...
Dimitrios Matthes, V. Drakopoulos
semanticscholar +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background B‐acute lymphoblastic leukemia (B‐ALL) is the most common pediatric cancer, and while most children in high‐resource settings are cured, therapy carries risks for long‐term toxicities. Understanding parents’ concerns about these late effects is essential to guide anticipatory support and inform evolving therapeutic approaches ...
Kellee N. Parker +7 more
wiley +1 more source
Automated Trading System [PDF]
, 2009 This is a final report which is part of the dissertation for the Master course Computation Finance. The title of this dissertation is “Automated Trading System”.
Le, Duc
core
The Vectorial $\lambda$-Calculus [PDF]
, 2017 We describe a type system for the linear-algebraic $\lambda$-calculus. The type system accounts for the linear-algebraic aspects of this extension of $\lambda$-calculus: it is able to statically describe the linear combinations of terms that will be ...
Arrighi, Pablo +2 more
core +2 more sources