Rapports de stage

Bibliographie de la thèse

Haddad

Rapports de stage

Thèse de littérature française de l'université Paris Sorbonne nouvelle soutenue en octobre

Béatrice Brottier

Rapports de stage

AMNOR SEIZE ANS DE DIRECTION DE THÈSES LES TRAVAUX DIRIGÉS PAR CLAUDE FOHLEN DE Liste des thèses de 3e cycle de doctorat nouveau d'université et d'État dirigées par Claude Fohlen Professeur d'histoire américaine Paris I directeur du Centre de recherches d'histoire nord américaine Sauf accident toutes ces thèses sont conservées au CRHNA de Paris I Sorbonne escalier L 1er étage salle avec les nombreuses maîtrises et mémoires de DEA également dirigés par Claude Fohlen Beaucoup de travaux ont été publiés dont certains traduits en anglais Nicole Fouché CNRS CÉNA EHESS juin GATES Thérèse La Colonisation du Kansas de doctorat d'université GREILSAMMER Ilan Les Fédéraliste européens en France depuis thèse de 3e cycle en collaboration avec Pierre Gerbert MARIENSTRAS Élise L'Idée de Nation aux États Unis la fin du XVIIIe siecle thèse de 3e cycle FINN Gérard La Carrière de l'abbé Jean Louis Leloutre et les derniers affrontements anglo français en Acadie thèse de 3e cycle PORTES Jacques La France quelques Français et le Canada les relations franco canadiennes de thèse de 3e cycle TROCMÉ Hélène La Ville américaine vue par les voyageurs français de la fin du XIXe siècle thèse de 3e cycle KOUO Félix Capitalisme noir et développement économique thèse de 3e cycle PICHON René Georges Contribution l'étude de la participation militaire de la France la Guerre d'Indépendance des États Unis thèse de doctorat

Claude Fohlen

Rapports de stage

Broadcast analysis in Multi hop Wireless Networks Nathalie Mitton

Nathalie Mitton

Rapports de stage

KERNEL INDEPENDENT COMPONENT ANALYSIS

Rapports de stage

Convergence Rates of Inexact Proximal Gradient Methods for Convex Optimization

Mark Schmidt

Rapports de stage

Discriminative clustering for image co segmentation

Armand Joulin1

Rapports de stage

Task Driven Dictionary Learning Julien Mairal Francis Bach and Jean Ponce Fellow IEEE

Rapports de stage

Cedric Archambeau Department of Computer Science

Cedric Archambeau Department

Rapports de stage

Statistical Convergence of Kernel CCA

Francis Bach

Rapports de stage

Efficient Optimization for Discriminative Latent Class Models

Armand Joulin

Rapports de stage

Mechanizing Game Based Proofs of Security Protocols

Bruno Blanchet

Rapports de stage

Automatically Verified Mechanized Proof of One Encryption Key Exchange

Bruno Blanchet

Rapports de stage

A Computationally Sound Mechanized Prover for Security Protocols

Bruno Blanchet

Rapports de stage

Computationally Sound Mechanized Proofs of Correspondence Assertions

Bruno Blanchet

Rapports de stage

A Computationally Sound Mechanized Prover for Security Protocols Bruno Blanchet

Bruno Blanchet

Rapports de stage

Automated Verification of Selected Equivalences for Security Protocols

Bruno Blanchet

Rapports de stage

Automated Verification of Selected Equivalences for Security Protocols

Bruno Blanchet

Rapports de stage

Static Analysis by Abstract Interpretation of the Quasi Synchronous Composition of Synchronous

Julien Bertrane

Rapports de stage

ASTRÉE: VERIFICATION OF ABSENCEOF RUN TIME ERROR

Laurent Mauborgne

Rapports de stage

Trace Partitioning in Abstract Interpretation Based Static Analyzers

Rapports de stage

The Trace Partitioning Abstract Domain XAVIER RIVAL and LAURENT MAUBORGNE Ecole Normale Superieure

Rapports de stage

Resolvent of Large Random Graphs

Charles Bordenave

Rapports de stage

Cyber Insurance as an Incentive for Internet Security

Jean Bolot

Rapports de stage

Flooding in Weighted Random Graphs

Marc Lelarge

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

Rapports de stage

Certification of program termination

Frédéric Blanqui

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

Rapports de stage

New Extensions of Pairing based Signatures into Universal Multi Designated Verifier Signatures

Damien Vergnaud

Rapports de stage

Groupe d'études Société d'information et vie privée

Philippe De Woot