74 search results - page 1 / 15 » Introduction to the Calculus of Variations |
264
click to vote
Tutorial
This is a self-contained paper which introduces a fundamental problem
in the calculus of variations, the problem of nding extreme values
of functionals. The reader should have a...
Book
"These are the lecture notes accompanying the course Introduction to Functional
Programming, which I taught at Cambridge University in the academic year 1996/1997."
TLCA
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. In 1994 Herbelin started and partially achieved the programme of showing that, for intuitionistic implicational logic, there is a Curry-Howard interpretation of sequent c...
ICCAD
2003
IEEE
14 years 4 months ago
2003
IEEE
This paper proposes a model for calculating statistical gate-delay variation caused by intra-chip and inter-chip variability. As the variation of individual gate delays directly i...
CEFP
2007
Springer
14 years 1 months ago
2007
Springer