RECHERCHE

ENSEIGNEMENTS

RESPONSABILITÉS
 
 
 
 

RECHERCHE

Mots Clés :

Représentation des connaissances, logique du premier ordre, logique propositionnelle, SAT, procédure de Davis et Putnam, recherche locale, MAXSAT, recherche opérationnelle, vision omnidirectionnelle.

Projets de Recherche :

Publications :

Revues

Corinne Lucet, Simon Caillard, Laure Brisoux Devendeville. << Variable neighborhood search for a planning problem with resource constraints in a health simulation center >>. Applied Intelligence, 2021.

H. Jiang, C. Lucet, L. Devendeville and C.-M. Li. << An Effective Variable Neighborhood Search with Perturbation for Location-Routing Problem. >>. Int. J. Artif. Intell. Tools 28(7) : 1950024:1-1950024:17.2019.

Laure Devendeville, Serge Dumont, Olivier Goubet et Sylvain Lefebvre. << Algorithms for Constrained Best-fit Alignment >>. Journal of Informatics and Mathematical Sciences, 5(2):77-100. 2013.

A. Abdoul-Soukour, L. Devendeville, C. Lucet et A. Moukrim. << A memetic algorithm for staff scheduling in airport security service >>. Expert Systems With Applications, 40(18):7504-7512. 2013.

L. Brisoux, L. Saïs et É. Grégoire.  << Checking Depth-Limited Consistency and Inconsistency in Knowledge-based Systems >>. International Journal of Intelligent Systems, 16(3):319-332, mars 2001. Version longue de l'article publié à DEXA.

T. Bench-Capon, D. Castelli, F. Coenen, L Devendeville-Brisoux, B. Eaglestone, N. Fiddian, A. Gray, A. Ligeza et A. Vermesan.  << Validation, Verification and Integrity Issues in Expert and database Systems >>. Expert Update, 2:31-35. 1999.

Conférences internationales

Gérard Olivier, Corinne Lucet, Laure Brisoux Devendeville, Sylvain Darras.: << An Adaptive Large Neighborhood Search Method to Plan Patient's Journey in Healthcare >>. Dans Actes de Advances in Production Management Systems. Artificial Intelligence for Sustainable and Resilient Production Systems - IFIP WG 5.7 International Conference, APMS 2021 , Toulouse, France, 2020-2021.

Simon Caillard, Corinne Lucet and Laure Brisoux Devendeville. << An ACO Algorithm for a Scheduling Problem in Health Simulation Center >>. Dans Actes de Advances in Production Management Systems. Artificial Intelligence for Sustainable and Resilient Production Systems - IFIP WG 5.7 International Conference, APMS 2021 , Toulouse, France, 2020-2021.

O. Gérard, L. Brisoux Devendeville and C. Lucet << Planning problem in Healthcare domain >>. Dans Actes de 17th International Workshop on Project Management and Scheduling (PMS2020/2021) , Toulouse, France, 2020-2021.

S. Caillard, L. Brisoux Devendeville and C. Lucet << Local Search Algorithm to Solve a Scheduling Problem in Healthcare Training Center >>. Dans Actes de 17th International Workshop on Project Management and Scheduling (PMS2020/2021) , Toulouse, France, 2020-2021.

S. Caillard, L. Brisoux-Devendeville et C. Lucet. << A Planning Problem with Resource Constraints in Health Simulation Center >>. Dans Actes de Optimization of Complex Systems: Theory, Models, Algorithms and Applications, WCGO 2019, World Congress on Global Optimization, 991:1033-1042, Metz, France, 2019.

L. Brisoux Devendeville, S. Afifi, A. Moukrim. et C. Lucet << Particle Swarm Optimization for the Location Routing Problem >>. Dans Actes de The 6th International Conference on Metaheuristics and Nature Inspired Computing - META'16 , Marrakech, Marocco, 27-31 octobre, 2016.

A. Abdoul-Soukour, L. Devendeville, C. Lucet et A. Moukrim. << Staff scheduling in airport security service >>. Dans Actes de The 14th IFAC Symposium on Information Control Problem in Manufacturing - INCOM'12 , Bucharest, Roumania, 23-25 mai, 2012.

A. Ghorayeb, A. Potelle, L. Devendeville et E. Mouaddib. << Optimal omnidirectional sensor for urban traffic diagnosis in crossroads >>. Dans Actes de The IEEE International Vehicles Symposium - IV'10 , USA, California, San Diego, 21-24 Juin, 2010.

L. Devendeville, S. Dumont, O. Goubet et S. Lefebvre. << Algorithms for Constrained Best-Fit Alignment >>. Dans Actes de The Third International Workshop on Bin Packing and Placement Constraints - BPPC'10 , Bologna, Italia, 15 Juin, 2010.

