Constraints on Cold H_2 Clouds from Gravitational Microlensing Searches

It has been proposed that the Galaxy might contain a population of cold clouds in numbers sufficient to account for a substantial fraction of the total mass of the Galaxy. These clouds would have masses of the order of 10^{-3} Solar mass and sizes of the order of 10 AU. We consider here the lensing effects of such clouds on the light from background stars. A semianalytical formalism for calculation of the magnification event rate produced by such gaseous lensing is developed, taking into account the spatial distribution of the dark matter in the Galaxy, the velocity distribution of the lensing clouds and source stars, and motion of the observer. Event rates are calculated for the case of gaseous lensing of stars in the Large Magellanic Cloud and results are directly compared with the results of the search for gravitational microlensing events undertaken by the MACHO collaboration. The MACHO experiment strongly constrains the properties of the proposed molecular clouds, but does not completely rule them out. Future monitoring programs will either detect or more strongly constrain this proposed population.Comment: 36 pages, 9 figures, 1 table, typos corrected, minor change

Certification of Bounds of Non-linear Functions: the Templates Method

The aim of this work is to certify lower bounds for real-valued multivariate functions, defined by semialgebraic or transcendental expressions. The certificate must be, eventually, formally provable in a proof system such as Coq. The application range for such a tool is widespread; for instance Hales' proof of Kepler's conjecture yields thousands of inequalities. We introduce an approximation algorithm, which combines ideas of the max-plus basis method (in optimal control) and of the linear templates method developed by Manna et al. (in static analysis). This algorithm consists in bounding some of the constituents of the function by suprema of quadratic forms with a well chosen curvature. This leads to semialgebraic optimization problems, solved by sum-of-squares relaxations. Templates limit the blow up of these relaxations at the price of coarsening the approximation. We illustrate the efficiency of our framework with various examples from the literature and discuss the interfacing with Coq.Comment: 16 pages, 3 figures, 2 table

From Double Chooz to Triple Chooz - Neutrino Physics at the Chooz Reactor Complex

We discuss the potential of the proposed Double Chooz reactor experiment to measure the neutrino mixing angle $\sin^2 2\theta_{13}$. We especially consider systematical uncertainties and their partial cancellation in a near and far detector operation, and we discuss implications of a delayed near detector startup. Furthermore, we introduce Triple Chooz, which is a possible upgrade scenario assuming a second, larger far detector, which could start data taking in an existing cavern five years after the first far detector. We review the role of the Chooz reactor experiments in the global context of future neutrino beam experiments. We find that both Double Chooz and Triple Chooz can play a leading role in the search for a finite value of $\sin^2 2\theta_{13}$. Double Chooz could achieve a sensitivity limit of $\sim 2 \cdot 10^{-2}$ at the 90%~confidence level after 5~years while the Triple Chooz setup could give a sensitivity below $10^{-2}$.Comment: 18 pages, 6 figure

The Burst-Like Behavior of Aseismic Slip on a Rough Fault: The Creeping Section of the Haiyuan Fault, China

Recent observations suggesting the influence of creep on earthquakes nucleation and arrest are strong incentives to investigate the physical mechanisms controlling how active faults slip. We focus here on deriving generic characteristics of shallow creep along the Haiyuan fault, a major strike‐slip fault in China, by investigating the relationship between fault slip and geometry. We use optical images and time series of Synthetic Aperture Radar data to map the surface fault trace and the spatiotemporal distribution of surface slip along the creeping section of the Haiyuan fault. The fault trace roughness shows a power‐law behavior similar to that of the aseismic slip distribution, with a 0.8 roughness exponent, typical of a self‐affine regime. One possible interpretation is that fault geometry controls to some extent the distribution of aseismic slip, as it has been shown previously for coseismic slip along active faults. Creep is characterized by local fluctuations in rates that we define as creep bursts. The potency of creep bursts follows a power‐law behavior similar to the Gutenberg–Richter earthquake distribution, whereas the distribution of bursts velocity is non‐Gaussian, suggesting an avalanche‐like behavior of these slip events. Such similarities with earthquakes and lab experiments lead us to interpret the rich dynamics of creep bursts observed along the Haiyuan fault as resulting from long‐range elastic interactions within the heterogeneous Earth’s crust

The new hyperspectral satellite prisma: Imagery for forest types discrimination

Different forest types based on different tree species composition may have similar spectral signatures if observed with traditional multispectral satellite sensors. Hyperspectral imagery, with a more continuous representation of their spectral behavior may instead be used for their classification. The new hyperspectral Precursore IperSpettrale della Missione Applicativa (PRISMA) sensor, developed by the Italian Space Agency, is able to capture images in a continuum of 240 spectral bands ranging between 400 and 2500 nm, with a spectral resolution smaller than 12 nm. The new sensor can be employed for a large number of remote sensing applications, including forest types discrimination. In this study, we compared the capabilities of the new PRISMA sensor against the well-known Sentinel-2 Multi-Spectral Instrument (MSI) in recognition of different forest types through a pairwise separability analysis carried out in two study areas in Italy, using two different nomenclature systems and four separability metrics. The PRISMA hyperspectral sensor, compared to Sentinel-2 MSI, allowed for a better discrimination in all forest types, increasing the performance when the complexity of the nomenclature system also increased. PRISMA achieved an average improvement of 40% for the discrimination between two forest categories (coniferous vs. broadleaves) and of 102% in the discrimination between five forest types based on main tree species groups

Errata Corrige - Compensation of CO2 emissions by air travels: an example

We publish upon authors’ request the following corrigendum to the commentary previously issued on Forest@, volume 8, year 2011, pp. 45-48. - doi: 10.3832/efor0652-008