Documents Rapports de stage Automated Verification of Selected Equivalences for Security Protocols Bruno Blanchet
Documents Rapports de stage Automated Verification of Selected Equivalences for Security Protocols Bruno Blanchet
Documents Rapports de stage Static Analysis by Abstract Interpretation of the Quasi Synchronous Composition of Synchronous Julien Bertrane
Documents Rapports de stage The Trace Partitioning Abstract Domain XAVIER RIVAL and LAURENT MAUBORGNE Ecole Normale Superieure
Documents Rapports de stage Metastable Regimes for multiplexed TCP flows Franc¸ois Baccelli M Lelarge† and D R McDonald‡ M. Lelarge, D. R. Mcdonald, Francois Baccelli
Documents Rapports de stage Traineeship proposal ANALYSIS AND COMPARISON OF PARAMETER TUNING FOR LOCAL SEARCH ALGORITHMSLocation either University of Nantes LINA or University of Angers LERIA FranceSalary up to for the whole periodStarting date May Duration at least monthsContact Charlotte Truchet charlotte nantes fr and Frédéric Saubion Frederic angers frContextDuring the last decades impressive improvements have been achieved to solve complexoptimization problems issued from real world applications which involve more and more dataand constraints In order to tackle large scale instances and intricate problem structures sophisticated solving techniques have been developed and combined to provide efficientsolvers Among the different solving paradigms local search has been widely used as an incompleteoptimization technique for solving such problems It is now integrated in solvers and combinedwith other techniques Local search mainly relies on the basic concept of neighbourhood Starting from an initialconfiguration a local search algorithm tries to reach the optimum by moving locally from aconfiguration to one of its neighbours according to its evaluation The performance of such analgorithm is strongly related to its ability to explore and exploit the search landscape Forinstance when faced to a very rugged landscape one should be able to escape from manylocal optima while in presence of large plateaus one should be able to widely explore thespace In order to manage the balance between exploitation and exploration various efficientheuristics have been proposed usually relying on stochastic perturbations and restarts Unfortunately these heuristics are most of the time controlled by parameters whose settinghas a great impact on the efficiency of the algorithm Well known parameters are for instancethe temperature cooling schedule in simulated annealing or the amount of random walk Parameter tuning is nowadays a crucial issue and various tuning methods have beendeveloped including a dynamic management of parameters during the solving process ... Charlotte Truchet
Documents Rapports de stage New Extensions of Pairing based Signatures into Universal Multi Designated Verifier Signatures Damien Vergnaud
Documents Rapports de stage YANG–BAXTER OPERATORS ARISING FROM ALGEBRA STRUCTURES AND THE ALEXANDER POLYNOMIAL OF KNOTS
Documents Rapports de stage 1Introduction Estimation des petites probabilites conditionnelles Estimation des quantiles conditionnels Illustration sur simulations Laurent Gardes
Documents Rapports de stage Université Louis Pasteur Strasbourg I UFR de Mathématique et d'Informatique Damien Magoni
Documents Rapports de stage TWO NEW TRIANGLES OF q INTEGERS VIA q EULERIAN POLYNOMIALS OF TYPE A AND B
Documents Rapports de stage COHOMOLOGIE ÉQUIVARIANTE DES ESPACES SU n 2g ET DE LEURS RÉDUCTIONS QUASI HAMILTONIENNES Sebastien Racaniere
Documents Rapports de stage ECOLE ET OBSERVATOIRE DES SCIENCES DE LA TERRE Centre de Géochimie de la Surface UMR Céline Thomachot
Documents Rapports de stage 1Univ ers i té S t rasbourg Lou i s Pas teur Facu l t de P sy cho l og i e e t de s S c i ence s de Odile Hirschauer
Documents Rapports de stage UNIVERSITE LOUIS PASTEUR STRASBOURG Faculté de Psychologie et des Sciences de l'Education Anne Bonnefond
Documents Rapports de stage Thèse realisée en co tutelle avec l'Université de Bâle Departement Forschung