Semantic Mutation Testing for Multi-Agent Systems

This paper introduces semantic mutation testing (SMT) into multiagent systems. SMT is a test assessment technique that makes changes to the interpretation of a program and then examines whether a given test set has the ability to detect each change to the original interpretation. These changes represent possible misunderstandings of how the program is interpreted. SMT is also a technique for assessing the robustness of a program to semantic changes. This paper applies SMT to three rule-based agent programming languages, namely Jason, GOAL and 2APL, provides several contexts in which SMT for these languages is useful, and proposes three sets of semantic mutation operators (i.e., rules to make semantic changes) for these languages respectively, and a set of semantic mutation operator classes for rule-based agent languages. This paper then shows, through preliminary evaluation of our semantic mutation operators for Jason, that SMT has some potential to assess tests and program robustness

Circulating Pneumolysin Is a Potent Inducer of Cardiac Injury during Pneumococcal Infection

Streptococcus pneumoniae accounts for more deaths worldwide than any other single pathogen through diverse disease manifestations including pneumonia, sepsis and meningitis. Life-threatening acute cardiac complications are more common in pneumococcal infection compared to other bacterial infections. Distinctively, these arise despite effective antibiotic therapy. Here, we describe a novel mechanism of myocardial injury, which is triggered and sustained by circulating pneumolysin (PLY). Using a mouse model of invasive pneumococcal disease (IPD), we demonstrate that wild type PLY-expressing pneumococci but not PLY-deficient mutants induced elevation of circulating cardiac troponins (cTns), well-recognized biomarkers of cardiac injury. Furthermore, elevated cTn levels linearly correlated with pneumococcal blood counts (r=0.688, p=0.001) and levels were significantly higher in non-surviving than in surviving mice. These cTn levels were significantly reduced by administration of PLY-sequestering liposomes. Intravenous injection of purified PLY, but not a non-pore forming mutant (PdB), induced substantial increase in cardiac troponins to suggest that the pore-forming activity of circulating PLY is essential for myocardial injury in vivo. Purified PLY and PLY-expressing pneumococci also caused myocardial inflammatory changes but apoptosis was not detected. Exposure of cultured cardiomyocytes to PLY-expressing pneumococci caused dose-dependent cardiomyocyte contractile dysfunction and death, which was exacerbated by further PLY release following antibiotic treatment. We found that high PLY doses induced extensive cardiomyocyte lysis, but more interestingly, sub-lytic PLY concentrations triggered profound calcium influx and overload with subsequent membrane depolarization and progressive reduction in intracellular calcium transient amplitude, a key determinant of contractile force. This was coupled to activation of signalling pathways commonly associated with cardiac dysfunction in clinical and experimental sepsis and ultimately resulted in depressed cardiomyocyte contractile performance along with rhythm disturbance. Our study proposes a detailed molecular mechanism of pneumococcal toxin-induced cardiac injury and highlights the major translational potential of targeting circulating PLY to protect against cardiac complications during pneumococcal infections

Reconstructing terrestrial nutrient cycling using stable nitrogen isotopes in wood

Although recent anthropogenic effects on the global nitrogen (N) cycle have been significant, the consequences of increased anthropogenic N on terrestrial ecosystems are unclear. Studies of the impact of increased reactive N on forest ecosystems—impacts on hydrologic and gaseous loss pathways, retention capacity, and even net primary productivity— have been particularly limited by a lack of long-term baseline biogeochemical data. Stable nitrogen isotope analysis (ratio of ¹⁵N to ¹⁴N, termed δ¹⁵N) of wood chronologies offers the potential to address changes in ecosystem N cycling on millennial timescales and across broad geographic regions. Currently, nearly 50 studies have been published utilizing wood δ¹⁵N records; however, there are significant differences in study design and data interpretation. Here, we identify four categories of wood δ¹⁵N studies, summarize the common themes and primary findings of each category, identify gaps in the spatial and temporal scope of current wood δ¹⁵N chronologies, and synthesize methodological frameworks for future research by presenting eight suggestions for common methodological approaches and enhanced integration across studies. Wood δ¹⁵N records have the potential to provide valuable information for interpreting modern biogeochemical cycling. This review serves to advance the utility of this technique for long-term biogeochemical reconstructions

Suppression of zinc finger protein 467 alleviates osteoporosis through promoting differentiation of adipose derived stem cells to osteoblasts

