1,417 research outputs found
A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs
A number of novel programming languages and libraries have been proposed that
offer simpler-to-use models of concurrency than threads. It is challenging,
however, to devise execution models that successfully realise their
abstractions without forfeiting performance or introducing unintended
behaviours. This is exemplified by SCOOP---a concurrent object-oriented
message-passing language---which has seen multiple semantics proposed and
implemented over its evolution. We propose a "semantics workbench" with fully
and semi-automatic tools for SCOOP, that can be used to analyse and compare
programs with respect to different execution models. We demonstrate its use in
checking the consistency of semantics by applying it to a set of representative
programs, and highlighting a deadlock-related discrepancy between the principal
execution models of the language. Our workbench is based on a modular and
parameterisable graph transformation semantics implemented in the GROOVE tool.
We discuss how graph transformations are leveraged to atomically model
intricate language abstractions, and how the visual yet algebraic nature of the
model can be used to ascertain soundness.Comment: Accepted for publication in the proceedings of FASE 2016 (to appear
Recommended from our members
Interpretation of ambiguous situations: evidence for a dissociation between social and physical threat in Williams syndrome
There is increasing evidence that Williams syndrome (WS) is associated with elevated anxiety that is non-social in nature, including generalised anxiety and fears. To date very little research has examined the cognitive processes associated with this anxiety. In the present research, attentional bias for non-social threatening images in WS was examined using a dot-probe paradigm. Participants were 16 individuals with WS aged between 13 and 34 years and two groups of typically developing controls matched to the WS group on chronological age and attentional control ability respectively. The WS group exhibited a significant attention bias towards threatening images. In contrast, no bias was found for group matched on attentional control and a slight bias away from threat was found in the chronological age matched group. The results are contrasted with recent findings suggesting that individuals with WS do not show an attention bias for threatening faces and discussed in relation to neuroimaging research showing elevated amygdala activation in response to threatening non-social scenes in WS
Spin density matrix of the ω in the reaction p¯p→ωπ0
The spin density matrix of the ω has been determined for the reaction p¯p→ωπ0 with unpolarized in-flight data measured by the Crystal Barrel LEAR experiment at CERN. The two main decay modes of the ω into π0γ and π+π-π0 have been separately analyzed for various p¯ momenta between 600 and 1940 MeV/c. The results obtained with the usual method by extracting the matrix elements via the ω decay angular distributions and with the more sophisticated method via a full partial wave analysis are in good agreement. A strong spin alignment of the ω is clearly visible in this energy regime and all individual spin density matrix elements exhibit an oscillatory dependence on the production angle. In addition, the largest contributing orbital angular momentum of the p¯p system has been identified for the different beam momenta. It increases from Lp¯pmax = 2 at 600 MeV/c to Lp¯pmax = 5 at 1940 MeV/c
N-player quantum games in an EPR setting
The -player quantum game is analyzed in the context of an
Einstein-Podolsky-Rosen (EPR) experiment. In this setting, a player's
strategies are not unitary transformations as in alternate quantum
game-theoretic frameworks, but a classical choice between two directions along
which spin or polarization measurements are made. The players' strategies thus
remain identical to their strategies in the mixed-strategy version of the
classical game. In the EPR setting the quantum game reduces itself to the
corresponding classical game when the shared quantum state reaches zero
entanglement. We find the relations for the probability distribution for
-qubit GHZ and W-type states, subject to general measurement directions,
from which the expressions for the mixed Nash equilibrium and the payoffs are
determined. Players' payoffs are then defined with linear functions so that
common two-player games can be easily extended to the -player case and
permit analytic expressions for the Nash equilibrium. As a specific example, we
solve the Prisoners' Dilemma game for general . We find a new
property for the game that for an even number of players the payoffs at the
Nash equilibrium are equal, whereas for an odd number of players the
cooperating players receive higher payoffs.Comment: 26 pages, 2 figure
A Proposal for a Near Detector Experiment on the Booster Neutrino Beamline: FINeSSE: Fermilab Intense Neutrino Scattering Scintillator Experiment
219 pages219 pagesUnderstanding the quark and gluon substructure of the nucleon has been a prime goal of both nuclear and particle physics for more than thirty years and has led to much of the progress in strong interaction physics. Still the flavor dependence of the nucleon's spin is a significant fundamental question that is not understood. Experiments measuring the spin content of the nucleon have reported conflicting results on the amount of nucleon spin carried by strange quarks. Quasi-elastic neutrino scattering, observed using a novel detection technique, provides a theoretically clean measure of this quantity. The optimum neutrino beam energy needed to measure the strange spin of the nucleon is 1 GeV. This is also an ideal energy to search for neutrino oscillations at high in an astrophysically interesting region. Models of the r-process in supernovae which include high-mass sterile neutrinos may explain the abundance of neutron-rich heavy metals in the universe. These high-mass sterile neutrinos are outside the sensitivity region of any previous neutrino oscillation experiments. The Booster neutrino beamline at Fermilab provides the world's highest intensity neutrino beam in the 0.5-1.0 GeV energy range, a range ideal for both of these measurements. A small detector located upstream of the MiniBooNE detector, 100 m from the recently commissioned Booster neutrino source, could definitively measure the strange quark contribution to the nucleon spin. This detector, in conjunction with the MiniBooNE detector, could also investigate disappearance in a currently unexplored, cosmologically interesting region
Reasons for not using smoking cessation aids
© 2008 Gross et al; licensee BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution Licens
Phenotypic Variation and Bistable Switching in Bacteria
Microbial research generally focuses on clonal populations. However, bacterial cells with identical genotypes frequently display different phenotypes under identical conditions. This microbial cell individuality is receiving increasing attention in the literature because of its impact on cellular differentiation, survival under selective conditions, and the interaction of pathogens with their hosts. It is becoming clear that stochasticity in gene expression in conjunction with the architecture of the gene network that underlies the cellular processes can generate phenotypic variation. An important regulatory mechanism is the so-called positive feedback, in which a system reinforces its own response, for instance by stimulating the production of an activator. Bistability is an interesting and relevant phenomenon, in which two distinct subpopulations of cells showing discrete levels of gene expression coexist in a single culture. In this chapter, we address techniques and approaches used to establish phenotypic variation, and relate three well-characterized examples of bistability to the molecular mechanisms that govern these processes, with a focus on positive feedback.
Use of deep learning to develop continuous-risk models for adverse event prediction from electronic health records
Early prediction of patient outcomes is important for targeting preventive care. This protocol describes a practical workflow for developing deep-learning risk models that can predict various clinical and operational outcomes from structured electronic health record (EHR) data. The protocol comprises five main stages: formal problem definition, data pre-processing, architecture selection, calibration and uncertainty, and generalizability evaluation. We have applied the workflow to four endpoints (acute kidney injury, mortality, length of stay and 30-day hospital readmission). The workflow can enable continuous (e.g., triggered every 6 h) and static (e.g., triggered at 24 h after admission) predictions. We also provide an open-source codebase that illustrates some key principles in EHR modeling. This protocol can be used by interdisciplinary teams with programming and clinical expertise to build deep-learning prediction models with alternate data sources and prediction tasks
Identification of novel target genes of nerve growth factor (NGF) in human mastocytoma cell line (HMC-1 (V560G c-Kit)) by transcriptome analysis
<p>Abstract</p> <p>Background</p> <p>Nerve growth factor (NGF) is a potent growth factor that plays a key role in neuronal cell differentiation and may also play a role in hematopoietic differentiation. It has been shown that NGF induced synergistic action for the colony formation of CD34 positive hematopoietic progenitor cells treated with macrophage-colony stimulating factor (M-CSF or CSF-1), or stem cell factor (SCF). However, the exact role of NGF in hematopoietic system is unclear. It is also not clear whether NGF mediated signals in hematopoietic cells are identical to those in neuronal cells.</p> <p>Results</p> <p>To study the signal transduction pathways induced by NGF treatment in hematopoietic cells, we utilized the mastocytoma cell line HMC-1(V560G c-Kit) which expresses the NGF receptor, tropomyosin-receptor-kinase (Trk)A, as well as the constitutively activated SCF receptor, V560G c-Kit, which can be inhibited completely by treatment with the potent tyrosine kinase inhibitor imatinib mesylate (imatinib). NGF rescues HMC-1(V560G c-Kit) cells from imatinib mediated cell death and promotes proliferation. To examine the NGF mediated proliferation and survival in these cells, we compared the NGF mediated upregulated genes (30 and 120 min after stimulation) to the downregulated genes by imatinib treatment (downregulation of c-Kit activity for 4 h) by transcriptome analysis. The following conclusions can be drawn from the microarray data: Firstly, gene expression profiling reveals 50% overlap of genes induced by NGF-TrkA with genes expressed downstream of V560G c-Kit. Secondly, NGF treatment does not enhance expression of genes involved in immune related functions that were down regulated by imatinib treatment. Thirdly, more than 55% of common upregulated genes are involved in cell proliferation and survival. Fourthly, we found Kruppel-like factor (KLF) 2 and Smad family member 7 (SMAD7) as the NGF mediated novel downstream genes in hematopoietic cells. Finally, the downregulation of KLF2 gene enhanced imatinib induced apoptosis.</p> <p>Conclusion</p> <p>NGF does not induce genes which are involved in immune related functions, but induces proliferation and survival signals in HMC-1(V560G c-Kit) cells. Furthermore, the current data provide novel candidate genes, KLF2 and SMAD7 which are induced by NGF/TrkA activation in hematopoietic cells. Since the depletion of KLF2 causes enhanced apoptosis of HMC-1(V560G c-Kit), KLF2 may play a role in the NGF mediated survival signal.</p
- …