We study cubical sets without degeneracies, which we call –sets. These sets arise naturally in a number of settings and they have a beautiful intrinsic geometry; in particular a –set C has an infinite family of associated –sets J (C), i = 1, 2, . . ., which we call James complexes. There are mock bundle projections pi : |J (C)| → |C| (which we call James bundles) defining classes in unstable co...

Fa c u l t y M e n t o r T h e U C I U n d e r g r a d u a t e R e s e a r c h J o u r n a l Key Terms: ♦ Bio-Networking Architecture

* The title is comprised from part of titles of major papers being discussed, namely Pustejovsky [Pus91] and Fong [Fon01].

In this paper we revisit Pustejovsky's proposal to treat ontologically complex word meaning by socalled dotted pairs. We use a higherorder feature logic based on Ohori's record -calculus to model the semantics of words like book and library, in particular their behavior in the context of quanti cation and cardinality statements.

Im Sommersemester 1994 wurde an der Technischen Universität München erstmals das Praktikum ” Entwurf großer Systeme: Softwaretechnik“ durchgeführt. Ziel der Veranstaltung war, die teilnehmenden Studierenden anhand eines echten Projekts in die ingenieurmäßige Software-Entwicklung im Team einzuführen und mit objektorientierten Analyseund Designtechniken vertraut zu machen. Im folgenden beschreibe...

A ccording to a widely shared view of science, scientific theories predict and explain facts about "observables": objects and properties which can be perceived by the senses, sometimes augmented by instruments. In the tradition associated with logical positivism, this view receives an influential formulation in terms of a supposed distinction between two kinds of vocabularies and an allied clai...