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.

The mutation causing the black-and-tan pigmentation phenotype of Mangalitza pigs maps to the porcine ASIP locus but does not affect its coding sequence

The gene for agouti signaling protein (ASIP) is centrally involved in the expression of coat color traits in animals. The Mangalitza pig breed is characterized by a black-and-tan phenotype with black dorsal pigmentation and yellow or white ventral pigmentation. We investigated a Mangalitza x Piétrain cross and observed a coat color segregation pattern in the F2 generation that can be explained by virtue of two alleles at the MC1R locus and two alleles at the ASIP locus. Complete linkage of the black-and-tan phenotype to microsatellite alleles at the ASIP locus on SSC 17q21 was observed. Corroborated by the knowledge of similar mouse coat color mutants, it seems therefore conceivable that the black-and-tan pigmentation of Mangalitza pigs is caused by an ASIP allele a(t), which is recessive to the wild-type allele A. Toward positional cloning of the a(t) mutation, a 200-kb genomic BAC/PAC contig of this chromosomal region has been constructed and subsequently sequenced. Full-length ASIP cDNAs obtained by RACE differed in their 5' untranslated regions, whereas they shared a common open reading frame. Comparative sequencing of all ASIP exons and ASIP cDNAs between Mangalitza and Piétrain pigs did not reveal any differences associated with the coat color phenotype. Relative qRT-PCR analyses showed different dorsoventral skin expression intensities of the five ASIP transcripts in black-and-tan Mangalitza. The a(t) mutation is therefore probably a regulatory ASIP mutation that alters its dorsoventral expression pattern.

Distribution of mRNA coding for 5-hydroxytryptamine receptor subtypes in the intestines of healthy dairy cows and dairy cows with cecal dilatation-dislocation

OBJECTIVE: To investigate the distribution of mRNA coding for 7 subtypes of 5-hydroxytryptamine receptors (5-HTRs) in the intestines of healthy dairy cows and dairy cows with cecal dilatation-dislocation (CDD). SAMPLE POPULATION: Full-thickness intestinal wall biopsy specimens were obtained from the ileum, cecum, proximal loop of the ascending colon, and external loop of the spiral colon (ELSC) of 15 cows with CDD (group 1) and 15 healthy dairy cows allocated to 2 control groups (specimens collected during routine laparotomy [group 2] or after cows were slaughtered [group 3]). PROCEDURE: Amounts of mRNA coding for 7 subtypes of 5-HTRs (5-HT1A, 5-HT1B, 5-HT1D, 5-HT1F, 5-HT2A, 5-HT2B, and 5-HT4) were measured by quantitative real-time reverse transcriptase-PCR assay. Results were expressed as the percentage of mRNA expression of a housekeeping gene. RESULTS: Expression of mRNA coding for 5-HTR1B, 5-HTR2B, and 5-HTR4 was significantly lower in cows with CDD than in healthy cows. For 5-HTR2B and 5-HTR4, significant differences between cows with CDD and control cows were most pronounced for the ELSC. Expression of mRNA for 5-HTR1D, 5-HTR1F, and 5-HTR2A was extremely low in all groups, and mRNA for 5-HTR1A was not detected. CONCLUSIONS AND CLINICAL RELEVANCE: Relative concentrations of mRNA coding for 5-HTR1B, 5-HT2B, and 5-HTR4 were significantly lower in the intestines of cows with CDD than in the intestines of healthy dairy cows, especially for 5-HT2B and 5-HTR4 in the ELSC. This supports the hypothesis that serotonergic mechanisms, primarily in the spiral colon, are implicated in the pathogenesis of CDD.

Endothelium-specific replacement of the connexin43 coding region by a lacZ reporter gene

The murine gap junction protein connexin43 (Cx43) is expressed in blood vessels, with vastly different contribution by endothelial and smooth muscle cells. We have used the Cre recombinase under control of TIE2 transcriptional elements to inactivate a floxed Cx43 gene specifically in endothelial cells. Cre-mediated deletion led to replacement of the Cx43 coding region by a lacZ reporter gene. This allowed us to monitor the extent of deletion and to visualize the endothelial expression pattern of Cx43. We found widespread endothelial expression of the Cx43 gene during embryonic development, which became restricted largely to capillaries and small vessels in all adult organs examined. Mice lacking Cx43 in endothelium did not exhibit altered blood pressure, in contrast to mice deficient in Cx40. Our results show that lacZ activation after deletion of the target gene allows us to determine the extent of cell type-specific deletion after phenotypical investigation of the same animal.

EEG reactivity and EEG activity in never-treated acute schizophrenics, measured with spectral parameters and dimensional complexity

