Results 1  10
of
1,454,778
Model Transformations should be Functors
"... The concept of model transformations is of increasing importance in different areas of Computer Science, but up to now, there is a lack of common understanding concerning the mathematical and practical point of view. In this paper, we discuss some of the different aspects. Especially interesting is ..."
Abstract
 Add to MetaCart
is the new proposal of the POPL’07 keynote speaker Don Batory claiming that model transformations should be functors. This claim is compared with different mathematical concepts of model transformation. BEATCS no 92 THE EATCS COLUMNS
Quantum complexity theory
 in Proc. 25th Annual ACM Symposium on Theory of Computing, ACM
, 1993
"... Abstract. In this paper we study quantum computation from a complexity theoretic viewpoint. Our first result is the existence of an efficient universal quantum Turing machine in Deutsch’s model of a quantum Turing machine (QTM) [Proc. Roy. Soc. London Ser. A, 400 (1985), pp. 97–117]. This constructi ..."
Abstract

Cited by 574 (5 self)
 Add to MetaCart
to be specified. We prove that O(log T) bits of precision suffice to support a T step computation. This justifies the claim that the quantum Turing machine model should be regarded as a discrete model of computation and not an analog one. We give the first formal evidence that quantum Turing machines violate
Category of Functors
"... : We define the category Func with functors F:D F SCOTT (D F CPO) as objects and pairs (f:D F D G ,:FGf) as morphisms ( is a natural transformation). We show that this category is closed under the common domain theoretical operations +,, and . The category Func is an Ocategory and all the opera ..."
Abstract
 Add to MetaCart
: We define the category Func with functors F:D F SCOTT (D F CPO) as objects and pairs (f:D F D G ,:FGf) as morphisms ( is a natural transformation). We show that this category is closed under the common domain theoretical operations +,, and . The category Func is an Ocategory and all
The Functor of Points
, 2008
"... We study the functor of points. After showing that the functor of points is a well defined notion, we establish a criteria for determining whether a given functor is the functor of points for some scheme. We conclude with applications to fiber products, tangent bundles, and moduli spaces. ..."
Abstract
 Add to MetaCart
We study the functor of points. After showing that the functor of points is a well defined notion, we establish a criteria for determining whether a given functor is the functor of points for some scheme. We conclude with applications to fiber products, tangent bundles, and moduli spaces.
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 272 (0 self)
 Add to MetaCart
, and should, be done. To help in this pursuit, this workshop will engage participants in specific, practical teaching strategies designed to model the use of active learning in the classroom. The handout summarizes the workshop's content and identifies resources for further study. CONTENTS WORKSHOP NOTES
Some Impossibility Theorems In Econometrics With Applications To Instrumental Variables, Dynamic Models And Cointegration
 Econometrica
, 1995
"... General characterizations of valid confidence sets and tests in problems which involve locally almost unidentified (LAU) parameters are provided and applied to several econometric models. Two types of inference problems are studied: (1) inference about parameters which are not identifiable on certai ..."
Abstract

Cited by 231 (43 self)
 Add to MetaCart
for this parameter should be unbounded with probability close to 1 \Gamma ff in the neighborhood of nonidentification subsets and should as well have a nonzero probability of being unbounded under any distribution compatible with the model: no valid confidence set which is bounded with probability one does exist
Objects and Views
 ACM SIGMOD INTERNATIONAL CONFERENCE ON MANAGEMENT OF DATA
, 1991
"... Objectoriented databases have been introduced primarily to ease the development of database applications. However, the difficulties encountered when, for instance, trying to restructure data or integrate databases demonstrate that the models being used still lack flexibility. We claim that the natu ..."
Abstract

Cited by 258 (9 self)
 Add to MetaCart
Objectoriented databases have been introduced primarily to ease the development of database applications. However, the difficulties encountered when, for instance, trying to restructure data or integrate databases demonstrate that the models being used still lack flexibility. We claim
The trace factorisation of stable functors
 Tay89a] P. Taylor, Quantitative Domains, Groupoids and Linear Logic
, 1988
"... A functor is stable if it has a left adjoint on each slice. Such functors arise as forgetful functors from categories of models of disjunctive theories. A stable functor factorises as a functor with a (global) left adjoint followed by a fibration of groupoids; Diers [D79] showed that in many cases t ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
A functor is stable if it has a left adjoint on each slice. Such functors arise as forgetful functors from categories of models of disjunctive theories. A stable functor factorises as a functor with a (global) left adjoint followed by a fibration of groupoids; Diers [D79] showed that in many cases
Results 1  10
of
1,454,778