Results 1  10
of
351,619
CHAPTER 13 CANONICAL MODELLING
"... An approach for intermediatelevel simulation of carbon allocation in functionalstructural plant models ..."
Abstract
 Add to MetaCart
An approach for intermediatelevel simulation of carbon allocation in functionalstructural plant models
Integral Canonical Models for Shimura Varieties of Preabelian Type
, 2003
"... We prove the existence of integral canonical models of Shimura varieties of preabelian type with respect to primes of characteristic at least 5. ..."
Abstract

Cited by 40 (22 self)
 Add to MetaCart
We prove the existence of integral canonical models of Shimura varieties of preabelian type with respect to primes of characteristic at least 5.
Canonical models of Shimura curves
, 2003
"... As an introduction to Shimura varieties, and, in particular, to Deligne’s Bourbaki and Corvallis talks (Deligne 1971, 1979), I explain the main ideas and results of the general theory of Shimura varieties in the context of Shimura curves. These notes had their origin in a twohour lecture I gave on ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
As an introduction to Shimura varieties, and, in particular, to Deligne’s Bourbaki and Corvallis talks (Deligne 1971, 1979), I explain the main ideas and results of the general theory of Shimura varieties in the context of Shimura curves. These notes had their origin in a twohour lecture I gave on September 10, 2002. They are available at www.jmilne.org/math/. Please send corrections and comments to me at
Suitability of Data Models as Canonical Models for Federated Databases
 SIGMOD Record
, 1991
"... We develop a framework of characteristics, essential and recommended, that a data model should have to be suitable as canonical model for federated databases. This framework is based on the two factors of the representation ability of a model: expressiveness and semantic relativism. Several data m ..."
Abstract

Cited by 71 (9 self)
 Add to MetaCart
We develop a framework of characteristics, essential and recommended, that a data model should have to be suitable as canonical model for federated databases. This framework is based on the two factors of the representation ability of a model: expressiveness and semantic relativism. Several data
The Canonical Model of a Singular Curve
, 2008
"... We give refined statements and modern proofs of Rosenlicht’s results about the canonical model C′ of an arbitrary complete integral curve C. Notably, we prove that C and C′ are birationally equivalent if and only if C is nonhyperelliptic, and that, if C is nonhyperelliptic, then C′ is equal to the b ..."
Abstract
 Add to MetaCart
We give refined statements and modern proofs of Rosenlicht’s results about the canonical model C′ of an arbitrary complete integral curve C. Notably, we prove that C and C′ are birationally equivalent if and only if C is nonhyperelliptic, and that, if C is nonhyperelliptic, then C′ is equal
A Canonical Model of the Region Connection Calculus
 Principles of Knowledge Representation and Reasoning: Proceedings of the 6th International Conference (KR98
, 1997
"... Canonical models are very useful for determining simple representation formalism for qualitative relations. Allen's interval relations, e.g., can thereby be represented using the start and the end point of the intervals. Such a simple representation was not possible for regions of higher dim ..."
Abstract

Cited by 51 (5 self)
 Add to MetaCart
Canonical models are very useful for determining simple representation formalism for qualitative relations. Allen's interval relations, e.g., can thereby be represented using the start and the end point of the intervals. Such a simple representation was not possible for regions of higher
The Stable Model Semantics For Logic Programming
, 1988
"... We propose a new declarative semantics for logic programs with negation. Its formulation is quite simple; at the same time, it is more general than the iterated fixed point semantics for stratied programs, and is applicable to some useful programs that are not stratified. ..."
Abstract

Cited by 1831 (66 self)
 Add to MetaCart
We propose a new declarative semantics for logic programs with negation. Its formulation is quite simple; at the same time, it is more general than the iterated fixed point semantics for stratied programs, and is applicable to some useful programs that are not stratified.
Results 1  10
of
351,619