Mathematical Calculus

Known as: calculus

National Institutes of Health

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2017

Real-Time Calculus (RTC) and Deterministic Network Calculus (DNC) both provide the tooling to derive worstcase performance bounds…

2015

Research on learning in STEM disciplines suggests that students' problem solving ability comes from the creation of increasingly…

2014

In this paper, we expand on B.-W. Schulze’s abstract edge pseudodifferential calculus and introduce a larger class of operators…

2013

Ensuring correct behaviour of a distributed real-time function requires bounds on the network traversal time. The network…

2008

CalGeo is a three-year project supported by EU programme Comenius 2.1. Amongst the objectives of this project is the design of an…

2007

The Seal calculus is a calculus of mobile computations designed for programming secure distributed applications over large scale…

1997

Our goal is always to offer you an assortment of cost-free ebooks too as aid resolve your troubles. We have got a considerable…

1996

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…

1994

We present a calculus for rippling, a special type of rewriting using annotations. These annotations guide the derivation towards…

1994

We present a calculus that captures the operational semantics of call-by-need. We demonstrate that the calculus is con uent and…