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.
2017
2017
Despite overwhelming basic science linking inflammation to the pathobiology of atherothrombosis, the specific clinical evidence… Expand
  • figure 1
Is this relevant?
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
Is this relevant?
2003
2003
We design a calculus that combines class-based features with object-based ones, with the aim of fitting into a unifying setting… Expand
  • figure 3
Is this relevant?
2002
2002
Hierarchical Task Networks (HTNs) is a successful approach for planning where domain specific knowledge is used in order to make… Expand
Is this relevant?
2001
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
Is this relevant?
2001
2001
We introduce a simply typed λ-calculus λϰƐ" which has both contexts and environments as first-class values. In λϰƐ", holes in… Expand
Is this relevant?
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
Is this relevant?
1997
1997
  • G Erard Boudol
  • 1997
  • Corpus ID: 17554597
We introduce a new type system for the blue calculus { a variant of the-calculus that directly contains the-calculus. Our notion… Expand
Is this relevant?
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
Is this relevant?
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
Is this relevant?