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

Laboratory: Laboratoire d'Analyse et d'Architecture des Systèmes - LAAS (Toulouse, France)

Number of records: 93.

Sharrock, Rémi (2010) Gestion autonomique de performance, d'énergie et de qualité de service. Application aux réseaux filaires, réseaux de capteurs et grilles de calcul. (Autonomic management of performance, energy consumption and quality of service. Application to wired networks, sensors networks and grid computing facilities.)

Montecillo Puente, Francisco Javier (2010) Transfert de Mouvement Humain vers Robot Humanoïde. (Human Motion Transfer on Humanoid Robot.)

Rashid, Aamir (2010) Electromagnetic modeling of large and non-uniform planar array structures using Scale-Changing Technique (SCT). (Modélisation électromagnétique des réseaux planaires non-uniformes a grande taille en utilisant la technique par changement d'échelle (SCT).)

Albinet, Arnaud (2005) Caractérisation de la sûreté de fonctionnement des systèmes d'exploitation en présence de pilotes défaillants. (Characterisation of the operating systems dependability within faulty drivers.)

Albu, Elena Roxana (2011) Architecture de communication pour les réseaux d’instrumentation sans fil. (Communication architecture for wireless sensors networks.)

Alexandru, Mihai (2012) Efficient large electromagnetic simulation based on hybrid TLM and modal approach on grid computing and supercomputer. (Parallélisation, déploiement et adaptation automatique de la simulation électromagnétique sur une grille de calcul.)

Ali Mohamed Ali Sayed Ahmed, Ahmed (2010) Développement de nouveaux composants passifs multicouches et l'implémentation d'une matrice de Butler large-bande et compacte en technologie GIS. (On the development of novel multi-layer passive components and the implementation of compact wideband two-layer 4x4 Butler matrix in SIW technology.)

Alphand, Olivier (2005) Architecture à qualité de service pour systèmes satellites DVB-S/RCS dans un contexte NGN. (QoS Architecture over DVB-RCS satellite networks in a Next Generation Network framework.)

Avina Cervantes, Juan Gabriel (2005) Navigation visuelle d'un robot mobile dans un environnement d'extérieur semi-structuré. (Vision-based navigation of a mobile robot in an outdoor semi-structured environment.)

Behnia, Salimeh (2000) Test de modèles formels en B : cadre théorique et critères de couverture.

Belbachir, Assia (2011) A cooperative architecture for target localization using underwater vehicles. (Une architecture coopérative pour la localisation de cibles marines avec des véhicules sous-marins.)

Bonhomme, Sylvain (2008) Méthodologie et outils pour la conception d'un habitat intelligent. (Methodology and tools for the design of an intelligent home.)

Bouabdallah, Amine (2010) Contributions à la fiabilisation du transport de la vidéo. (Contributions to the improvement of the reliability in the video-transport context.)

Bouyjou, Florent (2011) Nouvelles chaînes d'instrumentation intégrées multivoies pour l'astrophysique. (New integrated multi-channel instrumentation for astrophysics.)

Boyer, Fabrice (2007) Planification de mouvements dynamiques appliquée à la conception de la liaison au sol. (Motion planning for cav axle design.)

Bugarin, Florian (2012) Vision 3D multi-images : contribution à l’obtention de solutions globales par optimisation polynomiale et théorie des moments. (Contribution to the global resolution of minimization problems in computer vision by polynomial optimization and moments theory.)

Campagnolo, Lucie (2013) Optical feedback interferometry sensing technique for flow measurements in microchannels. (Conception de vélocimètres par amplification de la tension d'une diode laser soumise à une réinjection optique pour les applications microfluidiques.)

Chebila, Franck (2011) Lecteur radar pour capteurs passifs à transduction radio fréquence. (Radar Reader for Radio Frequency Transduction Passive Sensors.)

Chu, Hoang-Nam (2011) Test et évaluation de la robustesse de la couche fonctionnelle d'un robot autonome. (Test and Evaluation of the Robustness of the Functional Layer of an Autonomous Robot.)

Civrac de Fabian, Gabriel (2009) Vers la réalisation de composants haute tension, forte puissance sur diamant CVD. Développement des technologies associées. (Study and realization of high voltage, high power switches on CVD diamond. Development of associated technology.)

Conchon, Emmanuel (2006) Définition et mise en oeuvre d'une solution d'émulation de réseaux sans fil. (Definition and implementation of a wireless network emulation solution.)

Cortés Mastral, Juan (2003) Motion Planning Algorithms for General Closed-Chain Mechanisms. (Algorithmes pour la Planification de Mouvements de Mécanismes Articulés avec Chaînes Cinématiques Fermées.)

Cottret, Maxime (2007) Exploration visuelle d'environnement intérieur par détection et modélisation d'objets saillants. (Spatial cognition and multimodal situation awareness of an autonomous mobile robot.)

Courtès, Ludovic (2007) Cooperative Data Backup for Mobile Devices. (Sauvegarde coopérative de données pour dispositifs mobiles.)

Dalibard, Sébastien (2011) Planification de mouvement pour systèmes anthropomorphes. (Motion planning for anthropomorphic systems.)

Dang, Duong (2012) Humanoid manipulation and locomotion with real-time footstep optimization. (Manipulation et locomotion en robotique humanoïde avec optimisation temps réel des pas.)

Degroote, Arnaud (2012) Une architecture de contrôle distribuée pour l'autonomie des robots. (A distributed control architecture for the autonomy of robots.)

Dufourd, Delphine (2005) Des cartes combinatoires pour la construction automatique de modèles d'environnement par un robot mobile. (Combinatorial maps for simultaneous localization and map building (SLAM) with a mobile robot.)

Esteves Jaramillo, Claudia Elvira (2007) Motion Planning : from Digital Actors to Humanoid Robots. (Planification de mouvement : du mannequin virtuel au robot humanoïde.)

Fonseca, Nelson Jorge Gonçalves (2010) Etude de Systèmes Micro-ondes d'Alimentation d'Antennes Réseaux pour Applications Multifaisceaux. (Study of Microwave Beam Forming Networks for Multiple Beam Array Antennas.)

Galasso, François (2007) Aide à la planification dans les chaînes logistiques en présence de demande flexible.

Gancet, Jérémi (2005) Systèmes multi-robots aériens : architecture pour la planification, la supervision et la coordination. (Multi unmanned aerial vehicles (UAV) systems : architecture for planning, supervision and cooperation.)

Gao, Yuan (2009) Stratégies de modélisation et protection vis à vis des décharges électrostatiques (ESD) adaptées aux exigences de la norme du composant chargé (CDM). (Simulation, realisation and characterization of ESD protection structures adapted to the CDM dischange.)

Garduno Barrera, David Rafael (2005) A differentiated quality of service oriented multimedia multicast protocol. (Un protocole multimedia multipoint à qualité de service differenciée.)

Gharbi, Mokhtar (2010) Planification de mouvements et manipulation d'objets par des torses humanoïdes. (Motions planning and objects manipulation with humanoid torsos.)

Hamon, Juan-Carlos (2005) Méthodes et outils de la conception amont pour les systèmes et les micro-systèmes. (Methods and tools for high-level systems and micro-systems design.)

Jatlaoui, Mohamed Mehdi (2009) Capteurs passifs à transduction électromagnétique pour la mesure sans fil de la pression. (Passive Micro-Sensors Based on Electromagnetic Transduction Principle for Remote pressure sensing.)

Jourjon, Guillaume (2008) Toward a versatile transport protocol. (Vers un protocole de transport versatile.)

Jugieu, David (2005) Conception et réalisation d’une matrice de microéjecteur thermique adressable individuellement pour la fonctionnalisation de biopuce. (Conception and realisation of a thermal microejector array individually addressed for the functionalization of a biochip.)

Kalakech, Ali (2005) Étalonnage de la sûreté de fonctionnement des systèmes d’exploitation – Spécifications et mise en oeuvre. (Benchmarking Operating Systems Dependability – Specifications and Implementation.)

Khalil, Fadi (2009) Modélisation Multi-échelles : de l'Electromagnétisme à la Grille. (Multi-scale Modeling: from Electromagnetism to Grid.)

Koné, Sodjan (2011) Développement de briques technologiques pour la réalisation des composants de puissance en diamant monocristallin. (Development of technologies for single crystal diamond power devices processing.)

Lampe, Alexandre (2006) Méthodologie d'évaluation du degré d'autonomie d'un robot mobile terrestre. (Method for mobile robot autonomy level evaluation.)

Lauret, Jimmy (2013) Prévention et détection des interférences inter-aspects : méthode et application à l'aspectisation de la tolérance aux fautes. (Aspect onlated programs testing.)

Le, Duc Thanh (2010) Algorithmes pour le (dés)assemblage d'objets complexes et applications à la biologie structurale. ((Dis)assembly path planning for complex objects and applications to structural biology.)

Leclerc, Céline (2013) Étude et conception de matrices d'alimentation multifaisceaux pour réseaux à rayonnement direct ou dans le plan focal d'un réflecteur. (Study and design of multibeam feed networks for direct radiating arrays or arrays in the focal plane of a reflector.)

Lefebvre, Olivier (2006) Navigation autonome sans collision pour robots mobiles nonholonomes. (Collision-Free Autonomous Navigation for Nonholonomic Mobile Robots.)

Lohr, Christophe (2002) Contribution à la conception de systèmes temps-réel s'appuyant sur la technique de description formelle RT-LOTOS. (Contribution to the design of real-time systems based on the RT-LOTOS formal description technique.)

Loquen, Thomas (2010) Some Results on Reset Control systems. (Sur la stabilité des systèmes à réinitialisation.)

Lu, Caroline (2009) Robustesse du logiciel embarqué multicouche par une approche réflexive : application à l'automobile. (Robustness of multilayered embedded software through a reflective approach : application in the automotive industry.)

Luna Arriaga, Antonio (2014) Analysis and implementation of algorithms for embedded self-mixing displacement sensors design. (Analyse et implémentation d'algorithmes pour la conception de capteurs de déplacement embarqués, utilisant la rétro-injection optique.)

Lussier, Benjamin (2007) Tolérance aux fautes dans les systèmes autonomes. (Fault tolerance in autonomous systems.)

Marin Hernandez, Antonio (2004) Vision dynamique pour la navigation d'un robot mobile. (Dynamic vision for mobile robot navigation.)

Marsden, Eric (2004) Caractérisation de la sûreté de fonctionnement de systèmes à base d'intergiciel.

Martinello, Magnos (2005) Availability modeling and evaluation of web-based services - A pragmatic approach. (Modélisation et évaluation de la disponibilité de services mis en oeuvre sur le web - Une approche pragmatique.)

Maurice, Rémy (2005) Contribution à la méthodologie de conception système : application à la réalisation d'un microsystème multicapteurs communicant pour le génie civil. (Contribution to system design methodology : a possible design solution for a multisensor microsystem for civil engineering.)

Medhat Abdel Maksoud, Dina (2012) Study of New Miniaturized Microwave Devices based on Ratchet Effect in an Environment of Asymmetric Nano-Scatterers. (Etude de nouveaux dispositifs miniaturisés micro-ondes basés sur l’effet Ratchet dans un environnement de nano diffuseurs asymétriques.)

Moo Mena, Francisco José (2007) Modélisation des architectures logicielles dynamiques : application à la gestion de la qualité de service des applications à base de services Web. (Modelling dynamic software architectures : application to the quality of service management of Web services applications.)

Mota, Sara (2008) Modélisation et vérification de protocoles pour des communications sécurisées de groupes. (Modeling and verifiying protocols for secure group communication.)

Moulard, Thomas (2012) Optimisation numérique pour la robotique et exécution de trajectoires référencées capteurs. (Numerical Optimization for robotics and closed-loop trajectory execution.)

Nakhaei, Alireza (2009) Motion planning and perception : integration on humanoid robots. (Planification de mouvement, modélisation et perception : intégration sur un robot humanoïde.)

Narsipura Sreenivasa, Manish (2010) Modeling of human movement for the generation of humanoid robot motion. (Modélisation du mouvement humain pour la génération de mouvements de robots humanoïdes.)

Nguyen, Anh Dung (2013) Contributions to modeling, structural analysis, and routing performance in dynamic networks. (Contributions à la modélisation, l'analyse structurelle et aux performances de routage des réseaux dynamiques.)

Nguyen, The Tung (2011) Un environnement pour le calcul intensif pair à pair. (An environment for peer-to-peer high performance computing.)

Nouvel, Patrice (2013) Conception d'un système de verrouillage sur de fonctionnement pour les collisionneurs linéaires. (Design of a dependable interlock system for linear colliders.)

Oprescu, Mihaela Iuniana (2012) Virtualization and Distribution of the BGP Control Plane. (Virtualisation et distribution du plan de contrôle BGP.)

Pareaud, Thomas (2009) Adaptation en ligne de mécanismes de tolérance aux fautes par une approche à composants ouverts. (On-line fault tolerance mechanisms adaptation based on open component models.)

Parret, Frédéric (2006) Méthode d'analyse sélective et quantitative d'un mélange gazeux à partir d'un microcapteur à oxyde métallique nanoparticulaire. (Selective and quantitative method for gas mixtures measurement with one single nanoparticular metal oxide gas sensor.)

Perrin, Nicolas (2011) Planification de pas pour robots humanoïdes : approches discrètes et continues. (Footstep planning for humanoid robots: discrete and continuous approaches.)

Peynot, Thierry (2006) Sélection et contrôle de modes de déplacement pour un robot mobile autonome en environnements naturels. (Selection and monitoring of navigation and locomotion modes for an autonomous mobile robot in natural environments.)

Pigeon, Mélusine (2011) Etude et réalisation d'antennes ultra-compactes à base de métamatériaux. Application à la réalisation d'une antenne GNSS miniature. (Design and ptototyping of a metamaterial ultra-compact antenna. Application to a small GNSS antenna.)

Poirier, Stéphanie (2009) Étude et mise en œuvre de liquides fonctionnels par procédé jet d'encre pour la réalisation de microdispositifs optiques. (Study and implementation of functional liquids by inkjet deposition process for the realization of optical microdevices.)

Rakotoarivelo, Thierry (2007) Distributed discovery and management of alternate paths with enhanced quality of service in the internet. (Découverte et gestion distribuée de chemins alternatifs à contraintes de qualité de service dans l'internet.)

Raoui, Younès (2011) Indexation d'une base de données images : application à la localisation et la cartographie fondées sur des radio-étiquettes et des amers visuels pour la navigation d'un robot en milieu intérieur. (Indexation of an image data base: application to the localization and the mapping from RFID tags and visual landmarks for the indoor navigation of a robot.)

Ripoche, Olivier (2013) Miniaturisation d’antennes en bande VHF pour applications spatiales. (Antenna miniaturization in VHF bandwidth for spatial applications.)

Robert, Thomas (2009) Détection d'erreur au plus tôt dans les systèmes temps-réel : une approche basée sur la vérification en ligne. (Early error detection for real time applications : an approach using runtime verification.)

Romier, Maxime (2008) Simulation électromagnétique des antennes actives en régime non-linéaire. (Electromagnetic simulation of active antennas in nonlinear regime.)

Rugina, Ana-Elena (2007) Dependability modeling and evaluation – From AADL to stochastic Petri nets. (Modélisation et évaluation de la sûreté de fonctionnement – De AADL vers les réseaux de Petri stochastiques.)

Sadani, Tarek (2007) Vers l'utilisation des réseaux de Petri temporels étendus pour la vérification de systèmes temps-réel décrits en RT-LOTOS. (Using extended time Petri nets for the verification of real-time systems deescribed in RT-LOTOS.)

Salatgé, Nicolas (2006) Conception et mise en oeuvre d'une plate-forme pour la sûreté de fonctionnement des services Web. (Design and implementation of a platform for the web services dependability.)

Sghairi Haouati, Manel (2010) Architectures innovantes de systèmes de commandes de vol. (Innovative Architectures of Flight Control Systems.)

Sola, Joan (2007) Towards Visual Localization, Mapping and Moving Objects Tracking by a Mobile Robot: a Geometric and Probabilistic Approach. (Vers la Cartographie et la Localisation Visuelles par un robot mobile, avec détection et suivi d'objets mobiles. Une approche Géométrique et Probabiliste.)

Stoica, Dragos Constantin (2004) Analyse, représentation et optimisation de la circulation des avions sur une plate-forme aéroportuaire. (Analysis, modelling and optimisation of airport ground traffic.)

Stoicescu, Miruna (2013) Conception et implémentation de systèmes résilients par une approche à composants. (Architecting Resilient Computing Systems: a Component-Based Approach.)

Tahir, Farooq Ahmad (2011) Electromagnetic Modeling of Reflectarrays using Scale Changing. (Modélisation électromagnétique de réseaux réflecteurs microreban par la technique par changement d'échelle.)

Tchikaya, Euloge Budet (2010) Modélisation électromagnétique des Surfaces Sélectives en Fréquence finies uniformes et non-uniformes par la Technique de Changement d'Echelle (SCT). (Electromagnetic modeling of finite uniform and non-uniform frequency selective surfaces using Scale Changing Technique (SCT).)

Thalmensy, Hervé (2007) Emulation de réseaux au niveau IP pour l'expérimentation de services et de protocoles de communication. Application aux réseaux satellites. (An IP level network emulation solution for services and protocols evaluation applied on satellite networks.)

Trujillo Romero, Felipe de Jesús (2008) Modélisation et reconnaissance active d'objets 3D de forme libre par vision en robotique. (3D modelling and active recognition of free-form objects from vision in robotics.)

Truong, Tan Viet Anh (2010) Un modèle de locomotion humaine unifiant comportements holonomes et nonholonomes. (Unifying nonholonomic and holonomic behaviors in human locomotion.)

Xiong, Jun (2013) Set-membership state estimation and application on fault detection. (Estimations ensemblistes des états et application à la détection.)

Youssef, Anis (2005) Réseau de communication à haut niveau d'intégrité pour des systèmes de commande-contrôle critiques intégrant des nappes de microsystèmes. (High integrity communication network for critical control systems integrating micro-systems arrays.)

Zhang, Lei (2009) End to end architecture and mechanisms for mobile and wireless communications in the Internet. (Architecture et mécanismes de bout en bout pour les communications mobiles et sans fil dans l'Internet.)

Zhang, Zhongda (2012) Gestion thermique des composants d’électronique de puissance - Utilisation du diamant CVD. (Thermal management of power electronics components using the CVD diamond.)

This list was generated on mer, 17 sep 2014 23:58:23 EST.


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

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