[Home bibliotech]
Home > Les thèses en ligne de l'INP

Laboratory: Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France)

Number of records: 111.

Niculae, Alexandra Mihaela (2009) Mécanismes d'optimisation multi-niveaux pour IP sur satellites de nouvelle génération. (Cross-layer optimisation mechanisms for IP in next-generation satellite networks.)

De Boer, Jean-Rémi (2010) Capteurs MEMS : optimisation des méthodes de traitement capteurs, de navigation et d'hybridation. (MEMS sensors : preprocessing and GNSS/MEMS navigation optimization.)

Pontisso, Nadège (2009) Association cohérente de données dans les systèmes temps réel à base de composants - Application aux logiciels spatiaux. (Formal models for technical specification of flying softwares.)

Le Berre, Tanguy (2010) Spécification formelle de systèmes temps réel répartis par une approche flots de données à contraintes temporelles. (Formal specification of distributed real time systems using an approach based on temporally constrained data flows.)

Ouksili, Zehor (2010) Compensation du mouvement respiratoire dans les images TEP/TDM thoraciques. (Respiratory motion compensation in thoracic PET/CT images.)

Pham Thi Xuan, Loc (2004) Adaptation des composants centrée sur l'utilisation. (Use-centered component adaptation.)

Touré, Mahamadou Abdoulaye (2010) Administration d'applications réparties à grande échelle. (Autonomic administration of large scale software infrastructure.)

Bchini, Tarek (2010) Gestion de la Mobilité, de la Qualité de Service et Interconnexion de Réseaux Mobiles de Nouvelle Génération. (Management of the Mobility and the QoS, and Interconnection of next generation mobile networks.)

Studzinski Perotto, Filipo (2010) Un mécanisme constructiviste d'apprentissage automatique, d'anticipations pour des agents artificiels situés. (A Constructivist Anticipatory Learning Mechanism for Situated Artificial Agents.)

Eches, Olivier (2010) Méthodes Bayésiennes pour le démélange d'images hyperspectrales. (Bayesian methods for hyperspectral image unmixing.)

Severini, Jérôme (2010) Estimation et Classification de Signaux Altimétriques. (Estimation and Classification of Altimetric Signals.)

Garcia Peña, Axel Javier (2010) Optimization of demodulation performance of the GPS and GALILEO navigation messages. (Optimisation de la performance de démodulation des messages de navigation GPS et GALILEO.)

Dehais, Christophe (2008) Contributions pour les applications de réalité augmentée. Suivi visuel et recalage 2D. Suivi d'objets 3D représentés par des modèles par points. (Contributions to Augmented Reality applications. Visual tracking and 2D registration. 3D object tracking using point-based models.)

Panichpattanakul, Wasimon (2010) Cooperative Communications in Ad Hoc Networks. (Communications Coopératives en Réseaux Ad Hoc.)

Caillau, Jean-Baptiste (2000) Contribution à l'étude du contrôle en temps minimal des transferts orbitaux.

Deau, Raphaël (2010) Optimisation des séquences de pistes et des mouvements au sol sur les grands aéroports. (Runways sequences and ground traffic optimisation on busy airports.)

Mouysset, Sandrine (2010) Contributions à l'étude de la classification spectrale et applications. (Contributions to the study of spectral clustering and applications.)

Mcheik, Ali (2010) Modélisation statistique du Speckle en OCT : application à la segmentation d'images de la peau. (Statistical modelization of speckle in Optical Coherence Tomography (OCT) : Application of skin images segmentation.)

Poulain, Vincent (2010) Fusion d'images optique et radar à haute résolution pour la mise à jour de bases de données cartographiques. (Fusion of high resolution optical and SAR images to update cartographic databases.)

Koenig, Lionel (2011) Masquage de pertes de paquets en voix sur IP. (Packet loss concealment on voice over IP.)

Ninin, Jordan (2010) Optimisation Globale basée sur l'Analyse d'Intervalles : Relaxation Affine et Limitation de la Mémoire. (Global Optimization based on Interval Analysis: Affine Relaxation and Limited Memory.)

Jackou, Rakiatou Christelle (2010) Contribution à la Gestion des Opérations de la Sûreté Aéroportuaire : Modélisation et Optimisation. (Contribution to the management of airport security operations: modelisation and optimization.)

Fares, Fares (2011) Traitement des signaux Argos 4. (Signal Processing for ARGOS 4 Syste.)

