1. Recherche
4044 résultats  enregistrer la recherche
...
tel-00011138v1  Thèse
Carla Maria Chagas E Cavalcante Koike. Bayesian Approach to Action Selection and Attention Focusing. An Application in Autonomous Robot Programming.
Other [cs.OH]. Institut National Polytechnique de Grenoble - INPG, 2005. English
...
tel-00450230v1  HDR
Rémi Ronfard. Analyse automatique de film - Des séquences d'images aux séquences d'actions.
Interface homme-machine [cs.HC]. Université de Grenoble, 2009
...
tel-00300459v1  Thèse
Leila Kefi-Khelif. Un modèle général de recherche d?information : Application à la recherche de documents techniques par des professionnels
Autre [cs.OH]. Université Joseph-Fourier - Grenoble I, 2006. Français
...
tel-00550331v1  Thèse
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
...
pastel-00001654v1  Thèse
Vivien Mallet. Estimation de l'incertitude et prévision d'ensemble avec un modèle de chimie transport - Application à la simulation numérique de la qualité de l'air
domain_other. Ecole des Ponts ParisTech, 2005. Français
...
tel-00750144v1  Thèse
Emmanuel Caruyer. IRM de diffusion du Q-space : Acquisition et pré-traitements
Medical Imaging. Université Nice Sophia Antipolis, 2012. English
...
tel-01400208v1  HDR
Bruno Scherrer. Contributions algorithmiques au contrôle optimal stochastique à temps discret et horizon infini
Optimisation et contrôle [math.OC]. Université de Lorraine (Nancy), 2016
...
tel-00550081v1  Thèse
Christophe Thiery. Itération sur les Politiques Optimiste et Apprentissage du Jeu de Tetris
Interface homme-machine [cs.HC]. Université Henri Poincaré - Nancy I, 2010. Français
...
tel-00011151v1  Thèse
Jean-Paul Cerri. Spectres euclidiens et inhomogènes des corps de nombres
Mathématiques [math]. Université Henri Poincaré - Nancy I, 2005. Français
...
tel-00150756v1  Thèse
Nicolas Gourier. Machine Observation of the Direction of Human Visual Focus of Attention
Human-Computer Interaction [cs.HC]. Institut National Polytechnique de Grenoble - INPG, 2006. English
...
tel-00550829v1  Thèse
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-00550836v1  HDR
Bruno Raffin. High Performance Interactive Computing
Computer Science [cs]. Institut National Polytechnique de Grenoble - INPG, 2009
...
tel-00011153v1  Thèse
Cyril Duron. Ordonnancement en temps réel des activités des radars
Automatique / Robotique. Université de Metz, 2002. Français
...
tel-00550715v1  HDR
Emmanuel Villar. Eléments d'épidémiologie rénale : Impact du diabète sur la survie des patients insuffisants rénaux chroniques terminaux
Sciences du Vivant [q-bio]. Université Claude Bernard - Lyon I, 2010
...
tel-00011152v1  Thèse
Pascal Gallard. Conception d'un service de communication pour systèmes d'exploitation distribués pour grappes de calculateurs: mise en oeuvre dans le système à image unique Kerrighed
Réseaux et télécommunications [cs.NI]. Université Rennes 1, 2004. Français
...
tel-00650682v1  Thèse
Mariano Belaunde. Le Développement Agile de Services de Télécommunication Intégrés via des techniques d'ingénierie des modèles.
Génie logiciel [cs.SE]. Université Rennes 1, 2011. Français
...
tel-00600578v1  Thèse
Luis Martinez-Gomez. Safe Navigation for Autonomous Vehicles in Dynamic Environments: an Inevitable Collision State (ICS) Perspective
Automatic. Université de Grenoble, 2010. English
...
tel-00450479v1  Thèse
Rémi Emonet. Semantic Description of Services and Service Factories for Ambient Intelligence
Software Engineering [cs.SE]. Institut National Polytechnique de Grenoble - INPG, 2009. English
...
tel-00011148v1  Thèse
Djalel Chefrour. Plate-forme de composants logiciels pour la coordination des adaptations multiples en environnement dynamique
Réseaux et télécommunications [cs.NI]. Université Rennes 1, 2005. Français
...
tel-00750375v1  HDR
Etienne Birmele. Etude structurelle des réseaux : modèles aléatoires, motifs et cycles.
Bio-informatique [q-bio.QM]. Université d'Evry-Val d'Essonne, 2011
...
pastel-00003661v1  Thèse
Stéphane Renaud Petti. Safe navigation within dynamic environments: a partial motion planning approach
Automatic. École Nationale Supérieure des Mines de Paris, 2007. English. <NNT : 2007ENMP1516>
...
tel-00011150v1  Thèse
Damien Stehlé. Algorithmique de la réduction de réseaux et application à la recherche de pires cas pour l'arrondi de fonctions mathématiques
Génie logiciel [cs.SE]. Université Henri Poincaré - Nancy I, 2005. Français
...
tel-00450587v1  Thèse
Afshin Nikseresht. Estimation de modèles de mélange probabilistes: une proposition pour un fonctionnement réparti et décentralise
Interface homme-machine [cs.HC]. Université de Nantes, 2008. Français
...
tel-00750370v1  Thèse
Alexandra Popa. The evolution of recombination and genomic structures: a modeling approach.
Bioinformatics [q-bio.QM]. Université Claude Bernard - Lyon I, 2011. English
...
tel-00650399v1  Thèse
Mahsa Behzadi. A Mathematical Model of Phospholipid Biosynthesis
Bioinformatics [q-bio.QM]. Ecole Polytechnique X, 2011. English
...
tel-00550047v1  Thèse
Vincent Michel. Understanding the visual cortex by using classification techniques
Human-Computer Interaction [cs.HC]. Université Paris Sud - Paris XI, 2010. English
...
tel-00450297v1  HDR
Marc Gelgon. Structuration statistique de données multimédia pour la recherche d'information
Informatique [cs]. Université de Nantes, 2007
...
tel-00650354v1  Thèse
Bérangère Delourme. Modèles et asymptotiques des interfaces fines et périodiques en électromagnétisme
Analyse numérique [math.NA]. Université Pierre et Marie Curie - Paris VI, 2010. Français
...
pastel-00002381v1  Thèse
Houssem Haddar. Modèles asymptotiques en ferromagnétisme: couches minces et homogénéisation
Mathématiques [math]. Ecole des Ponts ParisTech, 2000. Français. <NNT : 2000ENPC0020>
...
tel-00759026v2  Thèse
Jean-Philippe Deblonde. Exploitation de la dynamique du geste en IHM. Application aux fonctions de transfert pour le pointage et l'extraction d'évènements discrets.
Interface homme-machine [cs.HC]. Université des Sciences et Technologie de Lille - Lille I, 2012. Français
...
tel-00850265v1  Thèse
Émilien Tlapale. Modelling the dynamics of contextual motion integration in the primate
Modeling and Simulation. Université Nice Sophia Antipolis, 2011. English
...
tel-00600247v1  Thèse
Rodrigo Toledo. Visualisation Interactive de Modeles Complexes avec les Cartes Graphiques Programmables
Interface homme-machine [cs.HC]. Université Henri Poincaré - Nancy I, 2007. Français
...
tel-00150434v1  Thèse
Denis Jacquet. Macroscopic Freeway Modelling and Control.
Automatic. Institut National Polytechnique de Grenoble - INPG, 2006. English
...
tel-00850264v1  Thèse
Horacio Rostro-Gonzalez. Computing with spikes, architecture, properties and implementation of emerging paradigms
Other [cs.OH]. Université Nice Sophia Antipolis, 2011. English
...
pastel-00002485v1  Thèse
Kamel Berriri. Approche analytique et numérique pour l'aéroacoustique en régime transitoire par le modèle de Galbrun
Mathématiques [math]. ENSTA ParisTech, 2006. Français
...
pastel-00002492v1  Thèse
Pascal Grob. Méthodes numériques de couplage pour la vibroacoustique instationnaire : éléments finis spectraux d'ordre élevé et potentiels retardés
Mathématiques [math]. ENSTA ParisTech, 2006. Français
...
tel-01400369v1  Thèse
Marco Solieri. Sharing, Superposition and Expansion: Geometrical Studies on the Semantics and Implementation of λ-calculi and Proof-nets
Logic in Computer Science [cs.LO]. Université Paris XIII, Sorbonne Paris Cité; Università di Bologna, 2016. English
...
tel-00653043v2  Thèse
Guillaume Batog. Problèmes classiques en vision par ordinateur et en géométrie algorithmique revisités via la géométrie des droites
Géométrie algorithmique [cs.CG]. Université Nancy II, 2011. Français
...
tel-00337558v2  Thèse
Oana Andrei. A Rewriting Calculus for Graphs: Applications to Biology and Autonomous Systems
Software Engineering [cs.SE]. Institut National Polytechnique de Lorraine - INPL, 2008. English
...
pastel-00001355v1  Thèse
Raul Acosta-Bermejo. Rejo Langage d'Objects Réactifs et d'Agents
domain_other. École Nationale Supérieure des Mines de Paris, 2003. Français. <NNT : 2003ENMP1158>
...
pastel-00003832v1  Thèse
Maria Jimena Costa. Segmentation of anatomical structures of the lower abdomen using 3D deformable models
domain_stic. École Nationale Supérieure des Mines de Paris, 2008. English. <NNT : 2008ENMP>
...
tel-00550830v1  HDR
Albert Cohen. Contributions to the Design of Reliable and Programmable High-Performance Systems: Principles, Interfaces, Algorithms and Tools
Networking and Internet Architecture [cs.NI]. Université Paris Sud - Paris XI, 2007
...
tel-00150912v1  Thèse
Pierre Letouzey. Programmation fonctionnelle certifiée : L'extraction de programmes dans l'assistant Coq
Autre [cs.OH]. Université Paris Sud - Paris XI, 2004. Français
...
tel-01400595v1  Thèse
Dmitry Ponomarev. Some inverse problems with partial data
Analysis of PDEs [math.AP]. INRIA Sophia Antipolis - Méditerranée, 2016. English
...
tel-00750693v1  Thèse
Nuno D Mendes. Efficient algorithms for the identification of miRNA motifs in DNA sequences
Bioinformatics [q-bio.QM]. UNIVERSIDADE TECNICA DE LISBOA INSTITUTO SUPERIOR TECNICO, 2011. English
...
pastel-00005666v1  Thèse
Vahan Baronian. Couplage des méthodes modale et éléments finis pour la diffraction des ondes élastiques guidées : Application au Contrôle Non Destructif
Sciences de l'ingénieur [physics]. Ecole Polytechnique X, 2009. Français
...
tel-00804813v1  Thèse
Ludovic Hablot. Réseau longue distance et application distribuée dans les grilles de calcul : étude et propositions pour une interaction efficace.
Réseaux et télécommunications [cs.NI]. Ecole normale supérieure de lyon - ENS LYON, 2009. Français
...
tel-00505881v1  Thèse
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-01255116v1  Thèse
Samuel Huron. Constructive Visualization
Human-Computer Interaction [cs.HC]. Univeristé Paris-Saclay, 2015. English. <NNT : 2014PA112253>
...
tel-00156376v1  Thèse
Pierre-André Caron. Ingénierie dirigée par les modèles pour la construction de dispositifs pédagogiques sur des plateformes de formation
Autre [cs.OH]. Université des Sciences et Technologie de Lille - Lille I, 2007. Français
...
tel-01254928v1  HDR
Marc Lelarge. Topics in random graphs, combinatorial optimization, and statistical inference
Probability [math.PR]. ENS Paris - Ecole Normale Supérieure de Paris, 2015
...
tel-00654268v1  Thèse
Julien Mercadal. Approche langage au développement logiciel : application au domaine des systèmes d'informatique ubiquitaire
Langage de programmation [cs.PL]. Université Sciences et Technologies - Bordeaux I, 2011. Français
...
tel-00440503v1  HDR
Stéphane Genaud. Exécutions de programmes parallèles à passage de messages sur grille de calcul
Réseaux et télécommunications [cs.NI]. Université Henri Poincaré - Nancy I, 2009
...
tel-00405485v1  Thèse
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-00555158v1  Thèse
Ioana Pasca. Formal Verifcation for Numerical Methods
Other [cs.OH]. Université Nice Sophia Antipolis, 2010. English
...
tel-00355156v1  HDR
Jacques Nicolas. Syntaxe, raisonnement et génomes
Sciences du Vivant [q-bio]. Université Rennes 1, 2008
...
tel-00412139v1  Thèse
David Ilcinkas. Complexité en espace de l'exploration de graphes
Informatique [cs]. Université Paris Sud - Paris XI, 2006. Français
...
tel-01064134v1  HDR
Lionel Reveret. Mesures et modèles pour la capture de mouvement
Traitement du signal et de l'image. Institut National Polytechnique de Grenoble - INPG, 2014
...
tel-00620486v1  Thèse
Étienne Duris. Contribution aux relations entre les grammaires attribuées et la programmation fonctionnelle
Informatique [cs]. Université d'Orléans, 1998. Français
...
tel-00923305v1  Thèse
Viet Hoa Nguyen. A model-based method to manage time properties in component based software systems
Software Engineering [cs.SE]. Université Rennes 1, 2013. English
...
tel-00770791v1  HDR
Emmanuel Baccelli. IP-Disruptive Wireless Networking: Integration in the Internet
Networking and Internet Architecture [cs.NI]. Université Pierre et Marie Curie - Paris VI, 2012
...
tel-00327515v1  Thèse
Mauricio Araya-Polo. Approaches to Assess Validity of Derivatives and to Improve Efficiency in Automatic Differentiation of Programs
Autre. Université Nice Sophia Antipolis, 2006. Français
...
tel-00327560v1  Thèse
Mikaël Rousson. Cue Integration and Front Evolution in Image Segmentation
Human-Computer Interaction [cs.HC]. Université Nice Sophia Antipolis, 2004. English
...
tel-00525125v1  Thèse
Jérôme Baril. Modèles de représentation multi-résolution pour le rendu photo-réaliste de matériaux complexes
Informatique [cs]. Université Sciences et Technologies - Bordeaux I, 2010. Français
...
tel-00327549v1  Thèse
Mauricio Reyes Aguirre. Respiratory Motion Compensation in Emission Tomography
Other [cs.OH]. Université Nice Sophia Antipolis, 2005. English
...
tel-00373688v1  Thèse
Laila Amir. Modèles couplés en milieux poreux : transport réactif et fractures
Mathématiques [math]. Université Paris Dauphine - Paris IX, 2008. Français
...
tel-00475589v1  Thèse
Stéphanie Gerbaud. Contribution à la formation en réalité virtuelle : scénarios collaboratifs et intégration d'humains virtuels collaborant avec des utilisateurs réels
Informatique [cs]. INSA de Rennes, 2008. Français
...
tel-00327972v1  Thèse
Pierre-Yves Bondiau. Mise en œuvre et évaluation d'outils de fusion d'image en radiothérapie
Interface homme-machine [cs.HC]. Université Nice Sophia Antipolis, 2004. Français
...
tel-00175997v1  HDR
Monique Teillaud. Géométrie algorithmique -- De la théorie à la pratique, Des objets linéaires aux objets courbes.
Génie logiciel [cs.SE]. Université Nice Sophia Antipolis, 2007
...
tel-00424118v1  Thèse
Veronika Rehn-Sonigo. Multi-criteria Mapping and Scheduling of Workflow Applications onto Heterogeneous Platforms
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2009. English
...
tel-00327868v1  Thèse
Ahmad Al Hanbali. Performance evaluation of mobile wireless networks
Networking and Internet Architecture [cs.NI]. Université Nice Sophia Antipolis, 2006. English
...
tel-00328084v1  Thèse
Alex Reche. Image-Based Capture and Rendering with Applications to Urban Planning
Human-Computer Interaction [cs.HC]. Université Nice Sophia Antipolis, 2005. English
...
tel-00823763v1  HDR
Stéphane Huot. Designeering Interaction': A Missing Link in the Evolution of Human-Computer Interaction
Human-Computer Interaction [cs.HC]. Université Paris Sud - Paris XI, 2013
...
tel-00328114v1  Thèse
Khaled Khelif. Web sémantique et Mémoire d expériences sur l analyse du transcriptome
Réseaux et télécommunications [cs.NI]. Université Nice Sophia Antipolis, 2006. Français
...
tel-00328101v1  Thèse
Carlos Grandón. Solving Systems of Distance Equations with Uncertainties.
Modeling and Simulation. Université Nice Sophia Antipolis, 2007. English
...
tel-00671453v1  Thèse
Ana-Maria Nicu. Approximation and representation of functions on the sphere. Applications to inverse problems in geodesy and medical imaging.
Numerical Analysis [math.NA]. Université Nice Sophia Antipolis, 2012. English
...
tel-00771335v1  Thèse
Pascal Desnogues. Triangulations et quadriques
Géométrie algorithmique [cs.CG]. Université Nice Sophia Antipolis, 1996. Français
...
tel-00475913v1  Thèse
Rabab Hayek. Techniques de localisation et de résumé des données dans les systèmes P2P
Interface homme-machine [cs.HC]. Université de Nantes, 2009. Français
...
tel-00327919v1  Thèse
Van-Thinh Vu. Scénarios temporels pour l'interprétation automatique de séquences vidéos
Interface homme-machine [cs.HC]. Université Nice Sophia Antipolis, 2004. Français
...
tel-00327938v1  Thèse
Goulven Kerbellec. Apprentissage d'automates modélisant des familles de séquences protéiques
Interface homme-machine [cs.HC]. Université Rennes 1, 2008. Français
...
tel-00671181v1  Thèse
Anca Belme. Unsteady Aerodynamics and Adjoint Method
Analysis of PDEs [math.AP]. Université Nice Sophia Antipolis, 2011. English
...
tel-00771344v1  Thèse
Pierre-Marie Gandoin. Compression progressive et sans perte de structures géométriques
Géométrie algorithmique [cs.CG]. Université Nice Sophia Antipolis, 2001. Français
...
tel-00328034v1  Thèse
Céline Hudelot. Towards a Cognitive Vision Platform for Semantic Image Interpretation; Application to the Recognition of Biological Organisms
Human-Computer Interaction [cs.HC]. Université Nice Sophia Antipolis, 2005. English
...
tel-00923811v1  Thèse
Tam Le Nhan. Model-Driven Software Engineering for Virtual Machine Images Provisioning in Cloud Computing
Software Engineering [cs.SE]. Université Rennes 1, 2013. English
...
tel-00823882v1  Thèse
Ilya Loshchilov. Surrogate-Assisted Evolutionary Algorithms
Optimization and Control [math.OC]. Université Paris Sud - Paris XI; Institut national de recherche en informatique et en automatique - INRIA, 2013. English
...
tel-00423884v1  Thèse
Pierre Guitteny. Le passif en langue des signes
Linguistique. Université Michel de Montaigne - Bordeaux III, 2006. Français
...
tel-00529476v2  Thèse
Alexandre Lekina. Estimation non-paramétrique des quantiles extrêmes conditionnels
Mathématiques [math]. Université Joseph-Fourier - Grenoble I; Université de Grenoble, 2010. Français
...
tel-00327377v1  HDR
Karim Ramdani. Guider, piéger, focaliser et contrôler les ondes. Une contribution mathématique et numérique.
Mathématiques [math]. Université Henri Poincaré - Nancy I, 2007
...
tel-01074745v1  HDR
Florent Lafarge. Some contributions to geometric modeling of urban environments
Computer Vision and Pattern Recognition [cs.CV]. University of Nice Sophia Antipolis, 2014
...
tel-01424776v1  HDR
Christophe Godin. Introduction aux structures multi-échelles. Applications à la représentation des plantes.
Modélisation et simulation. Université de Montpellier 2, 2003
...
tel-00327542v1  Thèse
Nicolas Maillot. Ontology Based Object Learning and Recognition
Interface homme-machine [cs.HC]. Université Nice Sophia Antipolis, 2005. Français
...
tel-00279825v1  Thèse
Pau Gargallo I Piracés. Contributions to the Bayesian Approach to Multi-View Stereo
Human-Computer Interaction [cs.HC]. Institut National Polytechnique de Grenoble - INPG, 2008. English
...
tel-00327441v1  Thèse
Christian Brunette. Construction et simulation graphiques de comportements : le modèle des Icobjs
Autre [cs.OH]. École Nationale Supérieure des Mines de Paris, 2004. Français
...
tel-01075111v1  Thèse
Guillaume Aupy. Resilient and energy-efficient scheduling algorithms at scale
Data Structures and Algorithms [cs.DS]. École Normale Supérieure de Lyon, 2014. English. <NNT : 2014ENSL0928>
...
tel-00122091v1  Thèse
Samir Nefti. Segmentation automatique de parole en phones. Correction d'étiquetage par l'introduction de mesures de confiance
Interface homme-machine [cs.HC]. Université Rennes 1, 2004. Français
...
tel-00424546v1  Thèse
Camille Constant. Génération automatique de tests pour des modèles avec variables ou récursivité.
Génie logiciel [cs.SE]. Université Rennes 1, 2008. Français
...
tel-00280550v1  HDR
Nicolas Roussel. Nouvelles formes de communication et nouvelles interactions homme-machine pour enrichir et simplifier le quotidien
Interface homme-machine [cs.HC]. Université Paris Sud - Paris XI, 2007
...
tel-00424552v1  Thèse
Tristan Le Gall. Abstract lattices for the verification of systèmes with stacks and queues
Software Engineering [cs.SE]. Université Rennes 1, 2008. English
...
tel-00001186v1  Thèse
Nicolas Roussel, Nicolas Roussel. Support informatique à une communication médiatisée
Interface homme-machine [cs.HC]. Université Paris Sud - Paris XI, 2000. Français
...
tel-01228520v1  Thèse
Astrid Casadei. Optimisations des solveurs linéaires creux hybrides basés sur une approche par complément de Schur et décomposition de domaine
Autre [cs.OH]. Université de Bordeaux, 2015. Français. < NNT : 2015BORD0186 >

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD