LIBRES SAVOIRS
Supports de Cours, Thèses en ligne...

CATALOGUES
Programmes, Unités d'Enseignement, Ouvrages.
DOMAINES
Mathématiques et leurs applications
Sciences et technologies de l'information et de la communicationInformatiqueAutomatique, robotiqueElectroniqueTélécommunicationsSignal et imagerie
Physique, optique
Science des matériaux, mécanique, génie mécanique
Mécanique des fluides et énergétique
Chimie, physico-chimie et génie chimique
Sciences de la vie et ingénierie du vivant
Sciences de la terre et génie de l'environnement
Sciences de l'économie, de la gestion et de la société
Autres domaines d'enseignement
Supports de cours en ligneThèses en ligne 

Fournir à l'internaute, à partir de leur cadre d'usage (Unités d'Enseignement), l'ensemble des ressources pédagogiques utilisés à l'Ecole Polytechnique.

La mise en ligne des fiches et documents de cours disponibles sur ce site, respecte une charte précise étudiée avec l'ensemble des écoles du groupement ParisTech.

Si les ressources pédagogiques mises à disposition vous intéressent, pensez à vérifier sur le site pédagogique les usages autorisés.

Nous sommes à l'écoute de toutes critiques ! N'hésitez pas à nous faire parvenir vos remarques, propositions, idées, etc.
graduateschool@paristech.org

TOP 5 des visitesLes NouveautésLe thème du mois :
48 thèses trouvésRésultats/page :  20 / 50 / 100
TITREAUTEUR(S)ANNEE
Abstraction de traces en analyse statique et transformation de programmes.Rival Xavier2005
Algorithmes de calcul de logarithmes discrets dans les corps finisThomé Emmanuel2003
Analyse de canaux de communication dans un contexte non coopératif.Barbier Johann2007
Analyse des incertitudes dans les flux du trafic aérien.Gwiggner Claus2007
Analyse des systèmes mobiles par interprétation abstraite.Feret Jérôme2005
Analyse statique de logiciels multitâches par interprétation abstraiteFerrara Pietro2009
Analyse statique modulaire des langages à objet.Logozzo Francesco2004
Analyse statique par interprétation abstraite de systèmes hybrides.Bouissou Olivier2008
Au dela du tas de sable, un nouveau modèle combinatoire: Le modèle flèche-hauteur.Dartois Arnaud2004
Codes de Reed-Muller et cryptanalyse du registre filtré.Didier Frédéric2007
Combinatoire analytique et algorithmique des ensembles de données.Durand Marianne2004
Combinatoire bijective des cartes de genre supérieurChapuy Guillaume2009
Combinatoire des cartes planaires et applications algorithmiques.Eric Fusy2007
Complexité des représentations des systèmes de polynômes : triangulation, méthodes modulaires, évaluation dynamique.Dahan Xavier2006
Distribution de valuations sur les arbres.NguyÊn-thÊ Michel2004
Domaines numériques abstraits faiblement relationels.MinÉ Antoine2004
Echantillonnage et maillage de surfaces avec garanties.Oudot Steve2005
Efficace de diffusion de l'information sans fil multi-hop Réseaux.Cho Song Yean2008
Etude cryptographique de solution de sécurité pour les environnements distribués sans fil. Application au projet azone.Bhaskar Raghav2006
Etude du décodage des codes de Reed-Muller et application à la cryptographie.Sakkour Bassem2007
Extraction de programmes plus efficaces à partir de preuves (non-constructives) par l'interprétation Dialectica Légère (Monotone).Hernest Mircea Dan2006
Mécanismes cryptographiques pour la génération de clefs et l'authentification.Zimmer Sébastien2008
MLF: Une extension de ML avec polymorphisme de second ordre et instanciation implicite.Le botlan Didier2004
Modèles analytiques et évaluation de performances dans les grands réseaux mobiles ad hoc.Rodolakis Georgios2006
Modèles d'urnes et phénomènes de seuils en combinatoire analytique.Puyhaubert Vincent2005
Modèles Hémodynamiques: Investigation et Application à l'Analyse en Imagerie Cérébrale.Deneux Thomas2006
Modélisation et simulation de TCP par des méthodes de champ moyen.Reynier Julien2006
On the expressivity of infinite and local behaviour in fragments of the pi-calculusAranda Bueno Jesus Alexander2009
Point-to-point shortest paths on dynamic time-dependent road networksNannicini Giacomo2009
Problèmes de communication dans les systèmes distribués: ruptures et corruptions.Gaillard Antoine2009
Propriétés de sécurité dans le lambda-calcul.Blanc Tomasz2006
Reconstruction d'un schéma de codage.Cluzeau Mathieu2006
Routage et mobilité dans les rands réseaux hétérogènes à commutation de paquets.Baccelli Emmanuel2006
Sécurité et efficacité des schémas cryptographiques.Phan Duong Hieu2005
Simulation abstraite : une analyse statique de modèles SimulinkChapoutot Alexandre2008
Spécification et vérification des protocoles de sécurité probabilistesChatzikokolakis Konstantinos2007
Spécification et vérification des protocoles de sécurité probabilistesChatzikokolakis Konstantinos2007
Statistiques de formes pour la segmentation d'images avec a priori.Charpiat Guillaume2006
Stratégies Efficaces et Modèles d'Implantation pour les Langages Fonctionnels.Sinot François-Régis2006
Symmetric dialogue games in the proof theory of linear logicDelande Olivier2009
Systèmes de preuve interopérables.Kirchner Florent2007
Testeurs, problemes de reconstruction univaries et multivaries, et application a la cryptanalyse du DES.Tavernier Cédric2004
Toward a complexity classification of CSP through kernel widthRichoux Florian2009
Traitement de données dans les groupes de Lie: une approche algébrique. Application au recalage non-linéaire et à l'imagerie du tenseur de diffusion.Arsigny Vincent2006
Universal Temporal Concurrent Constraint ProgrammingOlarte Carlos2009
Vérification de descriptions VHDL par interprétation abstraite.Hymans Charles2004
Vérification des programmes logiques.Craciunescu Sorin2004
Vision stéréoscopique et propriétés différentielles de surfaces.Devernay Frédéric1997
 Haut de page
© Ecole Polytechnique 2013 - Réalisé par Winch Communication