Results 1 - 10 of 1,220

A canonical definition of shape

by Davy Paindaveine, Universite ́ Libre De Bruxelles , 2007
"... Very general concepts of scatter, extending the traditional notion of covariance ma-trices, have become classical tools in robust multivariate analysis. In many problems of practical importance (principal components, canonical correlation, testing for spheric-ity), only homogeneous functions of the ..."
Abstract - Cited by 12 (6 self) - Add to MetaCart
Very general concepts of scatter, extending the traditional notion of covariance ma-trices, have become classical tools in robust multivariate analysis. In many problems of practical importance (principal components, canonical correlation, testing for spheric-ity), only homogeneous functions

EXERCISES IN THE BIRATIONAL GEOMETRY OF ALGEBRAIC VARIETIES

by János Kollár , 2008
"... The book [KM98] gave an introduction to the birational geometry of algebraic varieties, as the subject stood in 1998. The developments of the last decade made the more advanced parts of Chapters 6 and 7 less important and the detailed treatment of surface singularities in Chapter 4 less necessary. H ..."
Abstract - Cited by 322 (1 self) - Add to MetaCart
. However, the main parts, Chapters 1–3 and 5, still form the foundations of the subject. These notes provide additional exercises to [KM98]. The main definitions and theorems are recalled but not proved here. The emphasis is on the many examples that illustrate the methods, their shortcomings and some

Ontolingua: A Mechanism to Support Portable Ontologies

by Thomas R. Gruber , 1992
"... An ontology is a set of definitions of content-specific knowledge representation primitives: classes, relations, functions, and object constants. Ontolingua is mechanism for writing ontologies in a canonical format, such that they can be easily translated into a variety of representation and reasoni ..."
Abstract - Cited by 245 (5 self) - Add to MetaCart
An ontology is a set of definitions of content-specific knowledge representation primitives: classes, relations, functions, and object constants. Ontolingua is mechanism for writing ontologies in a canonical format, such that they can be easily translated into a variety of representation

Stringy Hodge numbers of varieties with Gorenstein canonical singularities

by V. V. Batyrev - PROC. TANIGUCHI SYMPOSIUM 1997, IN ‘INTEGRABLE SYSTEMS AND ALGEBRAIC GEOMETRY, KOBE/KYOTO 1997’, WORLD , 1999
"... We introduce the notion of stringy E-function for an arbitrary normal irreducible algebraic variety X with at worst log-terminal singularities. We prove some basic properties of stringy E-functions and compute them explicitly for arbitrary Q-Gorenstein toric varieties. Using stringy E-functions, we ..."
Abstract - Cited by 96 (5 self) - Add to MetaCart
propose a general method to define stringy Hodge numbers for projective algebraic varieties with at worst Gorenstein canonical singularities. This allows us to formulate the topological mirror duality test for arbitrary Calabi-Yau varieties with canonical singularities. In Appendix we explain non

Canonical and op-canonical lax algebras

by Gavin J. Seal - Theory Appl. Categ , 2005
"... Abstract. The definition of a category of (T, V)-algebras, where V is a unital com-mutative quantale and T is a Set-monad, requires the existence of a certain lax extensionof T. In this article, we present a general construction of such an extension. This leads tothe formation of two categories of ( ..."
Abstract - Cited by 10 (2 self) - Add to MetaCart
Abstract. The definition of a category of (T, V)-algebras, where V is a unital com-mutative quantale and T is a Set-monad, requires the existence of a certain lax extensionof T. In this article, we present a general construction of such an extension. This leads tothe formation of two categories of (

CANONICAL CONSTRUCTION OF FINITE ELEMENTS

by R. Hiptmair , 1999
"... The mixed variational formulation of many elliptic boundary value problems involves vector valued function spaces, like, in three dimensions, H(curl; Ω) and H(Div; Ω). Thus finite element subspaces of these function spaces are indispensable for effective finite element discretization schemes. Given ..."
Abstract - Cited by 51 (11 self) - Add to MetaCart
. Moreover, in the realm of differential forms most concepts are basically dimension-independent. Thus, we arrive at a fairly canonical procedure to construct conforming finite element subspaces of function spaces related to differential forms. In any dimension we can give a simple characterization

Towards a theory of scale-free graphs: Definition, properties, and implications

by Lun Li, David Alderson, John C. Doyle, Walter Willinger - Internet Mathematics , 2005
"... Abstract. There is a large, popular, and growing literature on “scale-free ” networks with the Internet along with metabolic networks representing perhaps the canonical examples. While this has in many ways reinvigorated graph theory, there is unfortunately no consistent, precise definition of scale ..."
Abstract - Cited by 137 (12 self) - Add to MetaCart
Abstract. There is a large, popular, and growing literature on “scale-free ” networks with the Internet along with metabolic networks representing perhaps the canonical examples. While this has in many ways reinvigorated graph theory, there is unfortunately no consistent, precise definition

AND CANONICAL FILTRATIONS.

by The Erwin, Schrödinger International Boltzmanngasse, Alexei Rudakov, Alexei Rudakov , 1996
"... Abstract. The main goal of the article is to give the general definition of algebraic stability that would permit to consider stalility not only for algebraic vector bundles or torsionfree coherent sheaves but for the whole category of coherent sheaves in an unified way. We present an axiomatic desc ..."
Abstract - Add to MetaCart
Abstract. The main goal of the article is to give the general definition of algebraic stability that would permit to consider stalility not only for algebraic vector bundles or torsionfree coherent sheaves but for the whole category of coherent sheaves in an unified way. We present an axiomatic

On Equivalence and Canonical Forms in the LF Type Theory

by Robert Harper, Frank Pfenning
"... Decidability of definitional equality and conversion of terms into canonical form play a central role in the meta-theory of a type-theoretic logical framework. Most studies of definitional equality are based on a confluent, strongly-normalizing notion of reduction. Coquand has considered a different ..."
Abstract - Cited by 79 (15 self) - Add to MetaCart
Decidability of definitional equality and conversion of terms into canonical form play a central role in the meta-theory of a type-theoretic logical framework. Most studies of definitional equality are based on a confluent, strongly-normalizing notion of reduction. Coquand has considered a

An algebraic characterization of the affine canonical basis

by Jonathan Beck, Vyjayanthi Chari - Duke Math. J , 1999
"... Abstract. The canonical basis for finite type quantized universal enveloping algebras was introduced in [L3]. The principal technique is the explicit construction (via the braid group action) of a lattice L over Z[q −1]. This allows the algebraic characterization of the canonical basis as a certain ..."
Abstract - Cited by 56 (15 self) - Add to MetaCart
Abstract. The canonical basis for finite type quantized universal enveloping algebras was introduced in [L3]. The principal technique is the explicit construction (via the braid group action) of a lattice L over Z[q −1]. This allows the algebraic characterization of the canonical basis as a certain
Results 1 - 10 of 1,220