Results 41 to 50 of about 1,220,062 (289)

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  

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

A Calculus for Orchestration of Web Services [PDF]

, 2007
We introduce COWS (Calculus for Orchestration of Web Services), a new foundational language for SOC whose design has been influenced by WS-BPEL, the de facto standard language for orchestration of web services.
Tiezzi, F., R. Pugliese, A. Lapadula, Rosario Pugliese, Pugliese, Rosario, Tiezzi, Francesco, Lapadula, Alessandro, Francesco Tiezzi, Ro Lapadula, Alessandro Lapadula   +9 more
core   +1 more source

Solution of Differential Equations with Polynomial Coefficients with the Aid of an Analytic Continuation of Laplace Transform

Mathematics, 2016
In a series of papers, we discussed the solution of Laplace’s differential equation (DE) by using fractional calculus, operational calculus in the framework of distribution theory, and Laplace transform.
Tohru Morita, Ken-ichi Sato
doaj   +1 more source

Weighted Fractional Calculus: A General Class of Operators

Fractal and Fractional, 2022
We conduct a formal study of a particular class of fractional operators, namely weighted fractional calculus, and its extension to the more general class known as weighted fractional calculus with respect to functions.
Arran Fernandez, Hafiz Muhammad Fahad
doaj   +1 more source

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

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

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

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

Methodological Knowledge in the Course "Operational Calculus" [PDF]

, 2020
Розглянуто методологічні знання різних рівнів, які притаманні курсу «Операційне числення». Наведено приклади ілюстрації методологічних знань за допомогою програмового матеріалу курсу «Операційне числення».The methodological knowledge of various levels ...
Кугай Наталія Василівна, Kalinichenko Mykola Mykolaiovych, Kuhai Nataliia Vasylivna, Калініченко Микола Миколайович   +3 more
core