The problem of expressing and supporting classical greedy algorithms in Datalog has been the focus of many signi cant research e orts that have produced very interesting solutions for particular algorithms. But we still lack a general treatment that characterizes the relationship of greedy algorithms to non-monotonic theories and leads to asymptotically optimal implementations. In this paper, w...

This paper applies the Jones Kierzkowski model to the contract manufacturing service industry. Stylized facts of that industry imply a theory of non-convex general equilibrium. The cost structure combines a constant marginal cost and a positive fixed cost; Marshalian free entry free exit prevails. This implies a distinct market structure (which is nether perfect nor monopolistic competition, no...

an isomorphism? These questions have interest partly because if S and .S’(J, S) are Cohen-Macaulay, then so is gr, S := S/J@ J/J’... [ 16 1 and under these hypotheses if N is perfect and R @ .S(J, S) = .$(I, R), then R and .7(1. R) are Cohen-Macaulay too. Thus, gr,R is Cohen-Macaulay, and its torsion freeness and normality, for exmple, can be characterized in terms of analytic spreads, as in [ ...

Availability of data in a program determines computation stages. Incremental partial evaluation exploit these stages for optimization: it allows further specialization to be performed as data become available at later stages. The fundamental advantage of incremental specialization is to factorize the specialization process. As a result, specializing a program at a given stage costs considerably...

The capabilities of a data model to represent any conceptualization (expressiveness) are very important for faithful modelling. Focusing on the generalization/specialization dimension, unique features of the BLOOM model are presented: specialization criteria, four kinds of specialization, usage of specialization metaclasses, transitive specializations, combinations of specializations that autom...

We discuss the problem of specializing a deenite program with respect to sets of positive and negative examples, following BI94]. This problem is very relevant in the eld of inductive learning. First we show that there exist sets of examples that have no correct program, i.e., no program which implies all positive and no negative examples. Hence it only makes sense to talk about specialization ...

Although the concept of specialization has played a central role in the development of ecological and evolutionary theory, important questions about specialization remain largely unanswered. We argue that the traditional division of specialization into evolutionary and ecological factors may be less useful than considering specialization as three components, which may not be mutually exclusive:...