Annual sea level variability of the coastal ocean: The Baltic Sea-North Sea transition zone

The annual cycle is a major contribution to the non-tidal variability in sea level. Its characteristics can vary substantially even at a regional scale, particularly in an area of high variability such as the coastal ocean. This study uses previously validated coastal altimetry solutions (from ALES dataset) and the reference ESA Sea Level Climate Change Initiative dataset to improve the understanding of the annual cycle during the Envisat years (2002-2010) in the North Sea - Baltic Sea transition area. This area of study is chosen because of the complex coastal morphology and the availability of in-situ measurements. To our knowledge, this is the first time that the improvements brought by coastal satellite altimetry to the description of the annual variability of the sea level have been evaluated and discussed. The findings are interpreted with the help of a local climatology and wind stress from a reanalysis model. The coastal amplitude of the annual cycle estimated from ALES altimetry data is in better agreement with estimations derived from in-situ data than the one from the reference dataset. Wind stress is found to be the main driver of annual cycle variability throughout the domain, while different steric contributions are responsible for the differences within and among the sub-basins. We conclude that the ALES coastal altimetry product is a reliable dataset to study the annual cycle of the sea level at a regional scale and the strategy described in this research can be applied to other areas of the coastal ocean where the coverage from the tide gauges is not sufficient

Modeling Envisat RA-2 waveforms in the coastal zone: case-study of calm water contamination

Radar altimeters have so far had limited use in the coastal zone, the area with most societal impact. This is due to both lack of, or insufficient accuracy in the necessary corrections, and more complicated altimeter signals. This paper examines waveform data from the Envisat RA-2 as it passes regularly over Pianosa (a 10 km2 island in the NW Mediterranean). Forty-six repeat passes were analysed, with most showing a reduction in signal upon passing over the island, with weak early returns corresponding to the reflections from land. Intriguingly one third of cases showed an anomalously bright hyperbolic feature. This feature may be due to extremely calm waters in the Golfo della Botte (northern side of the island), but the cause of its intermittency is not clear. The modelling of waveforms in such a complex land/sea environment demonstrates the potential for sea surface height retrievals much closer to the coast than is achieved by routine processing. The long-term development of altimetric records in the coastal zone will not only improve the calibration of altimetric data with coastal tide gauges, but also greatly enhance the study of storm surges and other coastal phenomena

A comparative study of two formal semantics of the SIGNAL language

International audienceSIGNAL is a part of the synchronous languages family, which are broadly used in the design of safety-critical real-time systems such as avionics, space systems, and nuclear power plants. There exist several semantics for SIGNAL, such as denotational semantics based on traces (called trace semantics), denotational semantics based on tags (called tagged model semantics), operational semantics presented by structural style through an inductive definition of the set of possible transitions, operational semantics defined by synchronous transition systems (STS), etc. However, there is little research about the equivalence between these semantics.In this work, we would like to prove the equivalence between the trace semantics and the tagged model semantics, to get a determined and precise semantics of the SIGNAL language. These two semantics have several different definitions respectively, we select appropriate ones and mechanize them in the Coq platform, the Coq expressions of the abstract syntax of SIGNAL and the two semantics domains, i.e., the trace model and the tagged model, are also given. The distance between these two semantics discourages a direct proof of equivalence. Instead, we transformthem to an intermediate model, which mixes the features of both the trace semantics and the tagged model semantics. Finally, we get a determined and precise semantics of SIGNAL

Modeling Envisat RA-2 waveforms in the coastal zone: Case study of calm water contamination

This letter examines waveform data from the Envisat RA-2 as it passes regularly over Pianosa (a 10-km 2 island in the northwestern Mediterranean). Forty-six repeat passes were analyzed, with most showing a reduction in signal upon passing over the island, with weak early returns corresponding to the reflections from land. Intriguingly, one third of cases showed an anomalously bright hyperbolic feature. This feature may be due to extremely calm waters in the Golfo della Botte (northern side of the island), but the cause of its intermittency is not clear. The modeling of waveforms in such a complex land/sea environment demonstrates the potential for sea surface height retrievals much closer to the coast than is achieved by routine processing. The long-term development of altimetric records in the coastal zone will not only improve the calibration of altimetric data with coastal tide gauges but also greatly enhance the study of storm surges and other coastal phenomena

Response to comments on "magnetic resonance spectroscopy identifies neural progenitor cells in the live human brain"

We reported on a neural progenitor cell biomarker, a lipid-based metabolite enriched in these cells, which we detected using spectroscopy both in vitro and in vivo, and singular value decomposition–based signal processing. The study provided an outline of our computational methodology. Herein, we report more extensively on the method of spectrum analysis used, demonstrating the specificity of our findings

Mapping the X-Ray Emission Region in a Laser-Plasma Accelerator

The x-ray emission in laser-plasma accelerators can be a powerful tool to understand the physics of relativistic laser-plasma interaction. It is shown here that the mapping of betatron x-ray radiation can be obtained from the x-ray beam profile when an aperture mask is positioned just beyond the end of the emission region. The influence of the plasma density on the position and the longitudinal profile of the x-ray emission is investigated and compared to particle-in-cell simulations. The measurement of the x-ray emission position and length provides insight on the dynamics of the interaction, including the electron self-injection region, possible multiple injection, and the role of the electron beam driven wakefield.Comment: 5 pages, 4 figure

An electromagnetic simulator for sentinel-3 sar altimeter waveforms over land part ii: forests

Forests play a crucial role in the climate change mitigation by acting as sinks for carbon and, consequently, reducing the CO2 concentration in the atmosphere and slowing global warming. For this reason, above ground biomass (AGB) estimation is essential for effectively monitoring forest health around the globe. Although remote sensing–based forest AGB quantification can be pursued in different ways, in this work we discuss a new technique for vegetation observation through the use of altimetry data that has been introduced by the ESA-funded ALtimetry for BIOMass (ALBIOM) project. ALBIOM investigates the possibility of retrieving forest biomass through Copernicus Sentinel-3 Synthetic Aperture Radar Altimeter (SRAL) measurements at Ku- and C-bands in low- and high-resolution mode. To reach this goal, a simulator able to reproduce the altimeter acquisition system and the scattering phenomena that occur in the interaction of the radar altimeter pulse with vegetated surfaces has been developed. The Tor Vergata Vegetation Scattering Model (TOVSM) developed at Tor Vergata University has been exploited to simulate the contribution from the vegetation volume via the modelling of the backscattering of forest canopy through a discrete scatterer representation. A modification of the SAVERS (Soil And Vegetation Reflection Simulator) simulator developed by the team for Global Navigation Satellite System Reflectometry over land has also been taken into account to simulate the soil contribution

Unfolding-based Diagnosis of Systems with an Evolving Topology

We propose a framework for model-based diagnosis of systems with mobility and variable topologies, modelled as graph transformation systems. Generally speaking, model-based diagnosis is aimed at constructing explanations of observed faulty behaviours on the basis of a given model of the system. Since the number of possible explanations may be huge, we exploit the unfolding as a compact data structure to store them, along the lines of previous work dealing with Petri net models. Given a model of a system and an observation, the explanations can be constructed by unfolding the model constrained by the observation, and then removing incomplete explanations in a pruning phase. The theory is formalised in a general categorical setting: constraining the system by the observation corresponds to taking a product in the chosen category of graph grammars, so that the correctness of the procedure can be proved by using the fact that the unfolding is a right adjoint and thus it preserves products. The theory should hence be easily applicable to a wide class of system models, including graph grammars and Petri nets