412,261 research outputs found
Strong Equivalence Relations for Iterated Models
The Iterated Immediate Snapshot model (IIS), due to its elegant geometrical
representation, has become standard for applying topological reasoning to
distributed computing. Its modular structure makes it easier to analyze than
the more realistic (non-iterated) read-write Atomic-Snapshot memory model (AS).
It is known that AS and IIS are equivalent with respect to \emph{wait-free
task} computability: a distributed task is solvable in AS if and only if it
solvable in IIS. We observe, however, that this equivalence is not sufficient
in order to explore solvability of tasks in \emph{sub-models} of AS (i.e.
proper subsets of its runs) or computability of \emph{long-lived} objects, and
a stronger equivalence relation is needed. In this paper, we consider
\emph{adversarial} sub-models of AS and IIS specified by the sets of processes
that can be \emph{correct} in a model run. We show that AS and IIS are
equivalent in a strong way: a (possibly long-lived) object is implementable in
AS under a given adversary if and only if it is implementable in IIS under the
same adversary. %This holds whether the object is one-shot or long-lived.
Therefore, the computability of any object in shared memory under an
adversarial AS scheduler can be equivalently investigated in IIS
Supersymmetry Searches at the LHC
The search for Beyond the Standard Model (BSM) physics is one of the major
tasks of the LHC, CERN. In these proceedings, I review the status of searches
for Supersymmetry by the ATLAS and CMS collaborations. The efforts in both the
hadronic and leptonic search channels are presented. A special focus is placed
on the treatment of approximately one inverse femtobarn of early LHC data, and
examples of background estimation techniques in such a dataset are given.
Phenomenologically, besides "typical" mSUGRA scenarios, signatures based on
prompt and non-pointing photons, as well as long-lived leptons and hadrons
(R-hadrons) are covered.Comment: 10 pages, 19 figure
Circular Dichroism is Sensitive to Monovalent Cation Binding in Monensin Complexes
We present a lock-free version of the light-weight userlevel task management library called Wool, in an aim to show that even extremely well tuned, in terms of synchronization,applications can benefit from lock-free programming.Explicit multi-threading is an efficient way to exploit the offered parallelism of multi-core and multi-processor based systems. However, it can sometimes be hard to expressthe inherited parallelism in programs using a limited number of long lived threads. Often it can be more straightforwardto dynamically create a large number of small tasks that in turn automatically execute on the available threads.Wool is a promising and efficient library and framework that allows the programmer to create user tasks in C with a very low overhead. The library automatically executestasks and balances the load evenly on a given number of threads by utilizing work stealing techniques. However, thesynchronization for stealing tasks is based on mutual exclusion which is known to limit parallelism and efficiency. We have designed and implemented a new lock-free algorithmfor synchronization of stealing tasks in Wool. Experiments show similar or significantly improved performance on a setof benchmarks executed on a multi-core platform
Recommended from our members
Characterization and Quantification of the Role of Coherence in Ultrafast Quantum Biological Experiments Using Quantum Master Equations, Atomistic Simulations, and Quantum Process Tomography
Long-lived electronic coherences in various photosynthetic complexes at cryogenic and room temperature have generated vigorous efforts both in theory and experiment to understand their origins and explore their potential role to biological function. The ultrafast signals resulting from the experiments that show evidence for these coherences result from many contributions to the molecular polarization. Quantum process tomography (QPT) is a technique whose goal is that of obtaining the time-evolution of all the density matrix elements based on a designed set of experiments with different preparation and measurements. The QPT procedure was conceived in the context of quantum information processing to characterize and understand general quantum evolution of controllable quantum systems, for example while carrying out quantum computational tasks. We introduce our QPT method for ultrafast experiments, and as an illustrative example, apply it to a simulation of a two-chromophore subsystem of the Fenna-Matthews-Olson photosynthetic complex, which was recently shown to have long-lived quantum coherences. Our Fenna-Matthews-Olson model is constructed using an atomistic approach to extract relevant parameters for the simulation of photosynthetic complexes that consists of a quantum mechanics/molecular mechanics approach combined with molecular dynamics and the use of state-of-the-art quantum master equations. We provide a set of methods that allow for quantifying the role of quantum coherence, dephasing, relaxation and other elementary processes in energy transfer efficiency in photosynthetic complexes, based on the information obtained from the atomistic simulations, or, using QPT, directly from the experiment. The ultimate goal of the combination of this diverse set of methodologies is to provide a reliable way of quantifying the role of long-lived quantum coherences and obtain atomistic insight of their causes.Chemistry and Chemical Biolog
Using narrative as a tool to locate and challenge pre service teacher bodies in health and physical education
This paper reports on research that has explored the use of narrative as a pedagogical tool in pre service teacher education. Specifically, we pursue the use of narrative to engage with pre service teachers’ embodied experiences [their lived body] and the ways in which these experiences are in turn currently influencing their ‘living bodies’ in regard to what Health and Physical Education (HPE) is and how it should be taught. Data in the form of an assemblage of pre service teachers’ narratives are presented to show how both the lived and living body contributes to thoughts and ideas about HPE. Discussion also reflects on the pedagogical merits of using narrative in pre service teacher education. We contend that narrative has a potentially important role to play in pre service teachers coming to better understand their bodies and can assist in moving them beyond what they experienced as HPE as school students
Couples' provision of informal care for parents and parents-in-law: far from sharing equally?
This study examines whether and how couples share the provision of informal care for their parents. Four waves of the British General Household Survey contain cross-sectional information about caring for parents and parents-in-law. Descriptive and multivariate analyses were conducted on 2214 couples that provided parent care. The findings emphasise married men’s contribution to informal caring for the parental generation and at the same time demonstrate the limits of their involvement. Spouses share many parts of their care-giving but this arrangement is less common with respect to personal and physical care. The more care is required the more likely are people to participate in care for their parents-in-law. More sons-in-law than daughters-in-law provide care but, once involved, daughters-in-law provide on average more hours of care than sons-inlaw. Own full-time employment reduces both men’s and women’s caring for their parents-in-law, and men’s caring drops further if their wife is not in the labour market. The findings suggest that daughters-in-law often take direct responsibility whereas sons-in-laws’ care-giving depends more on their wives’ involvement. Children-in-laws’ informal care-giving might decrease in the future because of women’s increasing involvement in the labour market and rising levels of nonmarital cohabitation in mid-life
Context for goal-level product line derivation
Product line engineering aims at developing a family of products and facilitating the derivation of product variants from it. Context can be a main factor in determining what products to derive. Yet, there is gap in incorporating context with variability models. We advocate that, in the first place, variability originates from human intentions and choices even before software systems are constructed, and context influences variability at this intentional level before the functional one. Thus, we propose to analyze variability at an early phase of analysis adopting the intentional ontology of goal models, and studying how context can influence such variability. Below we present a classification of variation points on goal models, analyze their relation with context, and show the process of constructing and maintaining the models. Our approach is illustrated with an example of a smarthome for people with dementia problems. 1
- …