11,576 research outputs found
Collective modes of trapped Fermi gases with in-medium interaction
Due to Pauli blocking of intermediate states, the scattering matrix (or
matrix) of two fermionic atoms in a Fermi gas becomes different from that of
two atoms in free space. This effect becomes particularly important near a
Feshbach resonance, where the interaction in free space is very strong but
becomes effectively suppressed in the medium. We calculate the in-medium
matrix in ladder approximation and study its effects on the properties of
collective modes of a trapped gas in the normal-fluid phase. We introduce the
in-medium interaction on both sides of the Boltzmann equation, namely in the
calculation of the mean field and in the calculation of the collision rate.
This allows us to explain the observed upward shift of the frequency of the
quadrupole mode in the collisionless regime. By including the mean field, we
also improve considerably the agreement with the measured temperature
dependence of frequency and damping rate of the scissors mode, whereas the use
of the in-medium cross section deteriorates the description, in agreement with
previous work.Comment: 17 page
Prague's Emission Fourier Transform Microwave Spectrometer - Design and Preliminary Results
The design, performance and operation of the high resolution microwave spectrometer are described. The spectrometer is based on the Fabry-Perot resonator supplemented by a pulsed supersonic nozzle for adiabatic cooling of the sample. The spectrometer’s high sensitivity and resolution are demonstrated by several examples
Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar
This paper presents a combination of several automated reasoning and proof
presentation tools with the Mizar system for formalization of mathematics. The
combination forms an online service called MizAR, similar to the SystemOnTPTP
service for first-order automated reasoning. The main differences to
SystemOnTPTP are the use of the Mizar language that is oriented towards human
mathematicians (rather than the pure first-order logic used in SystemOnTPTP),
and setting the service in the context of the large Mizar Mathematical Library
of previous theorems,definitions, and proofs (rather than the isolated problems
that are solved in SystemOnTPTP). These differences poses new challenges and
new opportunities for automated reasoning and for proof presentation tools.
This paper describes the overall structure of MizAR, and presents the automated
reasoning systems and proof presentation tools that are combined to make MizAR
a useful mathematical service.Comment: To appear in 10th International Conference on. Artificial
Intelligence and Symbolic Computation AISC 201
ENIGMA: Efficient Learning-based Inference Guiding Machine
ENIGMA is a learning-based method for guiding given clause selection in
saturation-based theorem provers. Clauses from many proof searches are
classified as positive and negative based on their participation in the proofs.
An efficient classification model is trained on this data, using fast
feature-based characterization of the clauses . The learned model is then
tightly linked with the core prover and used as a basis of a new parameterized
evaluation heuristic that provides fast ranking of all generated clauses. The
approach is evaluated on the E prover and the CASC 2016 AIM benchmark, showing
a large increase of E's performance.Comment: Submitted to LPAR 201
Thermodynamics of the Coma Cluster Outskirts
We present results from a large mosaic of Suzaku observations of the Coma
Cluster, the nearest and X-ray brightest hot, dynamically active, non-cool core
system, focusing on the thermodynamic properties of the ICM on large scales.
For azimuths not aligned with an infalling subcluster towards the southwest,
our measured temperature and X-ray brightness profiles exhibit broadly
consistent radial trends, with the temperature decreasing from about 8.5 keV at
the cluster center to about 2 keV at a radius of 2 Mpc, which is the edge of
our detection limit. The SW merger significantly boosts the surface brightness,
allowing us to detect X-ray emission out to ~2.2 Mpc along this direction.
Apart from the southwestern infalling subcluster, the surface brightness
profiles show multiple edges around radii of 30-40 arcmin. The azimuthally
averaged temperature profile, as well as the deprojected density and pressure
profiles, all show a sharp drop consistent with an outward propagating shock
front located at 40 arcmin, corresponding to the outermost edge of the giant
radio halo observed at 352 MHz with the WSRT. The shock front may be powering
this radio emission. A clear entropy excess inside of r_500 reflects the
violent merging events linked with these morphological features. Beyond r_500,
the entropy profiles of the Coma Cluster along the relatively relaxed
directions are consistent with the power-law behavior expected from simple
models of gravitational large-scale structure formation. The pressure is also
in agreement at these radii with the expected values measured from SZ data from
the Planck satellite. However, due to the large uncertainties associated with
the Coma Cluster measurements, we cannot yet exclude an entropy flattening in
this system consistent with that seen in more relaxed cool core clusters.Comment: submitted to ApJ; revised after first referee repor
Heat shock response and insulin-associated neurodegeneration
Dysfunctional insulin and insulin-like growth factor-I (IGF-I) signaling contributes to the pathological progression of diabetes, diabetic peripheral neuropathy (DPN), Alzheimer's (AD), Parkinson's (PD) and Huntington's diseases (HD). Despite their prevalence, there are limited therapeutic options available for the treatment of these neurodegenerative disorders. Therefore, establishing a link between insulin/IGF-I and the pathoetiology of these diseases may provide alternative approaches toward their management. Many of the heat shock proteins (Hsps) are well-known molecular chaperones that solubilize and clear damaged proteins and protein aggregates. Recent studies suggest that modulating Hsps may represent a promising therapeutic avenue for improving insulin and IGF-I signaling. Pharmacological induction of the heat shock response (HSR) may intersect with insulin/IGF-I signaling to improve aspects of neurodegenerative phenotypes. Herein, we review the intersection between Hsps and the insulin/IGF systems under normal and pathological conditions. The discussion will emphasize the potential of non-toxic HSR inducers as viable therapeutic agents
Reining in the Web's Inconsistencies with Site Policy
Over the years, browsers have adopted an ever-increasing number of client-enforced security policies deployed through HTTP headers. Such mechanisms are fundamental for web application security, and usually deployed on a per-page basis. This, however, enables inconsistencies, as different pages within the same security boundaries (in form of origins or sites) can express conflicting security requirements. In this paper, we formalize inconsistencies for cookie security attributes, CSP, and HSTS, and then quantify the magnitude and impact of inconsistencies at scale by crawling 15,000 popular sites. We show that numerous sites endanger their own security by omission or misconfiguration of the aforementioned mechanisms, which lead to unnecessary exposure to XSS, cookie theft, and HSTS deactivation. We then use our data to analyse to which extent the recent Origin Policy proposal can fix the problem of inconsistencies. Unfortunately, we conclude that the current Origin Policy design suffers from major shortcomings which limit its practical applicability to address security inconsistencies while catering to the need of real-world sites. Based on these insights, we propose Site Policy, designed to overcome Origin Policy's shortcomings and make any insecurity explicit. We make a prototype implementation of Site Policy publicly available, along with a supporting toolchain for initial policy generation, security analysis, and test deployment
- …