7,591 research outputs found
An automatic abstraction technique for verifying featured, parameterised systems
A general technique combining model checking and abstraction is presented that allows property based analysis of systems consisting of an arbitrary number of featured components. We show how parameterised systems can be specified in a guarded command form with constraints placed on variables which occur in guards. We prove that results that hold for a small number of components can be shown to scale up. We then show how featured systems can be specified in a similar way, by relaxing constraints on guards. The main result is a generalisation theorem for featured systems which we apply to two well known examples
Regulating Scotland's social landlords: localised resistance to technologies of performance management
Influenced by Foucault's later work on governmentality, this paper explores the regulation of social landlords as a 'technology of performance' concerned with governing the conduct of dispersed welfare agencies and the professionals within them. This is a mode of power that is both voluntary and coercive; it seeks to realise its ambitions not through direct acts of intervention, but by promoting the responsible self-governance of autonomous subjects. Through an analysis of the regulatory framework for social landlords in Scotland, this paper highlights the creation of a performance culture that seeks to mobilise housing organisations to reconcile their local management systems and service provision to external standards, whilst simultaneously wielding punitive interventions for non-compliance. However, housing professionals are not passive in all of this, and indeed, actively challenged and resisted these top-down attempts to govern them at arm's-length
Post-Foucauldian governmentality: what does it offer critical social policy analysis?
This article considers the theoretical perspective of post-Foucauldian governmentality, especially the insights and challenges it poses for applied researchers within the critical social policy tradition. The article firstly examines the analytical strengths of this approach to understanding power and rule in contemporary society, before moving on to consider its limitations for social policy. It concludes by arguing that these insights can be retained, and some of the weaknesses overcome, by adopting a ârealist governmentalityâ approach (Stenson 2005, 2008). This advocates combining traditional discursive analysis with more ethnographic methods in order to render visible the concrete activity of governing, and unravel the messiness, complexity and unintended consequences involved in the struggles around subjectivity
Gamma Rays from Star Formation in Clusters of Galaxies
Star formation in galaxies is observed to be associated with gamma-ray
emission. The detection of gamma rays from star-forming galaxies by the Fermi
Large Area Telescope (LAT) has allowed the determination of a functional
relationship between star formation rate and gamma-ray luminosity (Ackermann
et. al. 2012). Since star formation is known to scale with total infrared
(8-1000 micrometers) and radio (1.4 GHz) luminosity, the observed infrared and
radio emission from a star-forming galaxy can be used to quantitatively infer
the galaxy's gamma-ray luminosity. Similarly, star forming galaxies within
galaxy clusters allow us to derive lower limits on the gamma-ray emission from
clusters, which have not yet been conclusively detected in gamma rays. In this
study we apply the relationships between gamma-ray luminosity and radio and IR
luminosities derived in Ackermann et. al. 2012 to a sample of galaxy clusters
from Ackermann et. al. 2010 in order to place lower limits on the gamma-ray
emission associated with star formation in galaxy clusters. We find that
several clusters have predicted lower limits on gamma-ray emission that are
within an order of magnitude of the upper limits derived in Ackermann et. al.
2010 based on non-detection by Fermi-LAT. Given the current gamma-ray limits,
star formation likely plays a significant role in the gamma-ray emission in
some clusters, especially those with cool cores. We predict that both Fermi-LAT
over the course of its lifetime and the future Cherenkov Telescope Array will
be able to detect gamma-ray emission from star-forming galaxies in clusters.Comment: 17 pages, 2 figures, 2 tables. Minor revisions made to match version
accepted to Ap
Georgia Academy of Science, University of North Georgia, March 15th-16th, 2019
The annual meeting of the Georgia Academy of Science took place March 15â16, 2019, at the University of North Georgia in Oakwood. The keynote speaker was Dr. Marguerite Madden, Professor in the University of Georgia\u27s Department of Geography and Director of the Center for Geospatial Research. Her presentation was entitled Geospatial Technologies and Augmented Reality Spark Excitement in Science Education, Research and Outreach. Additional presentations were provided by members of the Academy who represented the following sections: I. Biological Sciences, II. Chemistry, III. Earth & Atmospheric Sciences, IV. Physics, Mathematics, Computer Science, Engineering, & Technology, V. Biomedical Sciences, VI. Philosophy & History of Science, VII. Science Education, and VIII. Anthropology
Polarization of Broad Absorption Line QSOs I. A Spectropolarimetric Atlas
We present a spectropolarimetric survey of 36 broad absorption line
quasi-stellar objects (BAL QSOs). The continuum, absorption trough, and
emission line polarization of BAL QSOs yield clues about their structure. We
confirm that BAL QSOs are in general more highly polarized than non-BAL QSOs,
consistent with a more equatorial viewing direction for the former than the
latter. We have identified two new highly-polarized QSOs in our sample
(1232+1325 and 1333+2840). The polarization rises weakly to the blue in most
objects, perhaps due to scattering and absorption by dust particles. We find
that a polarization increase in the BAL troughs is a general property of
polarized BAL QSOs, indicating an excess of scattered light relative to direct
light, and consistent with the unification of BAL QSOs and non-BAL QSOs. We
have also discovered evidence of resonantly scattered photons in the red wing
of the C IV broad emission lines of a few objects. In most cases, the broad
emission lines have lower polarization and a different position angle than the
continuum. The polarization characteristics of low-ionization BAL QSOs are
similar to those of high-ionization BAL QSOs, suggesting a similar BAL wind
geometry.Comment: 39 pages, 6 figures (20 .gif files), accepted for publication in The
Astrophysical Journal Supplement
Health care provider decision-making and the quality of maternity care: an analysis of postpartum care in Kenyan hospitals
Evidence suggests that health care providers' non-adherence to clinical guidelines is widespread and contributes to poor patient outcomes across low- and middle-income countries. Through observations of maternity care in Kenya, we found limited adherence to guideline-recommended active monitoring of patients for signs of postpartum hemorrhage, the leading cause of maternal mortality, despite providers' having the necessary training and equipment. Using survey vignettes conducted with 144 maternity providers, we documented evidence consistent with subjective risk and perceived uncertainty driving providers' decisions to actively monitor patients. Motivated by these findings, we introduced a simple model of providers' decision-making about whether to monitor a patient, which may depend on their perceptions of risk, diagnostic uncertainty, and the value of new information. The model highlights key trade-offs between gathering diagnostic information through active monitoring versus waiting for signs and symptoms of hemorrhage to manifest. Our work provides a template for understanding provider decision-making and could inform interventions to encourage more proactive obstetric care
Eubacterial SpoVG homologs constitute a new family of site-specific DNA-binding proteins
A site-specific DNA-binding protein was purified from Borrelia burgdorferi cytoplasmic extracts, and determined to be a member of the highly conserved SpoVG family. This is the first time a function has been attributed to any of these ubiquitous bacterial proteins. Further investigations into SpoVG orthologues indicated that the Staphylococcus aureus protein also binds DNA, but interacts preferentially with a distinct nucleic acid sequence. Site-directed mutagenesis and domain swapping between the S. aureus and B. burgdorferi proteins identified that a 6-residue stretch of the SpoVG α-helix contributes to DNA sequence specificity. Two additional, highly conserved amino acid residues on an adjacent ÎČ-sheet are essential for DNA-binding, apparently by contacts with the DNA phosphate backbone. Results of these studies thus identified a novel family of bacterial DNA-binding proteins, developed a model of SpoVG-DNA interactions, and provide direction for future functional studies on these wide-spread proteins
Efficient Symmetry Reduction and the Use of State Symmetries for Symbolic Model Checking
One technique to reduce the state-space explosion problem in temporal logic
model checking is symmetry reduction. The combination of symmetry reduction and
symbolic model checking by using BDDs suffered a long time from the
prohibitively large BDD for the orbit relation. Dynamic symmetry reduction
calculates representatives of equivalence classes of states dynamically and
thus avoids the construction of the orbit relation. In this paper, we present a
new efficient model checking algorithm based on dynamic symmetry reduction. Our
experiments show that the algorithm is very fast and allows the verification of
larger systems. We additionally implemented the use of state symmetries for
symbolic symmetry reduction. To our knowledge we are the first who investigated
state symmetries in combination with BDD based symbolic model checking
- âŠ