Skip to Main content Skip to Navigation
  1. Search


...
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-00541903v1  Theses
Carito Guziolowski. Analysis of Large-Scale Biological Networks with Constraint-Based Approaches over Static Models
Other [cs.OH]. Université Rennes 1, 2010. English
...
tel-00458959v1  Theses
Asli Ürgüplü. Contributions to Symbolic Effective Qualitative Analysis of Dynamical Systems; Application to Biochemical Reaction Networks
Modeling and Simulation. Université de Lille 1, 2010. 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-00509142v1  Theses
Noël Malod-Dognin. Protein Structure Comparison: From Contact Map Overlap Maximisation to Distance-based Alignment Search Tool
Modeling and Simulation. Université Rennes 1, 2010. English
...
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-00834283v1  Theses
Aamir Mehmood Khan. Model-based design for on-chip systems using and extending Marte and IP-XACT
Embedded Systems. Université Nice Sophia Antipolis, 2010. English. ⟨NNT : 2010NICE4002⟩
...
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-00827022v1  Theses
Demian Wassermann. Automated In Vivo Dissection of White Matter Structures from Diffusion Magnetic Resonance Imaging
Medical Imaging. Université Nice Sophia Antipolis, 2010. English
...
tel-00845352v1  Theses
Matteo Astorino. Fluid-Structure Interaction in the Cardiovascular System. Numerical Analysis and Simulation
Numerical Analysis [math.NA]. INRIA, 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-00508534v2  Theses
Loïc Cerf. Constraint-Based Mining of Closed Patterns in Noisy n-ary Relations
Other [cs.OH]. INSA de Lyon, 2010. English
...
tel-00844717v1  Theses
Heike Hufnagel. A probabilistic framework for point-based shape modeling in medical image analysis
Medical Imaging. universität Lübeck, 2010. English
...
tel-00514814v1  Theses
Alexander Klaser. Learning human actions in video
Modeling and Simulation. Institut National Polytechnique de Grenoble - INPG, 2010. English
...
tel-00825257v1  Theses
Mathias John. Reaction Constraints for the Pi-Calculus - A Language for the Stochastic and Spatial Modeling of Cell-Biological Processes
Modeling and Simulation. Universität Rostock, 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-00544349v1  Theses
Alexandru Plesco. Program Transformations and Memory Architecture Optimizations for High-Level Synthesis of Hardware Accelerators
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 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-00684994v1  Theses
Benoît Combès. E fficient computational tools for the statistical analysis of shape and asymmetryof 3D point sets
Signal and Image Processing. Université Rennes 1, 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-00675438v1  Theses
yue Ma. Compositional modeling of globally asynchronous locally synchronous (GALS) architectures in a polychronous model of compotation
Embedded Systems. Université Rennes 1, 2010. English
...
tel-00552271v1  Theses
Bogdan Nicolae. BlobSeer: Towards efficient data storage management for large-scale, distributed systems
Computer Science [cs]. Université Rennes 1, 2010. English
...
tel-00996067v1  Theses
Trong-Ton Pham. Modélisation et recherche de graphes visuels : une approche par modèles de langue pour la reconnaissance de scènes
Information Retrieval [cs.IR]. Université de Grenoble, 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-00547829v1  Theses
Luis Mariano Peñaranda. Non-linear computational geometry for planar algebraic curves
Other [cs.OH]. Université Nancy II, 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-00553143v1  Theses
Muhammad Adeel Ahmed Pasha. System-Level Synthesis of Ultra Low-Power Wireless Sensor Network Node Controllers: A Complete Design-Flow
Computer Science [cs]. Université Rennes 1, 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-00550331v1  Theses
Benoît Montagu. Programming with first-class modules in a core language with subtyping, singleton kinds and open existential types
Programming Languages [cs.PL]. 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-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-01549003v1  Theses
Robin David. Formal Approaches for Automatic Deobfuscation and Reverse-engineering of Protected Codes
Cryptography and Security [cs.CR]. Université de Lorraine, 2017. English. ⟨NNT : 2017LORR0013⟩
...
tel-01549139v1  Theses
Cecilia Lindig León. Multilabel classification of EEG-based combined motor imageries implemented for the 3D control of a robotic arm
Human-Computer Interaction [cs.HC]. Université de Lorraine, 2017. English. ⟨NNT : 2017LORR0016⟩
...
tel-01526693v1  Theses
Andrés Hoyos-Idrobo. Ensembles of models in fMRI : stable learning in large-scale settings
Medical Imaging. Université Paris Saclay (COmUE), 2017. English. ⟨NNT : 2017SACLS029⟩
...
tel-01557498v1  Theses
Ferdinanda Camporesi. Formal and exact reduction for differential models of signalling pathways in rule-based languages
Computation and Language [cs.CL]. Université Paris sciences et lettres, 2017. English. ⟨NNT : 2017PSLEE005⟩
...
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-01522929v1  Theses
Asma Atamna. Analysis of Randomized Adaptive Algorithms for Black-Box Continuous Constrained Optimization
Artificial Intelligence [cs.AI]. Université Paris-Saclay, 2017. English. ⟨NNT : 2017SACLS010⟩
...
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-01488283v1  Theses
Tran Anh Quang Pham. Algorithms and optimization for quality of experience aware routing in wireless networks : from centralized to decentralized solutions
Networking and Internet Architecture [cs.NI]. Université Rennes 1, 2017. English. ⟨NNT : 2017REN1S002⟩
...
tel-01523568v1  Theses
Stéphane Delbruel. Towards an architecture for tag-based predictive placement in distributed storage systems
Web. Université Rennes 1, 2017. English. ⟨NNT : 2017REN1S006⟩
...
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-01677852v3  Theses
Mattis Paulin. Of Learning Visual Representations Robust to Invariances for Image Classification and Retrieval
Artificial Intelligence [cs.AI]. Université Grenoble Alpes, 2017. English. ⟨NNT : 2017GREAM007⟩
...
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⟩
Designed by Inria-IES Team : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/