649 research outputs found
A new interpolation method to measure delta evolution and sediment flux: Application to the late Holocene coastal plain of the Argens River in the western Mediterranean
Rapid environmental changes along the Mediterranean coasts influenced the sedimentary dynamics, shoreline position and human settlements in deltaic areas over the last millennia. An innovative and multiproxy approach using geostatistical modelling was developed to estimate geomorphic evolution and sediment fluxes in deltaic areas, while palaeoecological conditions and environmental changes were assessed from geochemistry and cluster analyses of molluscan fauna. This method was applied to the coastal plain of the Argens River in southern France. Depositional environments of prodelta, delta front, river channel, floodplain, marsh and abandoned channel were identified from the study of facies associations. The late Holocene sediment flux in the Argens River bayhead delta ranged from 15,800 ± 2300 to 52,000 ± 8500 m3·yr−1. The highest rate of sediment deposition between 2500 and 2000 cal yr BP was associated with increased river flooding in southeastern France. A general decrease in subaqueous sediment flux over the past 2500 years was primarily controlled by a decrease in accommodation space and delta slope. From 500 to 0 cal yr BP, a sharp increase in subaerial sediment flux probably due to hydroclimatic change was contemporaneous with a period of high flood frequency during the Little Ice Age. A southward shift of the North Atlantic westerlies combined with either a negative phase of the East Atlantic/West Russian pattern or a negative phase of the East Atlantic pattern coupled to a northward migration of the intertropical convergence zone could have led to increased fluvial activity in the lower Argens valley during the late Holocene
Quantitative magneto-optical investigation of superconductor/ferromagnet hybrid structures
We present a detailed quantitative magneto-optical imaging study of several
superconductor/ferromagnet hybrid structures, including Nb deposited on top of
thermomagnetically patterned NdFeB, and permalloy/niobium with erasable and
tailored magnetic landscapes imprinted in the permalloy layer. The
magneto-optical imaging data is complemented with and compared to scanning Hall
probe microscopy measurements. Comprehensive protocols have been developed for
calibrating, testing, and converting Faraday rotation data to magnetic field
maps. Applied to the acquired data, they reveal the comparatively weaker
magnetic response of the superconductor from the background of larger fields
and field gradients generated by the magnetic layer.Comment: 21 pages, including 2 pages of supplementary materia
Meat quality of pigs submitted to diferent water spray periods.
Projeto/Plano de Ação: 02.06.01.001
Stress levels of pigs submitted to three water spray periods.
Projeto/Plano de Ação: 02.06.01.001
Comportamento dos suínos submetidos a diferentes períodos de aspersão e descanso.
Projeto/Plano de Ação: 02.06.01.001
P19-02. High protection of female macaques from repeated intravaginal challenges with SHIV-162P3 upon mucosal vaccination with Gp41 subunits-virosomes
Uso de aspersão em suínos nas baias de espera: implicações no bem-estar.
Projeto/Plano de Ação: 03.08.60800-01
Efeito na qualidade da carne de suínos submetidos a diferentes períodos de aspersão.
Projeto/Plano de Ação: 03.08.60800-01
A theory of normed simulations
In existing simulation proof techniques, a single step in a lower-level
specification may be simulated by an extended execution fragment in a
higher-level one. As a result, it is cumbersome to mechanize these techniques
using general purpose theorem provers. Moreover, it is undecidable whether a
given relation is a simulation, even if tautology checking is decidable for the
underlying specification logic. This paper introduces various types of normed
simulations. In a normed simulation, each step in a lower-level specification
can be simulated by at most one step in the higher-level one, for any related
pair of states. In earlier work we demonstrated that normed simulations are
quite useful as a vehicle for the formalization of refinement proofs via
theorem provers. Here we show that normed simulations also have pleasant
theoretical properties: (1) under some reasonable assumptions, it is decidable
whether a given relation is a normed forward simulation, provided tautology
checking is decidable for the underlying logic; (2) at the semantic level,
normed forward and backward simulations together form a complete proof method
for establishing behavior inclusion, provided that the higher-level
specification has finite invisible nondeterminism.Comment: 31 pages, 10figure
- …