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.

Evaluation of pet contact as a risk factor for carriage of multidrug-resistant staphylococci in nursing home residents

BACKGROUND Pets, often used as companionship and for psychological support in the therapy of nursing home residents, have been implicated as reservoirs for antibiotic-resistant bacteria. We investigated the importance of pets as reservoirs of multidrug-resistant (MDR) staphylococci in nursing homes. METHODS We assessed the carriage of MDR staphylococci in pets and in 2 groups of residents, those living in nursing homes with pets and those living without pet contacts. We collected demographic, health status, and human-pet contact data by means of questionnaires. We assessed potential bacteria transmission pathways by investigating physical resident-to-pet contact. RESULTS The observed prevalence of MDR staphylococci carriage was 84/229 (37%) in residents living with pets and 99/216 (46%) in those not living with pets (adjusted odds ratio [aOR], 0.6; 95% confidence interval [CI], 0.4-0.9). Active pet contact was associated with lower carriage of MDR staphylococci (aOR, 0.5; 95% CI, 0.4-0.8). Antibiotic treatment during the previous 3 months was associated with significantly increased risk for MDR carriage in residents (aOR, 3.1; 95% CI, 1.8-5.7). CONCLUSIONS We found no evidence that the previously reported benefits of pet contact are compromised by the increased risk of carriage of MDR staphylococci in residents associated with interaction with these animals in nursing homes. Thus, contact with pets, always under good hygiene standards, should be encouraged in these settings.

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.

Evaluation of PCR electrospray-ionization mass spectrometry for rapid molecular diagnosis of bovine mastitis

Bovine mastitis, an inflammatory disease of the mammary gland, is one of the most costly diseases affecting the dairy industry. The treatment and prevention of this disease is linked heavily to the use of antibiotics in agriculture and early detection of the primary pathogen is essential to control the disease. Milk samples (n=67) from cows suffering from mastitis were analyzed for the presence of pathogens using PCR electrospray-ionization mass spectrometry (PCR/ESI-MS) and were compared with standard culture diagnostic methods. Concurrent identification of the primary mastitis pathogens was obtained for 64% of the tested milk samples, whereas divergent results were obtained for 27% of the samples. The PCR/ESI-MS failed to identify some of the primary pathogens in 18% of the samples, but identified other pathogens as well as microorganisms in samples that were negative by culture. The PCR/ESI-MS identified bacteria to the species level as well as yeasts and molds in samples that contained a mixed bacterial culture (9%). The sensitivity of the PCR/ESI-MS for the most common pathogens ranged from 57.1 to 100% and the specificity ranged from 69.8 to 100% using culture as gold standard. The PCR/ESI-MS also revealed the presence of the methicillin-resistant gene mecA in 16.2% of the milk samples, which correlated with the simultaneous detection of staphylococci including Staphylococcus aureus. We demonstrated that PCR/ESI-MS, a more rapid diagnostic platform compared with bacterial culture, has the significant potential to serve as an important screening method in the diagnosis of bovine clinical mastitis and has the capacity to be used in infection control programs for both subclinical and clinical disease.

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.

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.

Dynamics of a minimal model of interlocked positive and negative feedback loops of transcriptional regulation by cAMP-response element binding proteins.

cAMP-response element binding (CREB) proteins are involved in transcriptional regulation in a number of cellular processes (e.g., neural plasticity and circadian rhythms). The CREB family contains activators and repressors that may interact through positive and negative feedback loops. These loops can be generated by auto- and cross-regulation of expression of CREB proteins, via CRE elements in or near their genes. Experiments suggest that such feedback loops may operate in several systems (e.g., Aplysia and rat). To understand the functional implications of such feedback loops, which are interlocked via cross-regulation of transcription, a minimal model with a positive and negative loop was developed and investigated using bifurcation analysis. Bifurcation analysis revealed diverse nonlinear dynamics (e.g., bistability and oscillations). The stability of steady states or oscillations could be changed by time delays in the synthesis of the activator (CREB1) or the repressor (CREB2). Investigation of stochastic fluctuations due to small numbers of molecules of CREB1 and CREB2 revealed a bimodal distribution of CREB molecules in the bistability region. The robustness of the stable HIGH and LOW states of CREB expression to stochastic noise differs, and a critical number of molecules was required to sustain the HIGH state for days or longer. Increasing positive feedback or decreasing negative feedback also increased the lifetime of the HIGH state, and persistence of this state may correlate with long-term memory formation. A critical number of molecules was also required to sustain robust oscillations of CREB expression. If a steady state was near a deterministic Hopf bifurcation point, stochastic resonance could induce oscillations. This comparative analysis of deterministic and stochastic dynamics not only provides insights into the possible dynamics of CREB regulatory motifs, but also demonstrates a framework for understanding other regulatory processes with similar network architecture.

Specific, Reversible Cytostatic Protection of Normal Cells Against Negative Effects of Chemotherapy

Chemotherapy is a common and effective method to treat many forms of cancer. However, treatment of cancer with chemotherapy has severe side effects which often limit the doses of therapy administered. Because some cancer chemotherapeutics target proliferating cells and tissues, all dividing cells, whether normal or tumor, are affected. Cell culture studies have demonstrated that UCN-01 is able to reversibly and selectively arrest normal dividing cells; tumor cells lines do not undergo this temporary arrest. Following UCN-01 treatment, normal cells displayed a 50-fold increase in IC50 for camptothecin; tumor cells showed no such increased tolerance. We have examined the response of the proliferating tissues of the mouse to UCN- 01 treatment, using the small bowel epithelium as a model system. Our results indicate that UCN-01 treatment can cause a cell cycle arrest in the gut epithelium, beginning 24 hours following UCN-01 administration, with cell proliferation remaining suppressed for one week. Two weeks post-UCN-01 treatment the rate of proliferation returns to normal levels. 5-FU administered during this period demonstrates that UCN-01 is able to provide protection to normal cells of the mouse within a narrow window of efficacy, from three to five days post-UCN-01. UCN-01 pretreated mice displayed improved survival, weight status and blood markers following 5-FU compared to control mice, indicating that UCN-01 can protect normal dividing tissues. The mechanism by which UCN-01 arrests normal cells in vivo was also examined. We have demonstrated that UCN-01 treatment in mice causes an increase in the G1 phase cell cycle proteins cdk4 and cyclin D, as well as the inhibitor p27. Phosphorylated Rb was also elevated in the arrested cells. These results are a departure from cell culture studies, in which inhibition of G1 phase cyclin dependent kinases led to hyposphosphorylation of Rb. Future investigation will be required to understand the mechanism of UCN-01 action. This is important information, especially for identification of alternate compounds which could provide the protection afforded by UCN-01.