Censors for Boolean Description Logic

Protecting different kinds of information has become an important area of research. One aspect is to provide effective means to avoid that secrets can be deduced from the answers of legitimate queries. In the context of atomic propositional databases several methods have been developed to achieve this goal. However, in those databases it is not possible to formalize structural information. Also they are quite restrictive with respect to the specification of secrets. In this paper we extend those methods to match the much greater expressive power of Boolean description logics. In addition to the formal framework, we provide a discussion of various kinds of censors and establish different levels of security they can provide.

Skin cancers in renal transplant recipients: A description of the renal transplant cohort in Bern

BACKGROUND/AIMS: Skin tumours, in particular squamous-cell carcinomas (SCC), are the most common malignant conditions developing in transplant recipients. The aim of this study is to investigate the frequency and type of skin cancer in patients receiving immunosuppressive therapy after organ transplantation. METHODS: Multivariate logistic regression analysis was performed on data of 243 renal transplant patients who attended the dermatology outpatient clinic for the first time after transplantation in the period January 2002-October 2005. RESULTS: We found an increased risk of actinic keratosis (AK) and SCC in renal transplant recipients with a basal cell carcinoma (BCC) / SCC ratio of 1:7. Older patients had AK more frequently (odds ratio [OR] 1.11, 95% confidence interval [CI] 1.06-1.15; p <0.0001) and SCC (OR 1.14, CI 1.07-1.22; p <0.0001) than younger patients. Men had AK (OR 0.19, CI 0.08-0.45; p = 0.0002) and SCC (OR 0.25, CI 0.07-0.89; p = 0.0332) more frequently than women. The duration of immunosuppressive therapy correlated significantly with the numbers of AKs (OR 1.15, CI 1.08-1.24; p <0.0001) and SCCs (OR 1.16, CI 1.05-1.28; p = 0.0025), and patients with fair skin had more AKs (OR 0.31, CI 0.14-1.24; p <0.0001) and SCCs (OR 0.11, CI 0.02-0.52; p = 0.0054) than darker skinned patients. We could not identify any specific immunosuppressive drug as a distinct risk factor for AK or non-melanoma skin cancer (NMSC). CONCLUSION: Skin cancers are increased in the renal transplant population. Main risk factors for skin cancers are fair skin type and long duration of immunosuppressive therapy. A follow-up programme is necessary for early detection of skin cancer and precancerous conditions. Preventive strategies should include specialist dermatological monitoring and self-examination.

Description of an ancient social bee trapped in amber using diagnostic radioentomology

The application of non-invasive imaging technologies using X-radiation (diagnostic radioentomology, ‘DR’) is demonstrated for the study of amber-entombed social bees. Here, we examine the external and internal morphology of an Early Miocene (Burdigalian) stingless bee (Apinae: Meliponini) from the Dominican Republic using non-destructive X-ray microtomography analysis. The study permits the accurate reconstruction of features otherwise obscured or impossible to visualize without destroying the sample and allows diagnosis of the specimen as a new species, Proplebeia adbita Greco and Engel.

A syntactic realization theorem for justification logics

Justification logics are refinements of modal logics where modalities are replaced by justification terms. They are connected to modal logics via so-called realization theorems. We present a syntactic proof of a single realization theorem that uniformly connects all the normal modal logics formed from the axioms \$mathsfd\$, \$mathsft\$, \$mathsfb\$, \$mathsf4\$, and \$mathsf5\$ with their justification counterparts. The proof employs cut-free nested sequent systems together with Fitting's realization merging technique. We further strengthen the realization theorem for \$mathsfKB5\$ and \$mathsfS5\$ by showing that the positive introspection operator is superfluous.

Protective and risk factors in amateur equestrians and description of injury patterns: A retrospective data analysis and a case - control survey

