Results 1  10
of
1,220
A canonical definition of shape
, 2007
"... Very general concepts of scatter, extending the traditional notion of covariance matrices, have become classical tools in robust multivariate analysis. In many problems of practical importance (principal components, canonical correlation, testing for sphericity), 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 matrices, have become classical tools in robust multivariate analysis. In many problems of practical importance (principal components, canonical correlation, testing for sphericity), only homogeneous functions
EXERCISES IN THE BIRATIONAL GEOMETRY OF ALGEBRAIC VARIETIES
, 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
, 1992
"... An ontology is a set of definitions of contentspecific 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 contentspecific 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
 PROC. TANIGUCHI SYMPOSIUM 1997, IN ‘INTEGRABLE SYSTEMS AND ALGEBRAIC GEOMETRY, KOBE/KYOTO 1997’, WORLD
, 1999
"... We introduce the notion of stringy Efunction for an arbitrary normal irreducible algebraic variety X with at worst logterminal singularities. We prove some basic properties of stringy Efunctions and compute them explicitly for arbitrary QGorenstein toric varieties. Using stringy Efunctions, 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 CalabiYau varieties with canonical singularities. In Appendix we explain non
Canonical and opcanonical lax algebras
 Theory Appl. Categ
, 2005
"... Abstract. The definition of a category of (T, V)algebras, where V is a unital commutative quantale and T is a Setmonad, 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 commutative quantale and T is a Setmonad, 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
, 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 dimensionindependent. 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 scalefree graphs: Definition, properties, and implications
 Internet Mathematics
, 2005
"... Abstract. There is a large, popular, and growing literature on “scalefree ” 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 “scalefree ” 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.
, 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
"... Decidability of definitional equality and conversion of terms into canonical form play a central role in the metatheory of a typetheoretic logical framework. Most studies of definitional equality are based on a confluent, stronglynormalizing 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 metatheory of a typetheoretic logical framework. Most studies of definitional equality are based on a confluent, stronglynormalizing notion of reduction. Coquand has considered a
An algebraic characterization of the affine canonical basis
 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