The task of programming concurrent systems is substantially more difficult than the task of programming sequential systems with respect to both correctness and efficiency. In this paper we describe a constraint-based methodology for writing concurrent applications. A system is modeled as: (a) a set of processes containing a sequence of “markers” denoting the processes points of interest; and (b...

This talk is about making it easy to implement a distributed CQL. CQL is a continuous query language that extends SQL with a notion of windows over infinite streams of data. Programmers like using CQL, because its syntax is already familiar to them from their experience with other database-backed applications. CQL was originally designed to target a single node implementation of the Stanford St...

The differential diagnoses for acid-base problems can be reduced to a workable few by using a minimal amount of laboratory data. Following well-established principles and formulas, the presenter will help you resolve common acidbase problem cases. • Identify etiologies of anion gap and non-anion gap acidosis. • Explain the principle of osmolar gap. • Differentiate the causes of acid-base distur...

At PKC 2006, Yang, Wong, Deng and Wang proposed the notion of anonymous signature schemes where signatures do not reveal the signer’s identity, as long as some parts of the message are unknown. They also show how to modify the RSA scheme and the Schnorr scheme to derive anonymous signatures in the random oracle model. Here we present a general and yet very efficient approach to build such anony...

This volume was written primarily for nurses in the intensive care unit. It was written by one of the more knowledgeable and successful nurses in critical care academia today. Ms Fawcett has the necessary breadth of physiological insight and years of technical experience, and an easy writing style to describe complex ideas and applications related to bedside hemodynamic monitoring to an excepti...

It includes both the Extended Synopsis (pages 5 to 9) and the full scientific proposal (pages 10 to 25). The 5-page description of the Principal Investigator's background (CV, awards etc.) has been removed, as well as the detailed budget table. The contribution of Sebastian Nanz to the preparation of the project is gratefully acknowledged, as well as the help of Carlo Furia and Claudia Günthart...

We introduce the functional language IQu (“Haiku”) which, under the paradigm “quantum data & classical control” and in accordance with the model QRAM, allows to define and manipulate quantum circuits also by means of intermediate and partial measurement. Idealized Algol is the reference for the design of IQu. We extend the type system of Idealized Algol for typing both quantum-registers, i.e. t...