Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
4,515
Lectures on Etale Cohomology
, 2008
"... These are the notes for a course taught at the University of Michigan in 1989 and 1998. In comparison with my book, the emphasis is on heuristic arguments rather than formal proofs and on varieties rather than schemes. The notes also discuss the proof of the Weil conjectures (Grothendieck and Delig ..."
Abstract
-
Cited by 791 (1 self)
- Add to MetaCart
These are the notes for a course taught at the University of Michigan in 1989 and 1998. In comparison with my book, the emphasis is on heuristic arguments rather than formal proofs and on varieties rather than schemes. The notes also discuss the proof of the Weil conjectures (Grothendieck
System Description: Twelf --- A Meta-Logical Framework for Deductive Systems
- Proceedings of the 16th International Conference on Automated Deduction (CADE-16
, 1999
"... . Twelf is a meta-logical framework for the specification, implementation, and meta-theory of deductive systems from the theory of programming languages and logics. It relies on the LF type theory and the judgments-as-types methodology for specification [HHP93], a constraint logic programming interp ..."
Abstract
-
Cited by 357 (54 self)
- Add to MetaCart
platforms. The current version (1.2) is distributed with a complete manual, example suites, a tutorial in the form of on-line lecture notes [Pfe], and an Emacs interface. Source and binary distributions are accessible via the Twelf home page http://www.cs.cmu.edu/~twelf. 1 The Twelf System The Twelf
Black Hole Entropy Function, Attractors and Precision Counting of Microstates
, 2007
"... In these lecture notes we describe recent progress in our understanding of attractor mechanism and entropy of extremal black holes based on the entropy function formalism. We also describe precise computation of the microscopic degeneracy of a class of quarter BPS dyons in N = 4 supersymmetric strin ..."
Abstract
-
Cited by 324 (28 self)
- Add to MetaCart
In these lecture notes we describe recent progress in our understanding of attractor mechanism and entropy of extremal black holes based on the entropy function formalism. We also describe precise computation of the microscopic degeneracy of a class of quarter BPS dyons in N = 4 supersymmetric
Active learning: Creating excitement in the classroom
, 1991
"... "College teaching and lecturing have been so long associated that when one pictures a college professor in a classroom, he almost inevitably pictures him as lecturing. " Few would argue with the statement that the vast majority of today's professoriate were primarily lectured to as bo ..."
Abstract
-
Cited by 275 (0 self)
- Add to MetaCart
"College teaching and lecturing have been so long associated that when one pictures a college professor in a classroom, he almost inevitably pictures him as lecturing. " Few would argue with the statement that the vast majority of today's professoriate were primarily lectured
A Mathematical View of Interior-point Methods for Convex Optimization
- IN CONVEX OPTIMIZATION, MPS/SIAM SERIES ON OPTIMIZATION, SIAM
, 2001
"... These lecture notes aim at developing a thorough understanding of the core theory for interior-point methods. The overall theory continues to grow ata rapid rate but the core ideas have remained largely unchanged for several years, since Nesterov and Nemirovskii [1] published their path-breaking, br ..."
Abstract
-
Cited by 271 (2 self)
- Add to MetaCart
These lecture notes aim at developing a thorough understanding of the core theory for interior-point methods. The overall theory continues to grow ata rapid rate but the core ideas have remained largely unchanged for several years, since Nesterov and Nemirovskii [1] published their path
Essentially non-oscillatory and weighted essentially non-oscillatory schemes for hyperbolic conservation laws
, 1998
"... In these lecture notes we describe the construction, analysis, and application of ENO (Essentially Non-Oscillatory) and WENO (Weighted Essentially Non-Oscillatory) schemes for hyperbolic conservation laws and related Hamilton-Jacobi equations. ENO and WENO schemes are high order accurate nite di ere ..."
Abstract
-
Cited by 270 (26 self)
- Add to MetaCart
In these lecture notes we describe the construction, analysis, and application of ENO (Essentially Non-Oscillatory) and WENO (Weighted Essentially Non-Oscillatory) schemes for hyperbolic conservation laws and related Hamilton-Jacobi equations. ENO and WENO schemes are high order accurate nite di
Lectures on special Lagrangian submanifolds
, 1999
"... Abstract. These notes consist of a study of special Lagrangian submanifolds of Calabi-Yau manifolds and their moduli spaces. The particular case of three dimensions, important in string theory, allows us to introduce the notion of gerbes. These offer an appropriate language for describing many signi ..."
Abstract
-
Cited by 185 (2 self)
- Add to MetaCart
Abstract. These notes consist of a study of special Lagrangian submanifolds of Calabi-Yau manifolds and their moduli spaces. The particular case of three dimensions, important in string theory, allows us to introduce the notion of gerbes. These offer an appropriate language for describing many
Combinatorial stochastic processes
"... This is a collection of expository articles about various topics at the interface between enumerative combinatorics and stochastic processes. These articles expand on a course of lectures given at the École d’Été de Probabilités de St. Flour in July 2002. The articles are called ’chapters ’ and numb ..."
Abstract
-
Cited by 228 (15 self)
- Add to MetaCart
’ and numbered according to the order of these chapters in a printed volume to appear in Springer Lecture Notes in Mathematics. Each chapter is fairly self-contained, so readers with adequate background can start reading any chapter, with occasional consultation of earlier chapters as necessary. Following
Lambda Lifting: Transforming Programs to Recursive Equations
, 1985
"... Lambda lifting is a technique for transforming a functional program with local function definitions, possibly with free variables in the function definitions, into a program consisting only of global function (combinator) definitions which will be used as rewrite rules. Different ways of doing lambd ..."
Abstract
-
Cited by 218 (4 self)
- Add to MetaCart
and Computer Architecture, Lecture Notes in Computer Science 201, Nancy, France, 1985. Springer Verlag. y As part B of author's thesis. Main addition: the attribute grammar formulation. 1 Introduction When compiling a lazy functional language using the technique described in [Joh84] it is presumed
Results 1 - 10
of
4,515
