Publications/Thèses

Publications du LERIA sur HAL-UA

Thèses en cours

Doctorant.eSujetEncadrants
HENAUX VincentGénération d’algorithmes de recherche localeGOËFFON Adrien, SAUBION Frédéric
LI YinuoApprentissage automatique et fiabilisation des données au service des établissements du médico-social : aide à la réalisation du projet personnelHAO Jin-Kao
LEGUY JulesRecherche combinatoire guidée par apprentissage artificiel en chimie moléculaireDUVAL Béatrice, DA MOTA Benoit, CAUCHY Thomas
LETARD AlexandreUn système d’apprentissage artificiel multi-critères guidé par les besoins utilisateurAMGHAR Tassadit, CAMP Olivier, GUTOWSKI Nicolas
HE PengfeiIntelligent Computational Methods for Complex Transportation Optimization ProblemsHAO Jin-Kao
GRELIER CyrilMétaheuristiques guidées par l’apprentissage profond avec application à la coloration de graphesHAO Jin-Kao, GOUDET Olivier
BOUTERFIF Salah EddineRecherche opérationnelle et apprentissage pour la résolution de problèmes d’ordonnancementGUERET Christelle, BARICHARD Vincent
SAOUT ThomasGestion électronique avancée de documents professionnelsSAUBION Frédéric, LARDEUX Frédéric, DEREC Vincent
GUERIN AxelExtraction et gestion de la connaissance clients par des méthodes d’apprentissage non superviséesCHAUVET Pierre, SAUBION Frédéric, COURTOIS Christophe
FRADET NathanGénération conditionnée de musique symbolique multi-piste par apprentissage profondSEGHROUCHNI Amal El Fallah, GUTOWSKI Nicolas, CHHEL Fabien
LI MingjieHAO Jin-Kao
GARREAU BryanCombinaison de méthodes de résolution de problèmes exactes issues de l’intelligence artificielleMONFROY Eric, DIEGUEZ LODEIRO Martin, STEPHAN Igor
BEHUET CorentinApproches par contraintes pour la modélisation et la résolution de problèmes d’emplois du temps universitairesLESAINT David, BARICHARD Vincent, GENEST David
ZOU YoujiIntelligent computing for large and complex scheduling problems with application to multi-load automated-guided vehicles (AGVs) and machine integrated schedulingHAO Jin-Kao

Thèses soutenues

WEI Zequn2021Learning based computational methods for complex combinatorial search problemsHAO Jin-Kao
DELAVERNHE Florian2020Optimisation d’ensembles de capteurs pour le suivi et la recherche de ciblesROSSI André, SEVAUX Marc
LU Zhi2020Intelligent optimization methods for large scale complex network analysisHAO Jin-Kao
REN Jintong2020Optimization algorithms for graph layout problemsHAO Jin-Kao
ROBERT Adrian2020Modèle générique de cartes cognitives pour la représentation, l’extraction et l’analyse de savoirsLOISEAU Stéphane, GENEST David
VASCONCELLOS GAETE Claudia2020Etude des mécanismes de transformation de modèles CSP/SATLARDEUX Frédéric, BARICHARD Vincent
GUTOWSKI Nicolas2019De la mobilité aux services adaptables : application à l’affichage cibléAMGHAR Tassadit, CAMP Olivier
LE CALVAR Théo2019Exploration d’ensembles de modèlesSAUBION Frédéric, CHHEL Fabien, JOUAULT Frédéric
TARI Sara2019Stratégies d’exploration de paysages de fitness : application à la résolution approchée de problèmes d’optimisation combinatoireGOËFFON Adrien, BASSEUR Matthieu
GALVEZ RAMIREZ Nicolas2018Framework for Autonomous Generation of Strategies in Satisfiability Modulo TheoriesSAUBION Frédéric, MONFROY Eric, CASTRO Carlos
SUN Wen2018Algorithmes heuristiques pour des problèmes de coloration deHAO Jin-Kao, CAMINADA Alexandre
CHABANE Brahim2017Optimisation de plans d’actions multi-objectifs dans le secteur social et médico-socialHAO Jin-Kao, BASSEUR Matthieu
CHAMBON Arthur2017Caractérisation logique de données : application aux données biologiquesSAUBION Frédéric, LARDEUX Frédéric
DESPORT Pierre2017Planification tactique de chaîne d’approvisionnement en boucle fermée : modélisation, résolution, évaluationLESAINT David, LARDEUX Frédéric
LEGEAY Marc2017Étude de la régulation anti-sens par l’analyse différentielle de données transcriptomiques dans le domaine végétalDUVAL Béatrice, RENOU Jean-Pierre
VIGNERON Vincent2017Programmation par contraintes et découverte de motifs sur données séquentiellesLESAINT David
ZHOU Yangming2017Approches de résolution renforcées par des méthodes d’apprentissage en optimisation combinatoireHAO Jin-Kao, DUVAL Béatrice
ZHOU Yi2017Optimization Algorithms for Clique ProblemsHAO Jin-Kao
BÉATRIX Christopher2016Justifcations dans les approches ASP basées sur les règles : application au backjumping dans le solveur ASPeRiXSTEPHAN Igor
CHEN Yuning2016Metaheuristics for Quadratic Knapsack ProblemsHAO Jin-Kao
GARREAU Fabien2016Etension d’ASP pour couvrir des fragments DL traitables : étude théorique et implémentationSTEPHAN Igor
MA Fuda2016Multiple Operator Metaheuristics for Graph Partitioning ProblemsHAO Jin-Kao
SGHIR Inès2016A Multi-Agent based Optimization Method for Combinatorial Optimization ProblemsHAO Jin-Kao, GHEDIRA Khaled
VAZQUEZ ORTIZ Karla2016Methods to solve the maximum parsimony problemLESAINT David, RICHER Jean-Michel
JIN Yan2015Métaheuristiques hybrides pour la somme coloration et la coloration de bande passanteHAO Jin-Kao
MAILLOT Pierre2015Nouvelles méthodes pour l’évaluation, l’évolution et l’interrogation des bases du Web des donnéesLOISEAU Stéphane, GENEST David

