Publications/Thèses

Thèses en cours

Doctorant.e Sujet Encadrants
HENAUX Vincent Génération d’algorithmes de recherche locale GOËFFON Adrien, SAUBION Frédéric
LI Yinuo Apprentissage automatique et fiabilisation des données au service des établissements du médico-social : aide à la réalisation du projet personnel HAO Jin-Kao
LEGUY Jules Recherche combinatoire guidée par apprentissage artificiel en chimie moléculaire DUVAL Béatrice, DA MOTA Benoit, CAUCHY Thomas
LETARD Alexandre Un système d’apprentissage artificiel multi-critères guidé par les besoins utilisateur AMGHAR Tassadit, CAMP Olivier, GUTOWSKI Nicolas
HE Pengfei Intelligent Computational Methods for Complex Transportation Optimization Problems HAO Jin-Kao
GRELIER Cyril Métaheuristiques guidées par l’apprentissage profond avec application à la coloration de graphes HAO Jin-Kao, GOUDET Olivier
BOUTERFIF Salah Eddine Recherche opérationnelle et apprentissage pour la résolution de problèmes d’ordonnancement GUERET Christelle, BARICHARD Vincent
SAOUT Thomas Gestion électronique avancée de documents professionnels SAUBION Frédéric, LARDEUX Frédéric, DEREC Vincent
GUERIN Axel Extraction et gestion de la connaissance clients par des méthodes d’apprentissage non supervisées CHAUVET Pierre, SAUBION Frédéric, COURTOIS Christophe
FRADET Nathan Génération conditionnée de musique symbolique multi-piste par apprentissage profond SEGHROUCHNI Amal El Fallah, GUTOWSKI Nicolas, CHHEL Fabien
LI Mingjie HAO Jin-Kao
GARREAU Bryan Combinaison de méthodes de résolution de problèmes exactes issues de l’intelligence artificielle MONFROY Eric, DIEGUEZ LODEIRO Martin, STEPHAN Igor
BEHUET Corentin Approches par contraintes pour la modélisation et la résolution de problèmes d’emplois du temps universitaires LESAINT David, BARICHARD Vincent, GENEST David
ZOU Youji Intelligent computing for large and complex scheduling problems with application to multi-load automated-guided vehicles (AGVs) and machine integrated scheduling HAO Jin-Kao

Thèses soutenues

WEI Zequn 2021 Learning based computational methods for complex combinatorial search problems HAO Jin-Kao
DELAVERNHE Florian 2020 Optimisation d’ensembles de capteurs pour le suivi et la recherche de cibles ROSSI André, SEVAUX Marc
LU Zhi 2020 Intelligent optimization methods for large scale complex network analysis HAO Jin-Kao
REN Jintong 2020 Optimization algorithms for graph layout problems HAO Jin-Kao
ROBERT Adrian 2020 Modèle générique de cartes cognitives pour la représentation, l’extraction et l’analyse de savoirs LOISEAU Stéphane, GENEST David
VASCONCELLOS GAETE Claudia 2020 Etude des mécanismes de transformation de modèles CSP/SAT LARDEUX Frédéric, BARICHARD Vincent
GUTOWSKI Nicolas 2019 De la mobilité aux services adaptables : application à l’affichage ciblé AMGHAR Tassadit, CAMP Olivier
LE CALVAR Théo 2019 Exploration d’ensembles de modèles SAUBION Frédéric, CHHEL Fabien, JOUAULT Frédéric
TARI Sara 2019 Stratégies d’exploration de paysages de fitness : application à la résolution approchée de problèmes d’optimisation combinatoire GOËFFON Adrien, BASSEUR Matthieu
GALVEZ RAMIREZ Nicolas 2018 Framework for Autonomous Generation of Strategies in Satisfiability Modulo Theories SAUBION Frédéric, MONFROY Eric, CASTRO Carlos
SUN Wen 2018 Algorithmes heuristiques pour des problèmes de coloration de HAO Jin-Kao, CAMINADA Alexandre
CHABANE Brahim 2017 Optimisation de plans d’actions multi-objectifs dans le secteur social et médico-social HAO Jin-Kao, BASSEUR Matthieu
CHAMBON Arthur 2017 Caractérisation logique de données : application aux données biologiques SAUBION Frédéric, LARDEUX Frédéric
DESPORT Pierre 2017 Planification tactique de chaîne d’approvisionnement en boucle fermée : modélisation, résolution, évaluation LESAINT David, LARDEUX Frédéric
LEGEAY Marc 2017 Étude de la régulation anti-sens par l’analyse différentielle de données transcriptomiques dans le domaine végétal DUVAL Béatrice, RENOU Jean-Pierre
VIGNERON Vincent 2017 Programmation par contraintes et découverte de motifs sur données séquentielles LESAINT David
ZHOU Yangming 2017 Approches de résolution renforcées par des méthodes d’apprentissage en optimisation combinatoire HAO Jin-Kao, DUVAL Béatrice
ZHOU Yi 2017 Optimization Algorithms for Clique Problems HAO Jin-Kao
BÉATRIX Christopher 2016 Justifcations dans les approches ASP basées sur les règles : application au backjumping dans le solveur ASPeRiX STEPHAN Igor
CHEN Yuning 2016 Metaheuristics for Quadratic Knapsack Problems HAO Jin-Kao
GARREAU Fabien 2016 Etension d’ASP pour couvrir des fragments DL traitables : étude théorique et implémentation STEPHAN Igor
MA Fuda 2016 Multiple Operator Metaheuristics for Graph Partitioning Problems HAO Jin-Kao
SGHIR Inès 2016 A Multi-Agent based Optimization Method for Combinatorial Optimization Problems HAO Jin-Kao, GHEDIRA Khaled
VAZQUEZ ORTIZ Karla 2016 Methods to solve the maximum parsimony problem LESAINT David, RICHER Jean-Michel
JIN Yan 2015 Métaheuristiques hybrides pour la somme coloration et la coloration de bande passante HAO Jin-Kao
MAILLOT Pierre 2015 Nouvelles méthodes pour l’évaluation, l’évolution et l’interrogation des bases du Web des données LOISEAU Stéphane, GENEST David