E. Mouaddib, G. Dequen et L. Devendeville. << A new Omnidirectional Stereovision Sensor >>. Dans Actes de The Seventh Workshop on Omnidirectional Vision, Camera Networks and Non-classical Cameras - OMNIVIS 2007, Rio de Janeiro, Brazil,  20 octobre 2007.

S. Darras, G. Dequen, L. Devendeville et C.-M. Li. << On Inconsistent Clause-Subsets for Max-SAT Solving >>. Dans Actes de Principles and Practice of Constraint Programming - CP 2007, 13th International Conference, pages 225-240, Providence, RI, USA,  23-27 septembre 2007.

G. Dequen, L. Devendeville et E. Mouaddib. << Stochastic Local Search for Omnidirectional Catadioptric Stereovision Design >>. Dans Actes de 3rd Iberian Conference on Pattern Recognition and Image Analysis - IbPRIA 2007, pages 404-411, Girone, Espagne,  6-8 juin 2007.

S. Darras, G. Dequen, L. Devendeville, B. Mazure, R. Ostrowski et L. Saïs. << Using Boolean Constraint Propagation for Sub-clause Deduction >>. Dans Actes de Principles and Practice of Constraint Programming - CP 2005, 11th International Conference, pages 757-761, Sitges, Espagne,  1-5 octobre 2005.

D. Habet, C. M. Li, L. Devendeville et  M. Vasquez. << A Hybrid Approach for SAT >>. Dans Actes de Principles and Practice of Constraint Programming - CP 2002, 8th International Conference, pages 172-184, Ithaca, NY, USA,  9-13 septembre 2002.

L. Brisoux Devendeville, C. Essert Villard et P. Schreck. << Exploration of a solution space structured by finite constraints >>. Dans Actes du Workshop Modelling and Solving Problems with Constraints of the 14th European Conference on Artificial Intelligence, ECAI'2000, pages F:1-F:18, Berlin, Germany, 20-25 août 2000.

L. Brisoux, L. Saïs et É. Grégoire . << Improving Backtrack Search for SAT by Means of  Redundancy >>. Dans Z. W. Ras et A. Skowro, éditeurs, Proceedings of the Foundations of Intelligent Systems, Eleventh International Symposium on Methodologies for Intelligent Systems, ISMIS'99, pages 301-309, Warsaw, Poland, 8-11 juin 1999. LNCS, Springer.

L. Brisoux, L. Saïs et É. Grégoire . << Validation of Knowledge-Based Sytems by Means of  Stochastic  Search >>. Dans R. Wagner, éditeur, Proceedings on the First International Workshop on Verification, Validation and Integrity Issue in Expert and Database Systems, DEXA'98,  pages 41-46, Vienna, Austria, 24-28 août 1998. IEEE Press.

Conférences nationales
 

Matthieu Fagot, Corinne Lucet et Laure Brisoux Devendeville. << Problème de tournées de véhicules avec fenêtres de livraison multiples chez Smile Pickup >>. Dans Actes du 23ème congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision - ROADEF'22, Lyon, 23-25 février, 2022.

O. Gérard, C. Lucet, L. Brisoux Devendeville et S. Darras. << Différentes Mesures de la diversité de la population d'un Algorithme Génétique pour l'optimisation du parcours patient >>. Dans Actes du 23ème congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision - ROADEF'22, Lyon, 23-25 février, 2022.

Simon Caillard, Laure Brisoux Devendeville et Corinne Lucet. << Un Algorithme de Colonie de Fourmis pour la Planification de Formations en Santé >>. Dans Actes du 23ème congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision - ROADEF'22, Lyon, 23-25 février, 2022.

Simon Caillard, Laure Brisoux Devendeville et Corinne Lucet. << Un Algorithme de Colonie de Fourmis pour la Planification de Formations en Santé sous Contrainte de Ressources >>. Dans Actes du 22ème congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision - ROADEF'21, Mulhouse, 26-30 avril, 2021.

O. Gérard, C. Lucet, L. Brisoux Devendeville et S. Darras. << Une méthode ALNS appliquée à la planification dans le domaine de la santé >>. Dans Actes du 22ème congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision - ROADEF'21, Mulhouse, 26-30 avril, 2021.

O. Gérard, C. Lucet et L. Brisoux Devendeville. << Problème de planification dans le domaine de la santé >>. Dans Actes du 21ème congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision - ROADEF'20, Montpellier, 19-21 février, 2020.

S. Caillard, L. Devendeville et C. Lucet. << Recherche locale pour la formation en santé sous contraintes de ressources >>. Dans Actes du 21ème congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision - ROADEF'20, Montpellier, 19-21 février, 2020.

H. Jiang, C. Lucet, L. Devendeville et C.-M. Li. << An effective variable neighborhood search with perturbation for location-routing problem >>. Dans Actes du vingtième congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision - ROADEF'19, Le Havre, 19-21 février, 2019.