Osteoblast and adipocyte are derived from common mesenchymal progenitor cells. The bone loss of osteoporosis is associated with altered progenitor differentiation from an osteoblastic to an adipocytic lineage. In this study, a comparative analysis of gene expression profiling using cDNA microarray and realtime-PCR indicated that Zinc finger protein 467 (Zfp467) involved in adipocyte and osteoblast differentiation of cultured adipose derived stem cells (ADSCs). Our results showed that RNA interference for Zfp467 in ADSCs inhibited adipocyte formation and stimulated osteoblast commitment. The mRNA levels of osteogenic and adipogenic markers in ADSCs were regulated by si-Zfp467. Zfp467 RNAi in ADSCs could restore bone function and structure in an ovariectomized (OVX)-induced osteoporotic mouse model. Thus Zfp467 play an important role in ADSCs differentiation to adipocyte and osteoblast. This has relevance to therapeutic interventions in osteoporosis, including si-Zfp467-based therapies currently available, and may be of relevance for the use of adipose-derived stem cells for tissue engineering

The heart in sporadic inclusion body myositis: a study in 51 patients

The purpose of this study was to explore the prevalence and nature of cardiac abnormalities in sporadic inclusion body myositis (sIBM). Fifty-one sIBM patients were cross-sectionally studied using history-taking, physical examination, measurements of serum creatine kinase activity, the MB fraction (CK-MB), cardiac troponin T (cTnT) and I (cTnI), a 12-lead electrocardiogram (ECG) and 2-dimensional echocardiography. Present cardiac history was abnormal in 12 (24%) out of 51 patients, 12 (24%) patients had abnormalities on ECG, mostly aspecific, and in 12 (24%) patients the echocardiograph showed abnormalities. Elevated CK-MB was present in 42 (82%) patients and 40 (78%) had an elevated cTnT in the absence of acute cardiac pathology. In contrast, in one patient (2%) cTnI was elevated. There was no apparent association between elevated biomarkers, ECG or echocardiographic abnormalities. The prevalence of cardiac abnormalities in sIBM does not seem to be higher than would be expected in these elderly patients. Elevated CK-MB and cTnT levels are common, in contrast to cTnI, but do not reflect cardiac pathology

Concurrent validity and test-retest reliability of the Virtual Peg Insertion Test to quantify upper limb function in patients with chronic stroke

Background: Measuring arm and hand function of the affected side is vital in stroke rehabilitation. Therefore, the Virtual Peg Insertion Test (VPIT), an assessment combining virtual reality and haptic feedback during a goal-oriented task derived from the Nine Hole Peg Test (NHPT), was developed. This study aimed to evaluate (1) the concurrent validity of key outcome measures of the VPIT, namely the execution time and the number of dropped pegs, with the NHPT and Box and Block Test (BBT), and (2) the test-retest-reliability of these parameters together with the VPIT's additional kinetic and kinematic parameters in patients with chronic stroke. The three tests were administered on 31 chronic patients with stroke in one session (concurrent validity), and the VPIT was retested in a second session 3-7 days later (test-retest reliability). Spearman rank correlation coefficients (rho) were calculated for assessing concurrent validity, and intraclass correlation coefficients (ICCs) were used to determine relative reliability. Bland-Altman plots were drawn and the smallest detectable difference (SDD) was calculated to examine absolute reliability. Results: For the 31 included patients, 11 were able to perform the VPIT solely via use of their affected arm, whereas 20 patients also had to utilize support from their unaffected arm. For n = 31, the VPIT showed low correlations with the NHPT (rho = 0.31 for time (T-ex[s]); rho = 0.21 for number of dropped pegs (N-dp)) and BBT (rho = -0.23 for number of transported cubes (N-tc); rho = -0.12 for number of dropped cubes (N-dc)). The test-retest reliability for the parameters Tex[s], mean grasping force (F(g)go[N]), number of zero-crossings (N(zc[1/s)go/return) and mean collision force (F-cmean[N]) were good to high, with ICCs ranging from 0.83 to 0.94. Fair reliability could be found for F(g)return (ICC = 0.75) and trajectory error (E(traj)go[cm]) (0.70). Poor reliability was measured for E(traj)return[cm] (0.67) and N-dp (0.58). The SDDs were: T-ex = 70.2 s, N-dp = 0.4 pegs; F(g)go/return = 3.5/1.2 Newton; N(zc[1/s])go/return = 0.2/1.8 zero-crossings; E(traj)go/return = 3.5/1.2 Newton; N(zc[1/s])go/return = 0.2/1.8 zero-crossings; E(traj)go/return = 0.5/0.8 cm; F-cmean = 0.7 Newton. Conclusions: The VPIT is a promising upper limb function assessment for patients with stroke requiring other components of upper limb motor performance than the NHPT and BBT. The high intra-subject variation indicated that it is a demanding test for this stroke sample, which necessitates a thorough introduction to this assessment. Once familiar, the VPIT provides more objective and comprehensive measurements of upper limb function than conventional, non-computerized hand assessments

