Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion

We study the semantics of a resource-sensitive extension of the lambda calculus in a canonical reflexive object of a category of sets and relations, a relational version of Scott's original model of the pure lambda calculus. This calculus is related to Boudol's resource calculus and is derived from Ehrhard and Regnier's differential extension of Linear Logic and of the lambda calculus. We extend it with new constructions, to be understood as implementing a very simple exception mechanism, and with a "must" parallel composition. These new operations allow to associate a context of this calculus with any point of the model and to prove full abstraction for the finite sub-calculus where ordinary lambda calculus application is not allowed. The result is then extended to the full calculus by means of a Taylor Expansion formula. As an intermediate result we prove that the exception mechanism is not essential in the finite sub-calculus

Pressure jump interface law for the Stokes-Darcy coupling: Confirmation by direct numerical simulations

It is generally accepted that the effective velocity of a viscous flow over a porous bed satisfies the Beavers-Joseph slip law. To the contrary, interface law for the effective stress has been a subject of controversy. Recently, a pressure jump interface law has been rigorously derived by Marciniak-Czochra and Mikeli\'c. In this paper, we provide a confirmation of the analytical result using direct numerical simulation of the flow at the microscopic level.Comment: 25 pages, preprin

Old open clusters in the Sagittarius dSph tidal stream -- kith or kin?

A widely supported formation scenario for the Galactic disc is that it formed inside-out from material accumulated via accretion events. The Sagittarius dwarf spheroidal galaxy (Sgr dSph) is the best example of a such accretion, and its ongoing disruption has resulted in that its stars are being deposited in the Milky Way halo and outer disc. It is therefore appealing to search for possible signatures of the Sgr dSph contribution to the build-up of the Galactic disc. Interestingly, models of the Sgr dSph stream indicate clearly that the trailing tail passes through the outer Galactic disc, at the same galactocentric distance as some anti-centre old open star clusters. We investigate in this Letter the possibility that the two outermost old open clusters, Berkeley~29 and Saurer~1, could have formed inside the Sgr dSph and then left behind in the outer Galactic disc as a result of tidal interaction with the Milky Way. The actual location of these two star clusters, inside the Sgr dSph trailing tail, is compatible with this scenario, and their chemical and kinematical properties, together with our present understanding of the age-metallicity relationship in the Sgr dSph, lends further support to this possible association. Hence, we find it likely that the old open star clusters Berkeley~29 and Saurer~1 have extra-galactic origins.Comment: 4 pages, 4 figures, in press as a Letter for MNRA

Impact of Climate Trends and Drought Events on the Growth of Oaks (Quercus robur L. and Quercus petraea (Matt.) Liebl.) within and beyond Their Natural Range

Due to predicted climate change, it is important to know to what extent trees and forests will be impacted by chronic and episodic drought stress. As oaks play an important role in European forestry, this study focuses on the growth response of sessile oak (Quercus petraea (Matt.) Liebl.) and pedunculate oak (Quercus robur (L.)) under contrasting climatic conditions. Analyses cover both site conditions of their natural occurrence (Southern Germany and Northeast Italy) and site conditions beyond their natural range (South Africa). The sites beyond their natural range represent possible future climate conditions. Tree-ring series from three different sites were compared and analysed using dendrochronological methods. The long-term growth development of oak trees appears to be similar across the sites, yet the growth level over time is higher in the drier and warmer climate than in the temperate zone. When compared with previous growth periods, growth models reveal that oak trees grew more than expected during the last decades. A recent setback in growth can be observed, although growth is still higher than the model predicts. By focusing on the short-term reactions of the trees, distinct drought events and periods were discovered. In each climatic region, similar growth reactions developed after drought periods. A decline in growth rate occurred in the second or third year after the drought event. Oaks in South Africa are currently exposed to a warmer climate with more frequent drought events. This climatic condition is a future prediction also for Europe. In view of this climate change, we discuss the consequences of the long- and short- term growth behaviour of oaks grown in the climate of South Africa for a tree species selection that naturally occurs in Europe

Parameter estimation and optimal experimental design in flow reactors

In this work we present numerical techniques, based on the finite element method, for the simulation of reactive flows in a chemical flow reactor as well as for the identification of the kinetic of the reactions using measurements of observable quantities. We present the case of a real experiment in which the reaction rate is estimated by means of concentration measurements. We introduce methods for the optimal experimental design of experiments in the context of reactive flows modeled by partial differential equations

Data-driven Kriging models based on FANOVA-decomposition

Preprint, Working Paper, Document sans référence, etc.International audienceKriging models have been widely used in computer experiments for the analysis of time-consuming computer codes. Based on kernels, they are flexible and can be tuned to many situations. In this paper, we construct kernels that reproduce the computer code complexity by mimicking its interaction structure. While the standard tensor-product kernel implicitly assumes that all interactions are active, the new kernels are suited for a general interaction structure, and will take advantage of the absence of interaction between some inputs. The methodology is twofold. First, the interaction structure is estimated from the data, using a first initial standard Kriging model, and represented by a so-called FANOVA graph. New FANOVA-based sensitivity indices are introduced to detect active interactions. Then this graph is used to derive the form of the kernel, and the corresponding Kriging model is estimated by maximum likelihood. The performance of the overall procedure is illustrated by several 3-dimensional and 6-dimensional simulated and real examples. A substantial improvement is observed when the computer code has a relatively high level of complexit