Lower complexity bounds in justification logic

Justification Logic studies epistemic and provability phenomena by introducing justifications/proofs into the language in the form of justification terms. Pure justification logics serve as counterparts of traditional modal epistemic logics, and hybrid logics combine epistemic modalities with justification terms. The computational complexity of pure justification logics is typically lower than that of the corresponding modal logics. Moreover, the so-called reflected fragments, which still contain complete information about the respective justification logics, are known to be in~NP for a wide range of justification logics, pure and hybrid alike. This paper shows that, under reasonable additional restrictions, these reflected fragments are NP-complete, thereby proving a matching lower bound. The proof method is then extended to provide a uniform proof that the corresponding full pure justification logics are $\Pi^p_2$-hard, reproving and generalizing an earlier result by Milnikel.

Association of cardiovascular risk factors with pattern of lower limb atherosclerosis in 2659 patients undergoing angioplasty

OBJECTIVES: Aim of this study is to correlate distribution pattern of lower limb atherosclerosis with cardiovascular risk factor profile of patients with peripheral arterial occlusive disease (PAD). PATIENTS AND METHODS: Analysis is based on a consecutive series of 2659 patients (1583 men, 1076 women, 70+/-11 years) with chronic PAD of atherosclerotic origin undergoing primary endovascular treatment of lower extremity arteries. Pattern of atherosclerosis was grouped into iliac (n=1166), femoropopliteal (n=2151) and infrageniculate (n=888) disease defined according to target lesions treated. A multivariable multinomial logistic regression analysis was performed to assess relation with age, gender and classical cardiovascular risk factors (diabetes mellitus, arterial hypertension, hypercholesterolemia, cigarette smoking) using femoropopliteal disease as reference. RESULTS: Iliac disease was associated with younger age (RRR 0.95 per year of age, 95%-CI 0.94-0.96, p<0.001), male gender (RRR 1.32, 95%-CI 1.09-1.59, p=0.004) and cigarette smoking (RRR 2.02, 95%-CI 1.68-2.42, p<0.001). Infrageniculate disease was associated with higher age (RRR 1.02, 95%-CI 1.01-1.02, p<0.001), male gender (RRR 1.23, 95%-CI 1.06-1.41, p=0.005) and diabetes mellitus (RRR 1.68, 95%-CI 1.47-1.92, p<0.001). Hypercholesterolemia was less prevalent in patients with lesions below the knee (RRR 0.82, 95%-CI 0.71-0.94, p=0.006), whereas no distinct pattern was apparent related to arterial hypertension. CONCLUSION: Clinical phenotype of peripheral atherosclerosis varies with prevalence of cardiovascular risk factors suggesting differences in mechanisms involved in iliac as compared with infrageniculate lesions. Identification of molecular mechanism might have influence on future therapeutic strategies in PAD patients.

Sacral Neuromodulation for Refractory Lower Urinary Tract Dysfunction: Results of a Nationwide Registry in Switzerland

OBJECTIVE: To assess the efficacy and safety of sacral neuromodulation (SNM) in patients with refractory lower urinary tract dysfunction in Switzerland based on a nationwide registry. PATIENTS AND METHODS: A total of 209 patients (181 females, 28 males) underwent SNM testing between July 2000 and December 2005 in Switzerland. Subjective symptom improvement, bladder/pain diary variables, adverse events, and their management were prospectively registered. RESULTS: SNM testing was successful (defined as improvement of more than 50% in bladder/pain diary variables) in 102 of 209 patients (49%). An implantable pulse generator (IPG) was placed in 91 patients (89% of all successfully tested and 44% of all tested patients). Of the IPG-implanted patients, 71 had urge incontinence, 13 nonobstructive chronic urinary retention, and 7 chronic pelvic pain syndrome. After a median follow-up of 24 mo, SNM was successful in 64 of the 91 IPG-implanted patients (70%) but failed in 27 patients. SNM was continued in 15 of the 27 patients considered failures, because following troubleshooting SNM response improved subjectively and the patients were satisfied. However, improvement in bladder/pain diary variables remained less than 50%. In the other 12 patients both the leads and the IPG were explanted. During the test phase and during/following IPG implantation, 6% (12 of 209) and 11% (10 of 91) adverse event rates and 1% (3 of 209) and 7% (6 of 91) surgical revision rates were reported, respectively. CONCLUSIONS: SNM is an effective and safe treatment for refractory lower urinary tract dysfunction. Adverse events are usually transient and can be treated effectively.

[Acute lower gastrointestinal bleeding--an evidence-based algorithm for diagnosis and treatment]

