Skip to Main content Skip to Navigation
  1. Search


...
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
...
pastel-00002381v1  Theses
Houssem Haddar. Modèles asymptotiques en ferromagnétisme: couches minces et homogénéisation
Mathématiques [math]. Ecole des Ponts ParisTech, 2000. Français. ⟨NNT : 2000ENPC0020⟩
...
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-00004930v1  Theses
Guillaume Legendre. Rayonnement acoustique dans un fluide en écoulement : analyse mathématique et numérique de l'équation de Galbrun
Autre. ENSTA ParisTech, 2003. Français. ⟨NNT : 2003PA066384⟩
...
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
...
pastel-00002503v1  Theses
François Loret. Décomposition sur les mouvements périodiques ou sur les modes résonants pour la simulation de la réponse transitoire d'un problème de tenue à la mer
Mathématiques [math]. ENSTA ParisTech, 2004. Français. ⟨NNT : 2004ECAP0948⟩
...
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-00008708v1  Theses
Julien Diaz. Approches analytiques et numériques de problèmes de transmission en propagation d'ondes en régime transitoire. Application au couplage fluide-structure et aux méthodes de couches parfaitement adaptées
Modélisation et simulation. ENSTA ParisTech, 2005. Français
...
tel-00431124v1  Theses
Haiwu He. ANALYSES AVANCÉES DE LA MÉTHODE HYBRIDE GMRES/LS-ARNOLDI ASYNCHRONE PARALLÈLE ET DISTRIBUÉE POUR LES GRILLES DE CALCUL ET LES SUPERCALCULATEURS
Informatique [cs]. Université des Sciences et Technologie de Lille - Lille I, 2005. 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-00068590v1  Theses
Marc Duruflé. Intégration numérique et éléments finis d'ordre élevé appliqués aux équations de Maxwell en régime harmonique
Modélisation et simulation. ENSTA ParisTech, 2006. Français
...
pastel-00002492v1  Theses
Pascal Grob. Méthodes numériques de couplage pour la vibroacoustique instationnaire : éléments finis spectraux d'ordre élevé et potentiels retardés
Mathématiques [math]. ENSTA ParisTech, 2006. 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
...
pastel-00002485v1  Theses
Kamel Berriri. Approche analytique et numérique pour l'aéroacoustique en régime transitoire par le modèle de Galbrun
Mathématiques [math]. ENSTA ParisTech, 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
...
pastel-00002592v1  Theses
Samir Kaddouri. Calcul de champs électromagnétiques et de répartition de charges surfaciques dans des domaines quasi-singulier.
Mathématiques [math]. Ecole Polytechnique X, 2007. Français
...
pastel-00002409v1  Theses
Eve-Marie Duclairoir. Rayonnement acoustique dans un écoulement cisaille : une méthode d'éléments finis pour la simulation du régime harmonique.
Mathématiques [math]. Ecole Polytechnique X, 2007. Français
...
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-00365172v1  Theses
Veronique Letort. Adaptation of the GreenLab growth model to plants with complex architectures and multi-scale analysis of source-sink relationships for parametric identification.
Vegetal Biology. Ecole Centrale Paris, 2008. English
...
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-00348227v1  Theses
Audrey Hermant. On the shooting algorithm for optimal control problems with state constraints
Mathematics [math]. Ecole Polytechnique X, 2008. English
...
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
...
pastel-00005464v1  Theses
Sonia Fliss. Analyse mathématique et numérique de problèmes de propagation des ondes dans des milieux périodiques infinis localement perturbés
Mathématiques [math]. Ecole Polytechnique X, 2009. Français
...
tel-00448756v1  Theses
Benoit Pallas. Modélisation dynamique des interactions plante-environnement. Application à l'étude des interactions entre les relations sources-puits et les processus de développement chez la vigne.
Mathématiques [math]. Ecole Centrale Paris, 2009. Français
...
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-00676937v1  Theses
Camille Coti. Environnements d'exécution pour applications parallèles communiquant par passage de messages pour les systèmes à grande échelle et les grilles de calcul
Calcul parallèle, distribué et partagé [cs.DC]. Université Paris Sud - Paris XI, 2009. Français
...
pastel-00005666v1  Theses
Vahan Baronian. Couplage des méthodes modale et éléments finis pour la diffraction des ondes élastiques guidées : Application au Contrôle Non Destructif
Sciences de l'ingénieur [physics]. Ecole Polytechnique X, 2009. Français
...
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-00493525v1  Theses
Vincent Le Chevalier. Cadres formels pour la simulation des peuplements hétérogènes de plantes en compétition pour les ressources
Modélisation et simulation. Ecole Centrale Paris, 2010. Français
...
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
...
tel-00530075v1  Theses
François-Élie Calvier. Découverte de mappings dans un système pair-à-pair sémantique : application à SomeRDFS
Informatique [cs]. 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
...
pastel-00553081v1  Theses
Lauris Joubert. Approche asymptotique pour l'étude mathématique et la simulation numérique de la propagation du son en présence d'un écoulement fortement cisaillé
Equations aux dérivées partielles [math.AP]. Ecole Polytechnique X, 2010. Français
...
pastel-00542295v1  Theses
Francisco J. Silva. Interior penalty approximation for optimal control problems. Optimality conditions in stochastic optimal control theory.
Optimization and Control [math.OC]. Ecole Polytechnique X, 2010. English
...
pastel-00570064v1  Theses
Igor Jurberg. Synthesis of Alkynes and New Transformations Catalyzed by Gold(I) Complexes
Catalysis. Ecole Polytechnique X, 2010. English
...
pastel-00546093v1  Theses
Benjamin Goursaud. Etude mathématique et numérique de guides d'ondes ouverts non uniformes, par approche modale
Modélisation et simulation. Ecole Polytechnique X, 2010. Français
...
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
...
pastel-00561664v1  Theses
Guillaume Sagnol. Optimal design of experiments with application to the inference of traffic matrices in large networks: second order cone programming and submodularity
Optimization and Control [math.OC]. École Nationale Supérieure des Mines de Paris, 2010. English. ⟨NNT : 2010ENMP0054⟩
...
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-00713668v1  Theses
Stephane Lescuyer. Formalizing and Implementing a Reflexive Tactic for Automated Deduction in Coq
Other [cs.OH]. Université Paris Sud - Paris XI, 2011. English. ⟨NNT : 2011PA112363⟩
...
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
...
tel-00598299v1  Theses
Pierre Bourhis. On the dynamics of active documents for distributed data management
Other [cs.OH]. Université Paris Sud - Paris XI, 2011. English. ⟨NNT : 2011PA112003⟩
...
pastel-00605836v1  Theses
Arnaud Spiwack. Verified Computing in Homological Algebra
Algebraic Topology [math.AT]. Ecole Polytechnique X, 2011. English
...
tel-00683224v1  Theses
Mohammed Fellahi. From Cyclo-Static Process Networks to Code Generation for Multidimensional Software Pipelining
Other [cs.OH]. Université Paris Sud - Paris XI, 2011. English. ⟨NNT : 2011PA112046⟩
...
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-00635011v1  Theses
Cédric Loi. Analyse probabiliste, étude combinatoire et estimation paramétrique pour une classe de modèles de croissance de plantes avec développement stochastique
Mathématiques [math]. Ecole Centrale Paris, 2011. Français
...
tel-00613174v1  Theses
Nestor Mariyasagayam. Position-based Vehicular Communication for Intelligent Transport Systems
Computer Science [cs]. Ecole Polytechnique X, 2011. English
...
tel-00627352v1  Theses
André Fioravanti. H∞ analysis and control of time-delay systems by methods in frequency domain
Other [cond-mat.other]. Université Paris Sud - Paris XI, 2011. English. ⟨NNT : 2011PA112094⟩
...
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-00641569v2  Theses
Nadjet Zemirline. Assisting in the reuse of existing materials to build adaptive hypermedia
Other [cs.OH]. Université Paris Sud - Paris XI, 2011. English. ⟨NNT : 2011PA112112⟩
...
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-00640725v1  Theses
Alban Galland. Distributed data management with access control : social Networks and Data of the Web
Other [cs.OH]. Université Paris Sud - Paris XI, 2011. English. ⟨NNT : 2011PA112178⟩
...
tel-00639948v3  Theses
Mário S. Alvim. Formal approaches to information hiding : An analysis of interactive systems, statistical disclosure control, and refinement of specifications
Cryptography and Security [cs.CR]. 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-00662523v1  Theses
Fayçal Hamdi. Améliorer l'interopérabilité sémantique : applicabilité et utilité de l'alignement d'ontologies
Autre [cs.OH]. Université Paris Sud - Paris XI, 2011. Français. ⟨NNT : 2011PA112285⟩
...
pastel-00711285v1  Theses
Thuong van Du Tran. Modeling and predicting super-secondary structures of transmembrane beta-barrel proteins
Bioinformatics [q-bio.QM]. Ecole Polytechnique X, 2011. English. ⟨NNT : 2011EPXX0104⟩
...
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
...
tel-00682276v1  Theses
Maria Soledad Aronna. Second order analysis of optimal control problems with singular arcs. Optimality conditions and shooting algorithm.
Optimization and Control [math.OC]. Ecole Polytechnique X, 2011. English
...
tel-00788467v1  Theses
Cédric Saule. Modèles combinatoires des structures d'ARN avec ou sans pseudonoeuds, application à la comparaison de structures.
Bio-informatique [q-bio.QM]. 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
Designed by Inria-IES Team : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/