Séminaires

DATE INTERVENANT ETABLISSEMENT TITRE
2021/10/21 ABREU Salvador Université d’Evora, Portugal Parallel Hybrid Constraint-Based Computations: architectures for scalable performance
2020/9/24 LU Zhi LERIA Approches d’Optimisation pour le Partitionnement de Graphe de Conductance Minimale
2020/10/22 ROBERT Adrian LERIA
2020/10/22 ZHOU Jin Qing LERIA
2020/1/24 REN Jintong LERIA A study of recombination Operators for the Cyclic Bandwith Problem
2020/1/24 DELAVERNHE Florian LERIA Planification de la recherche de cible mobile à l’aide d’un réseau de capteurs avec coût de déplacement
2019/6/28 ROSSI Roberto University of Edinburgh Declarative statistics
2019/11/28 GLAVATSKIKH Marta LERIA A crucial role of chemical diversity in ML prediction of DFT molecular properties
2019/11/28 TALBOT Pierre LS2N, Univ. de Nantes Interprétation abstraite pour la combinaison de langage de contraintes
2019/10/25 HENAUX Vincent LERIA Évolution de recherches locales stochastiques
2019/10/25 GOUDET Olivier LERIA Gradient Descent based Weight Learning for Grouping Problems: Application on Graph Coloring and Equitable Graph Coloring
2019/1/24 GUYET Thomas IRISA Rennes Mining sequential patterns with ASP
2018/5/31 SINGH Alok University of Hyderabad A Hyper-Heuristic Approach for Many-to-Many Hub Location-Routing Problem
2018/5/16 TARI Sara LERIA Stratégies d’exploration de paysages de fitness : application à la résolution approchée de problèmes d’optimisation combinatoire
2018/5/16 DELAVERNHE Florian LERIA Ordonnancement réactif pour le suivi de cibles mobiles : de la robustesse à la garantie de performance en ligne
2018/4/5 SHANG Zhen LERIA Multiple phase tabu search for bipartite boolean quadratic programming with partitioned variables
2018/4/5 WEI Zequn LERIA Learning based computational methods for complex combinatorial search problems
2018/4/5 LE CALVAR Théo LERIA Ensemble de modèle explorables avec ATLC
2018/1/11 VEERAPEN Nada University of Stirling Les réseaux d’optima locaux pour modéliser les paysages de recherche
2018/1/11 VASCONCELLOS GAETE Claudia LERIA Etude des mécanismes de transformation de modèles CSP/SAT
2017/6/28 BLUM Christian IIA, Spanish National Research Council Construct, Merge, Solve & Adapt : a general hybrid metaheuristic for combinatorial optimization
2017/6/1 TRAVERSON Hugo LERIA Apprentissage, synthèse et évaluation à base de cartes concdeptuelles ontologiques
2017/6/1 SCHEPLER Xavier LERIA The stochastic discrete berth allocation problem
2017/4/6 ZHOU Yangming LERIA Opposition-based memetic search for the maximum diversity problem
2017/4/6 REN Jintong LERIA A study of recombination Operators for the Cyclic Bandwith Problem
2017/3/2 TARI Sara LERIA Recherche locale itérée basée sur le moins bon améliorant
2017/3/2 CHAMBON Arthur LERIA Caractérisation de données biologiques
2016/7/7 PAVONE Mario University of Catania, Italy How Old should be the Lifespan for Having a Proper Exploration?
2016/6/15 JANKEE Christopher LISIC, Université du Littoral Côte d’Opale Portefolio de métaheuristique en calcule distribué : stratégies de sélection et Fitness Cloud modèle
2016/12/1 CHABANE Brahim LERIA R2-IBMOLS applied to a practical case of the multiobjective knapsack problem
2016/12/1 LEGEAY Marc LERIA Analyse différentielle de réseaux : un moyen d’étudier la régulation par les transcrits anti-sens
2016/11/3 DESPORT Pierre LERIA Model and Combinatorial Optimization Methods for Tactical Planning in Closed-Loop Supply Chains
2016/11/3 ZHOU Yi LERIA Recherche de clique équilibrée de cardinalité maximale dans les graphes bipartis
2016/10/6 GARREAU Fabien LERIA Extension d’ASP pour traiter les logiques de descriptions dites légères
2015/6/3 SINGH Alok University of Hyderabad Artificial Bee Colony Algorithm for Discrete Optimization Problems
2015/4/2 SCHAUB Torsten Université de Postdam Answer Set Programming
2014/5/22 KORICHE Frédéric Université d’Artois Des experts aux bandits pour l’optimisation combinatoire
2014/4/15 GUILLAUME Jean-Loup Université Pierre et Marie Curie Communautés multi-ego-centrées
2014/4/15 GACH Olivier Université du Mans Communautés disjointes détectées par la modularité
2014/3/18 GARREAU Fabien LERIA Extension of ASP to cover fragments of light description
2014/1/30 GUZIOLOVSKI Carito Meforbio, IRCCYN, Ecole Centrale de Nantes Exhaustively characterizing feasible logic models of a signaling network using Answer Set Programming

Recent Posts