Results 31 to 40 of about 6,665 (300)
Divergence and unique solution of equations [PDF]
Logical Methods in Computer Science, 2019 We study proof techniques for bisimilarity based on unique solution of equations. We draw inspiration from a result by Roscoe in the denotational setting of CSP and for failure semantics, essentially stating that an equation (or a system of equations ...
Adrien Durier +2 more
doaj +1 more source
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
The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types [PDF]
Logical Methods in Computer Science, 2017 We present the guarded lambda-calculus, an extension of the simply typed lambda-calculus with guarded recursive and coinductive types. The use of guarded recursive types ensures the productivity of well-typed programs.
Ranald Clouston +3 more
doaj +1 more source
Mathematics, 2021 Discussions are presented by Morita and Sato in Mathematics 2017; 5, 62: 1–24, on the problem of obtaining the particular solution of an inhomogeneous ordinary differential equation with polynomial coefficients in terms of the Green’s function, in the ...
Tohru Morita, Ken-ichi Sato
doaj +1 more source
Electronic Proceedings in Theoretical Computer Science, 2013 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
A Rigorous Analysis of Integro-Differential Operators with Non-Singular Kernels
Fractal and Fractional, 2023 Integro-differential operators with non-singular kernels have been much discussed among fractional calculus researchers. We present a mathematical study to clearly establish the rigorous foundations of this topic.
Arran Fernandez, Mohammed Al-Refai
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
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Sickle cell disease (SCD) is a chronic, inherited hemoglobinopathy that requires frequent hospitalization for disease‐related complications. Canadian data on inpatient care is limited. This study compared caregiver‐reported hospital experiences of children with SCD to those with cystic fibrosis (CF), a chronic, autosomal recessive ...
Hailey M. Zwicker +11 more
wiley +1 more source
Standardization in resource lambda-calculus [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 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
First Passage Analysis in a Queue with State Dependent Vacations
Axioms, 2022 This paper deals with a single-server queue where the server goes on maintenance when the queue is exhausted. Initially, the maintenance time is fixed by deterministic or random number T.
Jewgeni H. Dshalalow, Ryan T. White
doaj +1 more source