257 research outputs found
A Reduction from Unbounded Linear Mixed Arithmetic Problems into Bounded Problems
We present a combination of the Mixed-Echelon-Hermite transformation and the
Double-Bounded Reduction for systems of linear mixed arithmetic that preserve
satisfiability and can be computed in polynomial time. Together, the two
transformations turn any system of linear mixed constraints into a bounded
system, i.e., a system for which termination can be achieved easily. Existing
approaches for linear mixed arithmetic, e.g., branch-and-bound and cuts from
proofs, only explore a finite search space after application of our two
transformations. Instead of generating a priori bounds for the variables, e.g.,
as suggested by Papadimitriou, unbounded variables are eliminated through the
two transformations. The transformations orient themselves on the structure of
an input system instead of computing a priori (over-)approximations out of the
available constants. Experiments provide further evidence to the efficiency of
the transformations in practice. We also present a polynomial method for
converting certificates of (un)satisfiability from the transformed to the
original system
Low-Afterglow, High-Refractive-Index Liquid Scintillators for Fast-Neutron Spectrometry and Imaging Applications
For ion and neutron spectrometry and imaging applications at a high intensity
pulsed laser facility, fast liquid scintillators with very low afterglow are
required. Furthermore, neutron imaging with fiber (or liquid-core) capillary
arrays calls for scintillation materials with high refractive index. To this
end, we have examined various combinations of established mixtures of fluors
and solvents, that were enriched alternatively with nitrogen or oxygen.
Dissolved molecular oxygen is known to be a highly effective quenching agent,
that efficiently suppresses the population of the triplet states in the fluor,
which are primarily responsible for the afterglow. For measuring the glow
curves of scintillators, we have employed the time-correlated single photon
counting (TCSPC) technique, characterized by high dynamic range of several
orders of magnitude in light intensity. In this paper we outline the
application for the fast scintillators, briefly present the scintillation
mechanism in liquids, describe our specific TCSPC method and discuss the
results.Comment: 5 pages, Contribution to SORMA WEST 2008. To be published in IEEE
TNS, 200
SPASS-SATT: A CDCL(LA) Solver
International audienceSPASS-SATT is a CDCL(LA) solver for linear rational and linear mixed/integer arithmetic. This system description explains its specific features: fast cube tests for integer solvability, bounding transformations for unbounded problems, close interaction between the SAT solver and the theory solver, efficient data structures, and small-clause-normal-form generation. SPASS-SATT is currently one of the strongest systems on the respective SMT-LIB benchmarks
Negotiations of minority ethnic rugby league players in the Cathar country of France
This article is based on new empirical, qualitative research with minority ethnic rugby league players in the southwest of France. Drawing on similar research on rugby league in the north and the south of England, the article examines how rugby league, traditionally viewed as a white, working-class male game (Collins, 2006; Denham, 2004; Spracklen, 1995, 2001) has had to re-imagine its symbolic boundaries as they are constituted globally and locally to accommodate the needs of players from minority ethnic backgrounds. In particular, the article examines the sense in which experiences of minority ethnic rugby league players in France compare with those of their counterparts in England (Spracklen, 2001, 2007), how rugby league is used in France to construct identity, and in what sense the norms associated with the imaginary community of rugby league are replicated or challenged by the involvement of minority ethnic rugby league players in France. Questions about what it means to be (provincial, national) French (Kumar, 2006) are posed, questions that relate to the role of sport in the construction of Frenchness, and in particular the role of rugby league (and union). © Copyright ISSA and SAGE Publications
An Optical Readout TPC (O-TPC) for Studies in Nuclear Astrophysics With Gamma-Ray Beams at HIgS
We report on the construction, tests, calibrations and commissioning of an
Optical Readout Time Projection Chamber (O-TPC) detector operating with a
CO2(80%) + N2(20%) gas mixture at 100 and 150 Torr. It was designed to measure
the cross sections of several key nuclear reactions involved in stellar
evolution. In particular, a study of the rate of formation of oxygen and carbon
during the process of helium burning will be performed by exposing the chamber
gas to intense nearly mono-energetic gamma-ray beams at the High Intensity
Gamma Source (HIgS) facility. The O-TPC has a sensitive target-drift volume of
30x30x21 cm^3. Ionization electrons drift towards a double parallel grid
avalanche multiplier, yielding charge multiplication and light emission.
Avalanche induced photons from N2 emission are collected, intensified and
recorded with a Charge Coupled Device (CCD) camera, providing two-dimensional
track images. The event's time projection (third coordinate) and the deposited
energy are recorded by photomultipliers and by the TPC charge-signal,
respectively. A dedicated VME-based data acquisition system and associated data
analysis tools were developed to record and analyze these data. The O-TPC has
been tested and calibrated with 3.183 MeV alpha-particles emitted by a 148Gd
source placed within its volume with a measured energy resolution of 3.0%.
Tracks of alpha and 12C particles from the dissociation of 16O and of three
alpha-particles from the dissociation of 12C have been measured during initial
in-beam test experiments performed at the HIgS facility at Duke University. The
full detection system and its performance are described and the results of the
preliminary in-beam test experiments are reported.Comment: Supported by the Richard F. Goodman Yale-Weizmann Exchange Program,
ACWIS, NY, and USDOE grant Numbers: DE-FG02-94ER40870 and DE-FG02-97ER4103
Rap1 binding and a lipid-dependent helix in talin F1 domain promote integrin activation in tandem.
Rap1 GTPases bind effectors, such as RIAM, to enable talin1 to induce integrin activation. In addition, Rap1 binds directly to the talin1 F0 domain (F0); however, this interaction makes a limited contribution to integrin activation in CHO cells or platelets. Here, we show that talin1 F1 domain (F1) contains a previously undetected Rap1-binding site of similar affinity to that in F0. A structure-guided point mutant (R118E) in F1, which blocks Rap1 binding, abolishes the capacity of Rap1 to potentiate talin1-induced integrin activation. The capacity of F1 to mediate Rap1-dependent integrin activation depends on a unique loop in F1 that has a propensity to form a helix upon binding to membrane lipids. Basic membrane-facing residues of this helix are critical, as charge-reversal mutations led to dramatic suppression of talin1-dependent activation. Thus, a novel Rap1-binding site and a transient lipid-dependent helix in F1 work in tandem to enable a direct Rap1-talin1 interaction to cause integrin activation
- âŠ