Instances and connectors : issues for a second generation process language

This work is supported by UK EPSRC grants GR/L34433 and GR/L32699Over the past decade a variety of process languages have been defined, used and evaluated. It is now possible to consider second generation languages based on this experience. Rather than develop a second generation wish list this position paper explores two issues: instances and connectors. Instances relate to the relationship between a process model as a description and the, possibly multiple, enacting instances which are created from it. Connectors refers to the issue of concurrency control and achieving a higher level of abstraction in how parts of a model interact. We believe that these issues are key to developing systems which can effectively support business processes, and that they have not received sufficient attention within the process modelling community. Through exploring these issues we also illustrate our approach to designing a second generation process language.Postprin

Maximal induced matchings in triangle-free graphs

An induced matching in a graph is a set of edges whose endpoints induce a $1$-regular subgraph. It is known that any $n$-vertex graph has at most $10^{n/5} \approx 1.5849^n$ maximal induced matchings, and this bound is best possible. We prove that any $n$-vertex triangle-free graph has at most $3^{n/3} \approx 1.4423^n$ maximal induced matchings, and this bound is attained by any disjoint union of copies of the complete bipartite graph $K_{3,3}$. Our result implies that all maximal induced matchings in an $n$-vertex triangle-free graph can be listed in time $O(1.4423^n)$, yielding the fastest known algorithm for finding a maximum induced matching in a triangle-free graph.Comment: 17 page

RNA-seq Brings New Insights to the Intra-Macrophage Transcriptome of Salmonella Typhimurium.

Salmonella enterica serovar Typhimurium is arguably the world's best-understood bacterial pathogen. However, crucial details about the genetic programs used by the bacterium to survive and replicate in macrophages have remained obscure because of the challenge of studying gene expression of intracellular pathogens during infection. Here, we report the use of deep sequencing (RNA-seq) to reveal the transcriptional architecture and gene activity of Salmonella during infection of murine macrophages, providing new insights into the strategies used by the pathogen to survive in a bactericidal immune cell. We characterized 3583 transcriptional start sites that are active within macrophages, and highlight 11 of these as candidates for the delivery of heterologous antigens from Salmonella vaccine strains. A majority (88%) of the 280 S. Typhimurium sRNAs were expressed inside macrophages, and SPI13 and SPI2 were the most highly expressed pathogenicity islands. We identified 31 S. Typhimurium genes that were strongly up-regulated inside macrophages but expressed at very low levels during in vitro growth. The SalComMac online resource allows the visualisation of every transcript expressed during bacterial replication within mammalian cells. This primary transcriptome of intra-macrophage S.-Typhimurium describes the transcriptional start sites and the transcripts responsible for virulence traits, and catalogues the sRNAs that may play a role in the regulation of gene expression during infection

Investigating A Dose Response Relationship between High Fat Diet Consumption and the Contractile Performance of Isolated Mouse Soleus, EDL and Diaphragm Muscles

PurposeRecent evidence has demonstrated an obesity-induced, skeletal muscle-specific reduction in contractile performance. The extent and magnitude of these changes in relation to total dose of high-fat diet consumption remains unclear. This study aimed to examine the dose–response relationship between a high-fat diet and isolated skeletal muscle contractility.Methods120 female CD1 mice were randomly assigned to either control group or groups receiving 2, 4, 8 or 12 weeks of a high-calorie diet (N = 24). At 20 weeks, soleus, EDL or diaphragm muscle was isolated (n = 8 in each case) and isometric force, work loop power output and fatigue resistance were measured.ResultsWhen analysed with respect to feeding duration, there was no effect of diet on the measured parameters prior to 8 weeks of feeding. Compared to controls, 8-week feeding caused a reduction in normalised power of the soleus, and 8- and 12-week feeding caused reduced normalised isometric force, power and fatigue resistance of the EDL. Diaphragm from the 12-week group produced lower normalised power, whereas 8- and 12-week groups produced significantly lower normalised isometric force. Correlation statistics indicated that body fat accumulation and decline in contractility will be specific to the individual and independent of the feeding duration.ConclusionThe data indicate that a high-fat diet causes a decline in muscle quality with specific contractile parameters being affected in each muscle. We also uniquely demonstrate that the amount of fat gain, irrespective of feeding duration, may be the main factor in reducing contractile performance

Structural insights into RNA processing by the human RISC-loading complex.

Targeted gene silencing by RNA interference (RNAi) requires loading of a short guide RNA (small interfering RNA (siRNA) or microRNA (miRNA)) onto an Argonaute protein to form the functional center of an RNA-induced silencing complex (RISC). In humans, Argonaute2 (AGO2) assembles with the guide RNA-generating enzyme Dicer and the RNA-binding protein TRBP to form a RISC-loading complex (RLC), which is necessary for efficient transfer of nascent siRNAs and miRNAs from Dicer to AGO2. Here, using single-particle EM analysis, we show that human Dicer has an L-shaped structure. The RLC Dicer's N-terminal DExH/D domain, located in a short 'base branch', interacts with TRBP, whereas its C-terminal catalytic domains in the main body are proximal to AGO2. A model generated by docking the available atomic structures of Dicer and Argonaute homologs into the RLC reconstruction suggests a mechanism for siRNA transfer from Dicer to AGO2

Upregulation of the cell-cycle regulator RGC-32 in Epstein-Barr virus-immortalized cells

