Results 1 to 10 of about 248,702 (267)
Cut-elimination for the mu-calculus with one variable [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 We establish syntactic cut-elimination for the one-variable fragment of the modal mu-calculus. Our method is based on a recent cut-elimination technique by Mints that makes use of Buchholz' Omega-rule.
Grigori Mints, Thomas Studer
doaj +10 more sources
A correspondence between rooted planar maps and normal planar lambda terms [PDF]
Logical Methods in Computer Science, 2015 A rooted planar map is a connected graph embedded in the 2-sphere, with one edge marked and assigned an orientation. A term of the pure lambda calculus is said to be linear if every variable is used exactly once, normal if it contains no beta-redexes ...
Noam Zeilberger, Alain Giorgetti
doaj +7 more sources
A Theory of Explicit Substitutions with Safe and Full Composition [PDF]
Logical Methods in Computer Science, 2009 Many different systems with explicit substitutions have been proposed to implement a large class of higher-order languages. Motivations and challenges that guided the development of such calculi in functional frameworks are surveyed in the first part of ...
Delia Kesner
doaj +4 more sources
Domain theory and differential calculus (functions of one variable) [PDF]
Proceedings 17th Annual IEEE Symposium on Logic in Computer Science, 2003 We introduce a domain-theoretic framework for differential calculus. We define the set of primitive maps as well as the derivative of an interval-valued Scott continuous function on the domain of intervals, and show that they are dually related, providing an extension of the classical duality of differentiation and integration as in the fundamental ...
Edalat, A, Lieutier, A
openaire +5 more sources
Automatic Probabilistic Program Verification through Random Variable Abstraction [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 The weakest pre-expectation calculus has been proved to be a mature theory to analyze quantitative properties of probabilistic and nondeterministic programs.
Damián Barsotti, Nicolás Wolovick
doaj +4 more sources
Integral Calculus via Nomotex DLS [PDF]
ITM Web of Conferences, 2020 The paper describes the peculiarities of the development of an innovative digital course “Integral calculus of functions of one variable” in the digital learning system Nomotex (DLS “NOMOTEX”) [1], designed for classroom and remote classes with digital ...
Dimitrienko Yuriy I. +3 more
doaj +1 more source
On a Non-Newtonian Calculus of Variations
Axioms, 2021 The calculus of variations is a field of mathematical analysis born in 1687 with Newton’s problem of minimal resistance, which is concerned with the maxima or minima of integral functionals.
Delfim F. M. Torres
doaj +1 more source
Effect of Smoking on Peridontal Health: A Comparative Study
Journal of Bahria University Medical and Dental College, 2022 Objective: To determine the association between smoking and calculus decomposition among patients presenting at a tertiary hospital of Karachi. Study Design and Settings: A cross-sectional comparative study was conducted at periodontic OPD Altamash ...
Faisal Salim +5 more
doaj +1 more source
On a Five-Parameter Mittag-Leffler Function and the Corresponding Bivariate Fractional Operators
Fractal and Fractional, 2021 Several extensions of the classical Mittag-Leffler function, including multi-parameter and multivariate versions, have been used to define fractional integral and derivative operators.
Mehmet Ali Özarslan, Arran Fernandez
doaj +1 more source
End-to-End Delay Bounds for Variable Length Packet Transmissions under Flow Transformations [PDF]
EAI Endorsed Transactions on Internet of Things, 2015 A fundamental contribution of network calculus is the convolution-form representation of networks which enables tight end-to-end delay bounds. Recently, this has been extended to the case where the data flow is subject to transformations on its way to ...
Hao Wang, Jens Schmitt
doaj +1 more source