Below let II = [0, 1]. A well-known topological theorem due to Katětov states: Suppose (X, τ) is a normal topological space, and let f : X → II be upper semicontinuous, g : X → II be lower semicontinuous, and f ≤ g. Then there is a continuous h : X → II such that f ≤ h ≤ g. Recall that f : X → II is upper semicontinuous if f is continuous from (X, τ) to (II, ω); lower semicontinuous if continuo...

Kummer, M. and F. Stephan, Weakly semirecursive sets and r.e. orderings, Annals of Pure and Applied Logic 60 (1993) 133-150. Weakly semirecursive sets have been introduced by Jockusch and Owings (1990). In the present paper their investigation is pushed forward by utilizing r.e. partial orderings, which turn out to be instrumental for the study of degrees of subclasses of weakly semirecursive s...

In this paper we prove the existence and upper semicontinuity of compact global attractors for the flow of the equation ∂u(x, t) ∂t = −u(x, t) + J ∗ (f ◦ u)(x, t) + h, h ≥ 0, in L weighted spaces.

BACKGROUND Heliox is a mixture of oxygen and helium which reduces airway resistance in patients with airway obstruction. In clinical practice, patients breathing spontaneously receive heliox via an open circuit. Recently, a semi-closed circuit for heliox administration has been proposed which minimizes consumption of heliox and therefore cost of the heliox therapy; although, the semi-closed cir...

Unmet information needs of physicians and patients are common, but those of nurse care managers - defined as collaborative care planners for with chronic conditions - are less well understood. We taped and transcribed daily activities and conducted semi-structured interviews of 7 care managers, and analyzed questions elicited through this work through a variety of frameworks.

This paper discusses the metaphors used by sixteen palliative healthcare professionals from around the United Kingdom in semi-structured interviews to describe what they see as ‘good’ and ‘bad’ deaths. The interviews, conducted for the large-scale “Metaphor in End-of-Life Care” project, are set against the background of contemporary practices and discourses around end-of-life care, dying and qu...

Materials and methods Observational analysis was conducted within daily group treatments over a 4 week period. Frequency of verbal and non-verbal communications between physiotherapists and patients were recorded for two stages; the introductory rehabilitation session and the consecutive sessions. Semi-structured interviews were undertaken with the therapists to determine their views of importa...

We present work on a tool environment for model-based testing with the Abstract State Machine Language (AsmL). Our environment supports semi-automatic parameter generation, call sequence generation and conformance testing. We outline the usage of the environment by an example, discuss its underlying technologies, and report on some applications conducted in the Microsoft environment.