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 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