Skip to Main content Skip to Navigation


...
tel-00277799v1  Theses
Denis Barthou. Array Dataflow Analysis in Presence of Non-affine Constraints
domain_stic. Université de Versailles-Saint Quentin en Yvelines, 1998. English
...
tel-00550829v1  Theses
Albert Cohen. Program Analysis and Transformation: From the Polytope Model to Formal Languages
Networking and Internet Architecture [cs.NI]. Université de Versailles-Saint Quentin en Yvelines, 1999. English
...
tel-01431238v1  Theses
Sylvain Soliman. Concurrent constraint programming and linear logic
Langage de programmation [cs.PL]. Université Paris Diderot - Paris 7, 2001. Français
...
tel-00857263v1  Theses
Catherine Letondal. Interaction et Programmation
Interface homme-machine [cs.HC]. Université Paris Sud - Paris XI, 2001. Français
...
tel-00007405v1  Theses
Sid Touati. Register Pressure in Instruction Level Parallelism
Other [cs.OH]. Université de Versailles-Saint Quentin en Yvelines, 2002. English
...
tel-00007638v1  Theses
Steven Martin. Maîtrise de la dimension temporelle de la qualité de service dans les réseaux
Réseaux et télécommunications [cs.NI]. Université Paris XII Val de Marne, 2004. Français
...
tel-00012034v2  Theses
Jerónimo Rodríguez. Raffinement de Maillage Spatio-Temporel pour les Équations de l'Élastodynamique
Modélisation et simulation. Université Paris Dauphine - Paris IX, 2004. Français
...
tel-00440043v1  Theses
Erell Jamelot. Résolution des équations de Maxwell avec des éléments finis de Galerkin continus
Mathématiques [math]. Ecole Polytechnique X, 2005. Français
...
tel-00118883v1  Theses
Carlos Kavka. EVOLUTIONARY DESIGN OF GEOMETRIC-BASED FUZZY SYSTEMS
Other [cs.OH]. Université Paris Sud - Paris XI, 2006. English
...
tel-00118806v1  Theses
Julien Narboux. Formalisation et automatisation du raisonnement géométrique en Coq.
Autre [cs.OH]. Université Paris Sud - Paris XI, 2006. Français
...
tel-00120310v1  Theses
Vijay Pratap Singh. SEISMIC VELOCITY INVERSION USING MULTI-OBJECTIVE EVOLUTIONARY ALGORITHMS
Modeling and Simulation. École Nationale Supérieure des Mines de Paris, 2006. English
...
tel-00539139v1  Theses
Caroline Appert. Modélisation, Évaluation et Génération de Techniques d'Interaction
Informatique [cs]. Université Paris Sud - Paris XI, 2007. Français
...
pastel-00002944v1  Theses
Chokri Ben-Amar. Etude théorique et numérique de processus de retournement temporel.
Mathématiques [math]. Ecole Polytechnique X, 2007. Français
...
tel-00286214v1  Theses
Fanny Chevalier. Reconnaissance de motifs dans des graphes : heuristique et applications
Réseaux et télécommunications [cs.NI]. Université Sciences et Technologies - Bordeaux I, 2007. Français
...
tel-00198150v1  Theses
Pierre Senellart. Understanding the Hidden Web
Human-Computer Interaction [cs.HC]. Université Paris Sud - Paris XI, 2007. English
...
tel-00198803v1  Theses
Sylvain Arlot. Rééchantillonnage et Sélection de modèles
Mathématiques [math]. Université Paris Sud - Paris XI, 2007. Français
...
tel-00351837v1  Theses
Pierre-yves Strub. Type Theory and Decision Procedures
Formal Languages and Automata Theory [cs.FL]. Ecole Polytechnique X, 2008. English. ⟨NNT : 2008EPXX0054⟩
...
tel-00342652v1  Theses
Gia Hien Nguyen. Reliability of answers in semantic peer-to-peer networks
Computer Science [cs]. Université Joseph-Fourier - Grenoble I, 2008. English
...
tel-00645118v1  Theses
Xavier Claeys. Analyse asymptotique et numérique de la diffraction d'ondes par des fils minces
Analyse numérique [math.NA]. Université de Versailles-Saint Quentin en Yvelines, 2008. Français
...
tel-00352802v1  Theses
Nicolas Verzelen. Gaussian Graphical Models and Model Selection
Mathematics [math]. Université Paris Sud - Paris XI, 2008. English
...
tel-00433071v1  Theses
Cédric Pruski. Une approche adaptative pour la recherche d'information sur le Web
Interface homme-machine [cs.HC]. Université Paris Sud - Paris XI; université du Luxembourg, 2009. Français
...
tel-00772693v1  Theses
Romain Beauxis. Asynchronous Process Calculi for Specification and Verification of Information Hiding Protocols
Cryptography and Security [cs.CR]. Ecole Polytechnique X, 2009. English
...
tel-00782556v1  Theses
Bastien Rance. Recherche d'associations séquentielles et alignement d'ontologies biologiques
Bio-informatique [q-bio.QM]. Université Paris Sud - Paris XI, 2009. Français
...
tel-00430446v1  Theses
Carlos Olarte. Universal Temporal Concurrent Constraint Programming
Modeling and Simulation. Ecole Polytechnique X, 2009. English
...
tel-00430495v1  Theses
Jesus Aranda. On the Expressivity of Infinite and Local Behaviour in Fragments of the pi-calculus
Modeling and Simulation. Ecole Polytechnique X; Universidad del Valle, 2009. English
...
tel-00433165v1  Theses
Denis Cousineau. Modèles et normalisation des preuves
Informatique [cs]. Ecole Polytechnique X, 2009. Français
...
tel-03531755v1  Theses
Iulian Sandu Popa. Modeling, Querying and Indexing Moving Objects with Sensors on Road Networks
Computer science. Université de Versailles Saint Quentin en Yvelines, 2009. English
...
tel-00785953v1  Theses
Mahassine Djelloul. Algorithmes de graphes pour la recherche de motifs récurrents dans les structures tertiaires d'ARN
Bio-informatique [q-bio.QM]. Université Paris Sud - Paris XI, 2009. Français
...
tel-00447141v1  Theses
Vincent Vandewalle. Estimation et sélection en classification semi-supervisée
Mathématiques [math]. Université des Sciences et Technologie de Lille - Lille I, 2009. Français
...
tel-00695402v1  Theses
Spyros Zoupanos. Gestion des données efficace en pair-à-pair
Databases [cs.DB]. Université Paris Sud - Paris XI, 2009. English
...
tel-00443038v2  Theses
Quentin Mérigot. Détection de structure géométrique dans les nuages de points
Mathématiques [math]. Université Nice Sophia Antipolis, 2009. Français
...
tel-00782396v1  Theses
Thomas Bourquard. Exploitation des algorithmes génétiques pour la prédiction de structure de complexe protéine-protéine
Intelligence artificielle [cs.AI]. Université Paris Sud - Paris XI, 2009. Français
...
tel-00595922v2  Theses
Raymond Ros. Real-Parameter Black-Box Optimisation: Benchmarking and Designing Algorithms
Modeling and Simulation. Université Paris Sud - Paris XI, 2009. English
...
tel-00757251v1  Theses
Saoucene Mahfoudh. Energy efficiency in wireless ad hoc and sensor networks: routing, node activity scheduling and cross-layering
Networking and Internet Architecture [cs.NI]. Université Pierre et Marie Curie - Paris VI, 2010. English
...
tel-00557662v1  Theses
Nataliya Sokolovska. Contributions to the estimation of probabilistic discriminative models: semi-supervised learning and feature selection
Computer Science [cs]. Ecole nationale supérieure des telecommunications - ENST, 2010. English
...
tel-00484467v1  Theses
Radhouène Neji. Diffusion Tensor Imaging of the Human Skeletal Muscle: Contributions and Applications
Signal and Image processing. Ecole Centrale Paris, 2010. English
...
tel-00527367v1  Theses
Christelle Braun. Quantitative Approaches to Information Hiding
Other [cs.OH]. Ecole Polytechnique X, 2010. English
...
tel-00536926v1  Theses
Nada Abdallah. Raisonnements standard et non-standard pour les systèmes décentralisés de gestion de données et de connaissances
Interface homme-machine [cs.HC]. Université Paris Sud - Paris XI, 2010. Français
...
pastel-00006340v1  Theses
Benoît Semin. Interaction d'une fibre et d'un écoulement en géométrie confinée
Mécanique des fluides [physics.class-ph]. Ecole Polytechnique X, 2010. Français
...
tel-00544407v1  Theses
Jacques Bibai. Segmentation et évolution pour la planification : le système Divide-And-Evolve
Software Engineering [cs.SE]. Université Paris Sud - Paris XI, 2010. English
...
tel-00531765v1  Theses
Pedro M. M. de Castro. Practical Ways to Accelerate Delaunay Triangulations
Software Engineering [cs.SE]. Université Nice Sophia Antipolis, 2010. English
...
tel-00542932v1  Theses
Mouhamadou Thiam. Annotation Semantique de Documents Semi-Structurés pour la recherche d'information
Interface homme-machine [cs.HC]. Université Paris Sud - Paris XI, 2010. Français
...
tel-00551853v1  Theses
Jérémi Dardé. Méthodes de quasi-réversibilité et de lignes de niveau appliquées aux problèmes inverses elliptiques.
Mathématiques [math]. Université Paris-Diderot - Paris VII, 2010. Français
...
tel-00552215v1  Theses
Manuel Caroli. Triangulating Point Sets in Orbit Spaces
Computer Science [cs]. Université Nice Sophia Antipolis, 2010. English
...
tel-00547034v3  Theses
Luca de Feo. Fast Algorithms for Towers of Finite Fields and Isogenies
Mathematics [math]. Ecole Polytechnique X, 2010. English
...
tel-00826616v1  Theses
Olivier Certner. Programming Environment, Run-Time System and Simulator for Many-Core Machines
Distributed, Parallel, and Cluster Computing [cs.DC]. Université Paris Sud - Paris XI, 2010. English
...
tel-00550047v1  Theses
Vincent Michel. Understanding the visual cortex by using classification techniques
Human-Computer Interaction [cs.HC]. Université Paris Sud - Paris XI, 2010. English
...
tel-00536984v2  Theses
Nader Salman. From 3D point clouds to feature preserving meshes
Modeling and Simulation. Université Nice Sophia Antipolis, 2010. English
...
tel-00587336v1  Theses
Kaouther Ibn Taarit. Contribution à l'identification des systèmes à retards et d'une classe de systèmes hybrides
Sciences de l'ingénieur [physics]. Ecole Centrale de Lille; Ecole Nationale d'Ingénieurs de Tunis, 2010. Français
...
tel-00650354v1  Theses
Bérangère Delourme. Modèles et asymptotiques des interfaces fines et périodiques en électromagnétisme
Analyse numérique [math.NA]. Université Pierre et Marie Curie - Paris VI, 2010. Français
...
tel-00672699v1  Theses
Mathieu Boespflug. Conception d'un noyau de vérification de preuves pour le λΠ-calcul modulo
Logique en informatique [cs.LO]. Ecole Polytechnique X, 2011. Français
...
pastel-00605836v1  Theses
Arnaud Spiwack. Verified Computing in Homological Algebra
Algebraic Topology [math.AT]. Ecole Polytechnique X, 2011. English
...
tel-00691175v1  Theses
Taj Muhammad Khan. Processor design-space exploration through fast simulation
Other [cs.OH]. Université Paris Sud - Paris XI, 2011. English. ⟨NNT : 2011PA112062⟩
...
tel-00613174v1  Theses
Nestor Mariyasagayam. Position-based Vehicular Communication for Intelligent Transport Systems
Computer Science [cs]. Ecole Polytechnique X, 2011. English
...
tel-00655506v1  Theses
Miguel Andrés. Quantitative Analysis of Information Leakage in Probabilistic and Nondeterministic Systems
Computation and Language [cs.CL]. Radboud University, Nijmegen, 2011. English
...
tel-00650399v1  Theses
Mahsa Behzadi. A Mathematical Model of Phospholipid Biosynthesis
Bioinformatics [q-bio.QM]. Ecole Polytechnique X, 2011. English
...
pastel-00649350v1  Theses
Juan Antonio Cordero. Link-State Routing Optimization for Compound Autonomous Systems in the Internet
Networking and Internet Architecture [cs.NI]. Ecole Polytechnique X, 2011. English
...
tel-00647331v1  Theses
Romain Bardou. Verification of Pointer Programs Using Regions and Permissions
Other [cs.OH]. Université Paris Sud - Paris XI, 2011. English. ⟨NNT : 2011PA112220⟩
...
tel-00641579v1  Theses
Sahakyan Marina. Main Memory XML Update Optimization: algorithms and experiments.
Databases [cs.DB]. Université Paris Sud - Paris XI, 2011. English
...
pastel-00649212v1  Theses
Julien Coatléven. Analyse mathématique et numérique de quelques problèmes d'ondes en milieu périodique
Equations aux dérivées partielles [math.AP]. Ecole Polytechnique X, 2011. Français
...
pastel-00677421v1  Theses
Morgan Barbier. Décodage en liste et application à la sécurité de l'information
Cryptographie et sécurité [cs.CR]. Ecole Polytechnique X, 2011. Français
...
tel-00655731v2  Theses
Fabien Teytaud. Introduction of statistics in optimization
Other [cs.OH]. Université Paris Sud - Paris XI, 2011. English. ⟨NNT : 2011PA112296⟩
...
tel-00643460v1  Theses
Michel Batteux. Diagnosticabilité et diagnostic de systèmes technologiques pilotés
Intelligence artificielle [cs.AI]. Université Paris Sud - Paris XI, 2011. Français
...
pastel-00738976v1  Theses
yosra Boukari. Qualitative Methods for Inverse Scattering by an Impedant Crack
Mathematical Physics [math-ph]. Ecole Polytechnique X, 2012. English
...
tel-00781416v1  Theses
Lou Feng. Algorithmes pour l' étude de la structure secondaire des ARN et l'alignement de séquences
Bio-informatique [q-bio.QM]. Université Paris Sud - Paris XI, 2012. Français