| ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MLIA MOCAH MoVe NPA PEQUAN Phare PolSys QI RO SMA SYEL Whisper |
“Apprentissage de représentations pour les traces de mobilité”,
supervision Patrick GALLINARI,
defence 07/11/2019. “Towards more efficient parallel SAT solving”,
supervision Fabrice KORDON,
defence 07/03/2019. “A model and an algebra of motifs for the representation and interrogation of completeness of relative information”,
supervision Bernd AMANN,
defence 06/28/2019. “Diagnostic et prise de décision pour la construction de compétences non-techniques en situation critique”,
supervision Vanda LUENGO, Catherine GARBAY,
defence 06/21/2019. “Large Data Reduction and Structure Comparison with Topological Data Analysis”,
supervision Julien TIERNY,
defence 06/20/2019. “Towards a model to support the learning in Learning Management Systems”,
supervision Thibault CARRON,
defence 06/13/2019. “Multi-modal representation learning towards visual reasoning”,
supervision Matthieu CORD,
defence 05/20/2019. “Budgeted sequential learning for extreme classification and for the discovery of hierarchy in reinforcement learning”,
supervision Ludovic DENOYER,
defence 05/10/2019. “Regularization operators for fuzzy subspace clustering”,
supervision Christophe MARSALA,
defence 03/01/2019. “High Performance Level-set based Topological Data Analysis”,
supervision Julien TIERNY,
defence 02/15/2019. “Tracking haute fréquence pour architectures SIMD : optimisation de la reconstruction LHCb”,
supervision Lionel LACASSAGNE,
defence 02/13/2019. “Parallélisation d’un code éléments finis spectraux. Application au contrôle non destructif par ultrasons”,
supervision Lionel LACASSAGNE,
defence 02/08/2019. “Knowledge extraction from complex 3D structures”,
supervision Christophe MARSALA,
defence 12/13/2018. “Contribution to the development of a multimodal device for the medical imaging of the spinal cord”,
supervision Sylvain FERUGLIO,
defence 12/12/2018. “Sécurité pour des infrastructures critiques SCADA fondée sur des modèles graphiques probabilistes”,
supervision Christophe GONZALES,
defence 12/10/2018. “Communication Protocols in Wireless Body Area Networks (WBAN)”,
supervision Maria POTOP-BUTUCARU,
defence 12/07/2018. “Failure Detectors in Dynamic Distributed Systems”,
supervision Pierre SENS,
defence 12/07/2018. “Models of Ethical Reasoning”,
supervision Jean-Gabriel GANASCIA,
defence 12/06/2018. “Architecture multi-agent pour la conception et l'ordonnancement de systèmes multi-senseur embarqués sur plateformes aéroportées”,
supervision Amal EL FALLAH SEGHROUCHNI,
defence 12/06/2018. “Phd”,
supervision Eleni DIAMANTI,
defence 12/05/2018. “Géolocalisation et routage en situation de crise”,
supervision Anne FLADENMULLER,
defence 12/04/2018. “Performance et qualité des codes HPC en core mécanique des fluides”,
supervision Stef GRAILLAT,
defence 11/30/2018. “Apprentissage d'architectures profondes pour la détection et la reconnaissance de cibles en imagerie optronique”,
supervision Matthieu CORD,
defence 11/20/2018. “Problématiques de modélisation et d'apprentissage par des architectures profondes en vision par ordinateur”,
supervision Matthieu CORD,
defence 11/19/2018. “Analyse et modélisation de la structure multipartie des réseaux réels”,
supervision Clémence MAGNIEN,
defence 10/12/2018. “Importance of temporality in spreading phenomena. A case study of cattle trade movements.”,
supervision Matthieu LATAPY,
defence 10/08/2018. “Temporal Centralities: A study of the importance of nodes in dynamic graphs”,
supervision Clémence MAGNIEN,
defence 10/05/2018. “Place and Route of analog and mixed-signal CMOS circuits”,
supervision Marie-Minerve LOUËRAT,
defence 09/14/2018. “Static analysis of concurrent programs with numerical variables”,
supervision Emmanuel CHAILLOUX,
defence 09/13/2018. “Freecore : un système d’indexation de résumés de document sur une Table de Hachage Distribuée (DHT)”,
supervision Mesaac MAKPANGOU,
defence 07/13/2018. “Programmation Web Réactive dans un cadre typé statiquement pour l'orchestration de contenus mutltimédia riches”,
supervision Emmanuel CHAILLOUX,
defence 07/12/2018. “Multicellular Models for 4G 5G cellular networks”,
supervision Serge FDIDA,
defence 07/06/2018. “Big Data-Driven Optimization in Transportation and Communication Networks”,
supervision Thi-Mai-Trang NGUYEN,
defence 07/05/2018. “Predicting interactions in link streams - Combining structural and temporal features”,
supervision Matthieu LATAPY,
defence 06/29/2018. “Towards Efficient Arithmetic for Ring-LWE based Homomorphic Encryption”,
supervision Jean-Claude BAJARD,
defence 06/25/2018. “Toward efficient dissemination of voluminous data over dense Wi-Fi Networks”,
supervision Pierre SENS,
defence 06/21/2018. “A meta-design approach of learning games to developp their use”,
supervision Jean-Marc LABAT,
defence 06/11/2018. “A multiagent system for an invoice marketplace”,
supervision Zahia GUESSOUM,
defence 05/17/2018. “Étude des interfaces électriques pour les récupérateurs d'énergie vibratoire électrostatiques”,
supervision Dimitri GALAYKO,
defence 05/16/2018. “Multi-user computation offloading in mobile edge computing”,
supervision Rami LANGAR,
defence 05/04/2018. “Smart and Secure Network Softwarization”,
supervision Thi-Mai-Trang NGUYEN,
defence 04/13/2018. “Conception d'une solution RFID UHF pour l'optimisation de la logistique des bouteilles métaliques”,
supervision Bertrand GRANADO,
defence 04/04/2018. “Enriching the Internet control-plane for improved traffic engineering”,
supervision Stefano SECCI,
defence 03/30/2018. “Improved numerical reliability of industrial software”,
supervision Fabienne JÉZÉQUEL,
defence 03/27/2018. “Multi-class classification in big data ”,
supervision Christophe MARSALA,
defence 03/23/2018. “Virtualization of a Cloud Radio Access Network (C-RAN) Functions”,
supervision Guy PUJOLLE,
defence 01/29/2018. “Vertex-oriented community detection for mobile opportunistic networks”,
supervision Marie-Jeanne LESOT,
defence 12/20/2017. “Smart power management silicon integrated interfaces for capacitive vibration energy harvesters”,
supervision Dimitri GALAYKO,
defence 12/20/2017. “Software Defined Networks to provide QoS in multi-hop wireless networks”,
supervision Anne FLADENMULLER,
defence 12/19/2017. “Les réseaux maillés sans fil assistés par le SDN”,
supervision Anne FLADENMULLER,
defence 12/19/2017. “Nouveau modèle de partitionnement de graphes/placement de routage”,
supervision Michel MINOUX,
defence 12/15/2017. “Compression, analyze and visualization of EEG signals applied to telemedecine”,
supervision Patrick GARDA,
defence 12/13/2017. “Modélisation système d’une architecture d’interconnexion RF reconfigurable pour les many-cœurs”,
supervision François PÊCHEUX,
defence 12/08/2017. “Optimization of Resource Allocation in Network Function Virtualization Infrastructure”,
supervision Serge FDIDA,
defence 12/07/2017. “A video compression and multimodal synchronization system of EEG exams for telemedicine”,
supervision Patrick GARDA,
defence 12/07/2017. “Adaptive machine learning algorithms for data streams subject to concept drifts”,
supervision Christophe MARSALA,
defence 12/04/2017. “Modal logic weighted extensions for a graded belief framework”,
supervision Marie-Jeanne LESOT,
defence 11/30/2017. “Dynamic Resource Allocation and Network Optimization in the Cloud-Radio Access Network"”,
supervision Rami LANGAR,
defence 11/27/2017. “Coordination des décisions de planification dans une chaîne logistique”,
supervision Safia KEDAD-SIDHOUM,
defence 11/27/2017. “Implémentation efficace du couplage sur carte FPGA”,
supervision Sihem MESNAGER,
defence 11/08/2017. “Apprentissage de représentation pour la prédiction et la classification de séries temporelles”,
supervision Ludovic DENOYER,
defence 10/16/2017. “Stabilizing and Optimizing Content Delivery Networks”,
supervision Marcelo DIAS DE AMORIM,
defence 10/13/2017. “Class Group Computations in Number Fields and Applications to Cryptology”,
supervision Antoine JOUX,
defence 09/22/2017. “Concurrent process and combinatorics of increasingly labeled structures: quantitative analysis and random generation algorithms.”,
supervision Michèle SORIA,
defence 09/22/2017. “Weakly Supervised Learning for Visual Recognition”,
supervision Matthieu CORD,
defence 09/20/2017. “"How much is 'about'?" Modélisation computationnelle de l'interprétation cognitive des expressions numériques approximatives”,
supervision Marie-Jeanne LESOT,
defence 09/19/2017. “Dynamic knowledge extraction from complex temporal data”,
supervision Marcin DETYNIECKI,
defence 09/15/2017. “Uncertain Reasoning for Business Rules”,
supervision Christophe GONZALES,
defence 07/20/2017. “Principes et réalisation d'un environnement de prototypage virtuel de systèmes hétérogènes composables”,
supervision François PÊCHEUX,
defence 07/12/2017. “Execution sécurisée d'applications sur plate-forme many-cores”,
supervision Alain GREINER,
defence 07/06/2017. “Isolation réseau dans un environnement Cloud Public/Hybride" ainsi qu'au pot qui s'en suivra.”,
supervision Guy PUJOLLE,
defence 05/23/2017. “Procédures de décision par élicitation incrémentale de préférences en optimisation multicritère, multi-agents et dans l'incertain”,
supervision Patrice PERNY,
defence 05/05/2017. “Bandit algorithms for real time data capture on social media”,
supervision Patrick GALLINARI,
defence 03/24/2017. “Évaluation de l'affectation des tâches sur une architecture à mémoire distribuée pour des modèles flot de données”,
supervision Alix MUNIER,
defence 03/02/2017. “Towards an efficient use of multi-core processors in mixed criticality embedded systems”,
supervision Gilles MULLER,
defence 01/30/2017. “The Point Decomposition Problem in Jacobian varieties”,
supervision Jean-Charles FAUGÈRE,
defence 12/14/2016. “Reverse-Engineering the internet Routing through joint analysis of BGP and IP-level measurements”,
supervision Serge FDIDA,
defence 12/12/2016. “Novel Approaches for Multipath Communications”,
supervision Stefano SECCI,
defence 12/12/2016. “Gestion de la mobilité dans les réseaux Femtocells”,
supervision Rami LANGAR,
defence 12/12/2016. “A multiagent approach for resource sharing problems”,
supervision Nicolas MAUDET,
defence 12/12/2016. “Separation of Concerns in Epidemiology”,
supervision Mikal ZIANE,
defence 12/09/2016. “Multimodal detection of stress: evaluation of the impact of several assessment strategies”,
supervision Séverine DUBUISSON,
defence 12/05/2016. “Détection et reconnaissance de cibles en imagerie optronique”,
supervision Matthieu CORD,
defence 12/02/2016. “Discrete logarithm in finite fields”,
supervision Antoine JOUX,
defence 11/25/2016. “Apprentissage de la dynamique de propagation d'info dans les réseaux sociaux”,
supervision Patrick GALLINARI,
defence 11/10/2016. “Mining software artefact variants for product line migration and analysis”,
supervision Mikal ZIANE,
defence 10/18/2016. “Offloading massive data on mobile nodes”,
supervision Marcelo DIAS DE AMORIM,
defence 10/11/2016. “Groups and Communities in link streams: from data to algorithms”,
supervision Matthieu LATAPY,
defence 10/11/2016. “Self organize mobility Aware Reliable and Timely Body Area Networks”,
supervision Sébastien TIXEUIL,
defence 10/04/2016. “Automatic Annotation of Similes in Literary Texts”,
supervision Jean-Gabriel GANASCIA,
defence 10/03/2016. “Design and Optimization of Next-Generation Carrier-Grade Wi-Fi Networks”,
supervision Guy PUJOLLE,
defence 09/27/2016. “Multiple Access Mechanisms in Broadband Wireless Networks”,
supervision Anne FLADENMULLER,
defence 09/22/2016. “Resources analysis for concurrent and dynamic systems”,
supervision Michèle SORIA,
defence 09/21/2016. “Développement d’outils d’aide au diagnostic en contexte incertain”,
supervision Christophe GONZALES,
defence 09/13/2016. “On computational stylistics: mining literary texts for the extraction of characterizing stylistic patterns”,
supervision Jean-Gabriel GANASCIA,
defence 09/13/2016. “Linguistic summaries of numerical data : interpretability and series periodicity”,
supervision Marie-Jeanne LESOT,
defence 07/19/2016. “Etude de la classification dans un très grand nombre de catégories”,
supervision Patrick GALLINARI,
defence 07/04/2016. “Système de fichiers scalable pour architectures manycores à faible empreinte énergétique”,
supervision Alain GREINER,
defence 06/28/2016. “Algorithms for Nash-equilibria in Agent Networks and for Pareto-efficiency in State Space Search: Generalizations to Pareto-Nash in Multiple Objective Games”,
supervision Patrice PERNY,
defence 06/13/2016. “A methodology for analysis and verification of the substrate noise coupling in HV/HT integrated circuits for automotive applications”,
supervision Marie-Minerve LOUËRAT,
defence 05/20/2016. “Détection des communautés dans les réseaux sociaux dynamiques: une approche multi-agents”,
supervision Zahia GUESSOUM,
defence 03/09/2016. “A kernel cooperative cache for virtualized environments”,
supervision Pierre SENS,
defence 02/04/2016. “Graphical Representations of Functions and Factored Markovian Decision Processes”,
supervision Christophe GONZALES,
defence 02/02/2016. “Protocoles scalables de cohérence des caches pour processeurs manycore à espace d'adressage partagé visant la basse consommation”,
supervision Alain GREINER,
defence 01/27/2016. “Happywork : modélistaion multi-agents de la satisfaction au travail”,
supervision Nicolas SABOURET,
defence 01/15/2016. “A distributed approach for covering problems in highly dynamic systems”,
supervision Franck PETIT,
defence 01/12/2016. “3D Underwater Wireless Sensor Network Deployment”,
supervision Guy PUJOLLE,
defence 12/16/2015. “Modélisation et simulation de la formation et de la dynamique des attitudes basées sur les croyances”,
supervision Nicolas SABOURET,
defence 12/16/2015. “Study of virtual access points urbanization and network metamorphosis strategies”,
supervision Guy PUJOLLE,
defence 12/15/2015. “Protocol Architecture and Algorithms for Distributed Data Center Networks”,
supervision Stefano SECCI,
defence 12/14/2015. “Toward a Modern Floating-Point Environment”,
supervision Jean-Claude BAJARD,
defence 12/11/2015. “Détection et Localisation des textes dans les images naturelles”,
supervision Séverine DUBUISSON,
defence 12/11/2015. “Inference of signed links in social networks, by learning from user interactions”,
supervision Patrick GALLINARI,
defence 12/02/2015. “Markovian sequential decision-making in non-stationary environments: application to argumentative debates”,
supervision Nicolas MAUDET,
defence 11/26/2015. “The multi-agent modelling of the french labor market”,
supervision Nicolas SABOURET,
defence 11/19/2015. “The fight against botnets: from observation to strategy”,
supervision Matthieu LATAPY,
defence 11/12/2015. “Provenance and Quality in Data Oriented Workflows : Application to the WebLab Platform”,
supervision Bernd AMANN,
defence 11/03/2015. “New generation of network access controller: an SDN approach”,
supervision Guy PUJOLLE,
defence 10/09/2015. “Étude et définition de mécanismes sémantiques dans les environnements virtuels pour augmenter la crédibilité comportementale des agents : utilisation d'une ontologie de services”,
supervision Nicolas SABOURET,
defence 10/07/2015. “Simulation multi-agent d’un système complexe : combiner des domaines d’expertise par une approche multi-niveau - Le cas de la consommation électrique résidentielle.”,
supervision Nicolas SABOURET,
defence 10/02/2015. “Improving Student Model for Individualized Learning”,
supervision Jean-Marc LABAT,
defence 09/29/2015. “Vers des modes de scrutin moins manipulables”,
supervision Sébastien TIXEUIL,
defence 09/24/2015. “Device-to-Device Data Offloading: From Model to Implementation”,
supervision Marcelo DIAS DE AMORIM,
defence 09/18/2015. “Continuous top-k queries over real-time web streams”,
supervision Bernd AMANN,
defence 09/17/2015. “Synthèse d'architectures de circuits FPGA tolérants aux défauts”,
supervision Habib MEHREZ,
defence 09/15/2015. “Highly digitized RF Receiver for Software Defined Radio”,
supervision Hassan ABOUSHADY,
defence 09/09/2015. “Design of Analog & Digital Circuits using Flexible Organic Electronics”,
supervision Hassan ABOUSHADY,
defence 09/01/2015. “Diversity by Clustering in Image Retrieval: Experimental Study”,
supervision Marcin DETYNIECKI,
defence 08/31/2015. “Méthodes algébriques pour l'analyse de sécurité des implantations d'algorithmes Cryptographiques”,
supervision Jean-Charles FAUGÈRE,
defence 07/16/2015. “Sécurité pour les réseaux du futur : Gestion sécurisée des identités”,
supervision Guy PUJOLLE,
defence 07/10/2015. “Évaluation de la qualité des comportements des agents en simulation : application à un simulateur de conduite en environnement virtuel”,
supervision Nicolas SABOURET,
defence 07/07/2015. “Replanification dynamique d'une flotille de drones en mission”,
supervision Amal EL FALLAH SEGHROUCHNI,
defence 07/03/2015. “Visual autonomous navigation for small unmanned aerial vehicles”,
supervision Matthieu CORD,
defence 06/30/2015. “Dynamic optimization of data-flow task-parallel applications for large-scale NUMA systems”,
supervision Nathalie DRACH-TEMAM,
defence 06/25/2015. “Déploiement d'applications parallèles sur une architecture distribuée matériellement reconfigurable”,
supervision Bertrand GRANADO,
defence 06/22/2015. “Gestion de données complexes pour la modélisation de niche écologique”,
supervision Bernd AMANN,
defence 06/19/2015. “Mesures de proximité appliquées à la détection de communautés dans les grands graphes de terrain”,
supervision Bénédicte LE GRAND,
defence 06/15/2015. “Influence in Combinatorial and Collective Decision-Making”,
supervision Nicolas MAUDET,
defence 06/05/2015. “RNS arithmetic approach of asymmetric cryptography”,
supervision Jean-Claude BAJARD,
defence 05/28/2015. “Congestion control for Content-Centric Networking”,
supervision Serge FDIDA,
defence 05/20/2015. “Design and Evaluation of Cloud Network Optimization Algorithms”,
supervision Stefano SECCI,
defence 04/24/2015. “Algebraic and Physical Security in Code-Based Cryptography”,
supervision Jean-Charles FAUGÈRE,
defence 04/17/2015. “Analyse des traces dans un serious game”,
supervision Jean-Marc LABAT,
defence 04/10/2015. “Automatic Learning of Anonymization Functions for Graphs and Dynamic Graphs”,
supervision Patrick GALLINARI,
defence 04/08/2015. “Bayesian dynamic scheduling for service composition testing”,
supervision Christophe GONZALES,
defence 01/30/2015. “Identification of moving RFID elements in indoor environments associating application and physical layer”,
supervision Guy PUJOLLE,
defence 01/26/2015. “Web Page Segmentation, Evaluation and Applications”,
supervision Stéphane GANÇARSKI,
defence 01/22/2015. “Representation Learning of User-generated Data”,
supervision Patrick GALLINARI,
defence 01/21/2015. “Distance metric learning for image and webpage comparison”,
supervision Matthieu CORD,
defence 01/20/2015. “Modeling and exploiting the knowledge base of Web of Things”,
supervision Christophe MARSALA,
defence 01/16/2015. “Compression en qualité diagnostic de séquences d'images médicales pour des plateformes embarquées”,
supervision Patrick GARDA,
defence 01/15/2015. “Alloy4PV : Un Framework pour la Vérification de Procédés Métiers”,
supervision Marie-Pierre GERVAIS,
defence 01/15/2015. “Une approche pour l'estimation fiable des propriétés de la topologie de l'Internet”,
supervision Matthieu LATAPY,
defence 01/08/2015. “Efficient and Secure Mobile Cloud Networking”,
supervision Guy PUJOLLE,
defence 12/18/2014. “Algorithmic problems in power management of computing systems”,
supervision Evripidis BAMPIS,
defence 12/12/2014. “Analyse empirique et modélisation de la dynamique de la topologie de l’Internet”,
supervision Clémence MAGNIEN,
defence 12/12/2014. “Lifetime estimation method for connected device”,
supervision Patrick GARDA,
defence 12/10/2014. “Green and Energy Efficiency in Access Networks and Cloud Infrastructures”,
supervision Guy PUJOLLE,
defence 12/08/2014. “Contribution aux tests de vacuité pour le model checking explicite”,
supervision Fabrice KORDON,
defence 12/05/2014. “Moving agents behaviours: a cognitive approach for intention recognition”,
supervision Samir AKNINE,
defence 11/28/2014. “Optimal Filter Implementation in Fixed Point Arithmetic”,
supervision Laurent-Stéphane DIDIER,
defence 11/27/2014. “Scheduling for new computing platforms with GPUs”,
supervision Safia KEDAD-SIDHOUM,
defence 11/25/2014. “High Performance Three-Dimensional Tree-based FPGA Architecture using 3D Technology Process ”,
supervision Habib MEHREZ,
defence 11/24/2014. “Reliable communication despite Byzantine failures in sparse networks”,
supervision Sébastien TIXEUIL,
defence 11/20/2014. “Compression temps réel de séquences d'images médicales sur des systèmes embarqués”,
supervision Bertrand GRANADO,
defence 11/18/2014. “Distributed Clock Generation for Large Synchronous SOCs.”,
supervision François ANCEAU,
defence 11/14/2014. “Security of assembly programs against fault attacks on embedded processors”,
supervision Emmanuelle ENCRENAZ,
defence 11/13/2014. “Vers un modèle de comportements de véhicules lourds utilisant une méthode incrémentale basée sur la vérification de l'hystérésis : le modèle ArchiPL”,
supervision Zahia GUESSOUM,
defence 11/05/2014. “Algorithmes efficaces pour le calcul des bases de Gröbner”,
supervision Jean-Charles FAUGÈRE,
defence 10/30/2014. “Méthode de prototypage virtuel permettant l’évaluation précoce de la consommation énergétique dans les systèmes intégrés sur puce”,
supervision Alain GREINER,
defence 10/16/2014. “Network Security Management Using a Novel Firewall Cloud-Based Service”,
supervision Guy PUJOLLE,
defence 10/13/2014. “Dynamics of complex networks: analysis using intrinsic time”,
supervision Bénédicte LE GRAND,
defence 10/10/2014. “Markovian Contextual Models”,
supervision Thierry ARTIÈRES,
defence 09/30/2014. “ On the Enumeration of Pseudo-Intents : Choosing the Order and Extending to Partial Implications”,
supervision Jean-Gabriel GANASCIA,
defence 09/30/2014. “Improving the Model Checking of Stutter-Invariant LTL Properties”,
supervision Fabrice KORDON,
defence 09/25/2014. “Distributed mutual exclusion algorithmic : toward an efficient resource management ”,
supervision Pierre SENS,
defence 09/19/2014. “Towards More Scalable Mutual Exclusion for Multicore Architectures”,
supervision Gilles MULLER,
defence 07/16/2014. “High-level modeling of signal integrity in communication buses”,
supervision Patrick GARDA,
defence 07/15/2014. “Real-time simulation of autonomous pedestrians navigation: a macroscopic-influenced microscopic model”,
supervision Amal EL FALLAH SEGHROUCHNI,
defence 07/11/2014. “Security analysis of system code using static typing”,
supervision Emmanuel CHAILLOUX,
defence 07/10/2014. “Tools and models for serious games design: a meta-design approach”,
supervision Jean-Marc LABAT,
defence 07/10/2014. “Data mining based on gradual itemsets extraction : contextualization and enrichment?”,
supervision Marie-Jeanne LESOT,
defence 07/09/2014. “Specification Platform for Library/IP Development”,
supervision Habib MEHREZ,
defence 07/09/2014. “Forecasting the effects of aging by electromigration in the circuits integrated CMOS submicron technology nodes”,
supervision Habib MEHREZ,
defence 07/08/2014. “Faciliter le développement des applications de robotique”,
supervision Mikal ZIANE,
defence 06/26/2014. “Design and Implementation of a Context-based Consultant. Application on histopathology for breast cancer gradation.”,
supervision Patrick BRÉZILLON,
defence 06/13/2014. “A Hybrid and Flexible Agent Architecture for Urban Simulations: Behavior Composition and Anticipation issues”,
supervision Amal EL FALLAH SEGHROUCHNI,
defence 04/29/2014. “Virtualization of fixes and mobiles networks”,
supervision Marcelo DIAS DE AMORIM,
defence 03/24/2014. “Designe and Performance evaluation of traffic control mechanisms for a content-centric network”,
supervision Serge FDIDA,
defence 03/12/2014. “Operating System Design and Implementation for Single-Chip cc-NUMA Many-Core”,
supervision Alain GREINER,
defence 02/27/2014. “Study, optimization and silicon implementation of a smart high-voltage conditioning circuit for electrostatic vibration energy harvesting system”,
supervision Dimitri GALAYKO,
defence 02/18/2014. “Analyse d’Applications Flot de Données pour la Compilation Multiprocesseur”,
supervision Alix MUNIER,
defence 12/20/2013. “Sentiment classification on the Web 2.0”,
supervision Patrick GALLINARI,
defence 12/20/2013. “Transaction level modeling with distributed time and released synchronization techniques in order to parallely simulate many-core architectures”,
supervision Alain GREINER,
defence 12/16/2013. “Apport to the real time scheduling problems - Application to multifunction radars”,
supervision Philippe CHRÉTIENNE,
defence 12/13/2013. “Opengpu Project - Efficient abstractions for graphics cards”,
supervision Emmanuel CHAILLOUX,
defence 12/11/2013. “Analyse exploratoire de flots de liens pour la détection d'événements”,
supervision Benedicte LEGRAND,
defence 12/03/2013. “Epidemic dissemination algorithms in large-scale networks: comparison and adaption to topologies”,
supervision Pierre SENS,
defence 12/02/2013. “Conditional Random Fields for sequence labeling”,
supervision Thierry ARTIÈRES,
defence 12/02/2013. “IP-level Internet topology dynamics capture”,
supervision Serge FDIDA,
defence 11/27/2013. “Coordination in decision-making for large-scale autonomic architectures”,
supervision Jacques MALENFANT,
defence 11/18/2013. “Étude d'une architechture dynamiquement reconfigurables pour les telecommunications”,
supervision Habib MEHREZ,
defence 11/18/2013. “Etude mécanismes assurant la continuité de service IPsec/IKEv2”,
supervision Guy PUJOLLE,
defence 11/14/2013. “Support in the contextualization of database administration”,
supervision Patrick BRÉZILLON,
defence 11/04/2013. “Étude de la propagation des erreurs d’arrondi induit par résolution haute performance de systèmes linéaires creux”,
supervision Jean-Marie CHESNEAUX,
defence 10/25/2013. “Conception and deployment of efficient algorithms for solving the table maker's dilemma on parallel architectures”,
supervision Jean-Claude BAJARD,
defence 10/14/2013. “Synthèse structurée des circuits analogiques intégrés capitalisant la connaissance du concepteur : vers une perspective industrielle”,
supervision Habib MEHREZ,
defence 10/04/2013. “Offline Evaluation of recommender systems”,
supervision Patrick GALLINARI,
defence 10/02/2013. “Sélection et transfert de spectre adaptatifs dans les réseaux de radio cognitive”,
supervision Serge FDIDA,
defence 09/30/2013. “3D and semantic web: new tools to document artifacts and to explore cultural heritage collections”,
supervision Matthieu CORD,
defence 09/30/2013. “Semi-supervised Multi-view Learning: An Application to Image Annotation and Multi-lingual Document Classification”,
supervision Patrick GALLINARI,
defence 09/30/2013. “Isolation réseau dans un datacenter virtualisé”,
supervision Guy PUJOLLE,
defence 09/26/2013. “Contribution to the modeling and verification of wireless sensor networks”,
supervision Fabrice KORDON,
defence 09/21/2013. “Classification in heterogeneous and multi-relational graphs: application to social networks”,
supervision Patrick GALLINARI,
defence 09/20/2013. “Techniques de gestion des defaillances pour les grilles informatiques aux fautes”,
supervision Pierre SENS,
defence 09/17/2013. “SIGPI-STI Instrumentation to support change management in R&D context”,
supervision Thibault CARRON,
defence 08/29/2013. “Representation and learning for both emotional and dynamic information from texts.”,
supervision Maria RIFQI,
defence 07/18/2013. “Vérification compositionnelle pour la conception sure de systèmes embarqués”,
supervision Emmanuelle ENCRENAZ,
defence 07/11/2013. “Statistical learning for classification and detection of chart patterns”,
supervision Thierry ARTIÈRES,
defence 07/09/2013. “Gestion d'identité pour l'Internet du futur”,
supervision Guy PUJOLLE,
defence 07/05/2013. “Analytic Combinatorics and urn models”,
supervision Michèle SORIA,
defence 06/26/2013. “TLM-DT: a Modeling Strategy based on Distributed Time for Parallel Simulation of Virtual MP2SoC Platforms on SMP Workstations”,
supervision Alain GREINER,
defence 06/25/2013. “Modèles et algorithmes pour les réseaux émergents”,
supervision Sébastien TIXEUIL,
defence 06/21/2013. “Extended Bag-of-Words Formalism for Image Classification”,
supervision Matthieu CORD,
defence 06/14/2013. “Décisions stratégiques : le role du contexte dans les indicateurs clefs de performance”,
supervision Patrick BRÉZILLON,
defence 06/13/2013. “Optimized inter-core communication for pipeline parallelism”,
supervision Bertil FOLLIOT,
defence 06/10/2013. “COR-E : un modèle pour la simulation d’agents affectifs fondé sur la théorie COR”,
supervision Nicolas SABOURET,
defence 06/06/2013. “Conception de réseaux en anneaux-étoiles et programmation mathématique”,
supervision Philippe CHRÉTIENNE,
defence 05/30/2013. “Coordination in Multi-Agent Systems : The timed patrolling problem with an open system setting”,
supervision Amal EL FALLAH SEGHROUCHNI,
defence 04/23/2013. “Exploitation de fonctions d'agrégation dépendant du rang pour la décision multi-objectifs: procédures d'optimisation et mécanismes incitatifs”,
supervision Patrice PERNY,
defence 04/22/2013. “Dimensionnement et réalisation des réseaux de domicile”,
supervision Guy PUJOLLE,
defence 04/19/2013. “Adaptive cache architecture exploiting 3D stacking technologies in a manycore context”,
supervision Alain GREINER,
defence 04/11/2013. “Taking into account the uncertainties in the deployment of LTE mobile networks”,
supervision Philippe CHRÉTIENNE,
defence 04/08/2013. “Gestion des ressources dans les réseaux Femtocellulaires”,
supervision Guy PUJOLLE,
defence 02/23/2013. “Multidimensional television programs Recommendation by Machine Learning, an EPG Intelligent visualization interface for digital television”,
supervision Jean-Gabriel GANASCIA,
defence 01/24/2013. “Mécanismes de coordination pour l'allocation dynamique de ressources dans des systèmes multi-agents large-échelle et ouverts”,
supervision Zahia GUESSOUM,
defence 01/18/2013. “Fusion symbolique et données polysomnographiques”,
supervision Jean-Gabriel GANASCIA,
defence 01/14/2013. “Détection et analyse d'une thématique rare dans de grands ensembles de requêtes : l'activité pédophile dans le P2P”,
supervision Matthieu LATAPY,
defence 12/21/2012. “Prediction of User Dissatisfaction with Network Application Performance at End-Hosts”,
supervision Renata CRUZ TEIXEIRA,
defence 12/18/2012. “Apprentissage de la communication dans un système multi-agents ouvert, asynchrone et faiblement couplé”,
supervision Nicolas SABOURET,
defence 12/17/2012. “Probabilistic Algorithms for Data Streaming and Random Generation”,
supervision Michèle SORIA,
defence 12/13/2012. “Approche multi-agents pour la supervision adaptative des systèmes distribués”,
supervision Amal EL FALLAH SEGHROUCHNI,
defence 12/10/2012. “ROSES: A Continuous Query Processor for Large-Scale Content-Based RSS Feed Aggregation”,
supervision Bernd AMANN,
defence 12/07/2012. “Scheduling with delivery dates and cumulative payoffs”,
supervision Christophe GONZALES,
defence 12/07/2012. “Conception d'une bibliothèque de cellules analogiques”,
supervision Habib MEHREZ,
defence 12/03/2012. “Algebraic Side Channel Analysis”,
supervision Jean-Charles FAUGÈRE,
defence 11/07/2012. “Unified Multi-Level Design Environment for Mixed Signal Systems”,
supervision Alain GREINER,
defence 10/04/2012. “Applicative Languages and Abstract Machines for Structural Code Coverage”,
supervision Emmanuel CHAILLOUX,
defence 10/04/2012. “Générateur aléatoire de strutures ordonnées par le modèle de Boltzmann”,
supervision Michèle SORIA,
defence 09/25/2012. “Refresh Strategies and Online Change Estimation for Highly Dynamic Web Content ”,
supervision Bernd AMANN,
defence 09/20/2012. “Resource Allocation Algorithms for Virtual Networks within Cloud Backbone Network”,
supervision Guy PUJOLLE,
defence 09/12/2012. “Contrôle de Puissance et Routage dans les Réseaux Ad-hoc à Radio Cognitive”,
supervision Guy PUJOLLE,
defence 07/19/2012. “Gestion de la mobilité pour les terminaux multi-homés dans un environnement sans-fil hétérogène”,
supervision Guy PUJOLLE,
defence 07/10/2012. “Optimisation adaptative appliquée au préchargement de données”,
supervision Nathalie DRACH-TEMAM,
defence 07/03/2012. “Adaptive complex event processing for critical infrastructure protection”,
supervision Christophe MARSALA,
defence 06/25/2012. “Latent Factor Models for Link Prediction Problems”,
supervision Patrick GALLINARI,
defence 06/19/2012. “Mobile Opportunistic Networks: Visualization, Modeling, and Application to Data Offloading ”,
supervision Marcelo DIAS DE AMORIM,
defence 06/18/2012. “Stratégies intelligents pour le routages dans les réseaux maillés”,
supervision Serge FDIDA,
defence 05/23/2012. “Alma : a programming language for cognitive agents”,
supervision Amal EL FALLAH SEGHROUCHNI,
defence 05/14/2012. “Multi-homing management at transport layer for multi-interface mobile terminal”,
supervision Guy PUJOLLE,
defence 05/10/2012. “Multipath Transmission Control and Mobility Management for Multihoming Transport Protocols”,
supervision Guy PUJOLLE,
defence 05/10/2012. “Dynamic Geometry and geometric Constrain Solving”,
supervision Dongming WANG,
defence 05/03/2012. “Dimensionnement des Mémoires dans les Applications de Traitement de Flux de Données”,
supervision Alix MUNIER,
defence 04/13/2012. “Capacity Aware Opportunistic Networks: Characterization and Impact on the Dissemination of Large Contents”,
supervision Serge FDIDA,
defence 04/12/2012. “Étude et stratégies pour l’urbanisation d’un environnement de réseaux virtuels”,
supervision Guy PUJOLLE,
defence 04/04/2012. “Application des bases de Groebner en cryptographie”,
supervision Jean-Charles FAUGÈRE,
defence 04/01/2012. “Text Recognition and 2D/3D Object Tracking”,
supervision Matthieu CORD,
defence 03/19/2012. “Cœurs stables de communautés dans les graphes de terrain”,
supervision Matthieu LATAPY,
defence 03/12/2012. “Classifieur probabiliste et Séparateur à Vaste Marge. Application à la classification de texte et à l'étiquetage d'image”,
supervision Patrick GALLINARI,
defence 02/17/2012. “Gestion Optimisée de Produits-Modèles de Procédés Logiciels”,
supervision Marie-Pierre GERVAIS,
defence 02/08/2012. “Structured probabilistic infernce in object-oriented probabilistic graphical models”,
supervision Christophe GONZALES,
defence 01/27/2012. “Etude, spécification, vérification formelle de mécanismes de virtualisation sécurisés pour architecture many-cores”,
supervision Alain GREINER,
defence 01/19/2012. “Modélisation de processus muti agent”,
supervision Zahia GUESSOUM,
defence 01/01/2012. “Studies of the relationships between colours and emotions from spontaneous annotations”,
supervision Bernadette BOUCHON-MEUNIER,
defence 12/15/2011. “A Context-Aware Multi-Agent System for AmI Environments”,
supervision Amal EL FALLAH SEGHROUCHNI,
defence 12/15/2011. “Modélisation de réseaux de firmes avec des systèmes multi-agents adaptatifs”,
supervision Zahia GUESSOUM,
defence 12/14/2011. “Probabilistic Web Content Analysis. Representation of Content Semantics in the Bayesian Diagnostic Paradigm.”,
supervision Patrick GALLINARI,
defence 12/12/2011. “Diffusion d’information et structure en communautés dans un réseau de blogs”,
supervision Matthieu LATAPY,
defence 12/08/2011. “Monitoring information flows : building, modeling and simulation of citation graphs, application to buzz detection.”,
supervision Bernadette BOUCHON-MEUNIER,
defence 12/07/2011. “Amélioration des performances et de la fiabilité des architectures pair à pair arborescentes”,
supervision Pierre SENS,
defence 12/01/2011. “Tolérer les fautes transitoires, permanentes et intermittentes”,
supervision Sébastien TIXEUIL,
defence 12/01/2011. “Détection de comportements anormaux dans les application réseaux”,
supervision Kavé SALAMATIAN,
defence 11/30/2011. “Détection de communautés dans les réseaux dynamiques”,
supervision Matthieu LATAPY,
defence 11/30/2011. “Dynamique des graphes de terrain : caractérisation et étude du biais lié à la mesure”,
supervision Clémence MAGNIEN,
defence 11/29/2011. “Noninterférence et canaux cachés dans les systèmes temporisés”,
supervision Béatrice BÉRARD,
defence 11/28/2011. “Web Archives Quality : modeling and optimization”,
supervision Stéphane GANÇARSKI,
defence 11/18/2011. “Algorithmes d'énumération implicite pour l'optimisation multi-objectifs exacte : exploitation d'ensembles bornant et application aux problèmes de sac à dos et d'affectation”,
supervision Patrice PERNY,
defence 10/19/2011. “Programmation Web Typée”,
supervision Emmanuel CHAILLOUX,
defence 10/04/2011. “Cryptanalyse algébrique : outils et applications”,
supervision Jean-Charles FAUGÈRE,
defence 10/03/2011. “Cryptanalyse algébrique : outils et applications”,
supervision Jean-Charles FAUGÈRE,
defence 10/03/2011. “Placement and routing tools to secure FPGA architectures against DPA attacks”,
supervision Habib MEHREZ,
defence 09/30/2011. “Modèles analytiques pour le dimensionnement de réseaux cellulaires de quatrième génération”,
supervision Serge FDIDA,
defence 09/30/2011. “Compression de code et optimisation multicritère des systèmes embarqués dans un contexte temps réel strict”,
supervision Nathalie DRACH-TEMAM,
defence 09/29/2011. “Pilotage autonomique de la mobilité dans les réseaux sans fil hétérogènes”,
supervision Guy PUJOLLE,
defence 09/23/2011. “Sécurisation de processeurs vis-à-vis des attaques par faute et par analyse de la consommation”,
supervision Nathalie DRACH-TEMAM,
defence 09/21/2011. “Routage centré sur le contenu pour l'Internet du futur”,
supervision Serge FDIDA,
defence 09/16/2011. “Plateforme flexible et performante pour les routeurs virtuels sur une architecture multi-cœur”,
supervision Guy PUJOLLE,
defence 09/16/2011. “Location Services Management and Robust Geographic Routing in Mobile Ad hoc Networks”,
supervision Guy PUJOLLE,
defence 09/13/2011. “Exploration and optimization of application specific heterogeneous tree-based fpga architectures.”,
supervision Habib MEHREZ,
defence 07/12/2011. “Semantic evaluation of symbolic information”,
supervision Herman AKDAG,
defence 07/11/2011. “SHAPE the Wireless Traffic in the Home Network"”,
supervision Serge FDIDA,
defence 07/11/2011. “Contribution of multitones to ultrawide band software defined radar”,
supervision Patrick GARDA,
defence 07/08/2011. “Semi-supervised clustering and active learning”,
supervision Bernadette BOUCHON-MEUNIER,
defence 07/05/2011. “4G: mécanismes de convergence fixe mobile (HSDPA; Wimax, ...)”,
supervision Guy PUJOLLE,
defence 07/04/2011. “Détection d'événements dans la dynamique des grands graphes de terrain : une approche statistique et son application au radar de l'internet”,
supervision Matthieu LATAPY,
defence 06/28/2011. “Generic cache controller for a massively parallel manycore architecture with coherent shared memory”,
supervision Alain GREINER,
defence 06/28/2011. “On the field Detection, De-activation and Reconfiguration (ODDR) mechanism for Permanent Fault-Tolerance of Network-on-Chip”,
supervision Alain GREINER,
defence 06/27/2011. “A Peer-to-Peer-based Virtual Environment System”,
supervision Pierre FRAIGNIAUD,
defence 06/24/2011. “Structure et dynamique des graphes de terrain bipartis : liens internes et prédiction de liens”,
supervision Matthieu LATAPY,
defence 06/24/2011. “Formalisations et comparaisons de politiques et de systèmes de sécurité”,
supervision Thérèse HARDIN,
defence 06/16/2011. “Ingénierie et robustesse des systèmes embarqués sécuritaires”,
supervision Jean-Claude BAJARD,
defence 06/10/2011. “Ajout d'un Eportfilio à l'ENT”,
supervision Jean-Marc LABAT,
defence 06/09/2011. “Modeling Affective Systems through Physiology and their Application in Design of Video Games”,
supervision Bernadette BOUCHON-MEUNIER,
defence 05/31/2011. “Contribution à l'intégration des Machines à vecteurs de support au sein d'un capteur de vision 3D intégré : Application au diagnostic endoscopique”,
supervision Patrick GARDA,
defence 05/25/2011. “Metadata for personalization and knowledge access”,
supervision Bernadette BOUCHON-MEUNIER,
defence 05/03/2011. “Développement de logiciels critiques en Focalize. Méthodologie et outils pour l'évaluation de conformité”,
supervision Thérèse HARDIN,
defence 04/22/2011. “Routage et QoS dans les réseaux maillés sans fils”,
supervision Guy PUJOLLE,
defence 02/14/2011. “Distributed Algorithms for Peer-to-Peer Networks”,
supervision Serge FDIDA,
defence 02/11/2011. “Localisation et affectation : application aux réseaux de contenus”,
supervision Philippe CHRÉTIENNE,
defence 02/07/2011. “Cyclic RCPSP study”,
supervision Claire HANEN,
defence 02/07/2011. “Conception de Mécanismes d'Amélioration de la Gestion d'Incidents dans les Réseaux IP”,
supervision Serge FDIDA,
defence 02/02/2011. “Contribution à l'amélioration de la sécurité pour le protocole SIP”,
supervision Pascal URIEN,
defence 01/21/2011. “Résolution de systèmes algébriques avec des coefficients rapprochés”,
supervision Jean-Charles FAUGÈRE,
defence 01/19/2011. “Analyse des traces de navigation des apprenants dans un environnement de formation dans une perspective de détection automatique des styles d'apprentissage”,
supervision Jean-Marc LABAT,
defence 01/10/2011. “A Study on the Effects of Cultural Context Differences on Extended Technology Acceptance Model (TAM): Case of Saudi Arabia and France ”,
supervision Patrick BRÉZILLON,
defence 01/05/2011. “Document Clustering in a Learned Concept Space”,
supervision Patrick GALLINARI,
defence 12/16/2010. “Diagnostic cognitif en EIAH : Le système PépiMep”,
supervision Jean-Marc LABAT,
defence 12/14/2010. “Architecture de sécurité pour systèmes multiprocesseurs intégrés sur puce”,
supervision Alain GREINER,
defence 12/13/2010. “Modélisation et simulation du marché du travail à l'aide de systèmes multi-agents”,
supervision Amal EL FALLAH SEGHROUCHNI,
defence 12/10/2010. “Algorithmique répartie : vaincre les contraintes des réseaux modernes”,
supervision Sébastien TIXEUIL,
defence 12/10/2010. “Transparent Mobility Management in a Real Wireless Mesh Environment”,
supervision Serge FDIDA,
defence 12/09/2010. “Outil pour implémentation de logiciels certifiables EAL7”,
supervision Thérèse HARDIN,
defence 11/30/2010. “Stratégies de formation de coalitions dans les systèmes multi-agents”,
supervision Samir AKNINE,
defence 11/26/2010. “CYBERNARD : Un Système de Découverte Autonome qui Reconstruit Rationellement la Démarche Empirique de Claude Bernard en Modélisant ses Expérimentations Basées sur des Résultats Réels”,
supervision Jean-Gabriel GANASCIA,
defence 11/26/2010. “Praxis: Détection des incohérences dans les modèles répartis”,
supervision Marie-Pierre GERVAIS,
defence 11/19/2010. “Allocation de ressources dans les réseaux sans fil à large bande multi-porteuses”,
supervision Serge FDIDA,
defence 11/16/2010. “Protocoles efficaces pour le consensus généralisé et la réplication partielle”,
supervision Marc SHAPIRO,
defence 11/08/2010. “Gestion de la QoS dans des réseaux WiMax”,
supervision Guy PUJOLLE,
defence 10/25/2010. “Contributions à la résolution de problèmes d'optimisation de contraintes distribuées dynamiques à l'aide de modèles graphiques pour la coordination multiagents”,
supervision Amal EL FALLAH SEGHROUCHNI,
defence 10/22/2010. “Tracing Internet Routes under Load Balancing”,
supervision Serge FDIDA,
defence 10/18/2010. “Modeling and Optimization of Traffic Signal Timing - Implementation of the Bender's decomposition method”,
supervision Michel MINOUX,
defence 10/13/2010. “Transaction Routing in a Large-Scale Database”,
supervision Anne DOUCET,
defence 10/07/2010. “Trois études sur l'implantation des matrices en FoCaLiZe, les preuves quantitatives et la réutilisation de preuves”,
supervision Renaud RIOBOO,
defence 09/28/2010. “Conception d'un système d'exploitation supportant nativement les”,
supervision Alain GREINER,
defence 09/28/2010. “Vérification Formelle des Spécifications de Systèmes Complexes, Application aux Systèmes de Transport Intelligents”,
supervision Fabrice KORDON,
defence 09/27/2010. “Algorithmes pour la décision séquentielle dans l'incertain : optimisation de l'utilité espérée dépendant du rang et du critère de Hurwicz”,
supervision Patrice PERNY,
defence 09/27/2010. “Prise de décision multiattribut avec le modèle GAI”,
supervision Jean-Yves JAFFRAY,
defence 09/23/2010. “Estimation et optimisation de la consommation des systèmes hétérogènes”,
supervision Patrick GARDA,
defence 09/23/2010. “Prise de décision orientée QoS dans les réseaux hétérogènes”,
supervision Guy PUJOLLE,
defence 09/16/2010. “Introduction de techniques automoniques au sein des réseaux de domicile”,
supervision Guy PUJOLLE,
defence 09/10/2010. “Algorithmes de comptage dans les trafics IP”,
supervision Serge FDIDA,
defence 07/12/2010. “An Intelligent tutor system for self-evaluation of users'behaviors. Application in Road Safety”,
supervision Thierry ARTIÈRES,
defence 07/02/2010. “Réseaux Nomades la connectivité au service des utilisateurs en déplacement”,
supervision Serge FDIDA,
defence 06/29/2010. “Social Forwarding In Opportunistic Ad-hoc Networks”,
supervision Serge FDIDA,
defence 06/29/2010. “MORPHEO : Processeur ouvert, haute performance, paramétrable et pérenne pour plate-forme de confiance”,
supervision Nathalie DRACH-TEMAM,
defence 06/28/2010. “Regularized bundle methods for large-scale learning problems with an application to large margin training of hidden Markov models”,
supervision Thierry ARTIÈRES,
defence 06/17/2010. “Introducing semantic knowledge in high level information fusion”,
supervision Jean-Gabriel GANASCIA,
defence 06/04/2010. “Diagnostic Global des anomalies de Trafic sur l'Internet”,
supervision Serge FDIDA,
defence 05/19/2010. “Uncertainty management and reinforcement learning for conventionnal dialogue systems”,
supervision Bernadette BOUCHON-MEUNIER,
defence 05/18/2010. “A qualitative approach for decision making under non-functional constraints during agile service composition”,
supervision Jacques MALENFANT,
defence 05/05/2010. “Systèmes Multi-Agents et tolérance aux fautes : conséquences de l'autonomie des agents”,
supervision Amal EL FALLAH SEGHROUCHNI,
defence 04/14/2010. “Une approche intégrée pour la conception par contrat : vérification statique/dynamique et génération automatique de test”,
supervision Jacques MALENFANT,
defence 03/30/2010. “A context-aware framework for service discovery on ubiquitous mesh home networks community”,
supervision Guy PUJOLLE,
defence 03/25/2010. “Méthodes d'accès décentralisées pour la recherche par le contenu dans les environnements distribués dynamiques”,
supervision Jean-Pierre BRIOT,
defence 03/22/2010. “Utilisation d’agents assistants pour l’analyse et la prise de décision pour la gestion participative”,
supervision Jean-Pierre BRIOT,
defence 03/15/2010. “A Software Factory for the Generation of CAPE-OPEN compliant Process Modelling Components”,
supervision Mikal ZIANE,
defence 03/15/2010. “Une méthodologie de prediction des performances d'un système d'impression”,
supervision Patrick GARDA,
defence 03/12/2010. “Etude de l'apport des méthodes formelles déductives pour les développement de sécurité”,
supervision Thérèse HARDIN,
defence 03/08/2010. “Possibilistic ALC description logic for operational information systems : theory, algorithm and applications”,
supervision Bernadette BOUCHON-MEUNIER,
defence 03/05/2010. “Modélisation au nouveau système des entrées-sotires d'un système hétérogène”,
supervision Patrick GARDA,
defence 03/01/2010. “Adaptive Quality Control of Packetized Voice Conversations over Mobile Ad-Hoc Networks”,
supervision Guy PUJOLLE,
defence 02/25/2010. “New Algorithms for Large-Scale Support Vector Machines”,
supervision Patrick GALLINARI,
defence 02/09/2010. “Structures arborescentes complexes : analyse combinatoire, génération aléatoire et applications”,
supervision Michele SORIA,
defence 01/26/2010. “Design and development of an intelligent assistant for student's conative support”,
supervision Bernadette BOUCHON-MEUNIER,
defence 01/25/2010. “Plate forme de communication pour les applications à mission critique”,
supervision Guy PUJOLLE,
defence 12/18/2009. “Autonomic Architectures for Home Networks”,
supervision Guy PUJOLLE,
defence 12/14/2009. “Méthodes et outils formels pour l’intégration d’applications d’entreprises”,
supervision Fabrice KORDON,
defence 12/13/2009. “Apprentissage de données structurées pour l'interprétation d'images”,
supervision Isabelle BLOCH,
defence 12/12/2009. “Dynamique de graphes et détection d’anomalies”,
supervision Matthieu LATAPY,
defence 12/10/2009. “Petri Nets-Based Automated and Dedicated Generation of Intrusion Detection Systems for Parallel Systems”,
supervision Fabrice KORDON,
defence 12/09/2009. “Algorithmes d'Amélioration de Capacité pour les Réseaux Maillés Sans Fils”,
supervision Serge FDIDA,
defence 12/09/2009. “Efficient generation of large state spaces”,
supervision Fabrice KORDON,
defence 12/08/2009. “Mise en oeuvre de notations standardisées, formelles et semi-formelles dans un processus de développement de systèmes embarqués temps-réel répartis”,
supervision Fabrice KORDON,
defence 12/03/2009. “Detection and Characterisation of Vegetation in Urban Areas from High Resolution Aerial Imagery”,
supervision Matthieu CORD,
defence 11/30/2009. “Contribution à la conception et à la réalisation d'un capteur de vision 3D intégré”,
supervision Patrick GARDA,
defence 11/20/2009. “SLA-BASED NETWORK MANAGEMENT- Application in a Wireless Environment -”,
supervision Guy PUJOLLE,
defence 11/13/2009. “Evolutionary Optimisation for Inexact Graph Isomorphism”,
supervision Bernadette BOUCHON-MEUNIER,
defence 10/22/2009. “Localisation en trois dimensions de tags RFID basée sur les informations de connectivité”,
supervision Guy PUJOLLE,
defence 10/20/2009. “Apprentissage dans les Processus de Décision Markoviens pour la Prédiction Structurée. Applications à l'étiquetage de séquences, la transformation d'arbres et l'apprentissage dans les problèmes de recherche combinatoire”,
supervision Patrick GALLINARI,
defence 10/15/2009. “Apprentissage de fonctions d'ordonnancement avec peu de données étiquetées: une application au routage d'information, au résumé de textes et au filtrage collaboratif”,
supervision Patrick GALLINARI,
defence 10/08/2009. “SAMNAR : a survivable architecture for wireless self-organizing networks”,
supervision Guy PUJOLLE,
defence 10/06/2009. “Gestion des handovers verticaux dans les réseaux sans-fil hétérogènes”,
supervision Guy PUJOLLE,
defence 09/30/2009. “Une méthodologie pour appréhender la décision collective dans des systèmes multiagents sujets aux défaillances”,
supervision Amal EL FALLAH SEGHROUCHNI,
defence 09/29/2009. “Sémantique paramétrable des Diagrammes de Décision : une démarche vers l'unification”,
supervision Fabrice KORDON,
defence 09/29/2009. “Clustering et Volume des Données”,
supervision Patrick GALLINARI,
defence 09/28/2009. “Conception Et Optimisation D’Architectures Reconfigurables De Type FPGA”,
supervision Habib MEHREZ,
defence 09/25/2009. “Isolation des extensions de systèmes d'exploitation dans une machine virtuelle”,
supervision Bertil FOLLIOT,
defence 09/24/2009. “Caractérisation de classes par la découverte automatique de sous-classes”,
supervision Bernadette BOUCHON-MEUNIER,
defence 09/23/2009. “Integration of formal methods into Model-Driven Development, for distributed systems and applications design and verification”,
supervision Fabrice KORDON,
defence 09/23/2009. “Modélisation et apprentissage des préférences appliqués à la recommandation dans les systèmes d'impression”,
supervision Bernadette BOUCHON-MEUNIER,
defence 09/22/2009. “Caractérisation de la cocoteraie des Tuamotu à partir d'images”,
supervision René ALT,
defence 09/15/2009. “Utilisation des bases de Gröbner SAGBI pour la résolution des systèmes polynômiaux invariants par symétries”,
supervision Jean-Charles FAUGÈRE,
defence 07/17/2009. “Fuzzy Logic Based Method for Modeling Queue Behavior of Network Nodes”,
supervision Guy PUJOLLE,
defence 07/10/2009. “Multi-Constrained Security Policies for Delegated Firewall Administration”,
supervision Guy PUJOLLE,
defence 07/10/2009. “Architecture cross-layer pour la gestion de la Qualité de Service dans les réseaux sans fil”,
supervision Guy PUJOLLE,
defence 07/08/2009. “Le transfert adaptatif en apprentissage par renforcement Application à la simulation de schéma de jeux tactiques”,
supervision Jean-Daniel ZUCKER,
defence 06/24/2009. “Apprentissage Machine pour Assister l'Annotation de Documents. Clustering Visuel Interactif, Apprentissage Actif et Extraction Automatique des Descripteurs”,
supervision Patrick GALLINARI,
defence 06/19/2009. “Routeur Global pour la plateforme Coriolis”,
supervision Alix MUNIER,
defence 06/17/2009. “Étude IRM individuelle et multimodale dans la maladie d'Alzheimer”,
supervision Patrick GALLINARI,
defence 06/10/2009. “Optimisation automatique des chemins de données arithmétiques par l'utilisation des systèmes de numération redondants”,
supervision Habib MEHREZ,
defence 05/25/2009. “Un Système de Pilotage Autonomique pour la Distribution de Charge dans les Réseaux Sans Fil Wi-Fi”,
supervision Guy PUJOLLE,
defence 05/19/2009. “Architecture de gestion décentralisée de la qualité de service par politiques dans les réseaux ad hoc”,
supervision Guy PUJOLLE,
defence 05/11/2009. “ "Modulateur Sigma-Delta Thermique: Modelisation, Simulation et conception"”,
supervision Hassan ABOUSHADY,
defence 05/11/2009. “Mise en oeuvre automatique de processus métier dans le domaine des architectures orientées services”,
supervision Jacques MALENFANT,
defence 04/09/2009. “Vers une modélisation plus réaliste de la diffusion d'innovations à l'aide de la simulation multi-agents”,
supervision Amal EL FALLAH SEGHROUCHNI,
defence 04/09/2009. “Détection des interblocages dans les réseaux sur puce”,
supervision Emmanuelle ENCRENAZ,
defence 01/30/2009. “Modélisation SystemC d'architectures multi-processeurs intégrées sur puce”,
supervision Alain GREINER,
defence 01/27/2009. “Algèbre linéaire dans la résolution de systèmes polynomiaux Applications en cryptologie”,
supervision Jean-Charles FAUGÈRE,
defence 12/11/2008. “Détection visuelle de fermeture de boucle et applications à la localisation et cartographie simultanées”,
supervision Jean-Arcady MEYER,
defence 12/11/2008. “Une approche pair à pair pour la découverte de ressources à large échelle”,
supervision Guy PUJOLLE,
defence 12/10/2008. “Capteur de Pression RFID pour le suivi des anévrismes de l'aorte abdominale”,
supervision Patrick GARDA,
defence 12/09/2008. “Sur la décomposition réelle et algébrique des systèmes dépendant de paramètres”,
supervision Fabrice ROUILLIER,
defence 12/09/2008. “Algorithmes d'exclusion mutuelle : tolérance aux fautes et adaptation aux grilles”,
supervision Pierre SENS,
defence 12/08/2008. “Utiliser un système multi-agents basé sur le connaissance du domaine géologique pour construire un modèle structural fiable”,
supervision Anne DOUCET,
defence 12/05/2008. “Pressions sélectives multiples pour l'évolution de réseaux de neurones destinés à la robotique”,
supervision Jean-Arcady MEYER,
defence 12/05/2008. “Modélisation et Calibrage Automatiques de Systèmes”,
supervision Serge FDIDA,
defence 12/05/2008. “Modèles orientés objet pour une meilleure prédiction du trafic Internet”,
supervision Serge FDIDA,
defence 12/05/2008. “Génération aléatoire de structures combinatoires : méthode de Boltzmann effective”,
supervision Michèle SORIA,
defence 12/03/2008. “Modélisation d'interdépendances et principe de la moyenne Bayésienne des modèles dans le cadre supervisé et non supervisé”,
supervision Patrick GALLINARI,
defence 12/02/2008. “Applicatons mutimédias dans un environnement de réseaux ambiants”,
supervision Guy PUJOLLE,
defence 11/28/2008. “Techniques de contrôle pour réseaux sans fil multi-sauts”,
supervision Serge FDIDA,
defence 11/28/2008. “Exploration et Optimisation d'Architectures FPGA Arborescentes”,
supervision Habib MEHREZ,
defence 11/25/2008. “Traitement de l'hétérogénéité sémantique dans les interactions humain-agent et agent-agent”,
supervision Amal EL FALLAH SEGHROUCHNI,
defence 11/21/2008. “Modèles graphiques décomposables pour la décision individuelle et collective”,
supervision Patrice PERNY,
defence 11/12/2008. “Conception et Prototypage d'Algorithmes de Communication pour Réseaux Sans Fil”,
supervision Serge FDIDA,
defence 11/12/2008. “Apprentissage d'ordonnancements pour la constitution de corpus d'évaluation et pour l'agrégation de listes en recherche d'information”,
supervision Patrick GALLINARI,
defence 10/27/2008. “Hiérarchies de relaxations semi-algébriques pour des programmes linéaires mixtes 0-1 : théorie et applications”,
supervision Michel MINOUX,
defence 10/23/2008. “Approches Inter-Couches pour l'Allocation de Ressources dans les Réseaux WiMAX Mobiles”,
supervision Guy PUJOLLE,
defence 10/08/2008. “Conversion analogique-numerique Basse-Consommation pour Micro-Capteurs”,
supervision Hassan ABOUSHADY,
defence 09/29/2008. “Étude d'une architecture electronique embarquée pour la compression video base sur jpeg2000”,
supervision Patrick GARDA,
defence 09/26/2008. “Procédures d'agrégation ordinale de préférences avec points de référence pour l'aide à la décision”,
supervision Patrice PERNY,
defence 09/25/2008. “Fusion de données pour la reconstruction 3D temporelle”,
supervision René ALT,
defence 09/24/2008. “Diagnostic et modélisation de l'utilisateur: prise en compte de l'incertain”,
supervision Bernadette BOUCHON-MEUNIER,
defence 09/23/2008. “Problèmes d'ordonnancement avance-retard avec et sans préemption”,
supervision Philippe CHRÉTIENNE,
defence 09/22/2008. “Apprentissage artificiel pour l’apprentissage humain : de la récolte de traces à la modélisation utilisateur”,
supervision Bernadette BOUCHON-MEUNIER,
defence 09/18/2008. “Intégration d'un système visuel dans l'architecture de contrôle du rat artificiel Psikharpax”,
supervision Jean-Arcady MEYER,
defence 09/15/2008. “Un modèle de confiance pour les réseaux ad hoc”,
supervision Guy PUJOLLE,
defence 07/18/2008. “Une approche intégrée pour la mobilité humaine dans les réseaux auto-organisables : causes et conséquences”,
supervision Serge FDIDA,
defence 07/11/2008. “Méthodes exactes pour l'optimisation multicritère dans les graphes : recherche de solutions de compromis”,
supervision Patrice PERNY,
defence 07/10/2008. “Harmonisation automatique en temps réel”,
supervision Jean-Pierre BRIOT,
defence 07/09/2008. “Négociation combinée et multicritère d'agents coopératifs”,
supervision Amal EL FALLAH SEGHROUCHNI,
defence 07/07/2008. “Synthèse de composants analogiques intégrès VLSI réutilisables”,
supervision Marie-Minerve LOUËRAT,
defence 07/02/2008. “Apprentissage Automatique pour l'Extraction de Caractéristiques. Application au partitionnement de documents, au résumé automatique et au filtrage collaboratif”,
supervision Patrick GALLINARI,
defence 06/30/2008. “Apprentissage de modèles latents avec des données partiellement étiquetées”,
supervision Patrick GALLINARI,
defence 06/30/2008. “Mobile IPv6: architectures et protocoles”,
supervision Serge FDIDA,
defence 06/27/2008. “Contribution à la conception de processeurs d'analyse de signaux à large bande dans le domaine temps-fréquence : l'architecture F-TFR”,
supervision Habib MEHREZ,
defence 06/24/2008. “Model Checking parallèle et réparti de réseaux de Petri colorés de haut-niveau”,
supervision Jean-François PRADAT-PEYRE,
defence 06/23/2008. “Ancrage d'un lexique partage entre robots autonomes dans un environnement non contraint”,
supervision Jean-Gabriel GANASCIA,
defence 06/19/2008. “Conception et implantation d'un micro-réseau sur puce avec garantie de service”,
supervision Alain GREINER,
defence 05/20/2008. “Convertisseurs Analogique-Numérique Sigma-Delta Passe-Bande RF”,
supervision Hassan ABOUSHADY,
defence 04/07/2008. “Link Quality Aware Routing in IEEE 802.11 Multi-hop Networks”,
supervision Serge FDIDA,
defence 04/03/2008. “Implémentation Asynchrone d'un Réseau-sur-Puce Distribué”,
supervision Alain GREINER,
defence 03/19/2008. “Personnalisation des systèmes de dialogue en langage naturel : une méthode d'anticipation d'actions communicatives”,
supervision Jean-Gabriel GANASCIA,
defence 02/08/2008. “Réseaux de Capteurs”,
supervision Guy PUJOLLE,
defence 02/06/2008. “Réseaux polymorphes permettant d'adapter de contenus multimédia”,
supervision Guy PUJOLLE,
defence 02/06/2008. “Étude de formulations et inégalités valides pour le problème du plus court chemin dans les graphes avec des circuits absorbants”,
supervision Michel MINOUX,
defence 12/19/2007. “Pastis : un système pair à pair de gestion de fichiers”,
supervision Pierre SENS,
defence 12/18/2007. “Modélisation par Composants des Interfaces Réseaux dans les Simulateurs de Réseaux Sans Fil”,
supervision Guy PUJOLLE,
defence 12/14/2007. “Systeme de distribution des applications web fragmentées”,
supervision Mesaac MAKPANGOU,
defence 12/12/2007. “Déploiement et stratégies d’optimisation de la durée de vie dans les réseaux de capteurs sans fil”,
supervision Guy PUJOLLE,
defence 12/11/2007. “Chorégraphie dynamique de services basée sur la coordination d'agents introspectifs”,
supervision Amal EL FALLAH SEGHROUCHNI,
defence 12/10/2007. “Méthodes analytiques pour le dimensionnement des réseaux cellulaires”,
supervision Serge FDIDA,
defence 12/07/2007. “Évaluation des risques de crise, appliquée à la détection des conflits”,
supervision Bernadette BOUCHON-MEUNIER,
defence 12/06/2007. “Modélisation et Simulation, en VHDL-AMS, de Capteurs d’Images CMOS”,
supervision Patrick GARDA,
defence 12/05/2007. “Alignement textuel monolingue avec recherche de déplacements: algorithmique pour la critique génétique”,
supervision Jean-Gabriel GANASCIA,
defence 12/03/2007. “Interact : Un modèle général de contrat pour la garantie des assemblages de composants et services”,
supervision Jacques MALENFANT,
defence 11/30/2007. “Apprentissage dans les espaces structurés. Application à l'étiquetage de séquences et à la transformation automatique de documents”,
supervision Patrick GALLINARI,
defence 11/29/2007. “Classement de Services et de Données par Leur Utilisation”,
supervision Bernd AMANN,
defence 11/27/2007. “Conception d'une bibliothèque de composants analogiques pour la synthèse orientée Layout”,
supervision Marie-Minerve LOUËRAT,
defence 11/14/2007. “Métrologie dans les réseaux peer to peer”,
supervision Serge FDIDA,
defence 10/12/2007. “CORIOLIS : une plate-forme ouverte pour l'évaluation de flots de conception VLSI fortement intégrés”,
supervision Alain GREINER,
defence 09/26/2007. “Complementary roles of the rat prefrontal cortex and striatum in reward-based learning and shifting navigation strategies”,
supervision Agnès GUILLOT,
defence 09/26/2007. “Gestion incrémentale des propriétés de cohérence structurelle dans l'ingénierie dirigée par les modèles”,
supervision Marie-Pierre GERVAIS,
defence 09/25/2007. “Modèles d'auto-organisation pour l'émergence de formes urbaines à partir de comportements individuels à Bogota”,
supervision Alexis DROGOUL,
defence 09/25/2007. “Exploration scientifique par la conception collaborative de systèmes multi-agents”,
supervision Alexis DROGOUL,
defence 09/24/2007. “Sémantique des systèmes de contrôle d'accès”,
supervision Thérèse HARDIN,
defence 09/24/2007. “Sensibilité aux jeux de données de la compilation itérative”,
supervision Nathalie DRACH-TEMAM,
defence 09/24/2007. “Utilisation d’ontologies pour la qualification et la recherche de ressources pédagogiques – Contribution à la conception d’outils métier”,
supervision Bernadette BOUCHON-MEUNIER,
defence 09/19/2007. “Apprentissage de Modèles Markoviens pour l'Analyse de Séquences”,
supervision Patrick GALLINARI,
defence 09/14/2007. “Optimisation des batches de production”,
supervision Philippe CHRÉTIENNE,
defence 09/14/2007. “Contribution aux systèmes modulaires de représentation des nombres : Conversion vers binaire et addition modulaire multi-opérande”,
supervision Jean-Marie CHESNEAUX,
defence 09/13/2007. “Contributions à la mesure et à la modelisation de la topologie de l'Internet”,
supervision Serge FDIDA,
defence 09/13/2007. “Découverte et sélection de services à l'échelle de l'Internet”,
supervision Guy PUJOLLE,
defence 09/07/2007. “Système auto-adaptatif générique pour le contrôle de robots ou d'entités logicielles”,
supervision Alain CARDON,
defence 09/07/2007. “Architecture à base de politiques pour le contrôle dynamique de la QoS dans les réseaux IP à large échelle”,
supervision Guy PUJOLLE,
defence 09/07/2007. “UML4SPM: Un Langage de Modélisation de Procédés De Développement Logiciel Exécutable Et Orienté Modèle”,
supervision Marie-Pierre GERVAIS,
defence 09/06/2007. “ModelBus : un environnement réparti et ouvert pour l’ingénierie de modèles”,
supervision Marie-Pierre GERVAIS,
defence 09/05/2007. “Routage et qualité de service dans les réseaux ad-hoc”,
supervision Serge FDIDA,
defence 07/13/2007. “Une Approche orientée but d'affaires pour l'optimisation des politiques”,
supervision Guy PUJOLLE,
defence 07/11/2007. “Contributions à l'approche automate pour la vérification de propriétés de systèmes concurrents”,
supervision Fabrice KORDON,
defence 07/10/2007. “Mesures de discrimination et leurs applications en apprentissage inductif”,
supervision Bernadette BOUCHON-MEUNIER,
defence 07/10/2007. “Contrôle de l'Emergence de Comportements dans les Systèmes d'Agents Cognitifs Autonomes”,
supervision Amal EL FALLAH SEGHROUCHNI,
defence 07/09/2007. “Pas de titre”,
supervision Serge FDIDA,
defence 07/07/2007. “Modélisation de la gestion des exceptions dans les systèmes multiagents”,
supervision Amal EL FALLAH SEGHROUCHNI,
defence 06/25/2007. “Classification temps réel d'applications sur l'Internet”,
supervision Eric HORLAIT,
defence 06/08/2007. “Auto-test logiciel des systèmes intégrés sur Puce (SoC)”,
supervision Mounir BENABDENBI,
defence 06/01/2007. “Exploitation des symétries partielles pour la vérification et l'évaluation de performances des systèmes concurrents”,
supervision Serge HADDAD,
defence 05/16/2007. “Conception Incrémentale, Vérification de Composants Matériels et Méthode d'Abstraction pour Vérification de Systèmes Intégrés sur Puce”,
supervision Emmanuelle ENCRENAZ,
defence 05/14/2007. “Communications matériel/logiciel dans les ystèmes sur puce multi-processeurs orientés télécommunications”,
supervision Alain GREINER,
defence 04/27/2007. “Apprentissage par renforcement dans les processus de décision Markoviens factorisés”,
supervision Jean-Arcady MEYER,
defence 04/26/2007. “Agents adaptatifs dans les jeux de stratégie modernes : une approche fondée sur l'apprentissage par renforcement”,
supervision Jean-Gabriel GANASCIA,
defence 04/25/2007. “Étude et traitement des problèmes liés à la distribution d'information dans le systèmes peer-to-peer”,
supervision Serge FDIDA,
defence 04/16/2007. “Agents intelligents pour la simulation numérique : l'exemple des cogents”,
supervision Zahia GUESSOUM,
defence 03/20/2007. “Fusion de données temporelles, ou 2D+t, et spatiales, ou 3D, pour la reconstruction de scènes 3D+t et traitement d'images sphériques. Applications à la biologie cellulaire.”,
supervision René ALT,
defence 02/16/2007. “Tarification et gestion optimale du revenu et des ressources pour un opérateur de télécommunication dans un contecte de concurrence”,
supervision Michel MINOUX,
defence 02/01/2007. “Ordonnancement avance-retard sur machines parallèles”,
supervision Philippe CHRÉTIENNE,
defence 01/30/2007. “Polynômes de permutation et applictions en théoric des codes”,
supervision ,
defence 01/01/2007. “Filtrage et qualité de service pour la téléphonie sur IP dans une architecture de gestion par politique dédiée au nomadisme et à la mobilité”,
supervision Guy PUJOLLE,
defence 12/20/2006. “Gestion de la persistance et de la volatilité dans le système de fichiers pair-à-pair Pastis”,
supervision Pierre SENS,
defence 12/14/2006. “Diarammes de décision de données pour la vérification de systemes matériels”,
supervision Emmanuelle ENCRENAZ,
defence 12/13/2006. “Modèles qualitatifs et approches algébriques pour la décision dans l'incertain : fondements axiomatiques et application à la décision séquentielle”,
supervision Patrice PERNY,
defence 12/12/2006. “Interopérabilité du routage dans les réseaux Ad-Hoc”,
supervision Serge FDIDA,
defence 12/11/2006. “Apprentissage de fonctions d'ordonnancement: une étude théorique de la réduction à la classification binaire et deux applications à la Recherche d'Information”,
supervision Patrick GALLINARI,
defence 12/11/2006. “Localisation d'hôtes dans l'Internet basée sur des mesures”,
supervision Serge FDIDA,
defence 12/08/2006. “Contribution à la résolution de problèmes de regroupement de sessions multicasts”,
supervision Philippe CHRÉTIENNE,
defence 12/07/2006. “Container Virtual Machine : Une plate-forme générique pour l'adaptation”,
supervision Bertil FOLLIOT,
defence 12/06/2006. “Accélaration de la simulation de systèmes sur puce par transformation de modèles au niveau tranfert entre registres en modèles précis au cycle”,
supervision Alain GREINER,
defence 12/05/2006. “Médiation informatique pour l'apprentissage du français langue étrangère écrit : études auprès d'un public lettré et en formation d'alphabétisation”,
supervision Jean-Gabriel GANASCIA,
defence 12/04/2006. “Dimensionnement des mémoires pour systèmes embarqués”,
supervision Alix MUNIER,
defence 12/04/2006. “Pas de titre”,
supervision Thérèse HARDIN,
defence 12/01/2006. “Gestion de la mobilité dans les réseaux sans fil de nouvelle génération”,
supervision Guy PUJOLLE,
defence 11/30/2006. “Métrologie, Modélisation de réseaux fondée sur des mesures actives”,
supervision Monique BECKER,
defence 11/29/2006. “Analyse asymptotique et Combinatoire symbolique des proprietes statistiques de grands ensembles”,
supervision Michèle SORIA,
defence 11/29/2006. “Transformations de programmes et contraintes de qualité pour améliorer l’outillage des patrons de conception”,
supervision Mikal ZIANE,
defence 11/28/2006. “Modèles pour l'optimisation de la simulation au cycle près de systèmes synchrones”,
supervision Alix MUNIER,
defence 11/27/2006. “Grosslayer Simulation”,
supervision Monique BECKER,
defence 11/20/2006. “Support des patrons de conception dans les outils UML”,
supervision Mikal ZIANE,
defence 11/10/2006. “Étude et validation de l'architecture d'une machine java de hautes performances”,
supervision François ANCEAU,
defence 11/07/2006. “Construction d'applications réparties par réutilisation de modèles dans l'approche MDA : application à la plate-forme EJB”,
supervision Marie-Pierre GERVAIS,
defence 11/06/2006. “Calcul de corps de décomposition et de groupes de décomposition”,
supervision Annick VALIBOUZE,
defence 10/06/2006. “Algorithmes pour la Découverte de Topologie à Grande Echelle”,
supervision Serge FDIDA,
defence 09/22/2006. “Spécification d'un cadre générique pour l'expression et le dépoliement de la qualité de service dans les architectures de communication : application à une architecture de communication par satellite”,
supervision Patrick SENAC,
defence 08/31/2006. “Implantation distribuée temps réel de programmes conditionnés à l'aide d'ordonnancements mixtes hors-ligne en-ligne de tâches périodiques avec contraintes de latence et acceptation de tâches apériodiques”,
supervision Fabrice KORDON,
defence 07/07/2006. “Allocation dynamique de la bande passante dans les réseaux à qualité de service”,
supervision Guy PUJOLLE,
defence 07/03/2006. “Simulations multi-agents participatives: Faire interagir agents et humains pour modéliser, explorer et reproduire les comportements collectifs”,
supervision Alexis DROGOUL,
defence 06/27/2006. “Structure et complexité des bases de Gröbner”,
supervision Daniel LAZARD,
defence 06/20/2006. “Approches inter-couches pour la qualité de service dans les réseaux locaux sans fil”,
supervision Guy PUJOLLE,
defence 06/19/2006. “Définition et implantation d'un langage de conception de composants analogiques réutilisables”,
supervision Marie-Minerve LOUËRAT,
defence 06/13/2006. “Dix Expériences sur la Modélisation du timbre polyphonique”,
supervision Jean-Pierre BRIOT,
defence 06/06/2006. “Outils pour le déploiement d'applications avec des contraintes de temps réel sur des multiprocesseurs sur puces”,
supervision Frédéric PÉTROT,
defence 06/02/2006. “Conception, Sémantique et Implantation de ReactiveML: un langage à la ML pour la programmation réactive”,
supervision Marc POUZET,
defence 05/22/2006. “Routage « Cross-Layer » et Gestion de la Mobilité dans les Réseaux Maillés Sans Fil”,
supervision Serge FDIDA,
defence 04/03/2006. “Compression de données sans perte et combinatoire analytique”,
supervision Michèle SORIA,
defence 03/02/2006. “Modèles d'Apprentissage pour l'Analyse de la Mobilité : Applications à des Parcours de Vie en Colombie”,
supervision Patrick GALLINARI,
defence 02/03/2006. “Implémentation matérielle d'un micro-réseau SPIN à 32 ports”,
supervision Alain GREINER,
defence 01/31/2006. “Méthodes et modèles de détection d'anomalies”,
supervision Serge FDIDA,
defence 01/27/2006. “Taroko: structures virtuelles en treillis pour la représentation topologique des réseaux auto-organisables”,
supervision Serge FDIDA,
defence 12/16/2005. “Des propriétés de transmission pour la couche IP”,
supervision Serge FDIDA,
defence 12/16/2005. “Génération ascendante de coordination spatiale : vers une conception automatisée du controle de coordination spatiale”,
supervision Jean-Arcady MEYER,
defence 12/14/2005. “Intégration d'un micro-réseau à commutation de paquets dans un système multiprocesseur à mémoire partagée intégré sur puce”,
supervision Alain GREINER,
defence 12/09/2005. “SoSMA une Architecture pour la Gestion de la Sécurité des Applications Multimédias Réparties”,
supervision Eric HORLAIT,
defence 12/08/2005. “Gestion et Contrôle de Trafic Prioritaire dans les Réseaux IP Multiservices”,
supervision Eric HORLAIT,
defence 12/08/2005. “CLAIM et SyMPA : Un environnement pour la programmation d'agents intelligents et mobiles”,
supervision Amal EL FALLAH SEGHROUCHNI,
defence 12/07/2005. “Conception et Execution d'Interactions dans les SMA: Spécialisation et Sélection de Protocoles Génériques”,
supervision Jean-Pierre BRIOT,
defence 12/06/2005. “Organisation et Localisation de Données Hétérogènes et Réparties sur un Réseau Pair à Pair”,
supervision Anne DOUCET,
defence 12/05/2005. “Modélisation et résolution de problèmes de lot-sizing à capacité finie”,
supervision Philippe CHRÉTIENNE,
defence 12/01/2005. “Controle de qualité des données répliquées dans un cluster”,
supervision Patrick VALDURIEZ,
defence 12/01/2005. “Extraction automatique de stéréotypes à partir de données symboliques et lacunaires”,
supervision Jean-Gabriel GANASCIA,
defence 11/30/2005. “Gestion autonome du provisionnement de services en environnements pervasifs”,
supervision Eric HORLAIT,
defence 11/25/2005. “Évaluation d'une architecture IP orientée flot”,
supervision Guy PUJOLLE,
defence 11/25/2005. “Spécification et Validation de la Qualité de Service dans les Réseaux Optiques”,
supervision Guy PUJOLLE,
defence 11/21/2005. “Contributions à l'ordonnancement juste-à-temps”,
supervision Philippe CHRÉTIENNE,
defence 11/17/2005. “La carte à puce, vecteur de mobilité”,
supervision Guy PUJOLLE,
defence 09/30/2005. “Développement par prototypage et génération de code à partir de LfP, un langage de modélisation de haut niveau”,
supervision Fabrice KORDON,
defence 09/28/2005. “Introduction de mécanisme de flexibilité dans les contraintes de domaines continues”,
supervision Philippe CODOGNET,
defence 09/28/2005. “Systèmes multi-agent et morphologie”,
supervision Alain CARDON,
defence 09/26/2005. “Contrôle dynamique de méthodes d'extrapolation”,
supervision Jean-Marie CHESNEAUX,
defence 09/23/2005. “Sémantique des traits orientés objet de Focal”,
supervision Thérèse HARDIN,
defence 07/18/2005. “Localisation et routage dans les réseaux auto organisables à large-échelle : des tables de hachage distribuées aux structures d'adressage adaptatives”,
supervision Serge FDIDA,
defence 07/11/2005. “Caractérisation et formalisation du processus de développement construit autour du paradigme de l'ingénierie des modèles”,
supervision Jean-François PERROT,
defence 07/08/2005. “Technologies Base Consomation pour les réseaux ad hoc”,
supervision ,
defence 07/06/2005. “Controle de ressources dans les cartes à microprocesseurs”,
supervision Bertil FOLLIOT,
defence 06/30/2005. “Estimation et optimisation de la consommation dans les descriptions architecturales des systèmes intégrés complexes”,
supervision Habib MEHREZ,
defence 06/21/2005. “Calcul efficace de corps de décomposition”,
supervision Annick VALIBOUZE,
defence 06/16/2005. “Applications actives - Construction dynamique d'environnements d'exécution flexibles homogènes”,
supervision Bertil FOLLIOT,
defence 05/20/2005. “Interprétation des différences de représentations dans les bases de données géographiques”,
supervision Jean-Daniel ZUCKER,
defence 05/20/2005. “Introduction de mobilité dans les applications de conception industrielle”,
supervision Jean-Pierre BRIOT,
defence 05/11/2005. “MHiCS, une architecture de sélection de l’action Motivationnelle et HIérarchique à Systèmes de Classeurs pour Personnages Non Joueurs adaptatifs”,
supervision Agnès GUILLOT,
defence 05/11/2005. “Concept innovateur d’un middleware pour la supervision de systèmes complexes”,
supervision Serge FDIDA,
defence 04/06/2005. “Méthodes d’intelligence artificielle pour l’analyse des données en provenance de pistons instrumentés”,
supervision Bernadette BOUCHON-MEUNIER,
defence 04/05/2005. “Conception d'algorithmes temps réel pour la planification réactive et la réorganisation dynamique fondée sur une approche multi-agents”,
supervision Amal EL FALLAH SEGHROUCHNI,
defence 03/17/2005. “Recherche et parallélisation d'un algorithme de traitement et de compression d'images médicales avec sauvegarde”,
supervision René ALT,
defence 02/21/2005. “Vers la conception participative de simulation sociales”,
supervision Alexis DROGOUL,
defence 02/01/2005. “Classification non supervisée pour la visualisation de données structurées et la construction de prototypes”,
supervision Bernadette BOUCHON-MEUNIER,
defence 01/31/2005. “Modélisation, reconnaissance et apprentissage de scénarios de conflits ethno-politiques”,
supervision Bernadette BOUCHON-MEUNIER,
defence 01/25/2005. “Un modèle interactif de recherche d'information de documents structurés spécifié par des grammaires attribuées”,
supervision Patrick GALLINARI,
defence 01/24/2005. “Contrôle dynamique du calcul d'intégrales multiples”,
supervision Jean-Marie CHESNEAUX,
defence 01/14/2005. “Structuration Automatique de Corpus Textuels par Apprentissage Automatique”,
supervision Patrick GALLINARI,
defence 12/21/2004. “Architectures de gestion par politiques des services dans les réseaux d'accès internet”,
supervision Guy PUJOLLE,
defence 12/20/2004. “Gestion dynamique de services par politiques dans un réseau d'opérateur de télécommunications”,
supervision Guy PUJOLLE,
defence 12/20/2004. “Service de détection de défaillances hiérarchique”,
supervision Pierre SENS,
defence 12/16/2004. “Apprentissage et inférence statistique dans les bases de documents structurés : Application aux corpus de documents textuels”,
supervision Patrick GALLINARI,
defence 12/15/2004. “Localisation d'obstacles coopératifs par systèmes de vision classiques et paranoramiques”,
supervision Jean DEVARS,
defence 12/15/2004. “Qualité de service dans l'Internet : Garantie de débit TCP dans la classe AF”,
supervision Serge FDIDA,
defence 12/10/2004. “Agrégation distribuée dans Les réseaux optiques”,
supervision Guy PUJOLLE,
defence 12/10/2004. “Étude des systèmes algébriques surdéterminés. Applications aux codes correcteurs et à la cryptographie”,
supervision Jean-Charles FAUGÈRE,
defence 12/08/2004. “Recherche d'Images par similarité de contenus régionaux”,
supervision Bernadette BOUCHON-MEUNIER,
defence 12/06/2004. “GOLIATH: un environnement à base de modèles et d'agents pour la conception d'interfaces utilisateur”,
supervision Jean-Pierre BRIOT,
defence 12/02/2004. “Architecutre flexible pour le mise en œuvre de la qualité de service dans les réseau ad hoc”,
supervision Eric HORLAIT,
defence 12/02/2004. “Contrôle de la mobilité Universelle dans les réseaux sans fil et mobile”,
supervision Guy PUJOLLE,
defence 10/25/2004. “Conception et élaboration d'un système expert pour le traitement d'information chimique”,
supervision Bernadette BOUCHON-MEUNIER,
defence 10/08/2004. “Conception de comportements de résolution de conflits et de coordination: Application à une simulation multi-agent du trafic routier”,
supervision Alexis DROGOUL,
defence 09/30/2004. “Extraction de descripteurs musicaux: une approche évolutionniste”,
supervision Patrick GALLINARI,
defence 09/30/2004. “Optimisation du routage dans les réseaux de télécommunications avec prise en compte de la qualité de service”,
supervision Philippe CHRÉTIENNE,
defence 09/23/2004. “Proposition d'outils pour évaluer la pertinence de descendre au niveau individu-centré pour des modèles d'utilisation de la ressource couplés à des modèles de ressource.”,
supervision Jean-Pierre BRIOT,
defence 09/17/2004. “Étude des méthodes d'échantillonnage des flux pour la mesure dans les réseaux large bande”,
supervision Serge FDIDA,
defence 09/17/2004. “Archises (Architecture of Intelligent Semantic Services): Nouvelle Architecture pour la Création de Services à valeur ajoutée dans la Téléphonie sur IP”,
supervision Guy PUJOLLE,
defence 09/09/2004. “Histodiversité osseuse chez les oiseaux : signification fonctionnelle”,
supervision Jacques CASTANET,
defence 07/05/2004. “Utilisation d'un compas visuel pour la navigation d'un robot mobile”,
supervision Jean-Arcady MEYER,
defence 07/02/2004. “Étude de la qualité de service de bout en bout dans un chemin d'un réseau passant par une constellation de satellites”,
supervision Monique BECKER,
defence 07/02/2004. “Simulation multi-agent : du modèle à l’opérationnalisation”,
supervision Jean-Pierre BRIOT,
defence 07/01/2004. “Algorithmes Pour Grandes Bases de Données”,
supervision Patrick GALLINARI,
defence 06/28/2004. “Analyse et Performances des Mécanismes d'agrégation de l'information de Contrôle”,
supervision Guy PUJOLLE,
defence 06/25/2004. “Localisation et routage géographique dans les réseaux sans fil hétérogènes”,
supervision Guy PUJOLLE,
defence 06/21/2004. “Généralisation Cartographique par Agents Communicants : le modèle CartACom"”,
supervision Jean-Pierre BRIOT,
defence 06/11/2004. “Micro-système d’exploitation dynamiquement reconfigurable”,
supervision Bertil FOLLIOT,
defence 05/21/2004. “Une approche générique pour la reconnaissance de signaux écrits en ligne”,
supervision Patrick GALLINARI,
defence 04/23/2004. “Support Vector Machines: Principes d'induction, Réglage automatique et Connaissances à priori”,
supervision Patrick GALLINARI,
defence 04/02/2004. “La carte à puces vue comme un objet communiquant sécurisé dans les réseaux sans fil”,
supervision Guy PUJOLLE,
defence 04/02/2004. “Méthodes d'évaluation de la qualité de données géographiques généralisées”,
supervision Bernadette BOUCHON-MEUNIER,
defence 01/26/2004. “Auto-organisation d'une collectivité de robots : application à l'activité de patrouille en présence de perturbations”,
supervision Alexis DROGOUL,
defence 01/26/2004. “Spatialisation du son et programmation par contraintes : le système MusicSpace”,
supervision Jean-François PERROT,
defence 01/22/2004. “Synthèse de co-processeurs pour systèmes intégrés”,
supervision Ivan AUGE,
defence 01/20/2004. “Distribution d'Agents pour un Environnement Multi-Agents Ouvert et Dynamique”,
supervision Jean-Pierre BRIOT,
defence 01/09/2004. “Étude et Conception d'un Outil d'Evaluation de Bruits sur les Lignes d'Alimentations pour les Circuits VLSI”,
supervision Pirouz BAZARGAN SABET,
defence 12/20/2003. “LfP : un langage de spécification pour supporter une démarche de développement par prototypage pour les systèmes répartis”,
supervision Fabrice KORDON,
defence 12/17/2003. “Méthodes de décomposition pour l¹analyse des performances des systèmes de production manufacturières en boucle fermée et de topologies générales”,
supervision Yves DALLERY,
defence 12/17/2003. “Modélisation et apprentissage de systèmes et de concepts dynamiques”,
supervision Florence D'ALCHÉ-BUC,
defence 12/17/2003. “Conception de simulation multi-agents : application à la simulation des migrations intra-urbaines de la ville de Bogota”,
supervision Alexis DROGOUL,
defence 12/12/2003. “La négociation de niveau de service pour les réseaux IP hétérogènes”,
supervision Guy PUJOLLE,
defence 12/10/2003. “Modèles de navigation sur le Web basés sur le contenu”,
supervision Bernadette BOUCHON-MEUNIER,
defence 12/09/2003. “Pas de titre”,
supervision Jean-Charles POMEROL,
defence 12/09/2003. “Diffusion fiable : l'approche à soutien des routeurs”,
supervision Serge FDIDA,
defence 12/08/2003. “Protocole Multicast pour une architecture à différentiation de services”,
supervision Serge FDIDA,
defence 12/08/2003. “Réseaux de Petri : Vérification Modulaire et Symbolique”,
supervision Serge HADDAD,
defence 12/01/2003. “Support et gestion de la qualité de service dans les réseaux mobiles”,
supervision Guy PUJOLLE,
defence 11/26/2003. “Algorithmes pour la résolution de programmes linéaires en nombres entiers généraux”,
supervision Michel MINOUX,
defence 10/21/2003. “Distribution de la video multi-objets dans des réseaux hétérogènes”,
supervision Guy PUJOLLE,
defence 10/09/2003. “Application de techniques d'apprentissage dans les réseaux mobiles”,
supervision Guy PUJOLLE,
defence 10/09/2003. “Architectures basées sur les politiques et SLA pour la gestion et le contrôle des services et réseaux multidomaines émergeants”,
supervision Nazim AGOULMINE,
defence 09/11/2003. “Techniques d'apprentissage pour le traitement d'informations structurées : application à la recherche d'information”,
supervision Patrick GALLINARI,
defence 07/17/2003. “Analyse et classification de données structurées par machines à points de support”,
supervision Florence D'ALCHÉ-BUC,
defence 07/11/2003. “Développement, apprentissage et évolution d'architectures de contrôle pour animats volants”,
supervision Jean-Arcady MEYER,
defence 06/23/2003. “Simulation multiagents des consommateurs”,
supervision Alexis DROGOUL,
defence 06/13/2003. “Architectures matérielles pour l'arithmétique stochastique discrète”,
supervision Habib MEHREZ,
defence 06/06/2003. “Langage d'interrogation de vidéos”,
supervision Anne DOUCET,
defence 05/19/2003. “Comportements collectifs dans les systèmes multi-robots”,
supervision Alexis DROGOUL,
defence 01/17/2003. “Représentation symbolique de courbes numériques”,
supervision Bernadette BOUCHON-MEUNIER,
defence 01/10/2003. “Developping learning and acting abilities for Autonomous Robots”,
supervision Alexis DROGOUL,
defence 12/19/2002. “Vers une résolution stable et rapide des équations algébriques”,
supervision Daniel LAZARD,
defence 12/16/2002. “Regroupement conceptuel de données structurées pour la fouille de données”,
supervision Jean-Gabriel GANASCIA,
defence 12/13/2002. “Modèles et algorithmes de multiflots à coût discontinu pour l'optimisation réseaux de télécommunications”,
supervision Michel MINOUX,
defence 06/26/2001.