Séminaires

DATEINTERVENANTETABLISSEMENTTITRE
2021/10/21ABREU SalvadorUniversité d’Evora, PortugalParallel Hybrid Constraint-Based Computations: architectures for scalable performance
2020/9/24LU ZhiLERIAApproches d’Optimisation pour le Partitionnement de Graphe de Conductance Minimale
2020/10/22ROBERT AdrianLERIA
2020/10/22ZHOU Jin QingLERIA
2020/1/24REN JintongLERIAA study of recombination Operators for the Cyclic Bandwith Problem
2020/1/24DELAVERNHE FlorianLERIAPlanification de la recherche de cible mobile à l’aide d’un réseau de capteurs avec coût de déplacement
2019/6/28ROSSI RobertoUniversity of EdinburghDeclarative statistics
2019/11/28GLAVATSKIKH MartaLERIAA crucial role of chemical diversity in ML prediction of DFT molecular properties
2019/11/28TALBOT PierreLS2N, Univ. de NantesInterprétation abstraite pour la combinaison de langage de contraintes
2019/10/25HENAUX VincentLERIAÉvolution de recherches locales stochastiques
2019/10/25GOUDET OlivierLERIAGradient Descent based Weight Learning for Grouping Problems: Application on Graph Coloring and Equitable Graph Coloring
2019/1/24GUYET ThomasIRISA RennesMining sequential patterns with ASP
2018/5/31SINGH AlokUniversity of HyderabadA Hyper-Heuristic Approach for Many-to-Many Hub Location-Routing Problem
2018/5/16TARI SaraLERIAStratégies d’exploration de paysages de fitness : application à la résolution approchée de problèmes d’optimisation combinatoire
2018/5/16DELAVERNHE FlorianLERIAOrdonnancement réactif pour le suivi de cibles mobiles : de la robustesse à la garantie de performance en ligne
2018/4/5SHANG ZhenLERIAMultiple phase tabu search for bipartite boolean quadratic programming with partitioned variables
2018/4/5WEI ZequnLERIALearning based computational methods for complex combinatorial search problems
2018/4/5LE CALVAR ThéoLERIAEnsemble de modèle explorables avec ATLC
2018/1/11VEERAPEN NadaUniversity of StirlingLes réseaux d’optima locaux pour modéliser les paysages de recherche
2018/1/11VASCONCELLOS GAETE ClaudiaLERIAEtude des mécanismes de transformation de modèles CSP/SAT
2017/6/28BLUM ChristianIIA, Spanish National Research CouncilConstruct, Merge, Solve & Adapt : a general hybrid metaheuristic for combinatorial optimization
2017/6/1TRAVERSON HugoLERIAApprentissage, synthèse et évaluation à base de cartes concdeptuelles ontologiques
2017/6/1SCHEPLER XavierLERIAThe stochastic discrete berth allocation problem
2017/4/6ZHOU YangmingLERIAOpposition-based memetic search for the maximum diversity problem
2017/4/6REN JintongLERIAA study of recombination Operators for the Cyclic Bandwith Problem
2017/3/2TARI SaraLERIARecherche locale itérée basée sur le moins bon améliorant
2017/3/2CHAMBON ArthurLERIACaractérisation de données biologiques
2016/7/7PAVONE MarioUniversity of Catania, ItalyHow Old should be the Lifespan for Having a Proper Exploration?
2016/6/15JANKEE ChristopherLISIC, Université du Littoral Côte d’OpalePortefolio de métaheuristique en calcule distribué : stratégies de sélection et Fitness Cloud modèle
2016/12/1CHABANE BrahimLERIAR2-IBMOLS applied to a practical case of the multiobjective knapsack problem
2016/12/1LEGEAY MarcLERIAAnalyse différentielle de réseaux : un moyen d’étudier la régulation par les transcrits anti-sens
2016/11/3DESPORT PierreLERIAModel and Combinatorial Optimization Methods for Tactical Planning in Closed-Loop Supply Chains
2016/11/3ZHOU YiLERIARecherche de clique équilibrée de cardinalité maximale dans les graphes bipartis
2016/10/6GARREAU FabienLERIAExtension d’ASP pour traiter les logiques de descriptions dites légères
2015/6/3SINGH AlokUniversity of HyderabadArtificial Bee Colony Algorithm for Discrete Optimization Problems
2015/4/2SCHAUB TorstenUniversité de PostdamAnswer Set Programming
2014/5/22KORICHE FrédéricUniversité d’ArtoisDes experts aux bandits pour l’optimisation combinatoire
2014/4/15GUILLAUME Jean-LoupUniversité Pierre et Marie CurieCommunautés multi-ego-centrées
2014/4/15GACH OlivierUniversité du MansCommunautés disjointes détectées par la modularité
2014/3/18GARREAU FabienLERIAExtension of ASP to cover fragments of light description
2014/1/30GUZIOLOVSKI CaritoMeforbio, IRCCYN, Ecole Centrale de NantesExhaustively characterizing feasible logic models of a signaling network using Answer Set Programming