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-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-00452431v1  Theses
Manal El Dick. P2P Infrastructure for Content Distribution
Computer Science [cs]. Ecole Centrale de Nantes (ECN); Université de Nantes; Ecole des Mines de Nantes, 2010. English
...
tel-00453021v1  Theses
Nadia Zouba Ep Valentin. Multisensor Fusion for Monitoring Elderly Activities at Home
Human-Computer Interaction [cs.HC]. Université Nice Sophia Antipolis, 2010. English
...
tel-01748662v3  Theses
Alexander Kruppa. Speeding up Integer Multiplication and Factorization
Other [cs.OH]. Université Henri Poincaré - Nancy 1, 2010. English
...
tel-01748217v2  Theses
Luciana Benotti. Implicature as an Interactive Process
Human-Computer Interaction [cs.HC]. Université Henri Poincaré - Nancy I, 2010. English. ⟨NNT : 2010NAN10003⟩
...
tel-00459780v1  Theses
Sandrine Chemla. A biophysical cortical column model for optical signal analysis
Neurons and Cognition [q-bio.NC]. INRIA Sophia-Antipolis, 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-00560010v1  Theses
Pooran Memari. Geometric Tomography With Topological Guarantees
Computer Science [cs]. Université Nice Sophia Antipolis, 2010. English
...
tel-00631382v1  Theses
Stanley Durrleman. Statistical models of currents for measuring the variability of anatomical curves, surfaces and their evolution
Human-Computer Interaction [cs.HC]. Université Nice Sophia Antipolis, 2010. English
...
tel-00470493v3  Theses
Abdulhalim Dandoush. Analysis and Optimization of Peer-to-Peer Storage and Backup Systems
Networking and Internet Architecture [cs.NI]. Université Nice Sophia Antipolis, 2010. English
...
tel-01748567v2  Theses
Nicolas Padoy. Workflow and Activity Modeling for Monitoring Surgical Procedures
Human-Computer Interaction [cs.HC]. Université Henri Poincaré - Nancy 1; Technische Universität München, 2010. English. ⟨NNT : 2010NAN10025⟩
...
tel-00486483v2  Theses
Imran Rafiq Quadri. MARTE based model driven design methodology for targeting dynamically reconfigurable FPGA based SoCs
Modeling and Simulation. Université des Sciences et Technologie de Lille - Lille I, 2010. English
...
tel-00527367v1  Theses
Christelle Braun. Quantitative Approaches to Information Hiding
Other [cs.OH]. Ecole Polytechnique X, 2010. English
...
tel-00505881v1  Theses
Anh-Tuan Nghiem. Adaptive algorithms for background estimation to detect moving objects in videos
Human-Computer Interaction [cs.HC]. Université Nice Sophia Antipolis, 2010. English
...
tel-00694986v1  Theses
Wenceslao Palma. Processing continuous join queries in qtructured P2P systems
Databases [cs.DB]. Université de Nantes, 2010. English
...
tel-00507530v1  Theses
Sagar Sen. Découverte automatique de modèles effectifs
Software Engineering [cs.SE]. Université Rennes 1, 2010. English
...
tel-00538425v1  Theses
Nicolas Coste. Towards Performance Prediction of Compositional Models in GALS Designs
Networking and Internet Architecture [cs.NI]. Université de Grenoble, 2010. English
...
tel-00537947v1  Theses
Everton Hermann. Interactive Physical Simulation on Multi-core and Multi-GPU Architectures
Networking and Internet Architecture [cs.NI]. Institut National Polytechnique de Grenoble - INPG, 2010. English
...
tel-00514814v1  Theses
Alexander Klaser. Learning human actions in video
Modeling and Simulation. Institut National Polytechnique de Grenoble - INPG, 2010. English
...
tel-00541116v1  Theses
Zhou Fen. All-Optical Multicast Routing in Wavelength Routed WDM Networks
Networking and Internet Architecture [cs.NI]. INSA de Rennes, 2010. English
...
tel-00530956v1  Theses
Tommaso Mansi. Image-based physiological and statistical models of the heart: application to tetralogy of Fallot
Human-Computer Interaction [cs.HC]. École Nationale Supérieure des Mines de Paris, 2010. English. ⟨NNT : 2010ENMP0023⟩
...
tel-00543238v2  Theses
Ramya Narasimha. Depth Recovery from Stereo Matching Using Coupled Random Fields
Other [cs.OH]. Université Joseph-Fourier - Grenoble I, 2010. English
...
tel-00550134v1  Theses
Aymen El Ghoul. Phase fields for network extraction from images.
Human-Computer Interaction [cs.HC]. Université Nice Sophia Antipolis, 2010. English
...
tel-00538548v1  Theses
Brice Morin. Modèles à la Conception et à l'Exécution pour Gérer la Variability Dynamique
Software Engineering [cs.SE]. Université Rennes 1, 2010. English
...
tel-00535885v1  Theses
Wang yanjing. Epistemic Modelling and Protocol Dynamics
Other [cs.OH]. Universiteit van Amsterdam, 2010. English
...
tel-00647693v2  Theses
Kandaraj Piamrat. Quality-aware Resource Management inWireless Networks
Networking and Internet Architecture [cs.NI]. Université Rennes 1, 2010. English
...
tel-00541354v2  Theses
Matthieu Guillaumin. Données multimodales pour l'analyse d'image
Human-Computer Interaction [cs.HC]. Institut National Polytechnique de Grenoble - INPG, 2010. English
...
tel-00532926v1  Theses
Kelly Garces. Adaptation and evaluation of generic model matching strategies
Software Engineering [cs.SE]. Université de Nantes, 2010. English
...
tel-01875211v1  Theses
Nicolas Gast. Optimization and Control of Large Systems: Fighting the Curse of Dimensionality
Networking and Internet Architecture [cs.NI]. Université Grenoble Alpes, 2010. English
...
tel-00538565v1  Theses
Freddy Munoz. Validation of reasoning engines an adaptation mechanisms for self-adaptive systems
Software Engineering [cs.SE]. Université Rennes 1, 2010. English
...
pastel-00523007v1  Theses
Bhaskar Biswas. Implementational aspects of code-based cryptography
Cryptography and Security [cs.CR]. Ecole Polytechnique X, 2010. English
...
tel-01746351v2  Theses
Khaled Gaaloul. A Secure Framework for Dynamic Task Delegation in Workflow Management Systems
Computer Science [cs]. Université Henri Poincaré - Nancy I, 2010. English. ⟨NNT : 2010NAN10058⟩
...
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-00591609v1  Theses
Benoît Delahaye. Modular Specification and Compositional Analysis of Stochastic Systems
Modeling and Simulation. Université Rennes 1, 2010. English
...
tel-00553343v1  Theses
Joerg Liebelt. Synthetic 3D Model-Based Object Class Detection and Pose Estimation
Human-Computer Interaction [cs.HC]. Institut National Polytechnique de Grenoble - INPG, 2010. English
...
tel-00584080v2  Theses
Vasil Khalidov. Conjugate Mixture Models for the Modeling of Visual and Auditory Perception
Human-Computer Interaction [cs.HC]. Université Joseph-Fourier - Grenoble I, 2010. English
...
tel-00529021v1  Theses
Danko Ilik. Constructive Completeness Proofs and Delimited Control
Software Engineering [cs.SE]. Ecole Polytechnique X, 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-00530714v1  Theses
Freddy Limpens. Multi-points of view semantic enrichment of folksonomies
Web. Université Nice Sophia Antipolis, 2010. English
...
tel-00567851v1  Theses
Joaquin Zepeda Salvatierra. New sparse representation methods; application to image compression and indexing
Human-Computer Interaction [cs.HC]. Université Rennes 1, 2010. English
...
tel-00542521v1  Theses
Hedlena Maria de Almeida Bezerra. Computer-Aided Control for Expressive Rendering
Human-Computer Interaction [cs.HC]. Institut National Polytechnique de Grenoble - INPG, 2010. English
...
tel-00850420v1  Theses
Pierre Masci. Control and optimization of ecosystems in bioreactors for bioenergy production
Automatic. Université Nice Sophia Antipolis, 2010. English
...
tel-01746366v2  Theses
yanjun Li. Quality of service support for event detection in wireless sensor network
Networking and Internet Architecture [cs.NI]. Université Henri Poincaré - Nancy I, 2010. English. ⟨NNT : 2010NAN10064⟩
...
tel-00545724v1  Theses
Julian Monteiro. Modeling and Analysis of Reliable Peer-to-Peer Storage Systems
Networking and Internet Architecture [cs.NI]. Université Nice Sophia Antipolis, 2010. English
...
tel-00589640v1  Theses
Ludovic Hoyet. Dynamic adaptation of human motions
Human-Computer Interaction [cs.HC]. INSA de Rennes, 2010. English
...
tel-00555158v1  Theses
Ioana Pasca. Formal Verifcation for Numerical Methods
Other [cs.OH]. Université Nice Sophia Antipolis, 2010. English
...
pastel-00556578v1  Theses
Vincent Siles. Investigation on the typing of equality in type systems
Logic in Computer Science [cs.LO]. Ecole Polytechnique X, 2010. English
...
tel-00542703v1  Theses
Faraz Zaidi. Analysis, Structure and Organization of Complex Networks
Networking and Internet Architecture [cs.NI]. Université Sciences et Technologies - Bordeaux I, 2010. English
...
tel-00539044v1  Theses
Velotiaray Toto-Zarasoa. Distributed Source Coding: Tools and application to video compression
Modeling and Simulation. Université Rennes 1, 2010. English
...
tel-00590292v1  Theses
Ghislain Charrier. Scheduling and Dynamic Management of Applications over Grids
Networking and Internet Architecture [cs.NI]. Ecole normale supérieure de lyon - ENS LYON, 2010. English
...
tel-00592207v1  Theses
Thomas Colleu. A floating polygon soup representation for 3D video
Human-Computer Interaction [cs.HC]. Université Rennes 1, 2010. English
...
tel-00545641v1  Theses
Nicolas Le Scouarnec. Coding for resource optimization in large-scale distributed systems
Networking and Internet Architecture [cs.NI]. INSA de Rennes, 2010. English
...
tel-00545642v1  Theses
Xiao Bai. Personalized top-k processing: from centralized to decentralized systems
Networking and Internet Architecture [cs.NI]. INSA de Rennes, 2010. English
...
pastel-00584350v1  Theses
Santiago Zanella-Béguelin. Formal certification of game-based cryptographic proofs
Computer Science and Game Theory [cs.GT]. École Nationale Supérieure des Mines de Paris, 2010. English. ⟨NNT : 2010ENMP0050⟩
...
tel-00833311v1  Theses
Marta L. Gîrdea. New methods for biological sequence alignment
Bioinformatics [q-bio.QM]. Université des Sciences et Technologie de Lille - Lille I, 2010. English
...
tel-00552215v1  Theses
Manuel Caroli. Triangulating Point Sets in Orbit Spaces
Computer Science [cs]. Université Nice Sophia Antipolis, 2010. English
...
tel-00545639v1  Theses
Vincent Leroy. Distributing Social Applications
Networking and Internet Architecture [cs.NI]. INSA de Rennes, 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-00671564v1  Theses
Xu Quan. Contribution à l'étude et au développement de techniques de gestion de fenêtres
Human-Computer Interaction [cs.HC]. Université des Sciences et Technologie de Lille - Lille I, 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-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-00536984v2  Theses
Nader Salman. From 3D point clouds to feature preserving meshes
Modeling and Simulation. Université Nice Sophia Antipolis, 2010. English
...
tel-00561299v1  Theses
Olivier Comas. Real-time Soft Tissue Modelling on GPU for Medical Simulation
Modeling and Simulation. Université des Sciences et Technologie de Lille - Lille I, 2010. English
...
tel-00593412v1  Theses
Napoleao Nepomuceno. Network optimization for wireless microwave backhaul
Computer Science [cs]. Université Nice Sophia Antipolis, 2010. English
...
tel-00743132v1  Theses
Noha Makhoul-Karam. Time-Slicing, Rescaling & Ratio-based Parallel Time Integration
Numerical Analysis [cs.NA]. Université Rennes 1, 2010. English
...
tel-00578431v1  Theses
Álvaro Fialho. Adaptive Operator Selection for Optimization
Computer Science [cs]. Université Paris Sud - Paris XI, 2010. English
...
tel-01493094v1  Theses
Viktor Toldov. Adaptive MAC layer for interference limited WSN
Networking and Internet Architecture [cs.NI]. Université Lille 1 Sciences et technologies, 2017. English
...
tel-01455701v3  Theses
Li Wang. Algorithms and Criteria for Volumetric Centroidal Voronoi Tessellations
General Mathematics [math.GM]. Université Grenoble Alpes, 2017. English. ⟨NNT : 2017GREAM002⟩
...
tel-01546383v1  Theses
Jean Hergel. Synthesis of fabricable shape from partial specifications
Emerging Technologies [cs.ET]. Université de Lorraine, 2017. English. ⟨NNT : 2017LORR0003⟩
...
tel-01559667v1  Theses
Vincent Lostanlen. Convolutional operators in the time-frequency domain
Signal and Image Processing. Université Paris sciences et lettres, 2017. English. ⟨NNT : 2017PSLEE012⟩
...
tel-01547313v1  Theses
Jérémie Dumas. Controllable shape synthesis for digital fabrication
Modeling and Simulation. Université de Lorraine, 2017. English. ⟨NNT : 2017LORR0008⟩
...
tel-01498190v1  Theses
Ismael Cuadrado-Cordero. Microclouds : an approach for a network-aware energy-efficient decentralised cloud
Networking and Internet Architecture [cs.NI]. Université Rennes 1, 2017. English. ⟨NNT : 2017REN1S003⟩
...
tel-01563979v1  Theses
Evmorfia-Iro Bartzia. A formalization of elliptic curves for cryptography
Cryptography and Security [cs.CR]. Université Paris Saclay (COmUE), 2017. English. ⟨NNT : 2017SACLX002⟩
...
tel-01665395v4  Theses
Thomas Capelle. Development of optimization methods for land-use and transportation models
Computer Aided Engineering. Université Grenoble Alpes, 2017. English. ⟨NNT : 2017GREAM008⟩