Patients with exercise-associated ventricular ectopy present evidence of myocarditis

BACKGROUND: The origin and clinical relevance of exercise-induced premature ventricular beats (PVBs) in patients without coronary heart disease or cardiomyopathies is unknown. Cardiovascular magnetic resonance enables us to non-invasively assess myocardial scarring and oedema. The purpose of our study was to discover any evidence of myocardial anomalies in patients with exercise-induced ventricular premature beats. METHODS: We examined 162 consecutive patients presenting palpitations and documented exercise-induced premature ventricular beats (PVBs) but no history or evidence of structural heart disease. Results were compared with 70 controls matched for gender and age. ECG-triggered, T2-weighted, fast spin echo triple inversion recovery sequences and late gadolinium enhancement were obtained as well as LV function and dimensions. RESULTS: Structural anomalies in the myocardium and/or pericardium were present in 85 % of patients with exercise-induced PVBs. We observed a significant difference between patients with PVBs and controls in late gadolinium enhancement, that is 68 % presented subepicardial or midmyocardial lesions upon enhancement, whereas only 9 % of the controls did so (p < 0.0001). More patients presented pericardial enhancement (35 %) or pericardial thickening (27 %) compared to controls (21 % and 13 %, p < 0.0001). Myocardial oedema was present in 37 % of the patients and in only one control, p < 0.0001. Left ventricular ejection fraction did not differ between patients and controls (63.1 ± 7.9 vs. 64.7 ± 7.0, p = 0.13). CONCLUSIONS: The majority of patients with exercise-associated premature ventricular beats present evidence of myocardial disease consistent with acute or previous myocarditis or myopericarditis

Etoposide Induces ATM-Dependent Mitochondrial Biogenesis through AMPK Activation

DNA damage such as double-stranded DNA breaks (DSBs) has been reported to stimulate mitochondrial biogenesis. However, the underlying mechanism is poorly understood. The major player in response to DSBs is ATM (ataxia telangiectasia mutated). Upon sensing DSBs, ATM is activated through autophosphorylation and phosphorylates a number of substrates for DNA repair, cell cycle regulation and apoptosis. ATM has been reported to phosphorylate the alpha subunit of AMP-activated protein kinase (AMPK), which senses AMP/ATP ratio in cells, and can be activated by upstream kinases. Here we provide evidence for a novel role of ATM in mitochondrial biogenesis through AMPK activation in response to etoposide-induced DNA damage.Three pairs of human ATM+ and ATM- cells were employed. Cells treated with etoposide exhibited an ATM-dependent increase in mitochondrial mass as measured by 10-N-Nonyl-Acridine Orange and MitoTracker Green FM staining, as well as an increase in mitochondrial DNA content. In addition, the expression of several known mitochondrial biogenesis regulators such as the major mitochondrial transcription factor NRF-1, PGC-1alpha and TFAM was also elevated in response to etoposide treatment as monitored by RT-PCR. Three pieces of evidence suggest that etoposide-induced mitochondrial biogenesis is due to ATM-dependent activation of AMPK. First, etoposide induced ATM-dependent phosphorylation of AMPK alpha subunit at Thr172, indicative of AMPK activation. Second, inhibition of AMPK blocked etoposide-induced mitochondrial biogenesis. Third, activation of AMPK by AICAR (an AMP analogue) stimulated mitochondrial biogenesis in an ATM-dependent manner, suggesting that ATM may be an upstream kinase of AMPK in the mitochondrial biogenesis pathway.These results suggest that activation of ATM by etoposide can lead to mitochondrial biogenesis through AMPK activation. We propose that ATM-dependent mitochondrial biogenesis may play a role in DNA damage response and ROS regulation, and that defect in ATM-dependent mitochondrial biogenesis could contribute to the manifestations of A-T disease

