Join Our Newsletter
73 search results - page 1 / 15 » Introduction to the Calculus of Variations |
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
1 years 11 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
2 years 2 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
1 years 11 months ago
2007
Springer