S. Caillard, L. Brisoux-Devendeville et C. Lucet. << Planification de ressources pour la formation en santé >>. Dans Actes du vingtième congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision - ROADEF'19, Le Havre, 19-21 février, 2019.

L. Brisoux-Devendeville et C. Lucet. << Etude de la modélisation en programmation par contraintes pour résoudre le problème de localisation/routage>>. Dans Actes des treizièmes Journées Francophones de Programmation par Contraintes - JFPC 2017, Montreuil-sur-mer, 13-15 juin 2017.

A. Abdoul-Soukour, L. Devendeville, C. Lucet et A. Moukrim. << Un algorithme génétique dédié à la planification dans le domaine de la sûreté aérienne>>. Dans Actes du treizième congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision - ROADEF'12 , Angers, 11-13 avril, 2012.

A. Abdoul-Soukour, L. Devendeville, C. Lucet et A. Moukrim. << Plannification dans le domaine de la sûreté aérienne>>. Dans Actes du douzième congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision - ROADEF'11 , Saint-Étienne, 2-4 mars 2011.

A. Ghorayeb, A. Potelle, L. Devendeville et E. M. Mouaddib. << Une caméra catadioptrique pour l'estimation du trafic routier >>. Dans Actes du congrès sur l'Innovation Technologique et Systèmes de Transport - ITT'09, Paris,  26-29 octobre 2009.

A. Ghorayeb, A. Potelle, L. Devendeville et E. M. Mouaddib. << Capteur omnidirectionnel Optimal pour le diagnostic de la circulation dans les carrefours urbains >>. Dans Actes du congrès ORASIS'09, Trégastel,  8-12 juin 2009.

S. Darras, G. Dequen, L. Devendeville et C.-M. Li. << Exploitation des noyaux inconsistants pour la résolution du problème Max-SAT >>. Dans Actes du 16ème congrès francophone AFRIF-AFIA Reconnaissance des Formes et Intelligence ARtificielle -RFIA 2008, pages 378-387, Amiens,  23-25 janvier 2008.

S. Darras, G. Dequen, L. Devendeville, B. Mazure, R. Ostrowski et L. Saïs. << Utilisation de la Propagation de Contraintes Booléennes pour la Production de Sous-Clauses >>. Dans Actes des Premières Journées Francophones de Programmation par Contraintes JFPC'2005,  pages 69-78, Lens, France, 8-10 juin 2005.

D. Habet, C. M. Li, L. Devendeville, M. Vasquez et J.-L. Guérin. << Une approche hybride pour SAT >>. Dans Actes des 8èmes Journées Nationales sur la Résolution Pratique de Problèmes NP-Complets JNPC'2002,  pages 115-126, Nice, France, 27-29 mai 2002.

L. Brisoux Devendeville, L. Saïs et É. Grégoire. << Recherche Locale : Vers une exploitation des propriétés structurelles >>. Dans Actes des 6èmes Journées Nationales sur la Résolution Pratique de Problèmes NP-Complets JNPC'2000, session Jeunes Chercheurs,  pages 284-285, Marseille, France, 28-30 juin 2000. Version longue.

A. Rauzy, L. Saïs et L. Brisoux. << Calcul propositionnel : Vers une extension du formalisme >>. Dans Actes des 5èmes Journées Nationales sur la Résolution Pratique de Problèmes NP-Complets JNPC'99,  pages 189-198, Lyon, France, 2-4 juin 1999.

L. Brisoux, É. Grégoire et L. Saïs. << Mieux exploiter les échecs au sein des arbres de recherche à la Davis et Putnam >>. Dans Actes des 4èmes Journées Nationales sur la Résolution Pratique de Problèmes NP-Complets JNPC'98 ,  pages 31-39, Nantes, France, 27-29 mai 1998.

L. Brisoux .  << Coopération consistante de bases de connaissance au premier ordre fini >>. Dans Actes des Journées jeunes chercheurs Ganymède, pages 24-28, Lille, France, 28 mai 1998.

Autres
 

L. Brisoux Devendeville . << Satisfaisabilité propositionnelle en informatique Aspects algorithmiques et extensions du formalisme >>. Thèse de doctorat, Université d'Artois, CRIL, Lens, décembre 1999. Version compressée. Version gzippée.
 

L. Brisoux . << De la Logique des Propositions au Premier ordre fini >>. Mémoire de DEA, CRIL-Université d'Artois, juillet 1996.
 
 
 

ENSEIGNEMENTS
Licence II et III : BD2, BD3 & SE2
UE Libre Licence : Latex
Master II MIS - IA&ROAD : Satisfiabilité
 
 

RESPONSABILITÉS

Ancienne responsable de la licence informatique pre-LMD

Ancienne responsable du Master I Informatique

Ancienne responsable du Master spécialité CPIC (Recherche) Informatique

Membre du conseil du SCAS

Membre élue du conseil de gestion de UFR

Mise à jour le