026390701
1984-09-24
2024-03-13T17:33:42
Approche incrémentale des preuves automatiques de terminaison / Xavier Urbain, sous la direction de Claude Marché et de Jean-Pierre Jouannaud, 2001
https://appliweb.dgri.education.fr/rnsr, 2020-07-03 : établissement tutelle à partir de 2020 : université Paris-Saclay ; établissement tutelle depuis 1998 : CNRS
11864720
199812948M
0000000121082883
Laboratoire de recherche en informatique (Orsay, Essonne ; 1998-2020)
LRI
UMR8623
UMR 8623
Unité mixte de recherche 8623
Laboratoire de recherche en informatique (Orsay, Essonne ; 1998-2020)
1998
1998
2020
2020
Campus universitaire, bât. 490, 91405 Orsay Cedex
Université Paris-Saclay
Centre national de la recherche scientifique
Université Paris-Sud
Institut national de recherche en informatique et en automatique
CentraleSupélec
Laboratoire interdisciplinaire des sciences du numérique
Laboratoire Méthodes formelles
Présentation de DEFT 06 (DÉfi Fouille de Textes) [Ressource électronique] / Thomas Heitz, Jérôme Azé, Mathieu Roche, Augusta Mela, Peter Peinl, Mezaour Amar Djalil / Villeurbanne : HAL , 2006
OLAP query optimization and result visualization / Ekaterina Simonenko ; sous la direction de Nicolas Spyratos / , 2011
Allocation de ressources et association utilisateur/cellule optimisées pour les futurs réseaux denses / Duc Thang Ha ; sous la direction de Lila Boukhatem et de Steven Martin / , 2019
Model-based Testing of Operating System-Level Security Mechanisms / Yakoub Nemouchi ; sous la direction de Burkhart Wolff / , 2016
Power-Aware Protocols for Wireless Sensor Networks / Chuan Xu ; sous la direction de Joffroy Beauquier / , 2017
A parallel iterative solver for large sparse linear systems enhanced with randomization and GPU accelerator, and its resilience to soft errors / Aygul Jamal ; sous la direction de Marc Baboulin / , 2017
Adaptation automatique et semi-automatique des optimisations de programmes / Lénaïc Bagnères ; sous la direction de Christine Eisenbeis / , 2016
Diagnosticabilité et diagnostic de systèmes technologiques pilotés : développement d'une chaîne de conception outillée d'un système de diagnostic appliquée aux systèmes technologiques pilotés / Michel Batteux ; sous la direction de Philippe Dague / , 2011
Synchronization and Fault-tolerance in Distributed Algorithms / Peva Blanchard ; sous la direction de Joffroy Beauquier / , 2014
Analyse des voies métaboliques au cours du cycle cellulaire : application au métabolisme du cancer / Cécile Moulin ; sous la direction de Sabine Pérès / , 2020
Designing and Programming Malleable Software / Philip Tchernavskij ; sous la direction de Michel Beaudouin-Lafon / , 2019
Introduction of statistics in optimization / Fabien Teytaud ; sous la direction de Marc Schoenauer / , 2011
Diagnostic distribué de systèmes respectant la confidentialité / Vincent Armant ; sous la direction de Philippe Dague et de Laurent Simon / , 2012
A symbolic approach for the verification and the test of service choreographies / Hữu Nghĩa Nguyễn ; sous la direction de Fatiha Zaïdi et de Pascal Poizat / , 2013
Améliorer l'interopérabilité sémantique : applicabilité et utilité de l'alignement d'ontologies / Fayçal Hamdi ; sous la direction de Chantal Reynaud / , 2011
Modélisation et score de complexes protéine-ARN / Adrien Guilhot-Gaudeffroy ; sous la direction de Christine Froidevaux / , 2014
Two-player interaction in quantum computing : cryptographic primitives & query complexity / Loïck Magnin ; sous la direction de Nicolas J. Cerf et de Frédéric Magniez / , 2011
Analyse formelle de spécifications hybrides à partir de modèles SysML pour la validation fonctionnelle des systèmes embarqués / Slim Medimegh ; sous la direction de Frédéric Boulanger / , 2018
Algorithmique de l'alignement structure-séquence d'ARN : une approche générale et paramétrée / Philippe Rinaudo ; sous la direction de Alain Denise et de Dominique Barth / , 2012
Tools and Techniques for the Verification of Modular Stateful Code / Mário José Parreira Pereira ; sous la direction de Jean-Christophe Filliâtre / , 2018
Efficient Querying and Analytics of Semantic Web Data / Alexandra Roatis ; sous la direction de Ioana Gabriela Manolescu Goujot et de François Goasdoué et de Dario Colazzo / , 2014
Algorithmes d'étiquetage en composantes connexes efficaces pour architectures hautes performances / Laurent Cabaret ; sous la direction de Lionel Lacassagne / , 2016
Alignement pratique de structure-séquence d'ARN avec pseudonœuds / Wei Wang ; sous la direction de Alain Denise / , 2017
Classification of RNA Pseudoknots and Comparison of Structure Prediction Methods / Cong Zeng ; sous la direction de Alain Denise / , 2015
Methods for optimizing the synthesis of quantum circuits / Timothée Goubault de Brugière ; sous la direction de Marc Baboulin et de Benoit Valiron / , 2020
Guaranteed Localization and Mapping for Autonomous Vehicles / Zhan Wang ; sous la direction de Alain Lambert / , 2018
Partitioning XML data, towards distributed and parallel management / Noor Malla ; sous la direction de Nicole Bidoit-Tollu et de Dario Colazzo / , 2012
Representation of Monoids and Lattice Structures in the Combinatorics of Weyl Groups / Joël Gay ; sous la direction de Florent Hivert / , 2018
Identification des motifs de voisinage conservés dans des contextes métaboliques et génomiques / Alexandra Zaharia ; sous la direction de Christine Froidevaux / , 2018
Mapping Adaptation between Biomedical Knowledge Organization Systems / Julio Cesar Dos Reis ; sous la direction de Chantal Reynaud / , 2014
Etude et optimisation d'algorithmes pour le suivi d'objets couleur / Florence Laguzet ; sous la direction de Daniel Etiemble et de Lionel Lacassagne / , 2013
Analyse à base de SAT de la diagnosticabilité et de la prédictabilité des systèmes à événements discrets centralisés et distribués / Hassan Ibrahim ; sous la direction de Philippe Dague / , 2016
Analyses bioinformatiques et classements consensus pour les données biologiques à haut débit / Bo Yang ; sous la direction de Alain Denise et de Xiang-Dong Fu / , 2014
Designing for Ecosystems of Communication Apps / Carla Griggio ; sous la direction de Wendy Mackay / , 2018
Quelques problèmes d'algorithmique et combinatoires en théorie des grapphes / Sylvain Legay ; sous la direction de Yannis Manoussakis / , 2017
Algorithmes pour voyager sur un graphe contenant des blocages / Pierre Bergé ; sous la direction de Joanna Tomasik / , 2019
Modèles de tests adaptatifs pour le diagnostic de connaissances dans un cadre d'apprentissage à grande échelle / Jill-Jênn Vie ; sous la direction de Yolaine Bourda et de Éric Bruillard et de Fabrice Popineau / , 2016
Le Linked Data à l'université : la plateforme LinkedWiki / Karima Rafes ; sous la direction de Sarah Cohen-Boulakia et de Serge Abiteboul / , 2019
Interactive Prototyping of Interactions : from Throwaway Prototypes to Takeaway Prototyping / Germán Leiva ; sous la direction de Michel Beaudouin-Lafon / , 2018
Formalizing and Implementing a Reflexive Tactic for Automated Deduction in Coq / Stephane Lescuyer ; sous la direction de Evelyne Contejean / , 2011
Multi-Architectural Support : A Generic and Generative Approach / Pierre Estérie ; sous la direction de Brigitte Rozoy / , 2014
BBU-RRH Association Optimization in Cloud-Radio Access Networks / Karen Boulos ; sous la direction de Steven Martin et de Hadi Sawaya / , 2019
Appariements collaboratifs des offres et demandes d'emploi / Thomas Schmitt ; sous la direction de Michèle Sebag / , 2018
Réponses manquantes : Débogage et Réparation de requêtes / Aikaterini Tzompanaki ; sous la direction de Nicole Bidoit-Tollu / , 2015
Hybridization of dynamic optimization methodologies / Jérémie Decock ; sous la direction de Olivier Teytaud / , 2014
Joint Uplink/Downlink Radio Resource Allocation in 5G HetNets / Bachir Lahad ; sous la direction de Steven Martin et de Marc Ibrahim / , 2020
Nouveaux Protocoles de Tolérances aux Fautes pour les Applications MPI du Calcul Haute Performance / Amina Guermouche ; sous la direction de Franck Cappello / , 2011
Inférence d'invariants pour le model checking de systèmes paramétrés / Alain Mebsout ; sous la direction de Sylvain Conchon et de Fatiha Zaïdi / , 2014
Intégration du web social dans les systèmes de recommandation / Coriane Nana jipmo ; sous la direction de Nacéra Seghouani-Bennacer et de Gianluca Quercini / , 2017
Au-delà des frontières entre langages de programmation et bases de données / Julien Lopez ; sous la direction de Véronique Benzaken / , 2019
Asynchronous Self-Stabilizing Stable Marriage / Marie Laveau ; sous la direction de Joffroy Beauquier / , 2020
Solving incompressible Navier-Stokes equations on heterogeneous parallel architectures / Yushan Wang ; sous la direction de Marc Baboulin et de Olivier P. Le Maître / , 2015
Repenser la bibliothèque réelle de Coq : vers une formalisation de l'analyse classique mieux adaptée / Catherine Lelay ; sous la direction de Sylvie Boldo et de Guillaume Melquiond / , 2015
Stochastic Combinatorial Optimization / Jianqiang Cheng ; sous la direction de Abdel-Ilah Lisser / , 2013
Approches duales dans la résolution de problèmes stochastiques / Marc Letournel ; sous la direction de Abdel-Ilah Lisser / , 2013
Accès et utilisation de documents multimédia complexes dans une bibliothèque numérique / Anh Tuan Ly ; sous la direction de Nicolas Spyratos / , 2013
Supereulerian graphs, Hamiltonicity of graphes and several extremal problems in graphs / Weihua Yang ; sous la direction de Hao Li / , 2013
Multi-objective sequential decision making / Weijia Wang ; sous la direction de Michèle Sebag et de Marc Schoenauer / , 2014
Formalisation en Coq de Bases de Données Relationnelles et Déductives -et Mécanisation de Datalog / Ştefania-Gabriela Dumbravă ; sous la direction de Véronique Benzaken et de Evelyne Contejean / , 2016
Dense matrix computations : communication cost and numerical stability / Amal Khabou ; sous la direction de Laura Grigori / , 2013
Studies on Optimal Colorful Structures in Vertex-Colored Graphs / Hong Phong Pham ; sous la direction de Yannis Manoussakis / , 2018
Path-Based Interactive Visual Exploration of Knowledge Graphs / Marie Destandau ; sous la direction de Emmanuel Pietriga / , 2020
Preuves par raffinement de programmes avec pointeurs / Asma Tafat ; sous la direction de Claude Marché / , 2013
Lightweight Security Solutions for LTE/LTE-A Networks / Soran Hussein ; sous la direction de Lila Boukhatem et de Steven Martin / , 2014
Multi-channel opportunistic access : a restless multi-armed bandit perspective / Kehao Wang ; sous la direction de Khaldoun Al Agha et de Lin Chen / , 2012
Formalisations d'analyses d'erreurs en analyse numérique et en arithmétique à virgule flottante / Florian Faissole ; sous la direction de Sylvie Boldo / , 2019
Enrichissement et peuplement d'ontologie à partir de textes et de données du LOD : Application à l'annotation automatique de documents / Céline Alec ; sous la direction de Chantal Reynaud / , 2016
Collaboration around wall displays in command and control contexts / Arnaud Prouzeau ; sous la direction de Olivier Chapuis / , 2017
Optimized broadcasting in wireless ad-hoc networks using network coding / Nour Kadi ; sous la direction de Khaldoun Al Agha / Lille : Atelier national de reproduction des thèses , 2010
Augmented reality environments for the interactive exploration of 3D data / Xiyao Wang ; sous la direction de Tobias Isenberg / , 2020
Combinatoire des fonctions de parking : espèces, énumération d'automates et algèbres de Hopf / Jean-Baptiste Priez ; sous la direction de Florent Hivert / , 2015
Sub-Polyhedral Compilation using (Unit-)Two-Variables-Per-Inequality Polyhedra / Ramakrishna Upadrasta ; sous la direction de Albert Henri Cohen / , 2013
A user-centered and autonomic multi-cloud architecture for high performance computing applications / Alessandro Ferreira Leite ; sous la direction de Christine Eisenbeis et de Alba Melo et de Claude Tadonki / , 2014
Studies on Stochastic Optimisation and applications to the Real-World / Vincent Berthier ; sous la direction de Olivier Teytaud et de Marc Schoenauer / , 2017
Agrégation de classements avec égalités : algorithmes, guides à l'utilisateur et applications aux données biologiques / Bryan Brancotte ; sous la direction de Sarah Cohen-Boulakia et de Alain Denise / , 2015
Automotive embedded software design using formal methods / Vassil Todorov ; sous la direction de Frédéric Boulanger / , 2020
A body-centric framework for generating and evaluating novel interaction techniques / Julie Wagner ; sous la direction de Wendy Mackay / , 2012
Chance-Constrained Programming Approaches for Staffing and Shift-Scheduling Problems with Uncertain Forecasts : application to Call Centers / Mathilde Excoffier ; sous la direction de Steven Martin / , 2015
Scalable Trajectory Approach for ensuring deterministic guarantees in large networks / Sara Medlej ; sous la direction de Khaldoun Al Agha / , 2013
Programmation des architectures hiérarchiques et hétérogènes / Khaled Hamidouche ; sous la direction de Daniel Etiemble / , 2011
Chaînes alternées dans les graphes arête-coloriés : k-linkage et arbres couvrants / Gervais Mendy ; sous la direction de Yannis Manoussakis et de Diaraf Seck / , 2011
Villes Intelligentes Inclusives : théorie et outils pour améliorer l'expérience des personnes en situation d'handicap dans l'espace urbain / João Soares de Oliveira Neto ; sous la direction de Yolaine Bourda et de Sergio Takeo Kofuji / , 2018
Flot de conception système sur puce pour radio logicielle / Guangye Tian ; sous la direction de Daniel Etiemble / , 2011
Interconnexion et routage efficaces pour des procédures de recherche décentralisées dans les systèmes pair-à-pair / Philippe Gauron ; sous la direction de [Pierre Fraigniaud] / Villeurbanne : [CCSD] , 2010
Approximation of OLAP queries on data warehouses / Phuong Thao Cao ; sous la direction de Michel de Rougemont et de Nicolas Spyratos / , 2013
Spatially Integrated Abstraction of Genetic Molecules / Sarkis Halladjian ; sous la direction de Tobias Isenberg et de Ivan Viola / , 2020
Verification of behaviourist multi-agent systems by means of formally guided simulations / Paulo Salem Da Silva ; sous la direction de Marie-Claude Gaudel et de Ana Cristina Vieira De Melo / , 2011
Vérification par model-checking de programmes concurrents paramétrés sur des modèles mémoires faibles / David Declerck ; sous la direction de Fatiha Zaïdi / , 2018
Efficient end-to-end monitoring for fault management in distributed systems / Dawei Feng ; sous la direction de Cécile Germain / , 2014
Optimized broadcasting in wireless ad-hoc networks using network coding / Nour Kadi ; sous la direction de Khaldoun Al Agha / [S.l.] : [s.n.] , 2010
Infeasible Path Detection : a Formal Model and an Algorithm / Romain Aïssat ; sous la direction de Burkhart Wolff / , 2017
Supporting expert creative practice / Marianela Ciolfi Felice ; sous la direction de Wendy Mackay / , 2018
Contributions to Simulation-based High-dimensional Sequential Decision Making / Jean-Baptiste Hoock ; sous la direction de Olivier Teytaud / , 2013
Test symbolique de services web composite / Lina Bentakouk ; sous la direction de Marie-Claude Gaudel / , 2011
Fabricating Malleable Interaction-Aware Materials / Michael Wessely ; sous la direction de Theophanis Tsandilas et de Wendy Mackay / , 2018
Agrégation de trafic pour réduire la consommation énergétique globale dans les réseaux sans fil multi-sauts / Alexandre Laubé ; sous la direction de Steven Martin et de Dominique Quadri / , 2017
Test generation and animation based on object-oriented specifications / Matthias Krieger ; sous la direction de Burkhart Wolff / , 2011
Modélisation et simulation qualitative de systèmes hybrides / Hadi Zaatiti ; sous la direction de Philippe Dague / , 2018
Surrogate-Assisted Evolutionary Algorithms / Ilya Loshchilov ; sous la direction de Marc Schoenauer et de Michèle Sebag / , 2013
Recherche top-k pour le contenu du Web / Raphaël Bonaque ; sous la direction de Ioana Gabriela Manolescu Goujot / , 2016
Environment-driven Distributed Evolutionary Adaptation for Collective Robotic Systems / Jean-Marc Montanier ; sous la direction de Nicolas Bredèche / , 2013
Graphes et couleurs : graphes arêtes-coloriés, coloration d'arêtes et connexité propre / Leandro Pedro Montero ; sous la direction de Yannis Manoussakis / , 2012
Contribution à l'étude des environnements d'exécution parallèle fortement dynamiques à passage de messages / George Bosilca ; sous la direction de Franck Cappello / , 2004
Designing scientific workflow following a structure and provenance-aware strategy / Jiuqiang Chen ; sous la direction de Christine Froidevaux / , 2013
Méthodes et outils pour la spécification et la preuve de propriétés difficiles de programmes séquentiels / Martin Clochard ; sous la direction de Claude Marché / , 2018
Solving dense linear systems on accelerated multicore architectures / Adrien Rémy ; sous la direction de Marc Baboulin / , 2015
Constructing Semantically Sound Object-Logics for UML/OCL Based Domain-Specific Languages / Frédéric Tuong ; sous la direction de Burkhart Wolff / , 2016
Supporting collaborative practices across wall-sized displays with video-mediated communication / Ignacio Avellino ; sous la direction de Michel Beaudouin-Lafon / , 2017
Contribution à la modélisation formelle d'essaims de robots mobiles / Robin Pelle ; sous la direction de Evelyne Contejean et de Thibaut Balabonski / , 2020
Real-time multi-target tracking : a study on color-texture covariance matrices and descriptor/operator switching / Andrés Romero Mier y Teran ; sous la direction de Lionel Lacassagne / , 2013
Towards adaptive learning and inference : applications to hyperparameter tuning and astroparticle physics / Rémi Bardenet ; sous la direction de Balázs Kégl / , 2012
Semantics-Based Testing for Circus / Abderrahmane Feliachi ; sous la direction de Marie-Claude Gaudel / , 2012
Optimized diagnosability of distributed discrete event systems through abstraction / Lina Ye ; sous la direction de Philippe Dague / , 2011
Réalisation et certains problèmes de modélisation d'un système réparti de gestion de base de données / Jean-Michel Feuvre ; sous la direction d'Erol Gelenbe / , 1981
Classification of P-oligomorphic groups, conjectures of Cameron and Macpherson / Justine Falque ; sous la direction de Nicolas Thiéry / , 2019
Network coding for quality of service in wireless multi-hop networks / Youghourta Benfattoum ; sous la direction de Khaldoun Al Agha et de Steven Martin / , 2012
Methods and algorithms for solving linear systems of equations on massively parallel computers / Simplice Donfack ; sous la direction de Laura Grigori / , 2012
Knowledge Extraction from Description Logic Terminologies / Jieying Chen ; sous la direction de Philippe Dague / , 2018
Efficient techniques for large-scale Web data management / Jesus Camacho Rodriguez ; sous la direction de Dario Colazzo et de Ioana Gabriela Manolescu Goujot / , 2014
Leveraging User-Generated Content for Enhancing and Personalizing News Recommendation. / Youssef Meguebli ; sous la direction de Bich-Liên Doan / , 2015
High Performance by Exploiting Information Locality through Reverse Computing / Mouad Bahi ; sous la direction de Christine Eisenbeis / , 2011
Modélisation du fonctionnement d'un système de traitement multi-ordinateurs / Jean-Jacques Guillemaud / , 1979
Complexité des dynamiques de jeux / Xavier Zeitoun ; sous la direction de Michel de Rougemont / , 2013
Approche incrémentale des preuves automatiques de terminaison / Xavier Urbain ; sous la direction de Claude Marché et de Jean-Pierre Jouannaud / , 2001
Méthodes adaptatives pour les applications d'accès à l'information centrées sur l'utilisateur / Paul Lagrée ; sous la direction de Bogdan Cautis / , 2017
Adaptive and Opportunistic QoS-based Routing Protocol in VANETs / Guang Yu Li ; sous la direction de Lila Boukhatem / , 2015
Traduction mécanisée et certifiée en Coq d'une algèbre relationnelle étendue pour SQL vers une algèbre imbriquée / Mohammed Houssem Eddine Hachmaoui ; sous la direction de Evelyne Contejean et de Véronique Benzaken / , 2020
Méthodes de préconditionnement pour la résolution de systèmes linéaires sur des machines massivement parallèles / Long Qu ; sous la direction de Laura Grigori / , 2014
Machine Learning Anomaly Detection Applications to Compact Muon Solenoid Data Quality Monitoring / Adrian Alan Pol ; sous la direction de Cécile Germain / , 2020
Concevoir les outils numériques du design / Nolwenn Maudet ; sous la direction de Michel Beaudouin-Lafon / , 2017
Système hybride d'adaptation dans les systèmes de recommandation / Roza Lemdani ; sous la direction de Yolaine Bourda / , 2016
Jeux de défense et ensembles tropicaux / Jean-Alexandre Anglès d'Auriac ; sous la direction de Yannis Manoussakis / , 2015
Compilation certifiée de SCADE/LUSTRE / Cédric Auger ; sous la direction de Marc Pouzet / , 2013
Méthodes de génération automatique de code appliquées à l'algèbre linéaire numérique dans le calcul haute performance / Ian Masliah ; sous la direction de Marc Baboulin et de Joël Falcou / , 2016
Programmation semi-définie positive. Méthodes et algorithmes pour le management d'énergie / Agnès Maher ; sous la direction de Abdel-Ilah Lisser / , 2013
Interactive Transitions for Map Applications / María Jesús Lobo ; sous la direction de Emmanuel Pietriga et de Caroline Appert / , 2017
Cooperation strategies for inter-cell interference mitigation in OFDMA systems / Reben Kurda ; sous la direction de Lila Boukhatem et de Tara Ali Yahiya / , 2015
Main memory xml update optimization : algorithms and experiments / Marina Sahakyan ; sous la direction de Nicole Bidoit-Tollu / , 2011
Formalizing Time and Causality in Polychronous Polytimed Models / Hai Nguyen Van ; sous la direction de Burkhart Wolff / , 2018
Informations personnelles sensibles aux contextes : modélisation, interrogation et composition / Rania Khéfifi ; sous la direction de Pascal Poizat / , 2014
Réification des propriétés visuelles pour les tâches de composition / Ghita Jalal ; sous la direction de Wendy Mackay / , 2016
Contributions to Multi-Armed Bandits : Risk-Awareness and Sub-Sampling for Linear Contextual Bandits / Nicolas Galichet ; sous la direction de Michèle Sebag / , 2015
Knowledge Discovery for Avionics Maintenance : An Unsupervised Concept Learning Approach / Luis Palacios Medinacelli ; sous la direction de Chantal Reynaud / , 2019
Gestion des incohérences pour l'accès aux données en présence d'ontologies / Camille Bourgaux ; sous la direction de François Goasdoué / , 2016
Autour De L'Usage des gradients en apprentissage statistique / Pierre-Yves Massé ; sous la direction de Yann Ollivier / , 2017
Meta-Learning as a Markov Decision Process / Lisheng Sun-Hosoya ; sous la direction de Isabelle Guyon / , 2019
Structural Learning of Neural Networks / Pierre Wolinski ; sous la direction de Guillaume Charpiat / , 2020
Méthodes avancées de raisonnement en logique propositionnelle : application aux réseaux métaboliques / Martin Morterol ; sous la direction de Philippe Dague / , 2016
Comptage et surveillance d'étiquettes dans des systèmes RFID à grande échelle : base théorique et conception d'algorithmes / Jihong Yu ; sous la direction de Lin Chen / , 2016
Lattice QCD Optimization and Polytopic Representations of Distributed Memory / Michael Kruse ; sous la direction de Christine Eisenbeis / , 2014
Algorithmes combinatoires et Optimisation / Georgios Oreste Manoussakis ; sous la direction de Antoine Deza et de Johanne Cohen / , 2017
Applications de la théorie de l'information à l'apprentissage statistique / Jérémy Bensadon ; sous la direction de Yann Ollivier / , 2016
Variantes non standards de problèmes d'optimisation combinatoire / Pierre Le Bodic ; sous la direction de Abdel-Ilah Lisser / , 2012
Learning during search / Alejandro Arbelaez Rodriguez ; sous la direction de Youssef Hamadi et de Michèle Sebag / , 2011
A contribution to the theory of (signed) graph homomorphism bound and Hamiltonicity / Qiang Sun ; sous la direction de Hao Li / , 2016
Data-intensive interactive workflows for visual analytics / Wael Khemiri ; sous la direction de Véronique Benzaken et de Jean-Daniel Fekete et de Ioana Gabriela Manolescu Goujot / , 2011
Attack tolerance for services-based applications in the Cloud / Georges Ouffoué ; sous la direction de Fatiha Zaïdi / , 2018
Monte Carlo Tree Search for Continuous and Stochastic Sequential Decision Making Problems / Adrien Couetoux ; sous la direction de Olivier Teytaud / , 2013
Variants of Deterministic and Stochastic Nonlinear Optimization Problems / Chen Wang ; sous la direction de Abdel-Ilah Lisser / , 2014
Impact des transformations algorithmiques sur la synthèse de haut niveau : application au traitement du signal et des images / Haixiong Ye ; sous la direction de Lionel Lacassagne / , 2014
Conception, modélisation et simulation in silico d'un nanosystème biologique artificiel pour le diagnostic médical / Marc Bouffard ; sous la direction de Patrick Amar et de Franck Molina / , 2016
Deep learning methods for predicting flows in power grids : novel architectures and algorithms / Benjamin Donnot ; sous la direction de Isabelle Guyon / , 2019
Sur le contexte spatial en gestion des fenêtres et interaction homme-machine. / Guillaume Faure ; sous la direction de Michel Beaudouin-Lafon / , 2011
Contributions to Convergence Analysis of Noisy Optimization Algorithms / Sandra Astete morales ; sous la direction de Olivier Teytaud et de Marc Schoenauer / , 2016
Generative Neural Networks to infer Causal Mechanisms : algorithms and applications / Diviyan Kalainathan ; sous la direction de Isabelle Guyon / , 2019
Design and Evaluation of Enhanced Network Caching Systems to Improve Content Delivery in the Internet / Andrea Giuseppe Araldo ; sous la direction de Fabio Martignon et de Dario Rossi / , 2016
Personnalisation des MOOC par la réutilisation de Ressources Éducatives Libres / Hiba Hajri ; sous la direction de Yolaine Bourda et de Fabrice Popineau / , 2018
Représentations redondantes pour les signaux d'électroencéphalographie / Yoann Isaac ; sous la direction de Michèle Sebag / , 2015
Bandits Manchots sur Flux de Données Non Stationnaires / Robin Allesiardo ; sous la direction de Michèle Sebag / , 2016
A Content-Aware Design Approach to Multiscale Navigation / Cyprien Pindat ; sous la direction de Claude Puech et de Emmanuel Pietriga / , 2013
Théorie des représentations combinatoire de tours de monoïdes : Application à la catégorification et aux fonctions de parking / Aladin Virmaux ; sous la direction de Nicolas Thiéry / , 2016
Type-based detection of XML query-update independence / Federico Ulliana ; sous la direction de Nicole Bidoit-Tollu et de Dario Colazzo / , 2012
Computations on Massive Data Sets : Streaming Algorithms and Two-party Communication / Christian Konrad ; sous la direction de Frédéric Magniez / , 2013
Uncertainties in Optimization / Marie-Liesse Cauwet ; sous la direction de Olivier Teytaud et de Marc Schoenauer / , 2016
Macro-opérateurs en Programmation Logique Inductive : théorie et algorithmes / Erick Alphonse ; sous la direction de Céline Rouveirol / , 2003
Optimisation évolutionnaire multi-objectif parallèle : application à la combustion Diesel / Mouadh Yagoubi ; sous la direction de Marc Schoenauer et de Ludovic Thobois / , 2012
Logique de séparation et vérification déductive / François Bobot ; sous la direction de Jean-Christophe Filliâtre / , 2011
Embodied Interaction for Data Manipulation Tasks on Wall-sized Displays / Can Liu ; sous la direction de Michel Beaudouin-Lafon / , 2015
Scalable view-based techniques for web data : algorithms and systems / Asterios Katsifodimos ; sous la direction de Ioana Gabriela Manolescu Goujot / , 2013
Parallélisation de simulations interactives de champs ultrasonores pour le contrôle non destructif / Jason Lambert ; sous la direction de Lionel Lacassagne / , 2015
Clock Synchronization and Localization for Wireless Sensor Network / Cheng-Yu Han ; sous la direction de Alain Lambert et de Thomas Nowak / , 2018
Designing expressive interaction techniques for novices inspired by expert activities : the case of musical practice / Emilien Ghomi ; sous la direction de Michel Beaudouin-Lafon / , 2012
Découverte et réconciliation de données numeriques relatives aux personnes pour la gestion des ressources humaines / Mohammad Ghufran ; sous la direction de Nacéra Seghouani-Bennacer et de Gianluca Quercini / , 2017
Adaptation de l'algorithmique aux architectures parallèles / Alexandre Borghi ; sous la direction de Sylvain Peyronnet et de Jérôme Darbon / , 2011
Approches hybrides pour la recherche sémantique de l'information : intégration des bases de connaissances et des ressources semi-structurées / Yassine Mrabet ; sous la direction de Chantal Reynaud / , 2012
Designing and combining mid-air interaction techniques in large display environments / Mathieu Nancel ; sous la direction de Michel Beaudouin-Lafon et de Emmanuel Pietriga / , 2012
Analyse statique pour l'optimisation des mises à jour de documents XML temporels / Mohamed-Amine Baazizi ; sous la direction de Nicole Bidoit-Tollu et de Dario Colazzo / , 2012
Optimisation stochastique avec contraintes en probabilités et applications / Shen Peng ; sous la direction de Abdel-Ilah Lisser et de Zhiping Chen / , 2019
Interconnexion et routage efficaces pour des procédures de recherche décentralisées dans les systèmes pair-à-pair / Philippe Gauron ; sous la direction de [Pierre Fraigniaud] / [Lieu de publication inconnu] : [éditeur inconnu] , 2006
Algorithmes pour l'étude de la structure secondaire des ARN et l'alignement de séquences / Feng Lou ; sous la direction de Peter G. Clote et de Alain Denise / , 2012
Cycles in graphs and arc colorings in digraphs / Weihua He ; sous la direction de Hao Li / , 2014
Quelques problèmes de coloration du graphe / Renyu Xu ; sous la direction de Yannis Manoussakis et de Jianliang Wu / , 2017
Overcoming interference in the beeping communication model / Fabien Dufoulon ; sous la direction de Joffroy Beauquier / , 2019
Modélisation et simulation d'une architecture d'entreprise - Application aux Smart Grids / Rachida Seghiri ; sous la direction de Frédéric Boulanger / , 2016
Strengthening the heart of an SMT-solver : Design and implementation of efficient decision procedures / Mohamed Iguernelala ; sous la direction de Sylvain Conchon / , 2013
Capturing traces of the dance learning process / Jean-Philippe Riviere ; sous la direction de Wendy Mackay / , 2020
Prédiction de structure tridimensionnelle de molécules d'ARN par minimisation de regret / Mélanie Boudard ; sous la direction de Johanne Cohen et de Alain Denise et de Dominique Barth / , 2016
Arc colorings and cycles in digraphs / Yandong Bai ; sous la direction de Hao Li / , 2014
Un système de types pragmatique pour la vérification déductive des programmes / Léon Gondelman ; sous la direction de Jean-Christophe Filliâtre / , 2016
Optimization and uncertainty handling in air traffic management / Gaetan Marceau Caron ; sous la direction de Marc Schoenauer et de Pierre Savéant / , 2014
MAISA - Maintenance of semantic annotations / Silvio Domingos Cardoso ; sous la direction de Chantal Reynaud / , 2018
Automatic key discovery for Data Linking / Danai Symeonidou ; sous la direction de Nathalie Pernelle / , 2014
Efficient in-network content distribution : wireless resource sharing, network planning, and security / Michele Mangili ; sous la direction de Fabio Martignon et de Antonio Capone / , 2015
Portfolio Methods in Uncertain Contexts / Jialin Liu ; sous la direction de Olivier Teytaud et de Marc Schoenauer / , 2015
Interconnexion et routage efficaces pour des procédures de recherche décentralisées dans les systèmes pair-à-pair / Philippe Gauron ; sous la direction de [Pierre Fraigniaud] / Grenoble : Atelier national de reproduction des thèses , 2006
Stochastic Black-Box Optimization and Benchmarking in Large Dimensions / Ouassim Ait Elhara ; sous la direction de Nikolaus Hansen et de Anne Auger / , 2017
Procédures de décision génériques pour des théories axiomatiques du premier ordre / Claire Dross ; sous la direction de Claude Marché / , 2014
Partitionnement dans les réseaux mobiles Ad-hoc : conception et évaluation de protocoles auto-stabilisants et robustes / Fouzi Mekhaldi ; sous la direction de Colette Johnen / , 2011
From data exploration to presentation : designing new systems and interaction techniques to enhance the sense-making process / Hugo Romat ; sous la direction de Emmanuel Pietriga et de Caroline Appert / , 2019
Hypercubes Latins maximin pour l'echantillonage de systèmes complexes / Kaourintin Le guiban ; sous la direction de Joanna Tomasik et de Arpad Rimmel et de Marc-Antoine Weisser / , 2018
Extensions de l'algorithme d'atteignabilité arrière dans le cadre de la vérification de modèles modulo théories / Mattias Roux ; sous la direction de Sylvain Conchon / , 2019
Agnostic Feature Selection / Guillaume Doquet ; sous la direction de Michèle Sebag / , 2019
Méthodes qualitatives pour la construction et l'analyse des réseaux moléculaires SBGN / Adrien Rougny ; sous la direction de Christine Froidevaux / , 2016
Squelettes algorithmiques asynchrones : application aux langages orientés domaine / Antoine Tran tan ; sous la direction de Daniel Etiemble / , 2015
Modélisation d'un réseau local / Fouzia Kabbaj ; sous la direction d'Erol Gelenbe / , 1979
Techniques d'optimisation pour des données semi-structurées du web sémantique / Julien Leblay ; sous la direction de François Goasdoué et de Ioana Gabriela Manolescu Goujot / , 2013
Iterative and Expressive Querying for Big Data Series / Anna Gogolou ; sous la direction de Anastasia Bezerianos / , 2019
Exploratory Robotic Controllers : An Evolution and Information Theory Driven Approach / Guohua Zhang ; sous la direction de Michèle Sebag / , 2015
Constructive Visualization : A token-based paradigm allowing to assemble dynamic visual representation for non-experts / Samuel Huron ; sous la direction de Jean-Daniel Fekete / , 2014
Robust Preference Learning-based Reinforcement Learning / Riad Akrour ; sous la direction de Michèle Sebag et de Marc Schoenauer / , 2014
Restructuration interactive des programmes / Oleksandr Zinenko ; sous la direction de Stéphane Huot et de Cédric Bastoul / , 2016
Un modèle de données pour bibliothèques numériques / Jitao Yang ; sous la direction de Nicolas Spyratos et de Carlo Meghini / , 2012
Scalable algorithms for cloud-based Semantic Web data management / Stamatis Zampetakis ; sous la direction de Ioana Gabriela Manolescu Goujot et de François Goasdoué / , 2015
Efficient cqi feedback resource utilisation for multi-user multi-carrier wireless systems. / Mohammad Abdul Awal ; sous la direction de Lila Boukhatem / , 2011
Proper and weak-proper trees in edges-colored graphs and multigraphs / Valentin Borozan ; sous la direction de Yannis Manoussakis / , 2011
Certification of a Tool Chain for Deductive Program Verification / Paolo Herms ; sous la direction de Claude Marché / , 2013
Proceedings of the 2nd International Conference on Distributed Computing systems, Paris, France, April 8-10, 1981 / sponsored by Institut national de recherche en informatique et en automatique (INRIA), Laboratoire de recherche en informatique (LRI), Paris-Sud University, Orsay ; cooperating organizations, Associazione italiana per il calcolo automatica (AICA) ... [et al.] / Los Alamitos, CA : IEEE Computer Society ; Piscataway, NJ
Multi-channel opportunistic access : a restless multi-armed bandit perspective / Kehao Wang [ Paris 11 ]
Approches hybrides pour la recherche sémantique de l'information : intégration des bases de connaissances et des ressources semi-structurées / Yassine Mrabet [ Paris 11 ]
Un modèle de données pour bibliothèques numériques / Jitao Yang [ Paris 11 ]
A body-centric framework for generating and evaluating novel interaction techniques / Julie Wagner [ Paris 11 ]
Graphes et couleurs : graphes arêtes-coloriés, coloration d'arêtes et connexité propre / Leandro Pedro Montero [ Paris 11 ]
Type-based detection of XML query-update independence / Federico Ulliana [ Paris 11 ]
Designing and combining mid-air interaction techniques in large display environments / Mathieu Nancel [ Paris 11 ]
Algorithmique de l'alignement structure-séquence d'ARN : une approche générale et paramétrée / Philippe Rinaudo [ Paris 11 ]
Semantics-Based Testing for Circus / Abderrahmane Feliachi [ Paris 11 ]
Optimized diagnosability of distributed discrete event systems through abstraction / Lina Ye [ Paris 11 ]
OLAP query optimization and result visualization / Ekaterina Simonenko [ Paris 11 ]
Efficient cqi feedback resource utilisation for multi-user multi-carrier wireless systems. / Mohammad abdul Awal [ Paris 11 ]
Chaînes alternées dans les graphes arête-coloriés : k-linkage et arbres couvrants / Gervais Mendy [ Paris 11 ]
Test generation and animation based on object-oriented specifications / Matthias Krieger [ Paris 11 ]
Logique de séparation et vérification déductive / François Bobot [ Paris 11 ]
Data-intensive interactive workflows for visual analytics / Wael Khemiri [ Paris 11 ]
Programmation des architectures hiérarchiques et hétérogènes / Khaled Hamidouche [ Paris 11 ]
Verification of behaviourist multi-agent systems by means of formally guided simulations / Paulo Salem da Silva [ Paris 11 ]
Sur le contexte spatial en gestion des fenêtres et interaction homme-machine. / Guillaume Faure [ Paris 11 ]
Améliorer l'interopérabilité sémantique : applicabilité et utilité de l'alignement d'ontologies / Fayçal Hamdi [ Paris 11 ]
Test symbolique de services web composite / Lina Bentakouk [ Paris 11 ]
High Performance by Exploiting Information Locality through Reverse Computing / Mouad Bahi [ Paris 11 ]
Two-player interaction in quantum computing : cryptographic primitives & query complexity / Loïck Magnin [ Paris 11 ]
Main memory xml update optimization : algorithms and experiments / Marina Sahakyan [ Paris 11 ]
Nouveaux Protocoles de Tolérances aux Fautes pour les Applications MPI du Calcul Haute Performance / Amina Guermouche [ Paris 11 ]
Algorithmes pour l'étude de la structure secondaire des ARN et l'alignement de séquences / Feng Lou [ Paris 11 ]
Methods and algorithms for solving linear systems of equations on massively parallel computers / Simplice Donfack [ Paris 11 ]
Adaptation de l’algorithmique aux architectures parallèles / Alexandre Borghi [ Paris 11 ]
Analyse statique pour l’optimisation des mises à jour de documents XML temporels / Mohamed-Amine Baazizi [ Paris 11 ]
Variantes non standards de problèmes d'optimisation combinatoire / Pierre Le Bodic [ Paris 11 ]
Network coding for quality of service in wireless multi-hop networks / Youghourta Benfattoum [ Paris 11 ]
Diagnostic distribué de systèmes respectant la confidentialité / Vincent Armant [ Paris 11 ]
Surrogate-Assisted Evolutionary Algorithms / Ilya Loshchilov [ Paris 11 ]
Contributions to Simulation-based High-dimensional Sequential Decision Making / Jean-Baptiste Hoock [ Paris 11 ]
Environment-driven Distributed Evolutionary Adaptation for Collective Robotic Systems / Jean-Marc Montanier [ Paris 11 ]
Robust Preference Learning-based Reinforcement Learning / Riad Akrour [ Paris 11 ]
Solving dense linear systems on accelerated multicore architectures / Adrien Rémy [ Paris 11 ]
Repenser la bibliothèque réelle de Coq : vers une formalisation de l'analyse classique mieux adaptée / Catherine Lelay [ Paris 11 ]
Real-time multi-target tracking : a study on color-texture covariance matrices and descriptor/operator switching / Andrés Romero Mier y Teran [ Paris 11 ]
A symbolic approach for the verification and the test of service choreographies / Hữu Nghĩa Nguyễn [ Paris 11 ]
A user-centered and autonomic multi-cloud architecture for high performance computing applications / Alessandro Ferreira Leite [ Paris 11 ]
Analyses bioinformatiques et classements consensus pour les données biologiques à haut débit / Bo Yang [ Paris 11 ]
Lightweight Security Solutions for LTE/LTE-A Networks / Soran Hussein [ Paris 11 ]
Solving incompressible Navier-Stokes equations on heterogeneous parallel architectures / Yushan Wang [ Paris 11 ]
Cooperation strategies for inter-cell interference mitigation in OFDMA systems / Reben Kurda [ Paris 11 ]
Synchronization and Fault-tolerance in Distributed Algorithms / Peva Blanchard [ Paris 11 ]
Modélisation et score de complexes protéine-ARN / Adrien Guilhot-Gaudeffroy [ Paris 11 ]
Informations personnelles sensibles aux contextes : modélisation, interrogation et composition / Rania Khéfifi [ Paris 11 ]
Variants of Deterministic and Stochastic Nonlinear Optimization Problems / Chen Wang [ Paris 11 ]
Multi-Architectural Support : A Generic and Generative Approach / Pierre Estérie [ Paris 11 ]
A Content-Aware Design Approach to Multiscale Navigation / Cyprien Pindat [ Paris 11 ]
Efficient end-to-end monitoring for fault management in distributed systems / Dawei Feng [ Paris 11 ]
Adaptive and Opportunistic QoS-based Routing Protocol in VANETs / Guang Yu Li [ Paris 11 ]
Approches duales dans la résolution de problèmes stochastiques / Marc Letournel [ Paris 11 ]
Scalable Trajectory Approach for ensuring deterministic guarantees in large networks / Sara Medlej [ Paris 11 ]
Designing expressive interaction techniques for novices inspired by expert activities : the case of musical practice / Emilien Ghomi [ Paris 11 ]
Dense matrix computations : communication cost and numerical stability / Amal Khabou [ Paris 11 ]
Designing scientific workflow following a structure and provenance-aware strategy / Jiuqiang Chen [ Paris 11 ]
Complexité des dynamiques de jeux / Xavier Zeitoun [ Paris 11 ]
Supereulerian graphs, Hamiltonicity of graphes and several extremal problems in graphs / Weihua Yang [ Paris 11 ]
Stochastic Combinatorial Optimization / Jianqiang Cheng [ Paris 11 ]
Approximation of OLAP queries on data warehouses / Phuong Thao Cao [ Paris 11 ]
Exploratory Robotic Controllers : An Evolution and Information Theory Driven Approach / Guohua Zhang [ Paris 11 ]
Monte Carlo Tree Search for Continuous and Stochastic Sequential Decision Making Problems / Adrien Couetoux [ Paris 11 ]
Méthodes de préconditionnement pour la résolution de systèmes linéaires sur des machines massivement parallèles / Long Qu [ Paris 11 ]
Impact des transformations algorithmiques sur la synthèse de haut niveau : application au traitement du signal et des images / Haixiong Ye [ Paris 11 ]
Multi-objective sequential decision making / Weijia Wang [ Paris 11 ]
Inférence d'invariants pour le model checking de systèmes paramétrés / Alain Mebsout [ Paris 11 ]
Contributions to Multi-Armed Bandits : Risk-Awareness and Sub-Sampling for Linear Contextual Bandits / Nicolas Galichet [ Paris 11 ]
Classification of RNA Pseudoknots and Comparison of Structure Prediction Methods / Cong Zeng [ Paris 11 ]
Chance-Constrained Programming Approaches for Staffing and Shift-Scheduling Problems with Uncertain Forecasts : application to Call Centers / Mathilde Excoffier [ Paris 11 ]
Agrégation de classements avec égalités : algorithmes, guides à l'utilisateur et applications aux données biologiques / Bryan Brancotte [ Paris 11 ]
Automatic key discovery for Data Linking / Danai Symeonidou [ Paris 11 ]
Accès et utilisation de documents multimédia complexes dans une bibliothèque numérique / Anh Tuan Ly [ Paris 11 ]
Leveraging User-Generated Content for Enhancing and Personalizing News Recommendation. / Youssef Meguebli [ CentraleSupélec ]
Jeux de défense et ensembles tropicaux / Jean-Alexandre Anglès d'Auriac [ Paris 11 ]
Proper and weak-proper trees in edges-colored graphs and multigraphs / Valentin Borozan [ Paris 11 ]
Cycles in graphs and arc colorings in digraphs / Weihua He [ Paris 11 ]
Arc colorings and cycles in digraphs / Yandong Bai [ Paris 11 ]
Réponses manquantes : Débogage et Réparation de requêtes / Aikaterini Tzompanaki [ Université Paris-Saclay (ComUE) ]
Formalizing and Implementing a Reflexive Tactic for Automated Deduction in Coq / Stephane Lescuyer [ Paris 11 ]
Optimisation évolutionnaire multi-objectif parallèle : application à la combustion Diesel / Mouadh Yagoubi [ Paris 11 ]
Certification of a Tool Chain for Deductive Program Verification / Paolo Herms [ Paris 11 ]
Partitionnement dans les réseaux mobiles Ad-hoc : conception et évaluation de protocoles auto-stabilisants et robustes / Fouzi Mekhaldi [ Paris 11 ]
Introduction of statistics in optimization / Fabien Teytaud [ Paris 11 ]
Diagnosticabilité et diagnostic de systèmes technologiques pilotés : développement d'une chaîne de conception outillée d'un système de diagnostic appliquée aux systèmes technologiques pilotés / Michel Batteux [ Paris 11 ]
Interconnexion et routage efficaces pour des procédures de recherche décentralisées dans les systèmes pair-à-pair / Philippe Gauron [ Paris 11 ]
Partitioning XML data, towards distributed and parallel management / Noor Malla [ Paris 11 ]
Strengthening the heart of an SMT-solver : Design and implementation of efficient decision procedures / Mohamed Iguernelala [ Paris 11 ]
Compilation certifiée de SCADE/LUSTRE / Cédric Auger [ Paris 11 ]
Learning during search / Alejandro Arbelaez Rodriguez [ Paris 11 ]
Flot de conception système sur puce pour radio logicielle / Guangye Tian [ Paris 11 ]
Constructive Visualization : A token-based paradigm allowing to assemble dynamic visual representation for non-experts / Samuel Huron [ Paris 11 ]
Optimized broadcasting in wireless ad-hoc networks using network coding / Nour Kadi [ Paris 11 ]
Procédures de décision génériques pour des théories axiomatiques du premier ordre / Claire Dross [ Paris 11 ]
Etude et optimisation d'algorithmes pour le suivi d'objets couleur / Florence Laguzet [ Paris 11 ]
Optimization and uncertainty handling in air traffic management / Gaetan Marceau Caron [ Paris 11 ]
Hybridization of dynamic optimization methodologies / Jérémie Decock [ Paris 11 ]
Efficient Querying and Analytics of Semantic Web Data / Alexandra Roatis [ Paris 11 ]
Lattice QCD Optimization and Polytopic Representations of Distributed Memory / Michael Kruse [ Paris 11 ]