Bauer, Henri (2011) Analyse pire cas de flux hétérogènes dans un réseau embarqué avion. (Heterogeneous flows worst case analysis in avionics embedded networks.)

Hobaya, Fabrice (2011) Convergence vers IP des systèmes de télécommunication par satellite. (IP conververgence of satellite communication systems.)

Allignol, Cyril (2011) Planification de trajectoires pour l'optimisation du trafic aérien. (Trajectory planning for air traffic optimization.)

Mostafa, Mahmoud (2011) Analyse de sécurité et QoS dans les réseaux à contraintes temporelles. (Analysis of security and QoS in networks with time constraints.)

Stanica, Razvan (2011) Contrôle de Congestion dans les Réseaux Véhiculaires. (Congestion Control in Vehicular Ad Hoc Networks.)

Tchana, Alain-Bouzaïde (2011) Système d'Administration Autonome Adaptable : application au Cloud. (Adaptable autonomic management system: application to Cloud infrastructures.)

Ben Nacef, Ahmed (2011) Relais coopératifs dans un réseau de capteurs : performances limites et stratégies. (Cooperative Relaying in sensor network: performances, limits and startegies.)

Izerrouken, Nassima (2011) Développement prouvé de composants formels pour un générateur de code embarqué critique pré-qualifié. (Proved Development of Formal Components for a Pre-Qualified Critical Embedded Code Generator.)

Pătrăucean, Viorica (2012) Detection and identification of elliptical structure arrangements in images: theory and algorithms. (Détection et identification de structures elliptiques en images : Paradigme et algorithmes.)

Lauer, Michaël (2012) Une méthode globale pour la vérification d’exigences temps réel : application à l’avionique modulaire intégrée. (A comprehensive method for the verification of real-time requirements: application to integrated modular avionics.)

Deslandes, Vincent (2012) Analyse et Optimisation du Partage de Spectre dans les Systèmes Mobiles Intégrés Satellite et Terrestre. (Analysis and Optimization of Spectrum Sharing in Integrated Satellite and Terrestrial Mobile Systems.)

Mégel, Thomas (2012) Placement, ordonnancement et mécanismes de migration de tâches temps-réel pour des architectures distribuées multicoeurs. (Real-time tasks assignment, scheduling and migration mechanisms for multicore distributed architectures.)

Bagayoko, Amadou Baba (2012) Politiques de robustesse en réseaux ad hoc. (Robustness policies in mobile ad hoc networks.)

