1,256 research outputs found
Power spectrum analysis of staggered quadriphase-shift-keyed signals
Mathematical analysis of power spectrum of outputs from high-reliability communication system is used to determine system bandwidth. Analysis provides mathematical relationships of signal power spectrum at output of hard limiter for any type of baseband pulse input subjected only to output parameter constraints
Study of symmetry in F(R) theory of gravity
An action in which the Ricci scalar is nonminimally coupled with a scalar
field and contains higher order curvature invariant terms carries a conserved
current under certain conditions that decouples geometric part from the scalar
field. The conserved current relates the pair of arbitrary coupling parameters
and with the gravitational field variable, where
is the Brans-Dicke coupling parameter. The existence of such
conserved current may be helpful to sketch the cosmological evolution from its
early age till date in a single frame.Comment: 6 page
Evaluating kernels on Xeon Phi to accelerate Gysela application
This work describes the challenges presented by porting parts ofthe Gysela
code to the Intel Xeon Phi coprocessor, as well as techniques used for
optimization, vectorization and tuning that can be applied to other
applications. We evaluate the performance of somegeneric micro-benchmark on Phi
versus Intel Sandy Bridge. Several interpolation kernels useful for the Gysela
application are analyzed and the performance are shown. Some memory-bound and
compute-bound kernels are accelerated by a factor 2 on the Phi device compared
to Sandy architecture. Nevertheless, it is hard, if not impossible, to reach a
large fraction of the peek performance on the Phi device,especially for
real-life applications as Gysela. A collateral benefit of this optimization and
tuning work is that the execution time of Gysela (using 4D advections) has
decreased on a standard architecture such as Intel Sandy Bridge.Comment: submitted to ESAIM proceedings for CEMRACS 2014 summer school version
reviewe
Univalent Foundations and the UniMath Library
We give a concise presentation of the Univalent Foundations of mathematics outlining the main ideas, followed by a discussion of the UniMath library of formalized mathematics implementing the ideas of the Univalent Foundations (section 1), and the challenges one faces in attempting to design a large-scale library of formalized mathematics (section 2). This leads us to a general discussion about the links between architecture and mathematics where a meeting of minds is revealed between architects and mathematicians (section 3). On the way our odyssey from the foundations to the "horizon" of mathematics will lead us to meet the mathematicians David Hilbert and Nicolas Bourbaki as well as the architect Christopher Alexander
A Solution to the Graceful Exit Problem in Pre-Big Bang Cosmology
We examine the string cosmology equations with a dilaton potential in the
context of the Pre-Big Bang Scenario with the desired scale factor duality, and
give a generic algorithm for obtaining solutions with appropriate evolutionary
properties. This enables us to find pre-big bang type solutions with suitable
dilaton behaviour that are regular at , thereby solving the graceful exit
problem. However to avoid fine tuning of initial data, an `exotic' equation of
state is needed that relates the fluid properties to the dilaton field. We
discuss why such an equation of state should be required for reliable dilaton
behaviour at late times.Comment: 16 pages LaTeX, 5 figures. To appear in Physical Review
- …