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

Subject: Computer science


Number of records: 29.

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.)

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

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.)

Charles, Aurélie (2010) Improving the design and management of agile supply chains : feedback and application in the context of humanitarian aid. (Conception et amélioration de chaines logistiques agiles : application au secteur humanitaire.)

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.)

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

Ouzeau, Christophe (2010) Modes dégradés résultant de l'utilisation multi constellation du GNSS. (Degraded Modes Resulting From The Multi Constellation Use Of GNSS.)

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.)

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

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.)

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.)

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.)

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.)

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.)

Bichot, Charles-Edmond (2007) Élaboration d'une nouvelle métaheuristique pour le partitionnement de graphe : la méthode de fusion-fission. Application au découpage de l'espace aérien. (Elaboration of a new metaheuristic for graph partitioning : the fusion-fission method. Application to airspace partitioning.)

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.)

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.)

Carlier, Axel (2014) Compréhension de contenus visuels par analyse conjointe du contenu et des usages. (Combining content analysis with usage analysis to better understand visual contents.)

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.)

Devaurs, Didier (2014) Extensions of sampling-based approaches to path planning in complex cost spaces: applications to robotics and structural biology. (Extensions des méthodes de planification de chemin par échantillonnage dans des espaces de coût complexes : applications en robotique et en biologie structurale.)

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.)

Haidar, Azzam (2008) On the parallel scalability of hybrid linear solvers for large 3D problems. (Sur l’extensibilité parallèle de solveurs linéaires hybrides pour des problèmes tridimensionnels de grandes tailles.)

Martin, Emeric (2005) Spectral two-level preconditioners for sequences of linear systems. (Préconditioneurs spectraux deux niveaux pour des systèmes linéaires donnés en séquence.)

Memon, Muhammad Ali (2014) Transportation interoperable planning in the context of food supply chain. (Planification interopérable des transports dans le cadre de chaînes logistiques alimentaires.)

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.

Nassar, Mahmoud (2005) Analyse/conception par points de vue : le profil VUML. (Analysis/design using viewpoints : the VUML profile.)

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.)

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.)

This list was generated on sam, 20 dc 2014 23:58:47 EST.


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

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