The university philosopher in early modern Germany

In this groundbreaking collection of essays the history of philosophy appears in a new light, not as reason's progressive discovery of its universal conditions, but as a series of unreconciled disputes over the proper way to conduct oneself as a philosopher. By shifting focus from the philosopher as proxy for the universal subject of reason to the philosopher as a... More special persona arising from rival forms of self-cultivation, philosophy is approached in terms of the social office and intellectual deportment of the philosopher, as a personage with a definite moral physiognomy and institutional setting. In so doing, this collection of essays by leading figures in the fields of both philosophy and the history of ideas provides access to key early modern disputes over what it meant to be a philosopher, and to the institutional and larger political and religious contexts in which such disputes took place.

Modern scientific methods and their potential in wastewater science and technology

Application of novel analytical and investigative methods such as fluorescence in situ hybridization, confocal laser scanning microscopy (CLSM), microelectrodes and advanced numerical simulation has led to new insights into micro-and macroscopic processes in bioreactors. However, the question is still open whether or not these new findings and the subsequent gain of knowledge are of significant practical relevance and if so, where and how. To find suitable answers it is necessary for engineers to know what can be expected by applying these modern analytical tools. Similarly, scientists could benefit significantly from an intensive dialogue with engineers in order to find out about practical problems and conditions existing in wastewater treatment systems. In this paper, an attempt is made to help bridge the gap between science and engineering in biological wastewater treatment. We provide an overview of recently developed methods in microbiology and in mathematical modeling and numerical simulation. A questionnaire is presented which may help generate a platform from which further technical and scientific developments can be accomplished. Both the paper and the questionnaire are aimed at encouraging scientists and engineers to enter into an intensive, mutually beneficial dialogue. (C) 2002 Elsevier Science Ltd. All rights reserved.

A refinement calculus for logic programs

Existing refinement calculi provide frameworks for the stepwise development of imperative programs from specifications. This paper presents a refinement calculus for deriving logic programs. The calculus contains a wide-spectrum logic programming language, including executable constructs such as sequential conjunction, disjunction, and existential quantification, as well as specification constructs such as general predicates, assumptions and universal quantification. A declarative semantics is defined for this wide-spectrum language based on executions. Executions are partial functions from states to states, where a state is represented as a set of bindings. The semantics is used to define the meaning of programs and specifications, including parameters and recursion. To complete the calculus, a notion of correctness-preserving refinement over programs in the wide-spectrum language is defined and refinement laws for developing programs are introduced. The refinement calculus is illustrated using example derivations and prototype tool support is discussed.

Nondeterministic gates for photonic single-rail quantum logic

We discuss techniques for producing, manipulating, and measuring qubits encoded optically as vacuum- and single-photon states. We show that a universal set of nondeterministic gates can be constructed using linear optics and photon counting. We investigate the efficacy of a test gate given realistic detector efficiencies.

Laparoscopic appendectomy in modern gynecology

Gynecologists frequently manage women with acute or chronic pain in the right iliac fossa. Appendicitis is one of the common conditions encountered in this setting. From the gynecologic perspective, issues regarding the role of laparoscopic appendectomy include radioimaging and laparoscopic diagnosis, operative technique, advantages and disadvantages, and laparoscopic appendectomy in pregnancy and in complicated appendicitis. Most studies are in favor of the procedure, and it seems reasonable to include it in training programs in gynecology.