This paper presents a new systematic approach for the uniform random generation of combinatorial objects. The method is based on the notion of object grammars which give recursive descriptions of objects and generalize contextfree grammars. The application of particular valuations to these grammars leads to enumeration and random generation of objects according to non algebraic parameters.

We show that the Kähler-Ricci flow on an algebraic manifold of positive Kodaira dimension and semi-ample canonical line bundle converges to a unique canonical metric on its canonical model. It is also shown that there exists a canonical measure of analytic Zariski decomposition on an algebraic manifold of positive Kodaira dimension. Such a canonical measure is unique and invariant under biratio...

We show that the Kähler-Ricci flow on an algebraic manifold of positive Kodaira dimension and semi-ample canonical line bundle converges to a unique canonical metric on its canonical model. It is also shown that there exists a canonical measure of analytic Zariski decomposition on an algebraic manifold of positive Kodaira dimension. Such a canonical measure is unique and invariant under biratio...

This paper presents Aligators, a tool for the generation of universally quantified array invariants. Aligators leverages recurrence solving and algebraic techniques to carry out inductive reasoning over array content. The Aligators’ loop extraction module allows treatment of multi-path loops by exploiting their commutativity and serializability properties. Our experience in applying Aligators o...

During extremely hot summer days, air conditioning systems are known as major electricity consumers in residential, commercial and industrial sectors. Moreover, high energy requirement of multiple-chiller plants may cause an interconnected power grid be faced with annual on-peak electrical demand, load-generation mismatch, voltage collapse and catastrophic wide area blackout. Therefore, this pa...

In tree-based genetic programming, there is a tendency for the size of the programs to increase from generation to generation, a phenomenon known as bloat. It is standard practice to place some form of control on program size either by limiting the number of nodes or the depth of the program trees, or by adding a component to the fitness function that rewards smaller programs (parsimony pressur...

In recent years, structured overset grid technology has been successfully applied to computational fluid dynamics analysis on a wide variety of complex aerospace applications.1–11 While structured overset grid flow solvers such as OVERFLOW12 and LAVA13 are highly e cient relative to typical flow solvers utilizing unstructured grids, structured overset grid generation remains a labor intensive a...