Novel means to locate and treat lower gastrointestinal bleeding (lGB) allow to reduce the rate of required surgical interventions and help to limit the extend of resection. The risk stratification of patients with lGB is the primary step of our recommended treatment algorithm. Accordingly, risk stratifying instruments, which are only partly validated up to now, are gaining significance in lGB. Whereas, gastro-duodenoscopy and colonoscopy prior to angiography or scintigraphy are established diagnostic tools, capsule enteroscopy offers a novel approach to hemodynamic stable patients with lGB that are difficult to localize. With its every increasing sensitivity, Angio-Computer Tomography is likely to replace scintigraphy and diagnostic angiography in the very near future. In addition, recent advances in superselective microembolisation have been shown to have the potential rendering surgical interventions in a majority of patients with acute lGB unnecessary. The extend of required surgical resection is largely dependent on the success to localize the bleeding source of prior diagnostics. Only if the source is identified, a limited segmental resection should be performed. Should surgery be required, we suggest to maintain the effort to localize the bleeding, either by prior laparoscopy and/or by intraoperative entero-colonoscopy. Eventually, if the source of bleeding remains unclear total colectomy with ileorectal anastomosis represents the procedure of choice in patients with acute lGB.

Sex Differences in Semantic Processing: Event-Related Brain Potentials Distinguish between Lower and Higher Order Semantic Analysis during Word Reading

Behavioral studies suggest that women and men differ in the strategic elaboration of verbally encoded information especially in the absence of external task demand. However, measuring such covert processing requires other than behavioral data. The present study used event-related potentials to compare sexes in lower and higher order semantic processing during the passive reading of semantically related and unrelated word pairs. Women and men showed the same early context effect in the P1-N1 transition period. This finding indicates that the initial lexical-semantic access is similar in men and women. In contrast, sexes differed in higher order semantic processing. Women showed an earlier and longer lasting context effect in the N400 accompanied by larger signal strength in temporal networks similarly recruited by men and women. The results suggest that women spontaneously conduct a deeper semantic analysis. This leads to faster processing of related words in the active neural networks as reflected in a shorter stability of the N400 map in women. Taken together, the findings demonstrate that there is a selective sex difference in the controlled semantic analysis during passive word reading that is not reflected in different functional organization but in the depth of processing.

Effects of genetic and environmental factors on chronic lower airway disease in horses

BACKGROUND: Environment and genetics influence the manifestation of recurrent airway obstruction (RAO), but the associations of specific factors with mild, moderate, and severe clinical signs are unknown. HYPOTHESIS: We hypothesized that sire, feed, bedding, time outdoors, sex, and age are associated with clinical manifestations of mild, moderate, and severe lower airway disease. ANIMALS: Direct offspring of 2 RAO-affected Warmblood stallions (F1S1, n = 172; F1S2, n = 135); maternal half-siblings of F1S1 (mHSS1, n = 66); and an age-matched, randomly chosen control group (CG, n = 33). METHODS: A standardized questionnaire was used to assess potential risk factors and to establish a horse owner assessed respiratory signs index (HOARSI 1-4, from healthy to severe) according to clinical signs of lower airway disease. RESULTS: More F1S1 and F1S2 horses showed moderate to severe clinical signs (HOARSI 3 and HOARSI 4 combined, 29.6 and 27.3%, respectively) compared with CG and mHSS1 horses (9.1 and 6.2%, respectively; contingency table overall test, P < .001). Sire, hay feeding, and age (in decreasing order of strength) were associated with more severe clinical signs (higher HOARSI), more frequent coughing, and nasal discharge. CONCLUSIONS AND CLINICAL RELEVANCE: There is a genetic predisposition and lesser but also marked effects of hay feeding and age on the manifestation of moderate to severe clinical signs, most markedly on coughing frequency. In contrast, mild clinical signs were not associated with sire or hay feeding in our populations.

Endoscopic scoring of the tracheal septum in horses and its clinical relevance for the evaluation of lower airway health in horses

REASONS FOR PERFORMING STUDY: Although endoscopic scoring of the tracheal septum thickness is used as a diagnostic tool for evaluation of lower airway disease, its clinical relevance and reliability have never been critically assessed in the horse. OBJECTIVES: To investigate if septum thickness scores (STS) are reliable and serve as a clinically useful indicator of lower airway disease status and/or inflammation. METHODS: The variance of STS attributable to the horse, observer and changes over time was determined. The distribution of STS in a population of clinically normal horses and correlations of STS with age, gender, as well as mucus accumulation and cell differentials of tracheobronchial secretions and bronchoalveolar lavage fluid were investigated. Effects of altered pulmonary ventilation, induced by different drugs, on STS were assessed. Finally, STS of horses affected with recurrent airway obstruction (RAO) were compared to those of clinically normal horses. RESULTS: Recorded STS showed excellent intra- and satisfactory interobserver agreement Established clinical, endoscopic and cytological measures of lower airway inflammation, i.e. mucus accumulation scores and airway neutrophilia, did not correlate with STS. In horses age > or = 10 years, septum scores were significantly higher (P = 0.022) than in younger horses. Septum thickness scores did not differ significantly between clinically normal and RAO-affected horses both in exacerbation and in remission. Horses with markedly increased breathing effort (i.e. with metacholine- or lobeline hydrochloride-challenge), often differed markedly (up to 1.9 scores), but the average of end-inspiratory and end-expiratory STS did not differ from baseline STS. CONCLUSIONS AND CLINICAL RELEVANCE: Endoscopic STS are a reproducible measure, but STS did not correlate with clinical, endoscopic and cytological findings indicative of RAO or inflammatory airway disease.