Background In Switzerland there are about 150,000 equestrians. Horse related injuries, including head and spinal injuries, are frequently treated at our level I trauma centre. Objectives To analyse injury patterns, protective factors, and risk factors related to horse riding, and to define groups of safer riders and those at greater risk Methods We present a retrospective and a case-control survey at conducted a tertiary trauma centre in Bern, Switzerland. Injured equestrians from July 2000 - June 2006 were retrospectively classified by injury pattern and neurological symptoms. Injured equestrians from July-December 2008 were prospectively collected using a questionnaire with 17 variables. The same questionnaire was applied in non-injured controls. Multiple logistic regression was performed, and combined risk factors were calculated using inference trees. Results Retrospective survey A total of 528 injuries occured in 365 patients. The injury pattern revealed as follows: extremities (32%: upper 17%, lower 15%), head (24%), spine (14%), thorax (9%), face (9%), pelvis (7%) and abdomen (2%). Two injuries were fatal. One case resulted in quadriplegia, one in paraplegia. Case-control survey 61 patients and 102 controls (patients: 72% female, 28% male; controls: 63% female, 37% male) were included. Falls were most frequent (65%), followed by horse kicks (19%) and horse bites (2%). Variables statistically significant for the controls were: Older age (p = 0.015), male gender (p = 0.04) and holding a diploma in horse riding (p = 0.004). Inference trees revealed typical groups less and more likely to suffer injury. Conclusions Experience with riding and having passed a diploma in horse riding seem to be protective factors. Educational levels and injury risk should be graded within an educational level-injury risk index.

The Risk of Paradoxical Embolism (RoPE) Study: initial description of the completed database

BACKGROUND: Detecting a benefit from closure of patent foramen ovale in patients with cryptogenic stroke is hampered by low rates of stroke recurrence and uncertainty about the causal role of patent foramen ovale in the index event. A method to predict patent foramen ovale-attributable recurrence risk is needed. However, individual databases generally have too few stroke recurrences to support risk modeling. Prior studies of this population have been limited by low statistical power for examining factors related to recurrence. AIMS: The aim of this study was to develop a database to support modeling of patent foramen ovale-attributable recurrence risk by combining extant data sets. METHODS: We identified investigators with extant databases including subjects with cryptogenic stroke investigated for patent foramen ovale, determined the availability and characteristics of data in each database, collaboratively specified the variables to be included in the Risk of Paradoxical Embolism database, harmonized the variables across databases, and collected new primary data when necessary and feasible. RESULTS: The Risk of Paradoxical Embolism database has individual clinical, radiologic, and echocardiographic data from 12 component databases, including subjects with cryptogenic stroke both with (n = 1925) and without (n = 1749) patent foramen ovale. In the patent foramen ovale subjects, a total of 381 outcomes (stroke, transient ischemic attack, death) occurred (median follow-up 2·2 years). While there were substantial variations in data collection between studies, there was sufficient overlap to define a common set of variables suitable for risk modeling. CONCLUSION: While individual studies are inadequate for modeling patent foramen ovale-attributable recurrence risk, collaboration between investigators has yielded a database with sufficient power to identify those patients at highest risk for a patent foramen ovale-related stroke recurrence who may have the greatest potential benefit from patent foramen ovale closure.

Ultrasound-guided suprascapular nerve block, description of a novel supraclavicular approach

The suprascapular nerve (SSN) block is frequently performed for different shoulder pain conditions and for perioperative and postoperative pain control after shoulder surgery. Blind and image-guided techniques have been described, all of which target the nerve within the supraspinous fossa or at the suprascapular notch. This classic target point is not always ideal when ultrasound (US) is used because it is located deep under the muscles, and hence the nerve is not always visible. Blocking the nerve in the supraclavicular region, where it passes underneath the omohyoid muscle, could be an attractive alternative.

The "Embowire" Technique: Concept and Description of a Novel Embolization Technique for Narrow Vessels

We describe a new, useful embolization technique applied to occlude narrow vessel branches (≤1.5 mm (0.06″) in diameter) by deployment of one hydrocoil, through a microcatheter, in a way similar to the way in which one might navigate through the vascular lumen with a guidewire.