We give a rst order formulation of Church's type theory in which types are mere sets. This formulation is obtained by replacing -calculus by a language of combinators (skolemized comprehension schemes), introducing a distinction between propositions and their contents, relativizing quanti ers and at last replacing typing predicates by membership to some sets. The theory obtained this way has bo...

Model building is a key objective of data mining and data analysis applications. In the past, such applications required only a few models built by a single data analyst. As more and more data has been collected and realworld problems have become more complex, it has become increasingly difficult for that data analyst to build all the required models and manage them manually. Building a system ...

This paper proposes a novel system that “rephotographs” a historical photograph with a collection of images. Rather than finding the accurate viewpoint of the historical photo, users only need to take a number of photographs around the target scene. We adopt the structure from motion technique to estimate the spatial relationship among these photographs, and construct a set of 3D point cloud. B...

The first part of this paper deals with the general geology and geography of the region from which the Cretaceous fishes of Ceara come, while the second part is a systematic description of the fishes themselves. The collection is especially important because it contains all of the species hitherto described from Ceara, besides three new genera and four new species. The large number of duplicate...

Consider an application that holds a number of graphical objects that may be manipulated by a user, such as a CAD tool or graphical editor. The general shape of this application follows from the WORKPIECES frame [Jackson1995]. The objects manipulated by the user are the workpieces, and these may be saved to some kind of persistent storage, e.g. some kind of database. These objects all share a s...

HYPOTHESIS The clinical syndromes caused by bile collections in the abdomen span a wide spectrum and their natural history and risks are not fully appreciated. DESIGN Analysis of 179 patients with bile fistulas after cholecystectomy, of which 154 patients had undrained bile collections. OBJECTIVE To characterize the manifestations and natural history of abdominal bile collections. SETTING...

In this paper, we present a metadata model to describe the digitized digital folklore collection of the Department of Greek Studies in the University of Athens. Folklore collection consists of different kinds of digitized material. The volume and the variety of material results to collection representation as a hierarchical structure, according to the type of objects, the corresponding chronolo...

This essay is dedicated to Jeroen Groenendijk, Martin Stokhof, and Frank Veltman — but not to each of them separately, but to all of them jointly, as a group, or a set, or a mereological sum. This group was an important part of a community of logicians and philosophers at the University of Amsterdam, that had a stimulating influence on my first ventures into formal semantics in the course of th...

We explain several approaches that allow to prove that a given curve over Q has no rational points.

In this paper we describe a query interface towards XML document collections. External schema annotation in RDF contains information used to dynamically build the interface tailored to the user’s characteristics and to the document structure, as described by its XML Schema. The interface makes the user aware of structure semantics, so supporting her/him in formulating semantically correct queri...