Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,070,747 papers from all fields of science
Search
Sign In
Create Free Account
Mathematical Calculus
Known as:
calculus
National Institutes of Health
Create Alert
Alert
Related topics
Related topics
1 relation
Mathematics
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Towards Unified Tool Support for Real-time Calculus & Deterministic Network Calculus
Philipp Schon
,
Steffen Bondorf
2017
Corpus ID: 267871737
Real-Time Calculus (RTC) and Deterministic Network Calculus (DNC) both provide the tooling to derive worstcase performance bounds…
Expand
2017
2017
On Functional Calculus For $n$-Ritt operators
Samya Kumar Ray
2017
Corpus ID: 119323127
In this paper, we present a new class of operators, which we name to be $n$-Ritt operators. This produces a discrete analogue of…
Expand
2016
2016
Introduction into Calculus over Banach algebra
A. Kleyn
2016
Corpus ID: 119568947
Let $A$, $B$ be Banach $D$-algebras. The map $f:A\rightarrow B$ is called differentiable on the set $U\subset A$, if at every…
Expand
2015
2015
A Method of Calculus of Residual Lifetime for Lifting Installation
C. Iancu
,
Florin Vîlceanu
2015
Corpus ID: 109142053
In this paper a method of calculus is presented step-by-step in order to establishing the residual lifetime of a lifting crane…
Expand
2015
2015
Multicast Extension for Network Calculus
Mark Schmidt
,
T. Schneck
,
M. Menth
2015
Corpus ID: 51947013
Factory automation for Industry 4.0 leverages Industrial Ethernet to connect sensors and actuators for control purposes. This…
Expand
2008
2008
A Metadata Calculus for Securing Information Flows
M. Srivatsa
,
D. Agrawal
,
S. Balfe
2008
Corpus ID: 55190490
Abstract : Traditional approaches to information sharing use a highly conservative approach to deduce the metadata for an output…
Expand
2000
2000
A Module Calculus for Featherweight Java Towards Smart Java Packages
2000
Corpus ID: 14024599
1996
1996
A Module Calculus Enjoying the Subject-Reduction Property
J. Courant
1996
Corpus ID: 15080930
The module system of SML is a small typed language of its own. As is, one would expect a proof of its soundness following from a…
Expand
1994
1994
The Call-by-Need Lambda Calculus ( Unabridged )
J. Maraist
,
Martin Odersky
,
P. Wadler
1994
Corpus ID: 17020988
We present a calculus that captures the operational semantics of call-by-need. We demonstrate that the calculus is con uent and…
Expand
1988
1988
The Differential Calculus as Language
F. Schremmer
,
A. Schremmer
1988
Corpus ID: 144672176
The Differential Calculus provides a precise, standardized language in which to learn about and discuss specific ”changes” other…
Expand