Results 1 to 10 of about 23,033 (265)
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 +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
Energies, 2023 Battery aging is one of the key challenges that electrochemical energy storage faces. Models for both cycling and calendar aging are valuable for quantitatively assessing their contribution to overall capacity loss.
Juan Antonio López-Villanueva +3 more
doaj +1 more source
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 +1 more source
Extension of rate of change concept: From local to nonlocal operators with applications
Results in Physics, 2020 The concept of rate of change gave birth to numerous important theories and applications in mathematics, applied mathematics and other related academic disciplines.
Abdon Atangana
doaj +1 more source
Logical Methods in Computer Science, 2013 We study fragments of first-order logic and of least fixed point logic that allow only unary negation: negation of formulas with at most one free variable.
Luc Segoufin, Balder ten Cate
doaj +1 more source