Results 11  20
of
24,930
PROFINITE HEYTING ALGEBRAS AND PROFINITE COMPLETIONS OF HEYTING ALGEBRAS
"... Dedicated to our friend and colleague Mamuka Jibladze on his 50th birthday Abstract. This paper surveys recent developments in the theory of profinite Heyting algebras (resp. bounded distributive lattices, Boolean algebras) and profinite completions of Heyting algebras (resp. bounded distributive l ..."
Abstract
 Add to MetaCart
Dedicated to our friend and colleague Mamuka Jibladze on his 50th birthday Abstract. This paper surveys recent developments in the theory of profinite Heyting algebras (resp. bounded distributive lattices, Boolean algebras) and profinite completions of Heyting algebras (resp. bounded distributive
Existence of minimal models for varieties of log general type
 J. AMER. MATH. SOC
, 2008
"... We prove that the canonical ring of a smooth projective variety is finitely generated. ..."
Abstract

Cited by 386 (34 self)
 Add to MetaCart
We prove that the canonical ring of a smooth projective variety is finitely generated.
Theorems for free!
 FUNCTIONAL PROGRAMMING LANGUAGES AND COMPUTER ARCHITECTURE
, 1989
"... From the type of a polymorphic function we can derive a theorem that it satisfies. Every function of the same type satisfies the same theorem. This provides a free source of useful theorems, courtesy of Reynolds' abstraction theorem for the polymorphic lambda calculus. ..."
Abstract

Cited by 380 (8 self)
 Add to MetaCart
From the type of a polymorphic function we can derive a theorem that it satisfies. Every function of the same type satisfies the same theorem. This provides a free source of useful theorems, courtesy of Reynolds' abstraction theorem for the polymorphic lambda calculus.
The Use of Active Shape Models For Locating Structures in Medical Images
, 1994
"... This paper describes a technique for building compact models of the shape and appearance of flexible objects (such as organs) seen in 2D images. The models are derived from the statistics of sets of labelled images of examples of the objects. Each model
..."
Abstract

Cited by 371 (23 self)
 Add to MetaCart
This paper describes a technique for building compact models of the shape and appearance of flexible objects (such as organs) seen in 2D images. The models are derived from the statistics of sets of labelled images of examples of the objects. Each model
A Probabilistic Model of Information Retrieval: Development and Status
, 1998
"... The paper combines a comprehensive account of the probabilistic model of retrieval with new systematic experiments on TREC Programme material. It presents the model from its foundations through its logical development to cover more aspects of retrieval data and a wider range of system functions. Eac ..."
Abstract

Cited by 358 (25 self)
 Add to MetaCart
The paper combines a comprehensive account of the probabilistic model of retrieval with new systematic experiments on TREC Programme material. It presents the model from its foundations through its logical development to cover more aspects of retrieval data and a wider range of system functions. Each step in the argument is matched by comparative retrieval tests, to provide a single coherent account of a major line of research. The experiments demonstrate, for a large test collection, that the probabilistic model is effective and robust, and that it responds appropriately, with major improvements in performance, to key features of retrieval situations.
Normalised Rewriting and Normalised Completion
, 1994
"... We introduce normalised rewriting, a new rewrite relation. It generalises former notions of rewriting modulo E, dropping some conditions on E. For example, E can now be the theory of identity, idempotency, the theory of Abelian groups, the theory of commutative rings. We give a new completion algor ..."
Abstract

Cited by 19 (2 self)
 Add to MetaCart
We introduce normalised rewriting, a new rewrite relation. It generalises former notions of rewriting modulo E, dropping some conditions on E. For example, E can now be the theory of identity, idempotency, the theory of Abelian groups, the theory of commutative rings. We give a new completion
Finitely Presented Heyting Algebras
 IN PREPARATION
, 1998
"... In this paper we study the structure of nitely presented Heyting algebras. Using algebraic techniques (as opposed to techniques from prooftheory) we show that every such Heyting algebra is in fact coHeyting, improving on a result of Ghilardi who showed that Heyting algebras free on a nite set ..."
Abstract

Cited by 10 (1 self)
 Add to MetaCart
In this paper we study the structure of nitely presented Heyting algebras. Using algebraic techniques (as opposed to techniques from prooftheory) we show that every such Heyting algebra is in fact coHeyting, improving on a result of Ghilardi who showed that Heyting algebras free on a nite
On the geometry and cohomology of some simple Shimura varieties
, 1999
"... This paper has twin aims. On the one hand we prove the local Langlands conjecture for GL n over a padic field. On the other hand in many cases we are able to identify the action of the decomposition group at a prime of bad reduction on the ladic cohomology of the "simple" Shimura varieti ..."
Abstract

Cited by 341 (19 self)
 Add to MetaCart
This paper has twin aims. On the one hand we prove the local Langlands conjecture for GL n over a padic field. On the other hand in many cases we are able to identify the action of the decomposition group at a prime of bad reduction on the ladic cohomology of the "simple" Shimura varieties studied by Kottwitz in [Ko4]. These two problems go hand in hand. The local Langlands conjecture is one of those hydra like conjectures which seems to grow as it gets proved. However the generally accepted formulation seems to be the following (see [He2]). Let K be a finite extension of Q p . Fix a nontrivial additive character # : K
Results 11  20
of
24,930