The main result in this thesis is the generalisation of Bergman’s diamond lemma for ring theory to power series rings. This generalisation makes it possible to treat problems in which there arise… (More)

Objective. To design and evaluate a clinical monitor of respiratory drive (P0.1) and other respiratory variables in a simple way, using a commercial ventilator. Methods. Nine healthy males were… (More)

This extended abstract discusses the problem of defining quasi-orders that are suitable for use with network rewriting. The author’s primary interest is in using network rewriting as a tool for… (More)

The Generic Diamond Lemma of the author is applied to the problem of classifying all graph invariants satisfying a contract–delete recursion (like that of the chromatic polynomial). As expected, the… (More)

This extended abstract breifly introduces rewriting of networks (directed acyclic graphs with the extra structure needed to serve as expressions for PROducts and Permutations categories) and… (More)

Respiratory response to repeated sequences of mild negative inspiratory pressure (NIP) was investigated. Ten healthy male subjects were spontaneously breathing on a Siemens Servo Ventilator. The… (More)

A. The present paper states and proves the following generalisation to power series algebras of Bergman’s diamond lemma for ring theory []. Proposition (Theorem .). Let R be an associative… (More)