Results 11 to 20 of about 1,198,194 (286)
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
core +7 more sources
, 1986 Calculus of One Variable, Second Edition presents the essential topics in the study of the techniques and theorems of calculus.The book provides a comprehensive introduction to calculus.
Grossman, Stanley I
core +3 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 +3 more sources
Erratum to: “One-Variable and Multi-Variable Calculus on a Non-Archimedean Field Extension of the Real Numbers” [PDF]
p-Adic Numbers, Ultrametric Analysis and Applications, 2018 On page 160 and subsequent odd pages, in the title of the paper, the typo “Multi-Mariable” should be replaced by “Multi-Variable”.
K. Shamseddine
semanticscholar +3 more sources
A Case Study of Flipped Learning in Calculus of one Variable on Motivation and Active Learning
Research in Mathematical Education, 2015 Information Technology influenced on classroom to change the teaching and learning method. Recently, flipped learning method became a hot issue in education by using Information Technology. Learning management system that is introduced in our university in the spring semester 2015, made it possible to apply flipped learning method.
Moonja Jeong
openaire +3 more sources
Calculus and Linear Algebra. Vol. 1: Vectors in the Plane and One-Variable Calculus [PDF]
, 2007 W. Kaplan, D. Lewis
openaire +2 more sources
Lax monoidal adjunctions, two‐variable fibrations and the calculus of mates [PDF]
Proceedings of the London Mathematical Society, 2020 We provide a calculus of mates for functors to the ∞$\infty$ ‐category of ∞$\infty$ ‐categories and extend Lurie's unstraightening equivalences to show that (op)lax natural transformations correspond to maps of (co)cartesian fibrations that do not ...
R. Haugseng +3 more
semanticscholar +1 more source
Properties of a polyanalytic functional calculus on the S‐spectrum [PDF]
Mathematische Nachrichten, 2022 The Fueter mapping theorem gives a constructive way to extend holomorphic functions of one complex variable to monogenic functions, that is, null solutions of the generalized Cauchy–Riemann operator in R4$\mathbb {R}^4$ , denoted by D$\mathcal {D ...
A. De Martino, S. Pinton
semanticscholar +1 more source
Local volatility in the Heston model: a Malliavin calculus approach [PDF]
, 2005 We implement the Heston stochastic volatility model by using multidimensional Ornstein-Uhlenbeck processes and a special Girsanov transformation, and consider the Malliavin calculus of this model. We derive explicit formulas for the Malliavin derivatives
Ewald, Christian Oliver +2 more
core +1 more source
The Role of Consumers’ Privacy Awareness in the Privacy Calculus for IoT Services
International journal of human computer interactions, 2023 This study verified how consumers determine their willingness to provide personal information for the Internet of Things (IoT) services and the role of procedural fairness of information disclosure on that behavior using the privacy calculus theory.
Jeeyeon Sah, Sangmin Jun
semanticscholar +1 more source