BACKGROUND Investigations into the mechanism of diffuse retinal edema in diabetic subjects have been limited by a lack of animal models and techniques that co-localized retinal thickness and hydration in vivo. In this study we test the hypothesis that a previously reported supernormal central retinal thickness on MRI measured in experimental diabetic retinopathy in vivo represents a persistent ...

Electrophysiological studies with atrial extrastimulus technique suggested the presence of dual atrioventricular (A-V) nodal pathways in a patient with hypothyroidism, as evidenced by a sudden increase of H,-H2 intervals at critical A,-A2 coupling intervals. Following the atrial extrastimulus (A2), a third impulse (A3) occurred spontaneously. During slow pathway conduction of A2, an A3, appeari...

Our aim is to clarify which nonmonotonic consequence relation |∼∆ is given by a set ∆ of “supernormal” defaults, i.e. defaults of the form (true : δ)/δ. There are in fact a number of proposals for |∼∆ (e.g. the skeptical and the credulous semantics). In this paper we look at the space of all possible default semantics and try to characterize the known ones by their properties, especially the va...

A recent experimental study suggests that blind individuals may compensate for their lack of vision with better-than-normal hearing. This provides support for a view dating back to 18th century philosophers, but the data raise as many problems as they solve.

We present a top-down theorem prover for arbitrary clauses and defaults of the form true : δ/δ (supernormal defaults) with priorities. This especially allows to specify the perfect model semantics for stratified programs, but it includes also disjunctions, classical negation and more general defaults than the usual negations. In this paper, we concentrate on the handling of the priorities and c...