34,259 research outputs found
Loss-tolerant operations in parity-code linear optics quantum computing
A heavy focus for optical quantum computing is the introduction of
error-correction, and the minimisation of resource requirements. We detail a
complete encoding and manipulation scheme designed for linear optics quantum
computing, incorporating scalable operations and loss-tolerant architecture.Comment: 8 pages, 6 figure
Sexual Objectification Increases Rape Victim Blame and Decreases Perceived Suffering
Sexual objectification changes the way people view women by reducing them to sexual objects—denied humanity and an internal mental life, as well as deemed unworthy of moral concern. However, the subsequent consequences of sexually objectifying others remain underresearched. In the current study, we examined the impact of objectification in the domain of sexual assault. Sixty British undergraduate students were recruited to complete an impression formation task. We manipulated objectification by presenting participants with either a sexualized or nonsexualized woman. Participants rated the woman’s mind and the extent to which they felt moral concern for her. They then learned that she was the victim of an acquaintance rape and reported victim blame and both blatant and subtle perceptions of her suffering. Consistent with prior research, sexualized women were objectified through a denial of mental states and moral concern. Further, compared with nonobjectified women, the objectified were perceived to be more responsible for being raped. Interestingly, although no difference emerged for blatant measures of suffering, participants tacitly denied the victims’ suffering by exhibiting changes in moral concern for the victim. We conclude that objectification has important consequences for how people view victims of sexual assault. Our findings reveal that sexual objectification can have serious consequences and we discuss how these might influence how victims cope and recover from sexual assault
Splitting Sensitivity of the Ground and 7.6 eV Isomeric States of 229Th
The lowest-known excited state in nuclei is the 7.6 eV isomer of 229Th. This
energy is within the range of laser-based investigations that could allow
accurate measurements of possible temporal variation of this energy splitting.
This in turn could probe temporal variation of the fine-structure constant or
other parameters in the nuclear Hamiltonian. We investigate the sensitivity of
this transition energy to these quantities. We find that the two states are
predicted to have identical deformations and thus the same Coulomb energies
within the accuracy of the model (viz., within roughly 30 keV). We therefore
find no enhanced sensitivity to variation of the fine-structure constant. In
the case of the strong interaction the energy splitting is found to have a
complicated dependence on several parameters of the interaction, which makes an
accurate prediction of sensitivity to temporal changes of fundamental constants
problematical. Neither the strong- nor Coulomb-interaction contributions to the
energy splitting of this doublet can be constrained within an accuracy better
than a few tens of keV, so that only upper limits can be set on the possible
sensitivity to temporal variations of the fundamental constants.Comment: 4 pages, 2 figure
PROGRESS TOWARD A SINGLE MARKET: THE NEW INSTITUTIONAL ECONOMICS OF THE NAFTA LIVESTOCK SECTORS
International Relations/Trade, Livestock Production/Industries,
A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency
This research started with an algebra for reasoning about rely/guarantee
concurrency for a shared memory model. The approach taken led to a more
abstract algebra of atomic steps, in which atomic steps synchronise (rather
than interleave) when composed in parallel. The algebra of rely/guarantee
concurrency then becomes an instantiation of the more abstract algebra. Many of
the core properties needed for rely/guarantee reasoning can be shown to hold in
the abstract algebra where their proofs are simpler and hence allow a higher
degree of automation. The algebra has been encoded in Isabelle/HOL to provide a
basis for tool support for program verification.
In rely/guarantee concurrency, programs are specified to guarantee certain
behaviours until assumptions about the behaviour of their environment are
violated. When assumptions are violated, program behaviour is unconstrained
(aborting), and guarantees need no longer hold. To support these guarantees a
second synchronous operator, weak conjunction, was introduced: both processes
in a weak conjunction must agree to take each atomic step, unless one aborts in
which case the whole aborts. In developing the laws for parallel and weak
conjunction we found many properties were shared by the operators and that the
proofs of many laws were essentially the same. This insight led to the idea of
generalising synchronisation to an abstract operator with only the axioms that
are shared by the parallel and weak conjunction operator, so that those two
operators can be viewed as instantiations of the abstract synchronisation
operator. The main differences between parallel and weak conjunction are how
they combine individual atomic steps; that is left open in the axioms for the
abstract operator.Comment: Extended version of a Formal Methods 2016 paper, "An algebra of
synchronous atomic steps
Efficient Parity Encoded Optical Quantum Computing
We present a linear optics quantum computation scheme with a greatly reduced
cost in resources compared to KLM. The scheme makes use of elements from
cluster state computation and achieves comparable resource usage to those
schemes while retaining the circuit based approach of KLM
- …