Linearizability with Ownership Transfer

Linearizability is a commonly accepted notion of correctness for libraries of concurrent algorithms. Unfortunately, it assumes a complete isolation between a library and its client, with interactions limited to passing values of a given data type. This is inappropriate for common programming languages, where libraries and their clients can communicate via the heap, transferring the ownership of data structures, and can even run in a shared address space without any memory protection. In this paper, we present the first definition of linearizability that lifts this limitation and establish an Abstraction Theorem: while proving a property of a client of a concurrent library, we can soundly replace the library by its abstract implementation related to the original one by our generalisation of linearizability. This allows abstracting from the details of the library implementation while reasoning about the client. We also prove that linearizability with ownership transfer can be derived from the classical one if the library does not access some of data structures transferred to it by the client

Deep ROSAT-HRI observations of the NGC 1399/NGC 1404 region: morphology and structure of the X-ray halo

We present the analysis of a deep (167 ks) ROSAT HRI observation of the cD galaxy NGC 1399 in the Fornax cluster. Using both HRI and, at larger radii, archival PSPC data, we find that the radial behavior of the X-ray surface brightness profile is not consistent with a simple Beta model and suggests instead three distinct components. We use a multi-component bidimensional model to study in detail these three components that we identify respectively with the cooling flow region, the galactic and the cluster halo. From these data we derive a binding mass distribution in agreement with that suggested by optical dynamical indicators, with an inner core dominated by luminous matter and an extended dark halo differently distributed on galactic and cluster scales. The HRI data and a preliminary analysis of Chandra public data, allow us to detect significant density fluctuations in the halo. We discuss possible non-equilibrium scenarios to explain the hot halo structure, including tidal interactions with neighboring galaxies, ram stripping from the intra-cluster medium and merging events. In the innermost region of NGC 1399, the comparison between the X-ray and radio emission suggests that the radio emitting plasma is displacing and producing shocks in the hot X-ray emitting gas. We found that the NGC 1404 halo is well represented by a single symmetric Beta model and follows the stellar light profile within the inner 8 kpc. The mass distribution is similar to the `central' component of the NGC 1399 halo. At larger radii ram pressure stripping from the intra-cluster medium produces strong asymmetries in the gas distribution. Finally we discuss the properties of the point source population finding evidence of correlation between the source excess and NGC 1399.Comment: 34 pages in aastex5.0 format, including 28 B&W and 4 color figures. Uses LaTex packages: subfigure, lscape and psfig. Accepted for publication in ApJ. High resolution version can be found at: http://www.na.astro.it/~paolillo/publications.htm

Developing a partcipatory approach to seed production and varietal selection

The performance of UK winter wheat varieties was tested under organic conditions involving farmer participation. Three breadmaking varieties (Hereward, Solstice and Xi19) and their mixture (1:1:1) were grown at 19 UK farms in 2003/04 and 2004/05. The variability of productivity on organic farms was illustrated with more variation among farm sites than among varieties. Seed health was generally high over all sites. Although the trials were successful, more time was needed at project initiation to improve farmer involvement. Some farmers expected more researcher visits, and were reticent about assessing the trials themselves. In contrast, some participants valued the variety performance data on their farms particularly when related to that of other growers. The balance between the goals of the researchers relative to the farmers needs to be defined at project initiation

Children’s services in the age of information technology: What matters most to frontline professionals

Summary The last two decades have seen information systems featuring prominently in calls for the modernisation of the UK social care system. However, critics have maintained that these systems are of limited value to social care professionals whose design and implementation is driven by a preoccupation with performance management and a culture of professional audit and accountability, precepts of 'managerialism'. However, this area of research has often suffered from lack of focus on how technological changes affect public administration and service delivery and often characterises technology as a politically neutral tool detached from its socio-political context whilst also ignoring the strategic predispositions of human service professionals.Findings This research was conducted in three local authorities in England. Using the 'technological affordance' perspective, we contend that the way social workers interact with Integrated Children's System is shaped by the discord between socio-historically evolved professional values epitomising the social work profession and managerialist reforms promoting standardised ways of performing it. Application Integrated Children's System has transformed social work from an art to a technical activity, dominated by unimaginative and routinised working practices. Social workers are becoming peripheral figures and this is where social work needs to be reclaimed. Policymakers need to rethink taken for granted assumptions that practitioners would replace their professional expertise with technology and realise that the effective use of Integrated Children's System depends on bureau-professionalised judgements of social workers. Whilst specific patterns of technology usage can be developed and institutionalised, real objectives of children's social services should not be sacrificed

A participatory methodology for large scale field trials in the UK

Farmer participation was essential in developing a uniquely useful set of wheat variety trials data on a wide range of organic farms over two years. Although the trials were successful, it became clear that some of the participating farmers felt there were some limitations in the process. These included a lack of ownership in the project and a concern for more researcher help. It was clear that a greater time in-vestment was needed at the start of the project to help with farmer understanding and ownership. De-spite the negative comments, farmers appreciated their involvement, particularly in contrasting their own views and information with that from the wider scene. Farmer participation is essential for systems-level research and this project helped to develop a small core of trained farmers and researchers

X-ray and Radio Interactions in the Cores of Cooling Flow Clusters

We present high resolution ROSAT x-ray and radio observations of three cooling flow clusters containing steep spectrum radio sources at their cores. All three systems exhibit strong signs of interaction between the radio plasma and the hot intracluster medium. Two clusters, A133 and A2626, show enhanced x-ray emission spatially coincident with the radio source whereas the third cluster, A2052, exhibits a large region of x-ray excess surrounding much of the radio source. Using 3-D numerical simulations, we show that a perturbed jet propagating through a cooling flow atmosphere can give rise to amorphous radio morphologies, particularly in the case where the jet was ``turned off'' and allowed to age passively. In addition, the simulated x-ray surface brightness produced both excesses and deficits as seen observationally.Comment: 25 pages, 10 figures, accepted for publication in A

Building development and roads: implications for the distribution of stone curlews across the Brecks

Background: Substantial new housing and infrastructure development planned within England has the potential to conflict with the nature conservation interests of protected sites. The Breckland area of eastern England (the Brecks) is designated as a Special Protection Area for a number of bird species, including the stone curlew (for which it holds more than 60% of the UK total population). We explore the effect of buildings and roads on the spatial distribution of stone curlew nests across the Brecks in order to inform strategic development plans to avoid adverse effects on such European protected sites. Methodology: Using data across all years (and subsets of years) over the period 1988 – 2006 but restricted to habitat areas of arable land with suitable soils, we assessed nest density in relation to the distances to nearest settlements and to major roads. Measures of the local density of nearby buildings, roads and traffic levels were assessed using normal kernel distance-weighting functions. Quasi-Poisson generalised linear mixed models allowing for spatial auto-correlation were fitted. Results: Significantly lower densities of stone curlew nests were found at distances up to 1500m from settlements, and distances up to 1000m or more from major (trunk) roads. The best fitting models involved optimally distance-weighted variables for the extent of nearby buildings and the trunk road traffic levels. Significance : The results and predictions from this study of past data suggests there is cause for concern that future housing development and associated road infrastructure within the Breckland area could have negative impacts on the nesting stone curlew population. Given the strict legal protection afforded to the SPA the planning and conservation bodies have subsequently agreed precautionary restrictions on building development within the distances identified and used the modelling predictions to agree mitigation measures for proposed trunk road developments

Desperate housewives: An analysis of the characterisations of female gamblers portrayed in gambling movies in Hong Kong

This article examines portrayals of female gamblers in recent Hong Kong movies. The authors report that the depiction of female gamblers is very different from that of male gamblers in the movies made in the same period. Whereas the male gamblers are pitching a lonely and desperate battle against the evil opponent, the female gamblers portrayed in the movies are housewives or small-time players who gamble only for their personal gain. A general negative overtone in portrayals of female gamblers was interpreted as a reflection of the traditional view that discourages women from gambling. The shift of gambling themes in the Hong Kong movies has been identified to reflect the most salient concerns among Hong Kong residents. Such changes are attributed to particular social and cultural changes in the community

Governing the governors : a case study of college governance in English further education

This paper addresses the nature of governors in the governance of further education colleges in an English context (1). It explores the complex relationship between governors (people/agency), government (policy/structure) and governance (practice), in a college environment. While recent research has focused on the governance of schooling and higher education there has been little attention paid to the role of governors in the lifelong learning sector. The objective of the paper is to contribute to the debate about the purpose of college governance at a time when the Learning and Skills Council (LSC) commissioning era ends, and new government bodies responsible for further education and training, including local authorities, arrive. The paper analyses the nature of FE governance through the perspectives and experiences of governors, as colleges respond to calls from government for greater improvement and accountability in the sector (LSIS, 2009a). What constitutes creative governance is complex and controversial in the wider framework of regulation and public policy reform (Stoker, 1997; Seddon, 2008). As with other tricky concepts such as leadership, professionalism and learning, college governance is best defined in the contexts, cultures and situations in which it is located. College governance does not operate in a vacuum. It involves governors, chairs, principals, professionals, senior managers, clerks, community, business and wider agencies, including external audit and inspection regimes. Governance also acts as a prism through which national education and training reforms are mediated, at local level. While governing bodies are traditionally associated with the business of FE - steering, setting the tone and style, dealing with finance, funding, audit and procedural matters – they are increasingly being challenged to be more creative and responsive to the wider society. Drawing on a recent case study of six colleges, involving governors and key policy stakeholders, this paper explores FE governance in a fast changing policy environment

Complex actions in two-dimensional topology change

We investigate topology change in (1+1) dimensions by analyzing the scalar-curvature action $1/2 \int R dV$ at the points of metric-degeneration that (with minor exceptions) any nontrivial Lorentzian cobordism necessarily possesses. In two dimensions any cobordism can be built up as a combination of only two elementary types, the ``yarmulke'' and the ``trousers.'' For each of these elementary cobordisms, we consider a family of Morse-theory inspired Lorentzian metrics that vanish smoothly at a single point, resulting in a conical-type singularity there. In the yarmulke case, the distinguished point is analogous to a cosmological initial (or final) singularity, with the spacetime as a whole being obtained from one causal region of Misner space by adjoining a single point. In the trousers case, the distinguished point is a ``crotch singularity'' that signals a change in the spacetime topology (this being also the fundamental vertex of string theory, if one makes that interpretation). We regularize the metrics by adding a small imaginary part whose sign is fixed to be positive by the condition that it lead to a convergent scalar field path integral on the regularized spacetime. As the regulator is removed, the scalar density $1/2 \sqrt{-g} R$ approaches a delta-function whose strength is complex: for the yarmulke family the strength is $\beta -2\pi i$, where $\beta$ is the rapidity parameter of the associated Misner space; for the trousers family it is simply $+2\pi i$. This implies that in the path integral over spacetime metrics for Einstein gravity in three or more spacetime dimensions, topology change via a crotch singularity is exponentially suppressed, whereas appearance or disappearance of a universe via a yarmulke singularity is exponentially enhanced.Comment: 34 pages, REVTeX v3.0. (Presentational reorganization; core results unchanged.