Our approaches to the use of EEG studies for the understanding of the pathogenesis of schizophrenic symptoms are presented. The basic assumptions of a heuristic and multifactorial model of the psychobiological brain mechanisms underlying the organization of normal behavior is described and used in order to formulate and test hypotheses about the pathogenesis of schizophrenic behavior using EEG measures. Results from our studies on EEG activity and EEG reactivity (= EEG components of a memory-driven, adaptive, non-unitary orienting response) as analyzed with spectral parameters and "chaotic" dimensionality (correlation dimension) are summarized. Both analysis procedures showed a deviant brain functional organization in never-treated first-episode schizophrenia which, within the framework of the model, suggests as common denominator for the pathogenesis of the symptoms a deviation of working memory, the nature of which is functional and not structural.

Comparison of musical activities of cochlear implant users with different speech-coding strategies

Speech coding might have an impact on music perception of cochlear implant users. This questionnaire study compares the musical activities and perception of postlingually deafened cochlear implant users with three different coding strategies (CIS, ACE, SPEAK) using the Munich Music Questionnaire. Overall, the self-reported perception of music of CIS, SPEAK, and ACE users did not differ by very much.

The end1 gene of Schizosaccharomyces pombe coding for a DNase is identical with the pnu1 gene coding for an RNase

The DNA nuclease activity encoded by the end1 gene, and its inactivation by mutation, was described in connection with the characterization of DNA topoisomerases in the fission yeast Schizosaccharomyces pombe (Uemura and Yanagida, 1984). Subsequently, end1 mutant strains were used for the preparation of cell extracts for the study of enzymes and intermediates involved in DNA metabolism. The molecular identification of the end1 gene and its identity with the pnu1 gene is presented. The end1-458 mutation alters glycine to glutamate in the conserved motif TGPYLP. The pnu1 gene codes for an RNase that is induced by nitrogen starvation (Nakashima et al., 2002b). Thus, the End1/Pnu1 protein, like related mitochondrial proteins in other organisms, is an example of a sugar-non-specific nuclease. The analysis of strains carrying a pnu1 deletion revealed no defects in meiotic recombination and spore viability.

Complexity of chronic asthma and chronic obstructive pulmonary disease: implications for risk assessment, and disease progression and control

Although assessment of asthma control is important to guide treatment, it is difficult since the temporal pattern and risk of exacerbations are often unpredictable. In this Review, we summarise the classic methods to assess control with unidimensional and multidimensional approaches. Next, we show how ideas from the science of complexity can explain the seemingly unpredictable nature of bronchial asthma and emphysema, with implications for chronic obstructive pulmonary disease. We show that fluctuation analysis, a method used in statistical physics, can be used to gain insight into asthma as a dynamic disease of the respiratory system, viewed as a set of interacting subsystems (eg, inflammatory, immunological, and mechanical). The basis of the fluctuation analysis methods is the quantification of the long-term temporal history of lung function parameters. We summarise how this analysis can be used to assess the risk of future asthma episodes, with implications for asthma severity and control both in children and adults.

Index of Complexity, Outcome and Need scored on plaster and digital models

The aim of this study was to compare standard plaster models with their digital counterparts for the applicability of the Index of Complexity, Outcome, and Need (ICON). Generated study models of 30 randomly selected patients: 30 pre- (T(0)) and 30 post- (T(1)) treatment. Two examiners, calibrated in the ICON, scored the digital and plaster models. The overall ICON scores were evaluated for reliability and reproducibility using kappa statistics and reliability coefficients. The values for reliability of the total and weighted ICON scores were generally high for the T(0) sample (range 0.83-0.95) but less high for the T(1) sample (range 0.55-0.85). Differences in total ICON score between plaster and digital models resulted in mostly statistically insignificant values (P values ranging from 0.07 to 0.19), except for observer 1 in the T(1) sample. No statistically different values were found for the total ICON score on either plaster or digital models. ICON scores performed on computer-based models appear to be as accurate and reliable as ICON scores on plaster models.

Complexity of CEBPA dysregulation in human acute myeloid leukemia

The transcription factor CCAAT enhancer binding protein alpha (CEBPA) is crucial for normal development of granulocytes. Various mechanisms have been identified how CEBPA function is dysregulated in patients with acute myeloid leukemia (AML). In particular, dominant-negative mutations located either at the N- or the C terminus of the CEBPA gene are observed in roughly 10% of AML patients, either in the combination on separate alleles or as sole mutation. Clinically significant complexity exists among AML with CEBPA mutations, and patients with double CEBPA mutations seem to have a more favorable course of the disease than patients with a single mutation. In addition, myeloid precursor cells of healthy carriers with a single germ-line CEBPA mutation evolve to overt AML by acquiring a second sporadic CEBPA mutation. This review summarizes recent reports on dysregulation of CEBPA function at various levels in human AML and therapeutic concepts targeting correction of CEBPA activity. The currently available data are persuasive evidence that impaired CEBPA function contributes directly to the development of AML, whereas restoring CEBPA function represents a promising target for novel therapeutic strategies in AML.