TNFα Cooperates with IFN-γ to Repress Bcl-xL Expression to Sensitize Metastatic Colon Carcinoma Cells to TRAIL-mediated Apoptosis

BACKGROUND: TNF-related apoptosis-inducing ligand (TRAIL) is an immune effector molecule that functions as a selective anti-tumor agent. However, tumor cells, especially metastatic tumor cells often exhibit a TRAIL-resistant phenotype, which is currently a major impediment in TRAIL therapy. The aim of this study is to investigate the synergistic effect of TNFα and IFN-γ in sensitizing metastatic colon carcinoma cells to TRAIL-mediated apoptosis. METHODOLOGY/PRINCIPAL FINDINGS: The efficacy and underlying molecular mechanism of cooperation between TNFα and IFN-γ in sensitizing metastatic colon carcinoma cells to TRAIL-mediated apoptosis were examined. The functional significance of TNFα- and IFN-γ-producing T lymphocyte immunotherapy in combination with TRAIL therapy in suppression of colon carcinoma metastasis was determined in an experimental metastasis mouse model. We observed that TNFα or IFN-γ alone exhibits minimal sensitization effects, but effectively sensitized metastatic colon carcinoma cells to TRAIL-induced apoptosis when used in combination. TNFα and IFN-γ cooperate to repress Bcl-xL expression, whereas TNFα represses Survivin expression in the metastatic colon carcinoma cells. Silencing Bcl-xL expression significantly increased the metastatic colon carcinoma cell sensitivity to TRAIL-induced apoptosis. Conversely, overexpression of Bcl-xL significantly decreased the tumor cell sensitivity to TRAIL-induced apoptosis. Furthermore, TNFα and IFN-γ also synergistically enhanced TRAIL-induced caspase-8 activation. TNFα and IFN-γ was up-regulated in activated primary and tumor-specific T cells. TRAIL was expressed in tumor-infiltrating immune cells in vivo, and in tumor-specific cytotoxic T lymphocytes (CTL) ex vivo. Consequently, TRAIL therapy in combination with TNFα/IFN-γ-producing CTL adoptive transfer immunotherapy effectively suppressed colon carcinoma metastasis in vivo. CONCLUSIONS/SIGNIFICANCE: TNFα and IFN-γ cooperate to overcome TRAIL resistance at least partially through enhancing caspase 8 activation and repressing Bcl-xL expression. Combined CTL immunotherapy and TRAIL therapy hold great promise for further development for the treatment of metastatic colorectal cancer

Norovirus Regulation of the Innate Immune Response and Apoptosis Occurs via the Product of the Alternative Open Reading Frame 4

Small RNA viruses have evolved many mechanisms to increase the capacity of their short genomes. Here we describe the identification and characterization of a novel open reading frame (ORF4) encoded by the murine norovirus (MNV) subgenomic RNA, in an alternative reading frame overlapping the VP1 coding region. ORF4 is translated during virus infection and the resultant protein localizes predominantly to the mitochondria. Using reverse genetics we demonstrated that expression of ORF4 is not required for virus replication in tissue culture but its loss results in a fitness cost since viruses lacking the ability to express ORF4 restore expression upon repeated passage in tissue culture. Functional analysis indicated that the protein produced from ORF4 antagonizes the innate immune response to infection by delaying the upregulation of a number of cellular genes activated by the innate pathway, including IFN-Beta. Apoptosis in the RAW264.7 macrophage cell line was also increased during virus infection in the absence of ORF4 expression. In vivo analysis of the WT and mutant virus lacking the ability to express ORF4 demonstrated an important role for ORF4 expression in infection and virulence. STAT1-/- mice infected with a virus lacking the ability to express ORF4 showed a delay in the onset of clinical signs when compared to mice infected with WT virus. Quantitative PCR and histopathological analysis of samples from these infected mice demonstrated that infection with a virus not expressing ORF4 results in a delayed infection in this system. In light of these findings we propose the name virulence factor 1, VF1 for this protein. The identification of VF1 represents the first characterization of an alternative open reading frame protein for the calicivirus family. The immune regulatory function of the MNV VF1 protein provide important perspectives for future research into norovirus biology and pathogenesis