Casa Grande is an Indian ruin of undetermined antiquity situated in Pinal County, southern Arizona, a little more than a mile from the left bank of the Gila River. It lies twelve miles from Florence and about eighteen miles from the Casa Grande station on the Southern Pacific Railroad. Casa Grande was given its name about 1694 by its discoverer, the celebrated Jesuit, Father Eusebio Francisco K...

A point free calculus of so called collection types is presented similar to the monadic calculus of Tannen Buneman and Wong We observe that our calculus is parametrised by a monad thus making the calculus polytypic A novel contribution of the paper is to discuss situations in which a single application involves more than one collection type In particular we outline the contribution to database ...

class Fruit implements Comparable { protected String name; protected int size; protected Fruit(String name, int size) { this.name = name; this.size = size; } public boolean equals(Object o) { if (o instanceof Fruit) { Fruit that = (Fruit)o;

We discuss aspects of the dictionary between brane configurations in del Pezzo geometries and dibaryons in the dual superconformal quiver gauge theories. The basis of fractional branes defining the quiver theory at the singularity has a K-theoretic dual exceptional collection of bundles which can be used to read off the spectrum of dibaryons in the weakly curved dual geometry. Our prescription ...

Logics that involve collections (sets, multisets), and cardinality constraints are useful for reasoning about unbounded data structures and concurrent processes. To make such logics more useful in verification this paper extends them with the ability to compute direct and inverse relation and function images. We establish decidability and complexity bounds for the extended logics.

By doctor E. MASCHA [The following paper on the " Structure of Wing-Feathers " gives an account of an investigation conducted by Doctor E. Mascha under the direction of Professor R. von Lendenfeld, of the Imperial German University in Prague. The original German text of this paper is to be published in the Zcitschrift fiir zvisscnschaftUchc Zoologic. Doctor von Lendenfeld, who was a competitor ...

Collective operations on distributed data sets foster a high-level data-parallel programming style that eases many aspects of parallel programming significantly. In this paper we describe how higher-order collective operations on distributed object sets can be introduced in a structured way by means of reusable topology classes and C++ templates.

Introduction Modern board games are currently experiencing a golden age. There has been a huge increase in the number of games being produced, both in the United States and abroad. These games run the gamut from relatively simple, lightly themed games (such as Ticket to Ride, a set collection game about trains) to the surprisingly complex and in depth ones (such as Die Macher, a four-hour game ...

Text search engines have historically been designed for unchanging collections of documents. While this is fine for many applications, a growing number of important applications in news, finance, law and desktop search require indexes that can be efficiently updated. Previous research into supporting dynamic collections revolves around incremental methods. Incremental systems are optimized for ...