24,928 research outputs found
FormCalc 8: Better Algebra and Vectorization
We present Version 8 of the Feynman-diagram calculator FormCalc. New features
include in particular significantly improved algebraic simplification as well
as vectorization of the generated code. The Cuba Library, used in FormCalc,
features checkpointing to disk for all integration algorithms.Comment: 7 pages, LaTeX, proceedings contribution to ACAT 2013, Beijing,
China, 16-21 May 201
Localizing coalescing massive black hole binaries with gravitational waves
Massive black hole binary coalescences are prime targets for space-based
gravitational wave (GW) observatories such as {\it LISA}. GW measurements can
localize the position of a coalescing binary on the sky to an ellipse with a
major axis of a few tens of arcminutes to a few degrees, depending on source
redshift, and a minor axis which is times smaller. Neglecting weak
gravitational lensing, the GWs would also determine the source's luminosity
distance to better than percent accuracy for close sources, degrading to
several percent for more distant sources. Weak lensing cannot, in fact, be
neglected and is expected to limit the accuracy with which distances can be
fixed to errors no less than a few percent. Assuming a well-measured cosmology,
the source's redshift could be inferred with similar accuracy. GWs alone can
thus pinpoint a binary to a three-dimensional ``pixel'' which can help guide
searches for the hosts of these events. We examine the time evolution of this
pixel, studying it at merger and at several intervals before merger. One day
before merger, the major axis of the error ellipse is typically larger than its
final value by a factor of . The minor axis is larger by a factor
of , and, neglecting lensing, the error in the luminosity distance is
larger by a factor of . This large change over a short period of
time is due to spin-induced precession, which is strongest in the final days
before merger. The evolution is slower as we go back further in time. For , we find that GWs will localize a coalescing binary to within $\sim 10\
\mathrm{deg}^2$ as early as a month prior to merger and determine distance (and
hence redshift) to several percent.Comment: 30 pages, 10 figures, 5 tables. Version published in Ap
Recommended from our members
Targeting hyperarousal: Mantram Repetition Program for PTSD in US veterans.
Background: Hyperarousal appears to play an important role in the development and maintenance of posttraumatic stress disorder (PTSD) symptoms, but current evidence-based treatments appear to address this symptom type less effectively than the other symptom clusters. The Mantram Repetition Program (MRP) is a meditation-based intervention that has previously been shown to improve symptoms of posttraumatic stress disorder (PTSD) and may be especially helpful for hyperarousal. If MRP is an effective tool for decreasing this often treatment-resistant symptom cluster, it may become an important clinical tool. Objective: The goal of this secondary analysis was to examine the effect of the MRP on hyperarousal and other PTSD symptom clusters and to examine hyperarousal as a mediator of treatment response. Method: Secondary analyses were conducted on data from a randomized controlled trial in which Veterans with PTSD (n = 173) were assigned to the MRP or a non-specific psychotherapy control and assessed pre-treatment, post-treatment and 8 weeks after treatment completion. The impact of the interventions on PTSD symptom clusters was examined, and time-lagged hierarchical linear modelling was applied to examine alternative mediation models. Results: All PTSD symptom clusters improved in both treatments. MRP led to greater reductions in hyperarousal at post-treatment (Hedge's g = 0.57) and follow-up (Hedge's g = 0.52), and in numbing at post-treatment (Hedge's g = 0.47). Hyperarousal mediated reductions in the composite of the other PTSD symptom clusters. Although the reverse model was significant as well, the effect was weaker in this direction. Conclusion: Interventions focused on the management of hyperarousal may play an important role in recovery from PTSD. The MRP appears efficacious in reducing hyperarousal, and thereby impacting other PTSD symptom clusters, as one pathway to facilitating recovery
Low temperature plasma-catalytic NOx synthesis in a packed DBD reactor: effect of support materials and supported active metal oxides
The direct synthesis of NOx from N2 and O2 by non-thermal plasma at an atmospheric pressure and low temperature is presented, which is considered to be an attractive option for replacement of the Haber-Bosch process. In this study, the direct synthesis of NOx was studied by packing different catalyst support materials in a dielectric barrier discharge (DBD) reactor. The support materials and their particle sizes both had a significant effect on the concentration of NOx. This is attributed to different surface areas, relative dielectric constants and particles shapes. The nitrogen could be fixed at substantially lowered temperatures by employing non-thermal plasma-catalytic DBD reactor, which can be used as an alternative technology for low temperature synthesis. The Ī³-Al2O3 with smallest particles size of 250ā160 Ī¼m, gave the highest concentration of NOx and the lowest specific energy consumption of all the tested materials and particle sizes. The NOx concentration of 5700 ppm was reached at the highest residence time of 0.4 s and an N2/O2 feed ratio of 1 was found to be the most optimum for NOx production. In order to intensify the NOx production in plasma, a series of metal oxide catalysts supported on Ī³-Al2O3 were tested in a packed DBD reactor. A 5% WO3/Ī³-Al2O3 catalyst increased the NOx concentration further by about 10% compared to Ī³-Al2O3, while oxidation catalysts such as Co3O4 and PbO provided a minor (ā¼5%) improvement. These data suggest that oxygen activation plays a minor role in plasma catalytic nitrogen fixation under the studied conditions with the main role ascribed to the generation of microdischarges on sharp edges of large-surface area plasma catalysts. However, when the loading of active metal oxides was increased to 10%, NO selectivity decreased, suggesting possibility of thermal oxidation of NO to NO2 through reaction with surface oxygen species
Waiting time distribution for electron transport in a molecular junction with electron-vibration interaction
On the elementary level, electronic current consists of individual electron
tunnelling events that are separated by random time intervals. The waiting time
distribution is a probability to observe the electron transfer in the detector
electrode at time given that an electron was detected in the same
electrode at earlier time . We study waiting time distribution for quantum
transport in a vibrating molecular junction. By treating the electron-vibration
interaction exactly and molecule-electrode coupling perturbatively, we obtain
master equation and compute the distribution of waiting times for electron
transport. The details of waiting time distributions are used to elucidate
microscopic mechanism of electron transport and the role of electron-vibration
interactions. We find that as nonequilibrium develops in molecular junction,
the skewness and dispersion of the waiting time distribution experience
stepwise drops with the increase of the electric current. These steps are
associated with the excitations of vibrational states by tunnelling electrons.
In the strong electron-vibration coupling regime, the dispersion decrease
dominates over all other changes in the waiting time distribution as the
molecular junction departs far away from the equilibrium
Recommended from our members
China's building stock estimation and energy intensity analysis
Reliable and objective data regarding building stock is essential for predicting and analyzing energy demand and carbon emission. However, China's building stock data is lacking. This study proposes a set of China building floor space estimation method (CBFSM) based on the improved building stock turnover model. Then it measures China's building stocks by vintage and type from 2000 to 2015, as well as building energy intensity (national level and provincial level) and energy-efficient buildings. Results showed that total building stocks increased significantly, rising from 35.2 billion m2 in 2000 to 63.6 billion m2 in 2015, with the average growth rate 4.0%. The deviations were well below 10% by comparing with China Population Census, which validated the reliability of CBFSM and the results. As for energy intensity, urban dwellings and rural dwellings showed relatively stable and increasing trend respectively. The commercial building energy intensity saw a downward trend during ā12th Five Year Planā period. This indicated the effectiveness of building energy efficiency work for commercial buildings since 2005.38.6 billion m2 residential dwellings and 5.7 billion m2 commercial buildings still need to be retrofitted in future. CBFSM can overcome shortages in previous studies. It can also provide Chinese government with technical support and data evidence to promote the building energy efficiency work
SEPIA: Search for Proofs Using Inferred Automata
This paper describes SEPIA, a tool for automated proof generation in Coq.
SEPIA combines model inference with interactive theorem proving. Existing proof
corpora are modelled using state-based models inferred from tactic sequences.
These can then be traversed automatically to identify proofs. The SEPIA system
is described and its performance evaluated on three Coq datasets. Our results
show that SEPIA provides a useful complement to existing automated tactics in
Coq.Comment: To appear at 25th International Conference on Automated Deductio
- ā¦