Epstein-Barr virus (EBV) is implicated in the pathogenesis of multiple human tumours of lymphoid and epithelial origin. The virus infects and immortalizes B cells establishing a persistent latent infection characterized by varying patterns of EBV latent gene expression (latency 0, I, II and III). The CDK1 activator, Response Gene to Complement-32 (RGC-32, C13ORF15), is overexpressed in colon, breast and ovarian cancer tissues and we have detected selective high-level RGC-32 protein expression in EBV-immortalized latency III cells. Significantly, we show that overexpression of RGC-32 in B cells is sufficient to disrupt G2 cell-cycle arrest consistent with activation of CDK1, implicating RGC-32 in the EBV transformation process. Surprisingly, RGC-32 mRNA is expressed at high levels in latency I Burkitt's lymphoma (BL) cells and in some EBV-negative BL cell-lines, although RGC-32 protein expression is not detectable. We show that RGC-32 mRNA expression is elevated in latency I cells due to transcriptional activation by high levels of the differentially expressed RUNX1c transcription factor. We found that proteosomal degradation or blocked cytoplasmic export of the RGC-32 message were not responsible for the lack of RGC-32 protein expression in latency I cells. Significantly, analysis of the ribosomal association of the RGC-32 mRNA in latency I and latency III cells revealed that RGC-32 transcripts were associated with multiple ribosomes in both cell-types implicating post-initiation translational repression mechanisms in the block to RGC-32 protein production in latency I cells. In summary, our results are the first to demonstrate RGC-32 protein upregulation in cells transformed by a human tumour virus and to identify post-initiation translational mechanisms as an expression control point for this key cell-cycle regulator

Fermi Gamma-ray Imaging of a Radio Galaxy

The Fermi Gamma-ray Space Telescope has detected the gamma-ray glow emanating from the giant radio lobes of the radio galaxy Centaurus A. The resolved gamma-ray image shows the lobes clearly separated from the central active source. In contrast to all other active galaxies detected so far in high-energy gamma-rays, the lobe flux constitutes a considerable portion (>1/2) of the total source emission. The gamma-ray emission from the lobes is interpreted as inverse Compton scattered relic radiation from the cosmic microwave background (CMB), with additional contribution at higher energies from the infrared-to-optical extragalactic background light (EBL). These measurements provide gamma-ray constraints on the magnetic field and particle energy content in radio galaxy lobes, and a promising method to probe the cosmic relic photon fields.Comment: 27 pages, includes Supplementary Online Material; corresponding authors: C.C. Cheung, Y. Fukazawa, J. Knodlseder, L. Stawar

Moderate and heavy metabolic stress interval training improve arterial stiffness and heart rate dynamics in humans

Traditional continuous aerobic exercise training attenuates age-related increases of arterial stiffness, however, training studies have not determined whether metabolic stress impacts these favourable effects. Twenty untrained healthy participants (n = 11 heavy metabolic stress interval training, n = 9 moderate metabolic stress interval training) completed 6 weeks of moderate or heavy intensity interval training matched for total work and exercise duration. Carotid artery stiffness, blood pressure contour analysis, and linear and non-linear heart rate variability were assessed before and following training. Overall, carotid arterial stiffness was reduced (p  0.05). This study demonstrates the effectiveness of interval training at improving arterial stiffness and autonomic function, however, the metabolic stress was not a mediator of this effect. In addition, these changes were also independent of improvements in aerobic capacity, which were only induced by training that involved a high metabolic stress

Measurement of the inclusive and dijet cross-sections of b-jets in pp collisions at sqrt(s) = 7 TeV with the ATLAS detector

The inclusive and dijet production cross-sections have been measured for jets containing b-hadrons (b-jets) in proton-proton collisions at a centre-of-mass energy of sqrt(s) = 7 TeV, using the ATLAS detector at the LHC. The measurements use data corresponding to an integrated luminosity of 34 pb^-1. The b-jets are identified using either a lifetime-based method, where secondary decay vertices of b-hadrons in jets are reconstructed using information from the tracking detectors, or a muon-based method where the presence of a muon is used to identify semileptonic decays of b-hadrons inside jets. The inclusive b-jet cross-section is measured as a function of transverse momentum in the range 20 < pT < 400 GeV and rapidity in the range |y| < 2.1. The bbbar-dijet cross-section is measured as a function of the dijet invariant mass in the range 110 < m_jj < 760 GeV, the azimuthal angle difference between the two jets and the angular variable chi in two dijet mass regions. The results are compared with next-to-leading-order QCD predictions. Good agreement is observed between the measured cross-sections and the predictions obtained using POWHEG + Pythia. MC@NLO + Herwig shows good agreement with the measured bbbar-dijet cross-section. However, it does not reproduce the measured inclusive cross-section well, particularly for central b-jets with large transverse momenta.Comment: 10 pages plus author list (21 pages total), 8 figures, 1 table, final version published in European Physical Journal

Search for new phenomena in final states with an energetic jet and large missing transverse momentum in pp collisions at √ s = 8 TeV with the ATLAS detector

Results of a search for new phenomena in final states with an energetic jet and large missing transverse momentum are reported. The search uses 20.3 fb−1 of √ s = 8 TeV data collected in 2012 with the ATLAS detector at the LHC. Events are required to have at least one jet with pT > 120 GeV and no leptons. Nine signal regions are considered with increasing missing transverse momentum requirements between Emiss T > 150 GeV and Emiss T > 700 GeV. Good agreement is observed between the number of events in data and Standard Model expectations. The results are translated into exclusion limits on models with either large extra spatial dimensions, pair production of weakly interacting dark matter candidates, or production of very light gravitinos in a gauge-mediated supersymmetric model. In addition, limits on the production of an invisibly decaying Higgs-like boson leading to similar topologies in the final state are presente