This thesis has one main goal: design algorithms that computers can use to produce expressive sounding rhythmic phrases. First, I describe four elements that can characterize musical rhythm: metric structure, tempo variation, deviations, and ametric phrases. The first three elements can be used successfully to model percussive rhythm. Second, I describe two algorithms: one, an automatic transcr...

Some natural properties have causal roles; call these ‘causal properties’. Dispositional essentialists think that some causal properties have their causal roles essentially. For the purposes of this paper, I treat dispositional essentialism (hereafter ‘DE’) as a claim about the properties of (ideal, completed, fundamental) science. If the basic ontology of completed science (hereafter ‘Physics’...

Managed care is more than simply a definition--it is often described as a "way of life, .... a religion." Continuing the analogy, to understand and participate, it is necessary to be a "believer." It is easy then to articulate what managed care is and what it is not. It is the conscientious attempt "to effect a balance in the utilization of health care resources, cost containment and quality en...

We consider a parallel Algol-like language, combining procedures with shared-variable parallelism. Procedures permit encapsulation of common parallel programming idioms. Local variables provide a way to restrict interference between parallel commands. The combination of local variables, procedures, and parallelism supports a form of concurrent object-oriented programming. We provide a denotatio...

Let S be some type system. A typing in S for a typable term M is the collection of all of the information other than M which appears in the final judgement of a proof derivation showing that M is typable. For example, suppose there is a derivation in S ending with the judgement A ` M : τ meaning that M has result type τ when assuming the types of free variables are given by A. Then (A, τ ) is a...

As the UML attempts to make the transition from a single, albeit extensible, language to a framework for a family of languages, the nature and form of the underlying meta-modeling architecture will assume growing importance. It is generally recognized that without a simple, clean and intuitive theory of how metamodel levels are created and related to one another, the UML 2.0 vision of a coheren...