115 research outputs found
Online approximations for wind-field models
We study online approximations to Gaussian process models for spatially distributed systems. We apply our method to the prediction of wind fields over the ocean surface from scatterometer data. Our approach combines a sequential update of a Gaussian approximation to the posterior with a sparse representation that allows to treat problems with a large number of observations
Détermination des zones potentielles de conservation de la biodiversité : un aperçu sur l’approche méthodologique basée sur la diversité spécifique et les espèces endémiques
peer reviewe
Tornado: Automatic Generation of Probing-Secure Masked Bitsliced Implementations
International audienceCryptographic implementations deployed in real world devices often aim at (provable) security against the powerful class of side-channel attacks while keeping reasonable performances. Last year at Asiacrypt, a new formal verification tool named tightPROVE was put forward to exactly determine whether a masked implementation is secure in the well-deployed probing security model for any given security order t. Also recently, a compiler named Usuba was proposed to automatically generate bitsliced implementations of cryptographic primitives.This paper goes one step further in the security and performances achievements with a new automatic tool named Tornado. In a nutshell, from the high-level description of a cryptographic primitive, Tornado produces a functionally equivalent bitsliced masked implementation at any desired order proven secure in the probing model, but additionally in the so-called register probing model which much better fits the reality of software implementations. This framework is obtained by the integration of Usuba with tightPROVE+, which extends tightPROVE with the ability to verify the security of implementations in the register probing model and to fix them with inserting refresh gadgets at carefully chosen locations accordingly.We demonstrate Tornado on the lightweight cryptographic primitives selected to the second round of the NIST competition and which somehow claimed to be masking friendly. It advantageously displays performances of the resulting masked implementations for several masking orders and prove their security in the register probing model
Self-regulation of ice flow varies across the ablation area in South-West Greenland
The concept of a positive feedback between ice flow and enhanced melt rates in a warmer climate fuelled the debate regarding the temporal and spatial controls on seasonal ice acceleration. Here we combine melt, basal water pressure and ice velocity data. Using 20 years of data covering the whole ablation area, we show that there is not a strong positive correlation between annual ice velocities and melt rates. Annual velocities even slightly decreased with increasing melt. Results also indicate that melt variations are most important for velocity variations in the upper ablation zone up to the equilibrium line altitude. During the extreme melt in 2012, a large velocity response near the equilibrium line was observed, highlighting the possibility of meltwater to have an impact even high on the ice sheet. This may lead to an increase of the annual ice velocity in the region above S9 and requires further monitoring
Two philosophies for solving non-linear equations in algebraic cryptanalysis
Algebraic Cryptanalysis [45] is concerned with solving of particular systems of multivariate non-linear equations which occur in cryptanalysis. Many different methods for solving such problems have been proposed in cryptanalytic literature: XL and XSL method, Gröbner bases, SAT solvers, as well as many other. In this paper we survey these methods and point out that the main working principle in all of them is essentially the same. One quantity grows faster than another quantity which leads to a “phase transition” and the problem becomes efficiently solvable. We illustrate this with examples from both symmetric and asymmetric cryptanalysis. In this paper we point out that there exists a second (more) general way of formulating algebraic attacks through dedicated coding techniques which involve redundancy with addition of new variables. This opens numerous new possibilities for the attackers and leads to interesting optimization problems where the existence of interesting equations may be somewhat deliberately engineered by the attacker
Wavelet Analysis for Wind Fields Estimation
Wind field analysis from synthetic aperture radar images allows the estimation of wind direction and speed based on image descriptors. In this paper, we propose a framework to automate wind direction retrieval based on wavelet decomposition associated with spectral processing. We extend existing undecimated wavelet transform approaches, by including à trous with B3 spline scaling function, in addition to other wavelet bases as Gabor and Mexican-hat. The purpose is to extract more reliable directional information, when wind speed values range from 5 to 10 ms−1. Using C-band empirical models, associated with the estimated directional information, we calculate local wind speed values and compare our results with QuikSCAT scatterometer data. The proposed approach has potential application in the evaluation of oil spills and wind farms
Distal radius fractures in children: substantial difference in stability between buckle and greenstick fractures
Background and purpose Numerous follow-up visits for wrist fractures in children are performed without therapeutic consequences. We investigated the degree to which the follow-up visits reveal complications and lead to change in management. The stability of greenstick and buckle fractures of the distal radius was assessed by comparing the lateral angulation radiographically
SEASTAR: a mission to study ocean submesoscale dynamics and small-scale atmosphere-ocean processes in coastal, shelf and polar seas
High-resolution satellite images of ocean color and sea surface temperature reveal an abundance of ocean fronts, vortices and filaments at scales below 10 km but measurements of ocean surface dynamics at these scales are rare. There is increasing recognition of the role played by small scale ocean processes in ocean-atmosphere coupling, upper-ocean mixing and ocean vertical transports, with advanced numerical models and in situ observations highlighting fundamental changes in dynamics when scales reach 1 km. Numerous scientific publications highlight the global impact of small oceanic scales on marine ecosystems, operational forecasts and long-term climate projections through strong ageostrophic circulations, large vertical ocean velocities and mixed layer re-stratification. Small-scale processes particularly dominate in coastal, shelf and polar seas where they mediate important exchanges between land, ocean, atmosphere and the cryosphere, e.g., freshwater, pollutants. As numerical models continue to evolve toward finer spatial resolution and increasingly complex coupled atmosphere-wave-ice-ocean systems, modern observing capability lags behind, unable to deliver the high-resolution synoptic measurements of total currents, wind vectors and waves needed to advance understanding, develop better parameterizations and improve model validations, forecasts and projections. SEASTAR is a satellite mission concept that proposes to directly address this critical observational gap with synoptic two-dimensional imaging of total ocean surface current vectors and wind vectors at 1 km resolution and coincident directional wave spectra. Based on major recent advances in squinted along-track Synthetic Aperture Radar interferometry, SEASTAR is an innovative, mature concept with unique demonstrated capabilities, seeking to proceed toward spaceborne implementation within Europe and beyond
- …