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

Calculus One

Calculus One is a massive open online course by Ohio State University on Coursera and YouTube. The course features over 25 hours of video and… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
In multicentric holomorphic calculus one represents the function φ using a new polynomial variable w = p(z) in such a way that… Expand
  • table 2.1
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2013
2013
Abstract Calculi with control operators have been studied as extensions of simple type theory. Real programming languages contain… Expand
  • figure 1
  • figure 2
  • figure 4
Is this relevant?
2012
2012
Calculi with control operators have been studied to reason about control in programming languages and to interpret the… Expand
Is this relevant?
2012
2012
Calculi with control operators have been studied to reason about control in programming languages and to interpret the… Expand
Is this relevant?
Highly Cited
2010
Highly Cited
2010
Avionics Full Duplex Switched Ethernet (AFDX) standardized as ARINC 664 is a major upgrade for avionics systems. The mandatory… Expand
  • figure 1
  • figure 3
  • figure 4
  • figure 5
  • figure 7
Is this relevant?
2007
2007
We study ternary relational semantics for LG: a symmetric version of the Lambek calculus with interaction principles due to… Expand
  • figure 1
Is this relevant?
Highly Cited
2007
Highly Cited
2007
We present a new formulation to multi-view stereo that treats the problem as probabilistic 3D segmentation. Previous work has… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
1999
1999
It is well known that one cannot inside the pure untyped lambda calculus determine equivalence I e one cannot de termine if two… Expand
Is this relevant?
1995
1995
Limits and Continuity Differentiation The Mean-Value Theorem and Applications Integration Some Applications of the Integral The… Expand
Is this relevant?
1994
1994
The polymorphic (or second-order) typed lambda calculus was invented by Jean-Yves Girard in 1971 11, 10], and independently… Expand
Is this relevant?