Skip to Main content Skip to Navigation


...
tel-01157160v1  Theses
Luigi Liquori. Type Assigment Systems for Lambda Calculi and for the Lambda Calculus of Objects
Computation and Language [cs.CL]. Ministère de l'Education Nationale, de la Recherche et de Technologie, Rome, Italy, 1996. 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-00584109v1  Theses
Andreas Ruf. Couplage mouvements articulées - vision stéréoscopique : une approche projective
Human-Computer Interaction [cs.HC]. Institut National Polytechnique de Grenoble - INPG, 2001. English
...
tel-00406508v1  Theses
Thierry Ernst. Network mobility support in IPv6
Networking and Internet Architecture [cs.NI]. Université Joseph-Fourier - Grenoble I, 2001. English
...
tel-00084287v1  Theses
David Monniaux. Analysis of probabilistic programs by abstract interpretation
Software Engineering [cs.SE]. Université Paris Dauphine - Paris IX, 2001. English
...
tel-00469412v1  Theses
Christos Kloukinas. Composition of Software Architectures
Computer Science [cs]. Université Rennes 1, 2002. English
...
tel-00457459v1  Theses
Gerardo Hermosillo Valadez. Variational Methods for Multimodal Image Matching
Human-Computer Interaction [cs.HC]. Université Nice Sophia Antipolis, 2002. English
...
tel-00007405v1  Theses
Sid Touati. Register Pressure in Instruction Level Parallelism
Other [cs.OH]. Université de Versailles-Saint Quentin en Yvelines, 2002. English
...
tel-00406507v1  Theses
Imad Aad. Quality of service in wireless local area networks
Networking and Internet Architecture [cs.NI]. Université Joseph-Fourier - Grenoble I, 2002. English
...
tel-01115023v1  Theses
Sara Alouf. Parameter estimation and performance analysis of several network applications
Networking and Internet Architecture [cs.NI]. Univeristé Nice Sophia Antipolis, 2002. English
...
tel-00406509v1  Theses
Fethi Filali. Déploiement de service multicast dans des environnements hétérogènes
Networking and Internet Architecture [cs.NI]. Université de Nice Sophia Antipolis, 2002. English
...
tel-00528758v1  Theses
David Bourguignon. Interactive Animation and Modeling by Drawing -- Pedagogical Applications in Medicine
Modeling and Simulation. Institut National Polytechnique de Grenoble - INPG, 2003. English
...
tel-00408686v1  Theses
Rares Serban. Dynamic QoS Management in the Internet
Networking and Internet Architecture [cs.NI]. Université de Nice Sophia Antipolis, 2003. English
...
tel-00408685v1  Theses
Miguel Ángel Ruiz Sánchez. Optimization of Packet Forwarding in Best-effort Routers
Networking and Internet Architecture [cs.NI]. Université de Nice Sophia Antipolis, 2003. English
...
tel-00832487v1  Theses
Julia Flötotto. A Coordinate System associated to a Point Cloud issued from a Manifold: Definition, Properties and Applications
Computational Geometry [cs.CG]. Université Nice Sophia Antipolis, 2003. English
...
tel-00457460v1  Theses
Bertrand Thirion. fMRI data analysis : statistics, information and dynamics
Human-Computer Interaction [cs.HC]. Télécom ParisTech, 2003. English
...
tel-00576950v1  Theses
Patrick Reuter. Reconstruction and Rendering of Implicit Surfaces from Large Unorganized Point Sets
Human-Computer Interaction [cs.HC]. Université Sciences et Technologies - Bordeaux I, 2003. English
...
tel-00832502v1  Theses
David Cohen-Steiner. Topics in Surface Discretization
Computational Geometry [cs.CG]. Ecole Polytechnique X, 2004. English
...
tel-00005172v1  Theses
Kenneth Sundaraj. Real-Time Dynamic Simulation and 3D Interaction of Biological Tissue: Application to Medical Simulators
Other [cs.OH]. Institut National Polytechnique de Grenoble - INPG, 2004. English
...
tel-00405485v1  Theses
Ayman El-Sayed. Application-Level Multicast Transmission Techniques Over The Internet
Networking and Internet Architecture [cs.NI]. Institut National Polytechnique de Grenoble, 2004. English
...
tel-00006129v1  Theses
Marta Wilczkowiak. 3D Modeling From Images Using Geometric Constraints
Human-Computer Interaction [cs.HC]. Institut National Polytechnique de Grenoble - INPG, 2004. English
...
tel-00311830v1  Theses
Laurentiu Barza. An SSM-based communication architecture for large-scale virtual environments
Networking and Internet Architecture [cs.NI]. Université Nice Sophia Antipolis, 2004. English
...
tel-00007916v1  Theses
Emmanuel Prados. Application of the theory of the viscosity solutions to the Shape From Shading problem
Human-Computer Interaction [cs.HC]. Université Nice Sophia Antipolis, 2004. English
...
tel-00142441v1  Theses
Elena Leroux (zinovieva). Symbolic Test Generation for Reactive Systems with Data.
Other [cs.OH]. Université Rennes 1, 2004. English
...
tel-00327560v1  Theses
Mikaël Rousson. Cue Integration and Front Evolution in Image Segmentation
Human-Computer Interaction [cs.HC]. Université Nice Sophia Antipolis, 2004. English
...
tel-00136630v1  Theses
Antoine Miné. Weakly Relational Numerical Abstract Domains
Software Engineering [cs.SE]. Ecole Polytechnique X, 2004. English
...
tel-00311798v1  Theses
Víctor Manuel Ramos Ramos. Robust and reliable multimedia transmission over the Internet
Networking and Internet Architecture [cs.NI]. Université Nice Sophia Antipolis, 2004. English
...
tel-00009813v1  Theses
Lina Alchaal. Dynamic and Easily Manageable Approach for Secure IP VPN Environments
Networking and Internet Architecture [cs.NI]. Institut National Polytechnique de Grenoble - INPG, 2005. English
...
tel-00328084v1  Theses
Alex Reche. Image-Based Capture and Rendering with Applications to Urban Planning
Human-Computer Interaction [cs.HC]. Université Nice Sophia Antipolis, 2005. English
...
tel-00178870v1  Theses
Doru Tanasa. Web Usage Mining: Contributions to Intersites Logs Preprocessing and Sequential Pattern Extraction with Low Support
Human-Computer Interaction [cs.HC]. Université Nice Sophia Antipolis, 2005. English
...
tel-00311788v1  Theses
Marie-Claude Frasson. Decoupling structure and appearance for example-driven detail synthesis
Human-Computer Interaction [cs.HC]. Université Nice Sophia Antipolis, 2005. English
...
tel-00403607v1  Theses
Vijay Arya. Congestion Inference and Traffic Engineering in Networks
Networking and Internet Architecture [cs.NI]. Université de Nice Sophia Antipolis, 2005. English
...
tel-00009757v1  Theses
Laurent Baduel. Typed Groups for the Grid
Modeling and Simulation. Université Nice Sophia Antipolis, 2005. English
...
tel-00010678v1  Theses
Daniele Raffo. Security Schemes for the OLSR Protocol for Ad Hoc Networks
Networking and Internet Architecture [cs.NI]. Université Pierre et Marie Curie - Paris VI, 2005. English
...
tel-00362751v1  Theses
Florence Clévenot-Perronnin. Fluid Models for Content Distribution Systems
Networking and Internet Architecture [cs.NI]. Université Nice Sophia Antipolis, 2005. English
...
tel-00328111v1  Theses
Balakrishna Prabhu. Markov chains and decision processes for congestion avoidance and power control
Networking and Internet Architecture [cs.NI]. Université Nice Sophia Antipolis, 2005. English
...
tel-00010545v1  Theses
Felipe Luna del Aguila. Information Flow Security for Asynchronous, Distributed, and Mobile Applications
Modeling and Simulation. Université Nice Sophia Antipolis, 2005. English
...
tel-00010910v1  Theses
Alicia Diaz. Support à la Divergence dans les Communautés de Partage de Connaissance
Human-Computer Interaction [cs.HC]. Université Henri Poincaré - Nancy I, 2005. English
...
tel-00011037v1  Theses
Clara Bertolissi. The graph rewriting calculus: properties and expressive capabilities
Other [cs.OH]. Institut National Polytechnique de Lorraine - INPL, 2005. English
...
tel-00457461v1  Theses
Jean-Philippe Pons. Methodological and applied contributions to the deformable models framework
Human-Computer Interaction [cs.HC]. Ecole des Ponts ParisTech, 2005. English
...
tel-01171129v1  Theses
Hervé Jégou. Robust codes and joint source-channel codes for multimedia transmission over mobile channels
Signal and Image Processing. Université de Rennes 1, 2005. English