Results 41 to 50 of about 1,163,964 (293)

Psi-Calculi Revisited: Connectivity and Compositionality [PDF]

Logical Methods in Computer Science, 2020
Psi-calculi is a parametric framework for process calculi similar to popular pi-calculus extensions such as the explicit fusion calculus, the applied pi-calculus and the spi calculus.
Johannes Åman Pohjola
doaj   +1 more source

Early Body Mass Index z‐Score Change and Resolution of Severe Malnutrition in Children With Sickle Cell Anemia in a Low‐Income Setting: A Prospective Single‐Arm Extension Study

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Children with sickle cell anemia (SCA) in low‐income settings are at risk of severe malnutrition, but optimal nutritional management has not been established. We evaluated an intensified ready‐to‐use therapeutic food (RUTF) regimen in children with persistent severe malnutrition after initial treatment and assessed whether early ...
Safiya Gambo, Shehu Umar Abdullahi, Hassan Adam Murtala, Halima Kabir, Khadija A. Shamsu, Sari A. Acra, Virginia A. Stallings, Mark Rodeghier, Michael R. DeBaun, Lauren J. Klein   +9 more
wiley   +1 more source

An Operational Standpoint in Electrical Engineering [PDF]

Electronics, 2013
In electrical engineering education exists a major difficulty for first level students, namely the Laplace transform. The question is: does this ubiquitous tool is needed in an electrical engineering course? Our answer is: Obviously, not.
Frédéric Rotella, Irène Zambettakis
doaj   +1 more source

Program equivalence for a concurrent lambda calculus with futures [PDF]

, 2006
Reasoning about the correctness of program transformations requires a notion of program equivalence. We present an observational semantics for the concurrent lambda calculus with futures Lambda(fut), which formalizes the operational semantics of the ...
Sabel, David, Niehren, Joachim, Schmidt-Schauß, Manfred, Schwinghammer, Jan   +3 more
core  

Simulation in the call-by-need lambda-calculus with letrec [PDF]

, 2010
This paper shows the equivalence of applicative similarity and contextual approximation, and hence also of bisimilarity and contextual equivalence, in the deterministic call-by-need lambda calculus with letrec.
Sabel, David, Schmidt-Schauß, Manfred, Machkasova, Elena   +2 more
core   +1 more source

Central Nervous System Tumors Among Infants in Canada: A Report From CYP‐C

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Central nervous system (CNS) tumors in infants are rare, pose unique clinical challenges, and lack large‐scale evidence‐based data to guide management. This study seeks to describe CNS tumors in Canadian infants and to compare their outcomes with those of older children.
Samuel Sassine, Hallie Coltin, Sylvia Cheng, Lucie Lafay‐Cousin, Vanan Issai Magimairajan, Craig Erker, Stéphanie Vairy, Lynette Bowes, Adam Fleming, Donna Johnston, Sarah McKillop, Roona Sinha, Julie Bennett, Christina Coleman, Laura Wheaton, Shayna Zelcer, Samuele Renzi, Thai Hoa Tran   +17 more
wiley   +1 more source

Impact of Radiation Therapy on Physical and Psychosocial Health of Adolescents and Young Adults: A Joint Report From the Children's Oncology Group AYA and Radiation Oncology Committees

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Rates of cancer among adolescents and young adults (AYA), age 15–39 years, are increasing. Consequently, radiation oncologists are treating more AYAs who have diagnoses spanning both pediatric and adult practices. Compared to pediatric and older adult patients, AYAs face a unique set of challenges.
Hesham Elhalawani, Rachel K. Peterson, Avani D. Rao, Laurie J. McKenzie, Ahmed Magdy Elmotayam, Leslie Chang, Michael Roth, Susan L. McGovern   +7 more
wiley   +1 more source

Simulation in the call-by-need lambda-calculus with letrec, case, constructors, and seq [PDF]

, 2012
This paper shows equivalence of applicative similarity and contextual approximation, and hence also of bisimilarity and contextual equivalence, in LR, the deterministic call-by-need lambda calculus with letrec extended by data constructors, case ...
Sabel, David, Schmidt-Schauß, Manfred, Machkasova, Elena   +2 more
core  

Social Functioning Within the First Years After Pediatric Brain Tumor Diagnosis and the Relationship With Family Psychosocial Risk

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Survivors of pediatric brain tumors (PBTs) can experience long‐term social difficulties, impacting quality of life. Beyond medical and environmental factors, family psychosocial risk may play a role in social outcomes by shaping the caregiving environment and may provide intervention options.
Renske H. Houben, Marisa H. Huisman, Martha A. Grootenhuis, Femke K. Aarsen, Marita Partanen   +4 more
wiley   +1 more source

FUNDIO: a lambda-calculus with letrec, case, constructors, and an IO-interface : approaching a theory of unsafePerformIO [PDF]

, 2003
This paper proposes a non-standard way to combine lazy functional languages with I/O. In order to demonstrate the usefulness of the approach, a tiny lazy functional core language FUNDIO , which is also a call-by-need lambda calculus, is investigated. The
Schmidt-Schauß, Manfred
core