Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Mathematical Calculus

Known as: calculus 
 
National Institutes of Health

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2018
Review
2018
This book intends to deepen the study of the fractional calculus, giving special emphasis to variable-order operators. It is… Expand
  • figure 3.1
  • figure 3.2
  • figure 3.3
  • figure 3.4
  • figure 3.5
Highly Cited
2006
Highly Cited
2006
Service oriented computing is an emerging paradigm for designing distributed applications where service and composition are the… Expand
  • table 2
  • table 6
2006
2006
  • H. Chaudet
  • Artif. Intell. Medicine
  • 2006
  • Corpus ID: 13290750
OBJECTIVE The email reporting system has been recognized as a key tool for early warning of disease outbreaks and surveillance of… Expand
  • figure 2
  • table 1
  • table 2
  • table 3
  • figure 3
2002
2002
We introduce a simply typed λ-calculus λϰƐ" which has both contexts and environments as first-class values. In λϰƐ", holes in… Expand
Highly Cited
2001
Highly Cited
2001
In this paper, we introduce a new type system, the Implicit Calculus of Constructions, which is a Curry-style variant of the… Expand
  • figure 1
  • figure 2
Highly Cited
1999
Highly Cited
1999
We develop an imperative calculus that provides a formal model for both single and mixin inheritance. By introducing classes and… Expand
Highly Cited
1996
Highly Cited
1996
In this paper, we give a general definition for f(T) when T is a linear operator acting in a Banach space, whose spectrum lies… Expand
1995
1995
Our goal is always to offer you an assortment of cost-free ebooks too as aid resolve your troubles. We have got a considerable… Expand
1991
1991
This paper presents a calculus that enables expressive timing to be transformed on the basis of the structural aspects of the… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
1974
1974
(x not free in A, HPC is Heyting's predicate calculus) for the class of Kripke models of constant domains. See G6rnemann [1] for… Expand