We present the tool qbf2epr which translates quantified Boolean formulas (QBF) to formulas in effectively propositional logic (EPR). The decision problem of QBF is the prototypical problem for PSPACE, whereas EPR is NEXPTIME-complete. Thus QBF is embedded in a formalism, which is potentially more succinct. The motivation for this work is twofold. On the one hand, our tool generates challenging ...

The establishment of an efficient reverse supply chain is important, especially in the electronics industry, considering the environmental and resource pressures worldwide. Extended Producer Responsibility (EPR), an important environmental policy approach, has been adopted extensively in various countries, and the effectiveness of its implementation has been proven through practical application...

Einstein-Podolsky-Rosen (EPR) steering describes the ability of one observer to nonlocally "steer" the other observer's state through local measurements. EPR steering exhibits a unique asymmetric property; i.e., the steerability can differ between observers, which can lead to one-way EPR steering in which only one observer obtains steerability in the steering process. This property is inherentl...

BACKGROUND A growing number of health care organizations are implementing a system of electronic patient records (EPR). This implies a change in work routines for nursing staff, but it could also be regarded as an opportunity to improve the quality of care. OBJECTIVE The objective of this paper is to obtain more insight into the usefulness of EPR as perceived by nursing staff and to clarify t...

Electron paramagnetic resonance (EPR) spectroscopy was used for examination of free radicals in thermally treated vaselinum album (VA). Thermal treatment in hot air as sterilization process was tested. Conditions of thermal sterilization were chosen according to the pharmaceutical norms. Vaselinum album was heated at the following conditions (T--temperature, t--time): T = 160°C and t = 120 min,...

Electron paramagnetic resonance ~EPR! measurements of Si/SiO2 systems began over 30 years ago. Most EPR studies of Si/SiO2 systems have dealt with two families of defects: Pb centers and E8 centers. Several variants from each group have been observed in a wide range of Si/SiO2 samples. Some of the most basic aspects of this extensive, body of work remain controversial. EPR is an extraordinary p...

The health care environment is unique because of the large and complex organisation with a traditional hierarchic structure that is governed by laws and regulations. This paper examines how a large Swedish health care organisation work with usability issues regarding Electronic Patient Record (EPR) deployment and usage. EPR systems have great impact on work environment and clinical work routine...

Malignant melanoma is a tumor characterized by the uncontrolled proliferation of melanocytes, mainly in skin, but also in eyes. Its incidence is rising each year. To improve the diagnosis and treatment of the tumor, it is essential to develop new effective methods to early detect and characterize melanoma. Previously, we demonstrated in a single-shot study that it was possible to map free radic...