Decidability for some justification logics with negative introspection

Justification logics are modal logics that include justifications for the agent's knowledge. So far, there are no decidability results available for justification logics with negative introspection. In this paper, we develop a novel model construction for such logics and show that justification logics with negative introspection are decidable for finite constant specifications.

Cardiac channel molecular autopsy: insights from 173 consecutive cases of autopsy-negative sudden unexplained death referred for postmortem genetic testing

OBJECTIVE To perform long QT syndrome and catecholaminergic polymorphic ventricular tachycardia cardiac channel postmortem genetic testing (molecular autopsy) for a large cohort of cases of autopsy-negative sudden unexplained death (SUD). METHODS From September 1, 1998, through October 31, 2010, 173 cases of SUD (106 males; mean ± SD age, 18.4 ± 12.9 years; age range, 1-69 years; 89% white) were referred by medical examiners or coroners for a cardiac channel molecular autopsy. Using polymerase chain reaction, denaturing high-performance liquid chromatography, and DNA sequencing, a comprehensive mutational analysis of the long QT syndrome susceptibility genes (KCNQ1, KCNH2, SCN5A, KCNE1, and KCNE2) and a targeted analysis of the catecholaminergic polymorphic ventricular tachycardia type 1-associated gene (RYR2) were conducted. RESULTS Overall, 45 putative pathogenic mutations absent in 400 to 700 controls were identified in 45 autopsy-negative SUD cases (26.0%). Females had a higher yield (26/67 [38.8%]) than males (19/106 [17.9%]; P<.005). Among SUD cases with exercise-induced death, the yield trended higher among the 1- to 10-year-olds (8/12 [66.7%]) compared with the 11- to 20-year-olds (4/27 [14.8%]; P=.002). In contrast, for those who died during a period of sleep, the 11- to 20-year-olds had a higher yield (9/25 [36.0%]) than the 1- to 10-year-olds (1/24 [4.2%]; P=.01). CONCLUSION Cardiac channel molecular autopsy should be considered in the evaluation of autopsy-negative SUD. Several interesting genotype-phenotype observations may provide insight into the expected yields of postmortem genetic testing for SUD and assist in selecting cases with the greatest potential for mutation discovery and directing genetic testing efforts.

The RYR2-encoded ryanodine receptor/calcium release channel in patients diagnosed previously with either catecholaminergic polymorphic ventricular tachycardia or genotype negative, exercise-induced long QT syndrome: a comprehensive open reading frame mutational analysis.

OBJECTIVES This study was undertaken to determine the spectrum and prevalence of mutations in the RYR2-encoded cardiac ryanodine receptor in cases with exertional syncope and normal corrected QT interval (QTc). BACKGROUND Mutations in RYR2 cause type 1 catecholaminergic polymorphic ventricular tachycardia (CPVT1), a cardiac channelopathy with increased propensity for lethal ventricular dysrhythmias. Most RYR2 mutational analyses target 3 canonical domains encoded by <40% of the translated exons. The extent of CPVT1-associated mutations localizing outside of these domains remains unknown as RYR2 has not been examined comprehensively in most patient cohorts. METHODS Mutational analysis of all RYR2 exons was performed using polymerase chain reaction, high-performance liquid chromatography, and deoxyribonucleic acid sequencing on 155 unrelated patients (49% females, 96% Caucasian, age at diagnosis 20 +/- 15 years, mean QTc 428 +/- 29 ms), with either clinical diagnosis of CPVT (n = 110) or an initial diagnosis of exercise-induced long QT syndrome but with QTc <480 ms and a subsequent negative long QT syndrome genetic test (n = 45). RESULTS Sixty-three (34 novel) possible CPVT1-associated mutations, absent in 400 reference alleles, were detected in 73 unrelated patients (47%). Thirteen new mutation-containing exons were identified. Two-thirds of the CPVT1-positive patients had mutations that localized to 1 of 16 exons. CONCLUSIONS Possible CPVT1 mutations in RYR2 were identified in nearly one-half of this cohort; 45 of the 105 translated exons are now known to host possible mutations. Considering that approximately 65% of CPVT1-positive cases would be discovered by selective analysis of 16 exons, a tiered targeting strategy for CPVT genetic testing should be considered.

