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.

Complexity of miR-223 regulation by CEBPA in human AML

microRNA-223 (miR-223) can trigger normal granulopoiesis. miR-223 expression is regulated by two distinct CEBPA (CCAAT/enhancer binding protein-alpha) sites. Here, we report that miR-223 is largely suppressed in cells from acute myeloid leukemia (AML) patients. By sequencing, we found that miR-223 suppression in AML is not caused by DNA sequence alterations, nor is it mediated by promoter hypermethylation. The analysis of the individual contribution of both CEBPA sites to miR-223 regulation identified the site upstream of the miR-223 primary transcript as the predominant regulatory element. Our results suggest that miR-223 suppression in AML is caused by impaired miR-223 upstream factors.

The impact of patient and lesion complexity on clinical and angiographic outcomes after revascularization with zotarolimus- and everolimus-eluting stents: a substudy of the RESOLUTE All Comers Trial (a randomized comparison of a zotarolimus-eluting stent with an everolimus-eluting stent for percutaneous coronary intervention)

The aim of this study was to investigate the impact of patient and lesion complexity on outcomes with newer-generation zotarolimus-eluting stents (ZES) and everolimus-eluting stents (EES).

Stimulus-induced, sleep-bound, focal seizures: a case report

In nocturnal frontal lobe epilepsy (NFLE), seizures occur almost exclusively during NREM sleep. Why precisely these seizures are sleep-bound remains unknown. Studies of patients with nonlesional familial forms of NFLE have suggested the arousal system may play a major role in their pathogenesis. We report the case of a patient with pharmaco-resistant, probably cryptogenic form of non-familial NFLE and strictly sleep-bound seizures that could be elicited by alerting stimuli and were associated with ictal bilateral thalamic and right orbital-insular hyperperfusion on SPECT imaging.

Life cycle complexity, environmental change and the emerging status of salmonid proliferative kidney disease

P>1. Proliferative kidney disease (PKD) is a disease of salmonid fish caused by the endoparasitic myxozoan, Tetracapsuloides bryosalmonae, which uses freshwater bryozoans as primary hosts. Clinical PKD is characterised by a temperature-dependent proliferative and inflammatory response to parasite stages in the kidney.;2. Evidence that PKD is an emerging disease includes outbreaks in new regions, declines in Swiss brown trout populations and the adoption of expensive practices by fish farms to reduce heavy losses. Disease-related mortality in wild fish populations is almost certainly underestimated because of e.g. oversight, scavenging by wild animals, misdiagnosis and fish stocking.;3. PKD prevalences are spatially and temporally variable, range from 0 to 90-100% and are typically highest in juvenile fish.;4. Laboratory and field studies demonstrate that (i) increasing temperatures enhance disease prevalence, severity and distribution and PKD-related mortality; (ii) eutrophication may promote outbreaks. Both bryozoans and T. bryosalmonae stages in bryozoans undergo temperature- and nutrient-driven proliferation.;5. Tetracapsuloides bryosalmonae is likely to achieve persistent infection of highly clonal bryozoan hosts through vertical transmission, low virulence and host condition-dependent cycling between covert and overt infections. Exploitation of fish hosts entails massive proliferation and spore production by stages that escape the immune response. Many aspects of the parasite's life cycle remain obscure. If infectious stages are produced in all hosts then the complex life cycle includes multiple transmission routes.;6. Patterns of disease outbreaks suggest that background, subclinical infections exist under normal environmental conditions. When conditions change, outbreaks may then occur in regions where infection was hitherto unsuspected.;7. Environmental change is likely to cause PKD outbreaks in more northerly regions as warmer temperatures promote disease development, enhance bryozoan biomass and increase spore production, but may also reduce the geographical range of this unique multihost-parasite system. Coevolutionary dynamics resulting from host-parasite interactions that maximise fitness in previous environments may pose problems for sustainability, particularly in view of extensive declines in salmonid populations and degradation of many freshwater habitats.

The effect of matrix bound parathyroid hormone on bone regeneration

INTRODUCTION: Autogenous bone is the most successful bone-grafting material; however, multiple disadvantages continue to drive developments of improved methods for bone regeneration. AIM: The aim of the present study was to test the hypothesis that an arginine-glycine-aspartic acid (RGD) modified polyethylene glycol-based matrix (PEG) containing covalently bound peptides of the parathyroid hormone (PTH(1-34)) enhances bone regeneration to a degree similar to autogenous bone. MATERIAL AND METHODS: Six American foxhounds received a total of 48 cylindrical titanium implants placed in the mandible between the first premolar and the second molar. Five, respectively, 7 months following tooth extraction, implants were placed into the center of surgically created defects. This resulted in a circumferential bone defect simulating an alveolar defect with a circular gap of 1.5 mm. Four treatment modalities were randomly allocated to the four defects per side: (1) PEG-matrix containing 20 microg/ml of PTH(1-34), and 350 microg/ml cys-RGD peptide, (2) PEG alone, (3) autogenous bone and (4) empty defects. Histomorphometric analysis was performed 4 and 12 weeks after implantation. The area fraction of newly formed bone was determined within the former defect and the degree of bone-to-implant contact (BIC) was evaluated both in the defect region and in the apical region of the implant. For statistical analysis ANOVA and subsequent pairwise Student's t-test were applied. RESULTS: Healing was uneventful and all implants were histologically integrated. Histomorphometric analysis after 4 weeks showed an average area fraction of newly formed bone of 41.7+/-1.8% for matrix-PTH, 26.6+/-4.1% for PEG alone, 43.9+/-4.5% for autogenous bone, and 28.9+/-1.5% for empty defects. After 12 weeks, the respective values were 49.4+/-7.0% for matrix-PTH, 39.3+/-5.7% for PEG alone, 50.5+/-3.4% for autogenous bone and 38.7+/-1.9% for empty defects. Statistical analysis after 4 and 12 weeks revealed significantly more newly formed bone in the PTH(1-34) group compared with PEG alone or empty defects, whereas no difference could be detected against autogenous bone. Regarding BIC no significant difference was observed between the four treatment groups neither at 4 nor at 12 weeks. CONCLUSION: It is concluded that an RGD-modified PEG hydrogel containing PTH(1-34) is an effective matrix system to obtain bone regeneration.