4,925 research outputs found
Do we need a zero pure time preference or the risk of climate catastrophes to justify a 2C global warming target ?
This paper confronts the wide political support for the 2C objective of global increase in temperature, reaffirmed in Copenhagen, with the consistent set of hypotheses on which it relies. It explains why neither an almost zero pure time preference nor concerns about catastrophic damages in case of uncontrolled global warming are prerequisites for policy decisions preserving the possibility of meeting a 2C target. It rests on an optimal stochastic control model balancing the costs and benefits of climate policies resolved sequentially in order to account for the arrival of new information (the RESPONSE model). This model describes the optimal abatement pathways for 2,304 worldviews, combining hypotheses about growth rates, baseline emissions, abatement costs, pure time preference, damages, and climate sensitivity. It shows that 26 percent of the worldviews selecting the 2C target are not characterized by one of the extreme assumptions about pure time preference or climate change damages.Climate Change Mitigation and Green House Gases,Climate Change Economics,Science of Climate Change,Global Environment Facility,Environment and Energy Efficiency
Hilbert-Post completeness for the state and the exception effects
In this paper, we present a novel framework for studying the syntactic
completeness of computational effects and we apply it to the exception effect.
When applied to the states effect, our framework can be seen as a
generalization of Pretnar's work on this subject. We first introduce a relative
notion of Hilbert-Post completeness, well-suited to the composition of effects.
Then we prove that the exception effect is relatively Hilbert-Post complete, as
well as the "core" language which may be used for implementing it; these proofs
have been formalized and checked with the proof assistant Coq.Comment: Siegfried Rump (Hamburg University of Technology), Chee Yap (Courant
Institute, NYU). Sixth International Conference on Mathematical Aspects of
Computer and Information Sciences , Nov 2015, Berlin, Germany. 2015, LNC
A survey of young, nearby, and dusty stars to understand the formation of wide-orbit giant planets
Direct imaging has confirmed the existence of substellar companions on wide
orbits. To understand the formation and evolution mechanisms of these
companions, the full population properties must be characterized. We aim at
detecting giant planet and/or brown dwarf companions around young, nearby, and
dusty stars. Our goal is also to provide statistics on the population of giant
planets at wide-orbits and discuss planet formation models. We report a deep
survey of 59 stars, members of young stellar associations. The observations
were conducted with VLT/NaCo at L'-band (3.8 micron). We used angular
differential imaging to reach optimal detection performance. A statistical
analysis of about 60 % of the young and southern A-F stars closer than 65 pc
allows us to derive the fraction of giant planets on wide orbits. We use
gravitational instability models and planet population synthesis models
following the core-accretion scenario to discuss the occurrence of these
companions. We resolve and characterize new visual binaries and do not detect
any new substellar companion. The survey's median detection performance reaches
contrasts of 10 mag at 0.5as and 11.5 mag at 1as. We find the occurrence of
planets to be between 10.8-24.8 % at 68 % confidence level assuming a uniform
distribution of planets in the interval 1-13 Mj and 1-1000 AU. Considering the
predictions of formation models, we set important constraints on the occurrence
of massive planets and brown dwarf companions that would have formed by GI. We
show that this mechanism favors the formation of rather massive clump (Mclump >
30 Mj) at wide (a > 40 AU) orbits which might evolve dynamically and/or
fragment. For the population of close-in giant planets that would have formed
by CA, our survey marginally explore physical separations (<20 AU) and cannot
constrain this population
Near-infrared spatially resolved spectroscopy of (136108) Haumea's multiple system
The transneptunian region of the solar system is populated by a wide variety
of icy bodies showing great diversity. The dwarf planet (136108) Haumea is
among the largest TNOs and displays a highly elongated shape and hosts two
moons, covered with crystalline water ice like Hamuea. Haumea is also the
largest member of the sole TNO family known to date. A catastrophic collision
is likely responsible for its unique characteristics. We report here on the
analysis of a new set of observations of Haumea obtained with SINFONI at the
ESO VLT. Combined with previous data, and using light-curve measurements in the
optical and far infrared, we carry out a rotationally resolved spectroscopic
study of the surface of Haumea. We describe the physical characteristics of the
crystalline water ice present on the surface of Haumea for both regions, in and
out of the Dark Red Spot (DRS), and analyze the differences obtained for each
individual spectrum. The presence of crystalline water ice is confirmed over
more than half of the surface of Haumea. Our measurements of the average
spectral slope confirm the redder characteristic of the spot region. Detailed
analysis of the crystalline water-ice absorption bands do not show significant
differences between the DRS and the remaining part of the surface. We also
present the results of applying Hapke modeling to our data set. The best
spectral fit is obtained with a mixture of crystalline water ice (grain sizes
smaller than 60 micron) with a few percent of amorphous carbon. Improvements to
the fit are obtained by adding ~10% of amorphous water ice. Additionally, we
used the IFU-reconstructed images to measure the relative astrometric position
of the largest satellite Hi`iaka and determine its orbital elements. An orbital
solution was computed with our genetic-based algorithm GENOID and our results
are in full agreement with recent results.Comment: Accepted for publication in A&
Compositional characterisation of the Themis family
Context. It has recently been proposed that the surface composition of icy
main-belt asteroids (B-,C-,Cb-,Cg-,P-,and D-types) may be consistent with that
of chondritic porous interplanetary dust particles (CPIDPs). Aims. In the light
of this new association, we re-examine the surface composition of a sample of
asteroids belonging to the Themis family in order to place new constraints on
the formation and evolution of its parent body. Methods. We acquired NIR
spectral data for 15 members of the Themis family and complemented this dataset
with existing spectra in the visible and mid-infrared ranges to perform a
thorough analysis of the composition of the family. Assuming end-member
minerals and particle sizes (<2\mum) similar to those found in CPIDPs, we used
a radiative transfer code adapted for light scattering by small particles to
model the spectral properties of these asteroids. Results. Our best-matching
models indicate that most objects in our sample possess a surface composition
that is consistent with the composition of CP IDPs.We find ultra-fine grained
Fe-bearing olivine glasses to be among the dominant constituents. We further
detect the presence of minor fractions of Mg-rich crystalline silicates. The
few unsuccessfully matched asteroids may indicate the presence of interlopers
in the family or objects sampling a distinct compositional layer of the parent
body. Conclusions. The composition inferred for the Themis family members
suggests that the parent body accreted from a mixture of ice and anhydrous
silicates (mainly amorphous) and subsequently underwent limited heating. By
comparison with existing thermal models that assume a 400km diameter
progenitor, the accretion process of the Themis parent body must have occurred
relatively late (>4Myr after CAIs) so that only moderate internal heating
occurred in its interior, preventing aqueous alteration of the outer shell.Comment: 9 pages, 5 figures, accepted for publication in A&
Ten Years of the Solar Radiospectrograph ARTEMIS-IV
The Solar Radiospectrograph of the University of Athens (ARTEMIS-IV) is in
operation at the Thermopylae Satellite Communication Station since 1996. The
observations extend from the base of the Solar Corona (650 MHz) to about 2
Solar Radii (20 MHz) with time resolution 1/10-1/100 sec. The instruments
recordings, being in the form of dynamic spectra, measure radio flux as a
function of height in the corona; our observations are combined with spatial
data from the Nancay Radioheliograph whenever the need for 3D positional
information arises. The ARTEMIS-IV contribution in the study of solar radio
bursts is two fold- Firstly, in investigating new spectral characteristics
since its high sampling rate facilitates the study of fine structures in radio
events. On the other hand it is used in studying the association of solar
bursts with interplanetary phenomena because of its extended frequency range
which is, furthermore, complementary to the range of the WIND/WAVES receivers
and the observations may be readily combined. This reports serves as a brief
account of this operation. Joint observations with STEREO/WAVES and LOFAR low
frequency receivers are envisaged in the future
Parallel computation of echelon forms
International audienceWe propose efficient parallel algorithms and implementations on shared memory architectures of LU factorization over a finite field. Compared to the corresponding numerical routines, we have identified three main difficulties specific to linear algebra over finite fields. First, the arithmetic complexity could be dominated by modular reductions. Therefore, it is mandatory to delay as much as possible these reductions while mixing fine-grain parallelizations of tiled iterative and recursive algorithms. Second, fast linear algebra variants, e.g., using Strassen-Winograd algorithm, never suffer from instability and can thus be widely used in cascade with the classical algorithms. There, trade-offs are to be made between size of blocks well suited to those fast variants or to load and communication balancing. Third, many applications over finite fields require the rank profile of the matrix (quite often rank deficient) rather than the solution to a linear system. It is thus important to design parallel algorithms that preserve and compute this rank profile. Moreover, as the rank profile is only discovered during the algorithm, block size has then to be dynamic. We propose and compare several block decomposition: tile iterative with left-looking, right-looking and Crout variants, slab and tile recursive. Experiments demonstrate that the tile recursive variant performs better and matches the performance of reference numerical software when no rank deficiency occur. Furthermore, even in the most heterogeneous case, namely when all pivot blocks are rank deficient, we show that it is possbile to maintain a high efficiency
- …