Identification and isolation of small CD44-negative mesenchymal stem/progenitor cells from human bone marrow using elutriation and polychromatic flow cytometry

The method of isolation of bone marrow (BM) mesenchymal stem/stromal cells (MSCs) is a limiting factor in their study and therapeutic use. MSCs are typically expanded from BM cells selected on the basis of their adherence to plastic, which results in a heterogeneous population of cells. Prospective identification of the antigenic profile of the MSC population(s) in BM that gives rise to cells with MSC activity in vitro would allow the preparation of very pure populations of MSCs for research or clinical use. To address this issue, we used polychromatic flow cytometry and counterflow centrifugal elutriation to identify a phenotypically distinct population of mesenchymal stem/progenitor cells (MSPCs) within human BM. The MSPC activity resided within a population of rare, small CD45⁻CD73⁺CD90⁺CD105⁺ cells that lack CD44, an antigen that is highly expressed on culture-expanded MSCs. In culture, these MSPCs adhere to plastic, rapidly proliferate, and acquire CD44 expression. They form colony forming units-fibroblast and are able to differentiate into osteoblasts, chondrocytes, and adipocytes under defined in vitro conditions. Their acquired expression of CD44 can be partially downregulated by treatment with recombinant human granulocyte-colony stimulating factor, a response not found in BM-MSCs derived from conventional plastic adherence methods. These observations indicate that MSPCs within human BM are rare, small CD45⁻CD73⁺CD90⁺CD105⁺ cells that lack expression of CD44. These MSPCs give rise to MSCs that have phenotypic and functional properties that are distinct from those of BM-MSCs purified by plastic adherence.

Genetic characterization of antimicrobial resistance in coagulase-negative staphylococci from bovine mastitis milk

Coagulase-negative staphylococci (CNS; n=417) were isolated from bovine milk and identified by matrix-assisted laser desorption/ionization time-of-flight mass spectrometry. Nineteen different species were identified, and Staphylococcus xylosus, Staphylococcus chromogenes, Staphylococcus haemolyticus, and Staphylococcus sciuri were the most prevalent species. Resistance to oxacillin (47.0% of the isolates), fusidic acid (33.8%), tiamulin (31.9%), penicillin (23.3%), tetracycline (15.8%), streptomycin (9.6%), erythromycin (7.0%), sulfonamides (5%), trimethoprim (4.3%), clindamycin (3.4%), kanamycin (2.4%), and gentamicin (2.4%) was detected. Resistance to oxacillin was attributed to the mecA gene in 9.7% of the oxacillin-resistant isolates. The remaining oxacillin-resistant CNS did not contain the mecC gene or mecA1 promoter mutations. The mecA gene was detected in Staphylococcus fleurettii, Staphylococcus epidermidis, Staph. haemolyticus, and Staph. xylosus. Resistance to tetracycline was attributed to the presence of tet(K) and tet(L), penicillin resistance to blaZ, streptomycin resistance to str and ant(6)-Ia, and erythromycin resistance to erm(C), erm(B), and msr. Resistance to tiamulin and fusidic acid could not be attributed to an acquired resistance gene. In total, 15.1% of the CNS isolates were multidrug resistant (i.e., resistant to 2 or more antimicrobials). The remaining CNS isolates were susceptible to antimicrobials commonly used in mastitis treatment. Methicillin-resistant CNS isolates were diverse, as determined by mecA gene sequence analysis, staphylococcal cassette chromosome mec typing, and pulsed-field gel electrophoresis. Arginine catabolic mobile element types 1 and 3 were detected in both methicillin-resistant and methicillin-susceptible Staph. epidermidis and were associated with sequence types ST59 and ST111. Because this study revealed the presence of multidrug-resistant CNS in a heterogeneous CNS population, we recommend antibiogram analysis of CNS in persistent infections before treatment with antimicrobials.

Clinical and molecular features of methicillin-resistant, coagulase-negative staphylococci of pets and horses

