Sciweavers

Share
75 search results - page 1 / 15
» Introduction to the Calculus of Variations
Sort
View

Tutorial
3787views
10 years 6 months ago
Introduction to the Calculus of Variations
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...
Jim Fischer

Book
630views
11 years 4 months ago
Introduction to Functional Programming
"These are the lecture notes accompanying the course Introduction to Functional Programming, which I taught at Cambridge University in the academic year 1996/1997."
John Harrison
TLCA
2007
Springer
10 years 27 days ago
Completing Herbelin's Programme
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...
José Espírito Santo
CEFP
2007
Springer
10 years 29 days ago
An Introduction to the Lambda Calculus
Zoltán Csörnyei, Gergely Dévai
ICCAD
2003
IEEE
379views Hardware» more  ICCAD 2003»
10 years 3 months ago
A Statistical Gate-Delay Model Considering Intra-Gate Variability
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...
Ken-ichi Okada, Kento Yamaoka, Hidetoshi Onodera
books