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-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-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-00003139v1  Theses
Nicolas Seguin. Modélisation et simulation numérique des écoulements diphasiques
Mathematics [math]. Université de Provence - Aix-Marseille I, 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-00008047v1  Theses
Emmanuel Audusse. hyperbolic models and numerical analysis for shallow water flows
Mathematics [math]. Université Pierre et Marie Curie - Paris VI, 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