The introduction of complex land surface parameterization schemes into regional climate models (RCMs) has been focused on improving the modeling of land surface feedbacks to the atmosphere. As such the modeling of streamflow was considered a by-product of the water balance and until recently it received relatively little attention. Comparison of four RCMs (RegCM2, MM5/BATS, MM5/SHEELS and MM5/O...

This paper is a continuation of the work initiated in [2] by M. Luby andC. Rackoff on Feistel schemes used as pseudorandom permutation generators.The aim of this paper is to study the qualitative improvements of “strong pseu-dorandomness” of the Luby-Rackoff construction when the number of roundsincrease. We prove that for 6 rounds (or more), the success probability of the<l...

In the last few decades, data-driven methods have come to dominate many fields of scientific inquiry. Open data and open-source software have enabled the rapid implementation of novel methods to manage and analyze the growing flood of data. However, it has become apparent that many scientific fields exhibit distressingly low rates of reproducibility. Although there are many dimensions to this i...

Pierre VIKTOROVITCH DR CNRS Ecole Centrale de Lyon Président Henri BENISTY Professeur Institut d’Optique Rapporteur Olivier PARRIAUX Professeur Université St-Etienne Rapporteur Joseph ZYSS Professeur Institut d’Alembert Examinateur Frank VOLLMER Ass. Professeur Max Planck Institute Examinateur Malcolm BUCKLE DR CNRS ENS Cachan Examinateur Chi Thanh NGUYEN IR CNRS ENS Cachan Encadrant de thèse I...

Phase-measurement interferometry (PM!) techniques enable quantitative measurements to be performed in optical testing, holographic interferometry, and speckle metrology. This paper will present results of error analyses of the most common errors in phase-measurement techniques. These errors include miscalibrated and nonlinear phase shifters, detector nonlinearities, detection quantization, vibr...

The focus of this thesis are the theoretical foundations for reasoning about algorithms and protocols for modern distributed systems. Two important features of models for these systems are probability and typed mobility: probabilities can be used to quantify unreliable or unpredictable behaviour and types can be used to guarantee secure behaviour in systems with a mobile structure. In this thes...