Results 61 to 70 of about 1,220,062 (289)
A Survey on Orthogonal Polynomials from a Monomiality Principle Point of View
This survey highlights the significant role of exponential operators and the monomiality principle in the theory of special polynomials. Using operational calculus formalism, we revisited classical and current results corresponding to a broad class of ...
Clemente Cesarano +2 more
doaj +1 more source
ABSTRACT Background Reduced bone mineral density (BMD) has been reported in survivors of childhood and young adult acute lymphoblastic leukaemia (ALL); however, data from cohorts treated with contemporary protocols and including matched controls remain limited.
Karen Schow Jensen +10 more
wiley +1 more source
Model Checking Processes Specified In Join-Calculus Algebra
This article presents a model checking tool used to verify concurrent systems specified in join-calculus algebra. The temporal properties of systems under verification are expressed in CTL logic.
Sławomir Piotr Maludziński +1 more
doaj +1 more source
We introduce a functional calculus with simple syntax and operational semantics in which the calculi introduced so far in the Curry-Howard correspondence for Classical Logic can be faithfully encoded.
Alberto Carraro +2 more
doaj +1 more source
ABSTRACT Background The Standards for Psychosocial Care for Children with Cancer and Their Families guide the provision of comprehensive psychosocial care. Parallel to research characterizing implementation of the Standards from the perspective of providers, this study examines implementation of the Standards from the perspective of parents of youth ...
Emily M. Pariseau +8 more
wiley +1 more source
Traditional operational calculus, while intuitive and effective in addressing problems in physical fractal spaces, often lacks the rigorous mathematical foundation needed for fractional operations, sometimes resulting in inconsistent outcomes. To address
Zelin Liu, Xiaobin Yu, Yajun Yin
doaj +1 more source
Standardization in resource lambda-calculus [PDF]
The resource calculus is an extension of the lambda-calculus allowing to model resource consumption. It is intrinsically non-deterministic and has two general notions of reduction – one parallel, preserving all the possible results as a formal sum, and ...
Maurizio Dominici +2 more
doaj +1 more source
On the safety of Nöcker's strictness analysis [PDF]
This paper proves correctness of Nocker s method of strictness analysis, implemented for Clean, which is an e ective way for strictness analysis in lazy functional languages based on their operational semantics.
Sabel, David +2 more
core
ABSTRACT Background Young adult childhood cancer survivors (YA‐CCS) have an increased risk of treatment‐related health complications throughout their lives. Lifelong survivorship care is recommended, yet many YA‐CCS experience disruptions in care during pediatric‐to‐adult transitions and do not receive recommended survivorship care.
Kevin Shanchen Pu +8 more
wiley +1 more source
Pretende-se mostrar neste trabalho como é possível ensinar, de forma integrada, as disciplinas de Cálculo Diferencial e de Pesquisa Operacional. Para tal são necessárias pequenas mudanças na forma como o Cálculo é tradicionalmente ensinado, mas grandes ...
João Carlos C. B. Soares de Mello +1 more
doaj +1 more source

