3,072 research outputs found
Weakly Equivalent Arrays
The (extensional) theory of arrays is widely used to model systems. Hence,
efficient decision procedures are needed to model check such systems. Current
decision procedures for the theory of arrays saturate the read-over-write and
extensionality axioms originally proposed by McCarthy. Various filters are used
to limit the number of axiom instantiations while preserving completeness. We
present an algorithm that lazily instantiates lemmas based on weak equivalence
classes. These lemmas are easier to interpolate as they only contain existing
terms. We formally define weak equivalence and show correctness of the
resulting decision procedure
Quantum Description of Nuclear Spin Cooling in a Quantum Dot
We study theoretically the cooling of an ensemble of nuclear spins coupled to
the spin of a localized electron in a quantum dot. We obtain a master equation
for the state of the nuclear spins interacting with a sequence of polarized
electrons that allows us to study quantitatively the cooling process including
the effect of nuclear spin coherences, which can lead to ``dark states'' of the
nuclear system in which further cooling is inhibited. We show that the
inhomogeneous Knight field mitigates this effect strongly and that the
remaining dark state limitations can be overcome by very few shifts of the
electron wave function, allowing for cooling far beyond the dark state limit.
Numerical integration of the master equation indicates, that polarizations
larger than 90% can be achieved within a millisecond timescale.Comment: published version; 9 pages, 4 figure
Managing bereavement in the classroom: a conspiracy of silence?
The ways in which teachers in British schools manage bereaved children are under-reported. This article reports the impact of students' bereavement and their subsequent management in primary and secondary school classrooms in Southeast London. Thirteen school staff working in inner-city schools took part in in-depth interviews that focused on the impact of bereaved children on the school and how teachers responded to these children. All respondents had previously had contact with a local child bereavement service that aims to provide support, advice, and consultancy to children, their parents, and teachers. Interviews were audiotaped, transcribed verbatim, and analyzed using ATLAS-ti. Three main themes were identified from analysis of interview data. Firstly, British society, culture, local communities, and the family were significant influences in these teachers' involvement with bereaved students. Secondly, school staff managed bereaved students through contact with other adults and using practical classroom measures such as "time out" cards and contact books. Lastly, teachers felt they had to be strong, even when they were distressed. Surprise was expressed at the mature reaction of secondary school students to deaths of others. The article recommends that future research needs to concentrate on finding the most effective way of supporting routinely bereaved children, their families, and teachers
Changing the ideological roots of prejudice: Longitudinal effects of ethnic intergroup contact on social dominance orientation
Social Dominance Orientation (SDO) has been reported to be strongly related to a multitude of intergroup phenomena, but little is known about situational experiences that may influence SDO. Drawing from research on intergroup contact theory, we argue that positive intergroup contact is able to reduce SDO-levels. The results of an intergroup contact intervention study among high school students (Study 1, N=71) demonstrated that SDO-levels were indeed attenuated after the intervention. Furthermore, this intervention effect on SDO was especially pronounced among students reporting a higher quality of contact. A cross-lagged longitudinal survey among adults (Study 2, N=363) extended these findings by demonstrating that positive intergroup contact is able to decrease SDO over time. Moreover, we did not obtain evidence for the idea that people high in SDO would engage less in intergroup contact. These findings indicate that intergroup contact erodes one of the important socio-ideological bases of generalized prejudice and discrimination
Interpretation of Light-Quenching Factor Measurements
We observe that the pattern of the quenching factors for scintillation light
from various ions, recently studied in in connection with dark matter
detectors, can be understood as a saturation phenomenon in which the light
output is simply proportional to track length, independent of the ion and its
energy. This observation is in accord with the high dE/dx limit of Birks' law.
It suggests a simple model for the intrinsic resolution of light detectors for
low energy ions, which we briefly discuss.Comment: Seven pages, seven figures, some with colo
Phase diagram of Regge quantum gravity coupled to SU(2) gauge theory
We analyze Regge quantum gravity coupled to SU(2) gauge theory on , and simplicial lattices. It turns out that
the window of the well-defined phase of the gravity sector where geometrical
expectation values are stable extends to negative gravitational couplings as
well as to gauge couplings across the deconfinement phase transition. We study
the string tension from Polyakov loops, compare with the -function of
pure gauge theory and conclude that a physical limit through scaling is
possible.Comment: RevTeX, 14 pages, 5 figures (2 eps, 3 tex), 2 table
The CRESST Dark Matter Search
We present first competitive results on WIMP dark matter using the
phonon-light-detection technique. A particularly strong limit for WIMPs with
coherent scattering results from selecting a region of the phonon-light plane
corresponding to tungsten recoils. The observed count rate in the neutron band
is compatible with the rate expected from neutron background. CRESST is
presently being upgraded with a 66 channel SQUID readout system, a neutron
shield and a muon veto system. This results in a significant improvement in
sensitivity.Comment: 6 pages, 3 figures, to be published in the proceedings of the 5th
International Workshop on the Identification and Detection of Dark Matter IDM
2004, Edinburgh, Sept. 2004, World Scientifi
Splitting Proofs for Interpolation
We study interpolant extraction from local first-order refutations. We
present a new theoretical perspective on interpolation based on clearly
separating the condition on logical strength of the formula from the
requirement on the com- mon signature. This allows us to highlight the space of
all interpolants that can be extracted from a refutation as a space of simple
choices on how to split the refuta- tion into two parts. We use this new
insight to develop an algorithm for extracting interpolants which are linear in
the size of the input refutation and can be further optimized using metrics
such as number of non-logical symbols or quantifiers. We implemented the new
algorithm in first-order theorem prover VAMPIRE and evaluated it on a large
number of examples coming from the first-order proving community. Our
experiments give practical evidence that our work improves the state-of-the-art
in first-order interpolation.Comment: 26th Conference on Automated Deduction, 201
- …