Lin, Chao (2012) P and T wave analysis in ECG signals using Bayesian methods. (Analyse des ondes P et T des signaux ECG à l'aide de méthodes Bayésienne.)

Pereyra, Marcelo (2012) Statistical modeling and processing of high frequency ultrasound images: application to dermatologic oncology. (Modélisation et traitement statistiques d’images d’ultrasons de haute fréquence. Application à l’oncologie dermatologique.)

Werapun, Warodom (2012) Architectures de réseaux pour la délivrance de services à domicile. (Network architectures for home service delivery.)

Chau, Ming (2005) Algorithmes Parallèles Asynchrones pour la Simulation Numérique. (Parallel Asynchronous Algorithms in Numerical Simulation.)

Iturralde Ruiz, Geovanny Mauricio (2012) Performances of LTE networks. (Performances des Réseaux LTE.)

Shirvany, Reza (2012) Estimation of the Degree of Polarization in Polarimetric SAR Imagery : Principles and Applications. (Traitement d’images polarimétriques SAR : application à la télédétection et à l’observation de la Terre.)

Rouet, François-Henry (2012) Memory and performance issues in parallel multifrontal factorizations and triangular solutions with sparse right-hand sides. (Problèmes de mémoire et de performance de la factorisation multifrontale parallèle et de la résolution triangulaire à seconds membres creux.)

Sreng, Sokchenda (2012) Systèmes coopératifs hybride Satellite-Terrestre : analyse de performance et dimensionnement du système. (Hybrid Satellite-Terrestrial Cooperative Systems : Performance Analysis and System Dimensioning.)

Temate Ngaffo, Suzy Hélène Germaine (2012) Des langages de modélisation dédiés aux environnements de méta-modélisation dédiés. (From domain specific modeling languages to domain specific frameworks.)

Prévost, Raoul (2012) Décodage et localisation AIS par satellite. (AIS decoding and localization by satellite.)

Martinon, Pierre (2005) Résolution numérique de problèmes de contrôle optimal par une méthode homotopique simpliciale. (Numerical resolution of optimal control problems by a simplicial method.)

Manzat, Ana-Maria (2013) Contribution à la modélisation des métadonnées associées aux documents multimédias et à leur enrichissement par l’usage. (Contribution to the modeling of metadata associated to multimedia documents and to their enrichment through the usage.)

Goy, Philippe (2012) Détection d'obstacles et de cibles de collision par un radar FMCW aéroporté. (Obstacles and Collision Target detection by FMCW airborne radar.)

Cazes, Florian (2013) Méthodes de traitement innovantes pour les systèmes de commandes de vol. (Innovative processing of anemometric and inertial data in the flight control systems.)

Cubat Dit Cros, Christophe (2005) Agents mobiles coopérants pour les environnements dynamiques. (Cooperative mobile agents for dynamic environments.)

Crosnier, Michael (2013) Optimisation de réseaux mobiles hybrides satellite-terrestres. (Optimization of hybrid mobile terrestrial/satellite networks.)

Kezadri, Mounira (2013) Assistance à la validation et vérification de systèmes critiques : ontologies et intégration de composants. (Support for the validation and verification of critical systems: ontologies and integration of components.)

Bazot, Cécile (2013) Méthodes bayésiennes pour l'analyse génétique. (Bayesian methods for gene expression factor analysis.)

Li, Xiaoting (2013) Worst-case delay analysis of real-time switched Ethernet networks with flow local synchronization. (L’analyse pire cas de délai sur des réseaux Ethernet commuté temps réels avec la synchronisation locale de flux.)

Astudillo Salinas, Darwin Fabián (2013) Téléchargement de Contenus dans les réseaux véhiculaires. (Content download in the Vehicular Networks.)

Touhami, Ahmed (2005) Utilisation des filtres de Tchebycheff et construction de préconditionneurs spectraux pour l'accélération des méthodes de Krylov. (Use of Chebychev filtering for the construction of spectral preconditioners to accelerate the convergence of Krylov methods.)

Gadafi, Aeiman (2013) Gestion mémoire dans une infrastructure répartie. (Memory management in a distributed infrastructure.)

Halimi, Abderrahim (2013) From conventional to delay/Doppler altimetry. (De l'altimétrie conventionnelle à l'altimétrie SAR/Doppler.)

Weisbecker, Clément (2013) Improving multifrontal solvers by means of algebraic Block Low-Rank representations. (Amélioration des solveurs multifrontaux à l’aide de representations algébriques rang-faible par blocs.)

Slimani, Hicham (2013) Protocoles coopératifs pour réseaux sans fil. (Cooperative protocols for wireless networks.)

Navarro, Emmanuel (2013) Métrologie des graphes de terrain, application à la construction de ressources lexicales et à la recherche d'information. (Metrology of terrain networks, application to lexical resources enrichment and to information retrieval.)

Barros Gavilanes, Juan Gabriel (2013) Réseaux de capteurs pour applications de suivi médical. (Wireless Sensor networks for health care monitoring applications.)

Kamissoko, Daouda (2013) Aide à la décision pour l’analyse de la vulnérabilité des réseaux d’infrastructure face à une crise de catastrophe naturelle. (Decision support for infrastructure network vulnerability assessment in natural disaster crisis situations.)

Adnan, Muhammad (2013) Analyse pire cas exact du réseau AFDX. (Exact worst-case communication delay analysis of AFDX network.)

Zenadi, Mohamed (2013) Méthodes hybrides pour la résolution de grands systèmes linéaires creux sur calculateurs parallèles. (The solution of large sparse linear systems on parallel computers using a hybrid implementation of the block Cimmino method.)

Altmann, Yoann (2013) Nonlinear unmixing of Hyperspectral images. (Démélange non-linéaire d'images hyperspectrales.)

Bissoli Nicolau, Victor (2014) Performances de détection et de localisation des terminaux « SAR » dans le contexte de transition MEOSAR. (The detection and localization performance of SAR terminals in the context of MEOSAR transition.)

Calvet, Lilian (2014) Méthodes de reconstruction tridimensionnelle intégrant des points cycliques : application au suivi d’une caméra. (Structure-from-Motion paradigms integrating circular points: application to camera tracking.)

Ghasemi Hamed, Mohammad (2014) Méthodes non-paramétriques pour la prévision d'intervalles avec haut niveau de confiance: application à la prévision de trajectoires d'avions. (Non-parametric high confidence interval prediction: application to aircraft trajectory prediction.)

Ge, Ning (2014) Property driven verification framework: application to real time property for UML MARTE software design. (Les outils de vérification dédiés à partir des familles de propriétés : une application aux propriétés temps réel pour les modèles UML-MARTE.)

Nghiem, Thi Phuong (2014) Enhancing the use of online 3d multimedia content through the analysis of user interactions. (Amélioration de l'utilisation de contenus multimédia 3D en ligne par l'analyse des interactions d'utilisateurs.)

Raveneau, Patrice (2014) Satellites d'observation et réseaux de capteurs autonomes au service de l'environnement. (Observation satellites and wireless sensor networks for environmental purpose.)

Tran, Giang Son (2014) Cooperative resource management in the cloud. (Gestion des ressources coopérative dans les clouds.)

Issoufou Tiado, Mahamadou (2006) Modèles et mécanismes multiniveaux pour les réseaux sans fil. (Cross-layer models and mechanisms for wireless networks.)

Sallantin, Renaud (2014) Optimisation de bout-en-bout du démarrage des connexions TCP. (TCP startup end-to-end optimisation.)

Mayap Kamga, Christine (2014) Gestion de ressources de façon "éco-énergétique" dans un système virtualisé : application à l'ordonnanceur de marchines virtuelles. (Design and implementation of an energy-effcient resources manager in a virtualized system : case of virtuals machines scheduler.)

Dang, Quoc Viet (2014) Similarités dans des Modèles BRep Paramétriques : Détection et Applications. (Similarities within BRep Parametric Models: Detection and Applications.)

Bailloeul, Timothée (2005) Contours actifs et information a priori pour l'analyse de changements : application à la mise à jour de cartes numériques du bâti urbain à partir d'images optiques de télédétection haute résolution. (Active contours and prior knowledge for change analysis : application to digital urban building map updating from optical high resolution remote sensing images.)

Balsa, Carlos Jorge da Rocha (2006) Inexact Subspace Iteration to Accelerate the Solution of Linear Systems with Multiple Right-Hand Sides. (Itération de sous-espace inexacte pour accélérer la solution de systèmes d'équations linéaires avec plusieurs second membres.)

Jaddi, Farid (2006) CSR : une extension hiérarchique adaptative du protocole de routage ad hoc DSR. (CSR : an adaptative hierarchical extension of the DSR ad hoc routing protocol.)

Martin, Vincent (2006) Contribution des filtres LPTV et des techniques d'interpolation au tatouage numérique. (Contribution of LPTV filters and interpolation techniques to digital watermarking.)

Dujol, Romain (2006) Contribution à l'étude du contrôle optimal des transferts orbitaux mono-entrée. (Contribution to the study of optimal control of single-input orbital transfers.)

Douze, Matthijs (2004) Estimation d'homographies inter-images : cas des mosaïques et du suivi en temps réel : applications en réalité augmentée. (Estimation of homographies between images for mosaic generation and real-time tracking with applications in augmented reality.)

Tauber, Clovis (2005) Filtrage anisotrope robuste et segmentation par B-spline snake : application aux images échographiques. (Robust anisotropic filtering and B-spline snake image segmentation : application to ultrasound images.)

Vandeportaele, Bertrand (2006) Contributions à la vision omnidirectionnelle : étude, conception et étalonnage de capteurs pour l’acquisition d’images et la modélisation 3D. (Contributions to the omnidirectional vision field : survey, conception and calibration of sensors for the acquisition of images and the 3D modelization.)

Hurault, Aurélie (2006) Courtage sémantique de services de calcul. (Semantic computing service trading.)

Preda, Dorin (2004) Intégration d'une contrainte logique dans les problèmes de contrôle optimal et résolution par la programmation mixte. (Mixed integer programming for a special logic constrained optimal control problem.)

Al Bitar, Hanaa (2007) Advanced GPS signal processing techniques for LBS services. (Techniques avancées de traitement du signal GPS pour les services LBS.)

Dobigeon, Nicolas (2007) Modèles bayésiens hiérarchiques pour le traitement multi-capteur. (Hierarchical Bayesian models for multi-sensor processing.)

Chatelain, Florent (2007) Lois Gamma multivariées pour le traitement d'images radar. (Multivariate Gamma based distributions for RADAR imaging.)

Plesca, Cezar (2007) Supervision de contenus multimédia : adaptation de contenu, politiques optimales de préchargement et coordination causale de flux. (Stream supervision for multimedia contents : content adaptation, optimal prefetching policies and causal coordination.)

Adam, Carole (2007) Emotions: from psychological theories to logical formalization and implementation in a BDI agent. (Les émotions : des théories psychologiques à la formalisation logique et l'implémentation dans un agent BDI.)

Piombo, Christophe (2007) Modélisation probabiliste du style d'apprentissage et application à l'adaptation de contenus pédagogiques indexés par une ontologie. (Probabilistic modelling of learning style and application to the adaptation of educational content indexed by ontology.)

Charara, Hussein (2007) Evaluation des performances temps réel de réseaux embarqués avioniques. (Real time performance evaluation of the embedded avionics networks.)

Canourgues, Lucile (2008) Routing in Large Scale tactical mobile ad hoc Networks. (Algorithmes de routage dans les réseaux mobile Ad hoc tactique à grande échelle.)

Garoche, Pierre-Loic (2008) Static analysis of an actor-based process calculus by abstract interpretation. (Analyse statique d'un calcul d'acteurs par interprétation abstraite.)

Charoenpanyasak, Sakuna (2008) Optimisation inter-couches du protocole SCTP en réseaux ad hoc. (Inter-layer optimisation of the SCTP protocol in ad hoc networks.)

Mora Cofre, Marco Antonio (2008) Ensembles de niveaux robustes au speckle et recalage B-spline: application à la segmentation et l'analyse du mouvement cardiaque par des images ultrasons.

Combemale, Benoit (2008) Approche de métamodélisation pour la simulation et la vérification de modèle. Application à l'ingénierie des procédés. (Metamodeling approach for model simulation and verification. Application to process engineering.)

Salhani, Mohamad (2008) Modélisation et simulation des réseaux mobiles de 4ème génération. (Modelling and Simulation of fourth Generation Mobile Wireless Networks.)

Puengnim, Anchalee (2008) Classification of linear and nonlinear modulations using Bayesian methods. (Classification de modulations linéaires et non-linéaires à l'aide de méthodes Bayésiennes.)

Dubois, Emmanuel (2008) Convergence dans les réseaux satellite. (Convergence in satellite networks.)

Quinton, Jean-Charles (2008) Coordination implicite d'interactions sensorimotrices comme fondement de la cognition. (Implicit coordination of sensorimotor interactions as a cornerstone of cognition.)

Parisot, Pascaline (2009) Suivi d’objets dans des séquences d’images de scènes déformables : de l’importance des points d’intérêt et du maillage 2D. (Objects tracking in video of non rigid scenes : importance of interest points and 2D mesh.)

Ho, Anh Tai (2009) Application des techniques multiporteuses de type OFDM pour les futurs systèmes de télécommunications par satellite. (Multicarrier transmission techniques (OFDM) for future satellite communications systems.)

Mondet, Sébastien (2009) Modélisation et distribution adaptatives de grandes scènes naturelles. (Adaptive Modeling and Distribution of Large Natural Scenes.)

Elayeb, Bilel (2009) SARIPOD : Système multi-Agent de Recherche Intelligente POssibiliste de Documents Web. (SARIPOD : An Intelligent Possibilistic Web Information Retrieval using Multiagent system.)

Kacimi, Rahim (2009) Techniques de conservation d'énergie pour les réseaux de capteurs sans fil. (Energy conservation techniques for wireless sensor networks.)

Yawut, Cholatip (2009) Adaptation à la mobilité dans les réseaux ad hoc. (Adaptation to mobility in ad hoc networks.)

Amberg, Virginie (2005) Analyse de scènes péri-urbaines à partir d'images radar haute résolution. Application à l'extraction semi-automatique du réseau routier. (Analysis of peri-urban scene from high resolution radar images. Application to almost automatic extraction of roads.)

This list was generated on ven, 21 nov 2014 23:58:20 EST.


Contacts | Infos légales | Plan du site | Intranet

(c)INP de Toulouse 2012 - Tous droits réservés. -  INP Communication