From 3 February to 8 February 2008, the Dagstuhl Seminar 08061 Types, Logics and Semantics for State was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of sem...

An object retrieval protocol that enforces mutually exclusive access to a shared object is an important primitive employed by many distributed applications including distributed directories, distributed resource sharing systems and ordered multicast protocols, to name a few. Most existing implementations of this object retrieval primitive use a tree as the underlying communication structure due...

We present a variant of the Q-learning algorithm with automatic control of the exploration rate by a competition scheme. The theoretical approach is accompanied by systematic simulations of a chaos control task. Finally, we give interpretations of the algorithm in the context of computational ecology and neural networks.

OBJECTIVES The aim of this study was to compare the canal debridement capabilities of three single file systems, ProTaper, and K-files in oval-shaped canals. MATERIALS AND METHODS Seventy-five extracted human mandibular central incisors with oval-shaped root canals were selected. A radiopaque contrast medium (Metapex; Meta Biomed Co. Ltd., Chungcheongbuk-do, Korea) was introduced into the can...

intRODuCtiOn The self Adjusting File (sAF*) system is a new approach to shaping root canal systems, which does not use solid metal files. (Fig 1). The sAF relies on the gentle abrasive action of a flexible mesh lattice to prepare the root canal walls. The sAF offers: 1) the ability to instrument and prepare complex-shaped root canal anatomies; 2) the capability to provide continuous and efficie...

The aim of this study was to evaluate the efficiencies of the self-adjusting file (SAF) system, passive ultrasonic irrigation (PUI), and conventional irrigation (CI) in removing calcium hydroxide (CH) from root canals. Fifty-one mandibular premolars were used. After root canals were instrumented and filled with a CH paste, 45 teeth were randomly assigned to three experimental groups according t...