OBJECTIVES To determine the antibiotic resistance and fingerprint profiles of methicillin-resistant coagulase-negative staphylococci (MRCoNS) from animal infections among different practices and examine the history of antibiotic treatment. METHODS Isolates were identified by mass spectrometry and tested for antimicrobial resistance by broth dilution, microarrays and sequence analysis of the topoisomerases. Diversity was assessed by PFGE, icaA PCR and staphylococcal cassette chromosome mec (SCCmec), arginine catabolic mobile element (ACME) and multilocus sequence typing. Clinical records were examined retrospectively. RESULTS MRCoNS were identified as Staphylococcus epidermidis (n=20), Staphylococcus haemolyticus (n=17), Staphylococcus hominis (n=3), Staphylococcus capitis (n=1), Staphylococcus cohnii (n=1) and Staphylococcus warneri (n=1). PFGE identified one clonal lineage in S. hominis isolates and several in S. haemolyticus and S. epidermidis. Fourteen sequence types were identified in S. epidermidis, with sequence type 2 (ST2) and ST5 being predominant. Ten isolates contained SCCmec IV, seven contained SCCmec V and the others were non-typeable. ACMEs were detected in 11 S. epidermidis isolates. One S. hominis and 10 S. epidermidis isolates were icaA positive. In addition to mecA-mediated β-lactam resistance, the most frequent resistance was to gentamicin/kanamycin [aac(6')-Ie-aph(2')-Ia, aph(3')-III] (n=34), macrolides/lincosamides [erm(C), erm(A), msr, lnu(A)] (n=31), tetracycline [tet(K)] (n=22), streptomycin [str, ant(6)-Ia] (n=20), trimethoprim [dfr(A), dfr(G)] (n=17), sulfamethoxazole (n = 34) and fluoroquinolones [amino acid substitutions in GyrA and GrlA] (n=30). Clinical data suggest selection through multiple antibiotic courses and emphasize the importance of accurate diagnosis and antibiograms. CONCLUSIONS MRCoNS from animal infection sites are genetically heterogeneous multidrug-resistant strains that represent a new challenge in the prevention and therapy of infections in veterinary clinics.

Extended-spectrum cephalosporin-resistant Gram-negative organisms in livestock: an emerging problem for human health?

Escherichia coli, Salmonella spp. and Acinetobacter spp. are important human pathogens. Serious infections due to these organisms are usually treated with extended-spectrum cephalosporins (ESCs). However, in the past two decades we have faced a rapid increasing of infections and colonization caused by ESC-resistant (ESC-R) isolates due to production of extended-spectrum-β-lactamases (ESBLs), plasmid-mediated AmpCs (pAmpCs) and/or carbapenemase enzymes. This situation limits drastically our therapeutic armamentarium and puts under peril the human health. Animals are considered as potential reservoirs of multidrug-resistant (MDR) Gram-negative organisms. The massive and indiscriminate use of antibiotics in veterinary medicine has contributed to the selection of ESC-R E. coli, ESC-R Salmonella spp. and, to less extent, MDR Acinetobacter spp. among animals, food, and environment. This complex scenario is responsible for the expansion of these MDR organisms which may have life-threatening clinical significance. Nowadays, the prevalence of food-producing animals carrying ESC-R E. coli and ESC-R Salmonella (especially those producing CTX-M-type ESBLs and the CMY-2 pAmpC) has reached worryingly high values. More recently, the appearance of carbapenem-resistant isolates (i.e., VIM-1-producing Enterobacteriaceae and NDM-1 or OXA-23-producing Acinetobacter spp.) in livestock has even drawn greater concerns. In this review, we describe the aspects related to the spread of the above MDR organisms among pigs, cattle, and poultry, focusing on epidemiology, molecular mechanisms of resistance, impact of antibiotic use, and strategies to contain the overall problem. The link and the impact of ESC-R organisms of livestock origin for the human scenario are also discussed.

Delayed diagnosis of cryptococcal meningoencephalitis due to negative cryptococcal antigen test

Cryptococcus spp. commonly causes infection in immunocompromised hosts. Clinical presentation of cryptococcal meningoencephalitis (CM) is variable, but headache, fever and a high intracranial pressure should suggest the diagnosis. The cryptococcal antigen test is a specific and sensitive rapid test that can be performed on blood or cerebrospinal fluid. We report a case of CM in a patient with previously undetected lymphocytopenia. Because cryptococcal antigen test results were negative, diagnosis and treatment were delayed.

Different adaptation of IGF-I and its IGFBPs in dairy cows during a negative energy balance in early lactation and a negative energy balance induced by feed restriction in mid-lactation

Control of metabolic pathways is a major task of the somatotropic axis and its constituents. Insulinlike growth-factor binding proteins (IGFBPs) bind IGF-I and -II and act as carriers and regulators of their activities in blood, body fluids and tissues. Over two periods of physiological adaptation, this study investigated the binding pattern of IGF-I to IGFBPs in the plasma of 50 multiparous Holstein dairy cows and identified relationships with the hepatic mRNA abundance of IGFBPs and plasma IGF-I during the lactational negative energy balance (NEB) and during a deliberately induced NEB by feed restriction. Period 1 lasted from week 3 antepartum (a.p.) to week 12 postpartum (p.p.) and period 2, the period of feed restriction, started at around 100 DIM and lasted for three weeks with a control (C) and a restricted group (R). Blood samples and liver biopsies were collected in week 3 a.p., and in weeks 1 and 4 p.p. of period 1 and in weeks 0 and 3 of period 2. For column chromatography of IGFBPs, plasma samples of all animals were pooled by group and time points of sampling. Plasma IGF-I dropped from week 3 a.p. to week 1 p.p. and thereafter increased until week 0 (period 2) and did not change up to week 3 of period 2. The binding of IGF-I to plasma IGFBP-1 and -2 increased in period 1 from week 3 a.p. to week 4 p.p., while at the same time it decreased for IGFBP-3. During period 2, the binding of IGF-I to plasma IGFBP-1 and -2 decreased for both groups, but less for R cows. In C cows, the IGF-I binding to IGFBP-3 in plasma increased from week 0 to week 3 of period 2, whereas R cows showed a slight decrease. In period 1, hepatic mRNA abundance of IGFBP-3 followed the plasma IGFBP-3 binding in contrast to the mRNA abundances of IGFBP-1 and -2. The latter increased from week 3 a.p. to week 1 p.p. and decreased afterwards whereas IGF-I binding to IGFBP-1 and -2 increased. In week 3 of period 2, the binding of IGF-I to IGFBP-1 and -2 and their hepatic mRNA abundance were higher in R cows compared to C cows. Hepatic mRNA abundance of IGF-I was consistently positively correlated with plasma IGF-I, especially pronounced during the NEBs in week 1 p.p. (period 1) and in week 3 (period 2) in R cows. While no distinct relation between mRNA abundance of IGFBP-1 and plasma IGF-I was evident, the mRNA abundance of IGFBP-2 was inversely related to plasma IGF-I over all experimental time points independent of treatment. The mRNA abundance of IGFBP-3 was particularly correlated with plasma IGF-I during the 2 experimental stages of a NEB. Obviously IGFBP-3, but not IGFBP-1 and -2, binding in plasma closely followed the respective pattern of hepatic mRNA abundance during the entire experimental period. The fact that changes in the different plasma IGFBPs during altering metabolic stages in different stages of lactation do not always strictly follow their mRNA abundance in liver suggests tissues other than the liver flexibly contributing to the IGFBP pool in plasma as well as a partially post-transcriptional regulation of IGFBP synthesis.

White matter pathway organization of the reward system is related to positive and negative symptoms in schizophrenia

The reward systemin schizophrenia has been linked to the emergence of delusions on the one hand and to negative symptoms such as affective flattening on the other hand. Previous Diffusion Tensor Imaging (DTI) studies reported white matter microstructure alterations of regions related to the reward system. The present study aimed at extending these findings by specifically investigating connection pathways of the reward system in schizophrenia. Therefore, 24 patients with schizophrenia and 22 healthy controls matched for age and gender underwent DTI-scans. Using a probabilistic fiber tracking approachwe bilaterally extracted pathways connecting the ventral tegmental area (VTA) with the nucleus accumbens (NAcc), themedial and lateral orbitofrontal cortices (mOFC, lOFC), the dorsolateral prefrontal cortex (dlPFC) and the amygdala; as well as pathways connecting NAcc with mOFC, lOFC, dlPFC and amygdala resulting in a total of 18 connections. Probability indices forming part of a bundle of interest (PIBI) were compared between groups using independent t-tests. In 6 connection pathways PIBI-valueswere increased in schizophrenia. In 3 of these pathways the spatial extension of connection pathways was decreased. In schizophrenia patients, there was a negative correlation of PIBI-values and PANSS negative scores in the left VTA–amygdala and in the left NAcc–mOFC connection. A sum score of delusions and hallucinations correlated positively with PIBI-values of the left amygdala–NAcc connection. Structural organization of specific segments ofwhite matter pathways of the reward systemin schizophrenia may contribute to the emergence of delusions and negative symptoms in schizophrenia.

An overview of positive and negative effects of gender-fair language use

The basic principle of gender-fair language is symmetric linguistic treatment of women and men. Depending on the structure of the respective language, two principle strategies can be deployed to make a language gender-fair. In languages with few gender-differentiating forms, such as English, there is a tendency towards neutralization. Here, gender-unmarked forms such as police officer or chairperson are used to substitute the male-biased policeman or chairman. The second strategy, feminization, implies that feminine forms of human nouns are used more frequently and systematically to make female referents visible.Since the 1970s, gender-fair language has been suggested, if not prescribed, for both scientific and official texts and its positive effects are widely documented. The use of gender-fair language increases the cognitive availability of feminine exemplars. Also in an applied context women responding to job advertisements formulated in gender-fair language feel more motivated to apply for the position. However, "side effects" of gender-fair language have also been observed: For instance, women referred to with a gender-fair title (e.g. chairperson) were evaluated as lower in status than women referred to with a masculine generic (e.g. chairman). Similarily, social initiatives framed with the use of gender-fair language were evaluated less-favourably than initiatives using traditional language. This presentation presents the gender-fair language use in the framework of a social dilemma. In order to protect themselves (or initiatives they stand for) from being ascribed incompetence or a lower status, women may avoid feminine forms and thus contribute to the perpetuation of gender-unfair language, which may be detrimental for women in general. Raising awareness for this social concern, and framing it both in terms of group and individual interest can direct the discussion about gender-fair language into a broader perspective of gender equality.

Social role effects on gender stereotyping in Germany and Japan

Social role theory postulates that gender stereotypes are restrained for men and women observed in the same social role. Cultural differences in the valuation of communal attributes might moderate this effect. To examine this possibility, 288 participants (144 German, 144 Japanese) estimated the communal and agentic attributes of an average man or woman described in a male-dominated role, a female-dominated role, or without role information. We hypothesized and found that in Germany and Japan, participants perceived men as more agentic than women without role information and as similarly agentic in the same role. However, for communion, German and Japanese participants reacted differently. German participants perceived women as more communal than men without role information and in male-dominated roles and perceived men as more communal than women in female-dominated roles. Japanese participants perceived all targets as similarly communal, regardless of role or gender, suggesting that communion is generally expected in Japan.

Peer victimisation and depressive symptoms: can specific coping strategies buffer the negative impact of cybervictimisation?

This longitudinal study investigated whether cybervictimisation is an additional risk factor for depressive symptoms over and beyond traditional victimisation in adolescents. Furthermore, it explored whether certain coping strategies moderate the impact of cybervictimisation on depressive symptoms. A total of 765 Swiss seventh graders (mean age at time-point 1 (t1) = 13.18 years) reported on the frequency of traditional and cybervictimisation, and of depressive symptoms twice in six months. At time-point 2 (t2) students also completed a questionnaire on coping strategies in response to a hypothetical cyberbullying scenario. Analyses showed that both traditional and cybervictimisation were associated with higher levels of depressive symptoms. Cybervictimisation also predicted increases in depressive symptoms over time. Regarding coping strategies, it was found that helpless reactions were positively associated with depressive symptoms. Moreover, support seeking from peers and family showed a significant buffering effect: cybervictims who recommended seeking close support showed lower levels of depressive symptoms at t2. In contrast, cybervictims recommending assertive coping strategies showed higher levels of depressive symptoms at t2.