Responsable

Présentation

Le domaine OCIA aborde quatre thèmes principaux :

En optimisation, l’accent est mis sur l’optimisation sous incertitude, en croisant apprentissage automatique et algorithmes, avec des applications en transport et gestion de la santé. Concernant les problèmes NP-difficiles, des techniques avancées de résolution sont développées pour des problèmes combinatoires comme SAT et CSP, avec des applications en ordonnancement et cryptographie.

En cryptanalyse et cryptographie, les recherches portent sur la sécurité des schémas classiques et post-quantiques, notamment les attaques sur les courbes à base de couplage et l’optimisation des algorithmes associés.

Enfin, en ontologies et gestion des connaissances, les travaux visent à renforcer la représentation des connaissances en IA et à personnaliser les parcours d’apprentissage via l’exploitation des traces pédagogiques issues des LMS comme Moodle.

Domaines d'applications
  • Aide à la décision
  • Cryptanalyse algébrique et sécurité informatique
  • Logistique
  • Planification
  • MOOC

Permanents

Catherine BARRY (Maître de Conférences)
Laure BRISOUX-DEVENDEVILLE (Professeur des Universités)
Sami CHERIF (Maître de Conférences)
Claire DELAPLACE (Maître de Conférences)
Gilles DEQUEN (Professeur des Universités)
Frédéric FURST (Maître de Conférences)
Vassilis GIAKOUMAKIS (Professeur des Universités)
Jean-Luc GUERIN (Maître de Conférences)
Nadia HAMANI (Professeur des Universités)
Catherine HUYGHE (Maître de Conférences)
Céline JOIRON (Maître de Conférences)
Adán JOSÉ-GARCÍA (Maître de Conférences)
Gilles KASSEL (Professeur des Universités)
Mathieu LACROIX (Professeur des Universités)
Anne LAPUJADE (Maître de Conférences)
Chu Min LI (Professeur des Universités)
Yu LI (Maître de Conférences)
Corinne LUCET-VASSEUR (Professeur des Universités)
Florette MARTINEZ (Maître de Conférences)
Rui SA SHIBASAKI (Maître de Conférences)
Ines SAAD (Enseignante-Chercheuse (HDR) à l'ESC Amiens)

ATER/Contractuels

Anass SBAI (ATER)

Doctorants

Postdocs / Ingénieurs

Associés

Anciens Membres

Publications récentes - Dépôt HAL

2026

Article dans une revue

auteur
Amandine Pitteman, Gilles Dequen, Emilien Arnaud
titre
Missing Mechanisms Respectful Data Amputation (MMRDA) : A new strategy to realistically assess imputation techniques on tabular datasets with unknown missing data mechanisms
article
Journal of computational science, 2026, 100, pp.102987. ⟨10.1016/j.jocs.2026.102987⟩
identifiant
hal-05712673
Accès au bibtex
BibTex
auteur
Khadija Himri, Celine Joiron, Mohcine Kodad
titre
Beyond Red AI: A Green Agentic-XAI Framework, for Energy-Efficient and High-Fidelity Learning Analytics
article
EPJ Web of Conferences, 2026, 383, pp.07004. ⟨10.1051/epjconf/202638307004⟩
identifiant
hal-05718159
Accès au bibtex
BibTex
auteur
Zhifei Zheng, Sami Cherif, Matthieu Py, Rui Shibasaki, Chu-Min Li, Laurent Deroussi, Nathalie Grangeon
titre
Balancing power with logic: Exact satisfiability-based methods for energy-aware assembly lines
article
Computers and Operations Research, 2026, pp.107635. ⟨10.1016/j.cor.2026.107635⟩
identifiant
hal-05718137
Accès au bibtex
BibTex
auteur
Aya Hidri, Inès Saad
titre
A dominance-based framework for explainable social media message prioritization
article
Journal of Decision Systems, 2026, 35 (1), ⟨10.1080/12460125.2026.2690073⟩
identifiant
hal-05669564
Accès au bibtex
BibTex
auteur
Émilien Arnaud, Gilles Dequen, Émilie Chivé, Delphine Lignier, William Gacquer, Momar Diouf, Thibaut Balcaen, Daniel Aiham Ghazali, Jean-Marc Regimbeau
titre
Identification and prediction of patients eligible for augmented rehabilitation in emergency gastrointestinal surgery (RAUCisable): A protocol for a single-centre, retrospective, observational study
article
PLoS ONE, 2026, 21 (6), pp.e0350113. ⟨10.1371/journal.pone.0350113⟩
identifiant
hal-05644850
Accès au bibtex
BibTex
auteur
Rabeb Ben Othmen, Wassim Abbessi, Sofiane Ouni, Wafa Badreddine, Gilles Dequen
titre
Cluster-Based PBFT Blockchain Consensus Modelling with Jackson Open Queuing Network
article
ACM Transactions on Modeling and Performance Evaluation of Computing Systems, 2026, ⟨10.1145/3812805⟩
identifiant
hal-05615489
Accès au bibtex
BibTex
auteur
Marie Doussiere, Ahlem Aboud, Gilles Dequen, Vincent Goëb
titre
Artificial Intelligence in Rheumatology: From Algorithms to Clinical Impact in Osteoporosis and Chronic Inflammatory Rheumatic Diseases
article
Journal of Clinical Medicine, 2026, 15 (2), pp.491. ⟨10.3390/jcm15020491⟩
identifiant
hal-05457052
Accès au bibtex
BibTex
auteur
Rui Shibasaki, André Rossi, Evgeny Gurevsky
titre
Stability factor for robust balancing of transfer lines under task processing time uncertainty
article
European Journal of Operational Research, 2026, 335 (3), pp.839-854. ⟨10.1016/j.ejor.2026.03.042⟩
identifiant
hal-05586797
Accès au bibtex
BibTex
auteur
Ines Saad, Wafa Bouaynaya
titre
Artificial intelligence method for extracting knowledge from security experts to assess SMEs' information systems
article
International Journal of Knowledge Management Studies, 2026, 17 (1), pp.1-19. ⟨10.1504/IJKMS.2026.152469⟩
identifiant
hal-05580092
Accès au bibtex
BibTex
auteur
Inès Saad, Thierry Jaillet, Brice Mayag, Elsa Negre, Camille Rosenthal Sabroux
titre
Importance of tacit knowledge in online synchronous courses: case of higher education in France
article
International Journal of Knowledge Management Studies, 2026, 17 (2), pp.257-272. ⟨10.1504/IJKMS.2026.153877⟩
identifiant
hal-05667113
Accès au bibtex
BibTex
auteur
Inès Saad, Thierno Tounkara
titre
Artificial intelligence-based group decision making to improve knowledge transfer: the case of distance learning in higher education
article
Journal of Decision Systems, In press, pp.1-16. ⟨10.1080/12460125.2022.2161734⟩
identifiant
hal-04040348
Accès au bibtex
BibTex

Communication dans un congrès

auteur
Asma Khoualdia, Sami Cherif, Stéphane Devismes, Léo Robert
titre
Satisfiability Meets Self-Stabilization
article
28th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2026), Oct 2026, Gothenburg, Sweden
identifiant
hal-05781642
Accès au texte intégral et bibtex
https://hal.science/hal-05781642/file/SSS___Asma_KHOUALDIA%20%284%29.pdf BibTex
auteur
Jinghu Liang, Sami Cherif, Chu-Min Li
titre
Not All Restarts Are Equal: MAB-Learning at the Right Time Scale for SAT
article
International Conference on Principles and Practice of Constraint Programming (CP 2026), Jul 2026, Lisbon, Portugal
identifiant
hal-05652733
Accès au texte intégral et bibtex
https://hal.science/hal-05652733/file/Not_All_Restarts_Are_Equal__MAB_Learning_at_the_Right_Time_Scale_for_SAT%20%281%29.pdf BibTex
auteur
Carl Berton, Sami Cherif, Claire Delaplace
titre
Satisfiability for Large Weight Syndrome Decoding
article
International Conference on Principles and Practice of Constraint Programming (CP 2026), Jul 2026, Lisbon, Portugal
identifiant
hal-05652723
Accès au texte intégral et bibtex
https://hal.science/hal-05652723/file/Satisfiability_for_Large_Weight_Syndrome_Decoding%20%281%29.pdf BibTex
auteur
Asma Khoualdia, Sami Cherif, Stéphane Devismes, Léo Robert
titre
On the Self-Stabilization of Dijkstra’s Asynchronous Token Circulation
article
32nd International Conference on Principles and Practice of Constraint Programming (CP 2026), Jul 2026, Lisbonne, Portugal. pp.32:1--32:20, ⟨10.4230/LIPIcs.CP.2026.32⟩
identifiant
hal-05699072
Accès au bibtex
BibTex
auteur
Asma Khoualdia, Sami Cherif, Stéphane Devismes, Léo Robert
titre
On the Self-Stabilization of Dijkstra's Asynchronous Token Circulation
article
International Conference on Principles and Practice of Constraint Programming (CP 2026), Jul 2026, Lisbon, Portugal
identifiant
hal-05655857
Accès au texte intégral et bibtex
https://hal.science/hal-05655857/file/SAT___Token_Ring___CP2026%20%281%29.pdf BibTex
auteur
Jialu Zhang, Chu-Min Li, Sami Cherif, Shuolin Li
titre
Enhanced Lower Bound Computation in Branch-and-Bound for MaxSAT
article
International Conference on Principles and Practice of Constraint Programming (CP 2026), Jul 2026, Lisbon, Portugal
identifiant
hal-05652727
Accès au texte intégral et bibtex
https://hal.science/hal-05652727/file/CP26_JialuZhang.pdf BibTex
auteur
Khadija Himri, Céline Joiron, Mohcine Kodad
titre
Green-Agentic Routing: A Frugal Multi-Agent Framework for Carbon-Aware LLM Pedagogy
article
2026 International Conference on Circuit, Systems and Communication (ICCSC), Jul 2026, FEZ, Morocco. pp.1-6, ⟨10.1109/ICCSC71566.2026.11650131⟩
identifiant
hal-05727423
Accès au bibtex
BibTex
auteur
Carl Berton, Sami Cherif, Claire Delaplace
titre
Satisfiabilité pour le problème du décodage par syndrome à poids élevé
article
Conférence Nationale en Intelligence Artificielle (CNIA 2026), Jun 2026, Arras, France
identifiant
hal-05625684
Accès au texte intégral et bibtex
https://hal.science/hal-05625684/file/Satisfiabilit__pour_le_probl_me_du_d_codage_de_syndrome___poids__lev_%20%282%29.pdf BibTex
auteur
Asma Khoualdia, Sami Cherif, Stéphane Devismes, Léo Robert
titre
Une approche SAT pour l'analyse de l'autostabilisation d'un unisson asynchrone
article
Conférence Nationale en Intelligence Artificielle (CNIA 2026), Jun 2026, Arras, France
identifiant
hal-05625689
Accès au texte intégral et bibtex
https://hal.science/hal-05625689/file/SAT_Asynchronous_Unison____CNIA2026___new_version%20%281%29.pdf BibTex
auteur
Meriam Ayari, Sami Cherif, Felip Manyà
titre
Sur le calcul des max-réfutations minimales
article
Conférence Nationale en Intelligence Artificielle (CNIA 2026), Jun 2026, Arras, France
identifiant
hal-05625383
Accès au texte intégral et bibtex
https://hal.science/hal-05625383/file/CNIA_2026_MaxRES.pdf BibTex
auteur
Carl Berton, Sami Cherif, Claire Delaplace
titre
SAT-Based Syndrome Decoding and Low-Weight Codewords
article
27th International Symposium on Formal Methods (FM 2026), May 2026, Tokyo, Japan. pp.220-239, ⟨10.1007/978-3-032-26204-2_12⟩
identifiant
hal-05613930
Accès au texte intégral et bibtex
https://hal.science/hal-05613930/file/FM_2026___SAT_Based_Approaches_to_Syndrome_Decoding_and_Low_Weight_Codewords%20%283%29.pdf BibTex
auteur
Anthony Blomme, Sami Cherif, Said Jabbour, Lakhdar Sais
titre
Compression des instances cryptographiques au format XNF
article
Journées Francophones de Programmation par Contraintes (JFPC 2026), May 2026, Louvain- la-Neuve, Belgium
identifiant
hal-05619030
Accès au texte intégral et bibtex
https://hal.science/hal-05619030/file/Compressing_XNF.pdf BibTex
auteur
Jinghu Liang, Sami Cherif, Chu-Min Li
titre
Bandits manchots sensibles à la dynamique des redémarrages pour SAT
article
Journées Francophones de Programmation par Contraintes (JFPC 2026), May 2026, Louvain- la-Neuve, Belgique
identifiant
hal-05619051
Accès au texte intégral et bibtex
https://hal.science/hal-05619051/file/JFPC_2026_paper_jinghu.pdf BibTex
auteur
Asma Khoualdia, Sami Cherif, Stéphane Devismes, Léo Robert
titre
Sur l'autostabilisation de la circulation de jeton asynchrone de Dijkstra
article
Journées Francophones de Programmation par Contraintes (JFPC 2026), May 2026, Louvain- la-Neuve, Belgique
identifiant
hal-05619045
Accès au texte intégral et bibtex
https://hal.science/hal-05619045/file/JFPC_2026_paper_asma.pdf BibTex
auteur
Shuolin Li, Sami Cherif, Chu Min Li, Ahlam Mentag, Rebecca Dauwe, Jialu Zhang
titre
Sur le calcul des sous-arbres colorés maximaux
article
Journées Francophones de Programmation par Contraintes (JFPC 2026), May 2026, Louvain- la-Neuve, Belgique
identifiant
hal-05582340
Accès au texte intégral et bibtex
https://hal.science/hal-05582340/file/JFPC2026_2__1_.pdf BibTex
auteur
Jialu Zhang, Chu-Min Li, Sami Cherif, Shuolin Li
titre
Calcul renforcé des bornes inférieures dans les solveurs MaxSAT de type séparation et évaluation
article
Journées Francophones de Programmation par Contraintes (JFPC 2026), May 2026, Louvain- la-Neuve, Belgique
identifiant
hal-05619009
Accès au texte intégral et bibtex
https://hal.science/hal-05619009/file/JFPC26_JialuZhang.pdf BibTex
auteur
Sarah Degaugue, Olivier Gérard, Justin Scouarnec, Corinne Lucet, Sara Tari, Laure Brisoux Devendeville
titre
Generation of Instances with Estimated Landscape Features for the Two Level p-Median Location Problem
article
European Conference on Evolutionary Computation in Combinatorial Optimization 2026, Apr 2026, Toulouse, France. pp.52-67, ⟨10.1007/978-3-032-20537-7_4⟩
identifiant
hal-05626933
Accès au bibtex
BibTex
auteur
Aya Hidri, Ines Saad, Manel Ben Sassi, Henda Ben Ghezala
titre
A Deep Learning-Based Framework for Depression Detection in Digital Health Care Systems
article
2026 IEEE International Conference on Complex Systems and Intelligent Computing (ICCSIC), Mar 2026, Tabarka, Tunisia. pp.87-92, ⟨10.1109/ICCSIC69301.2026.11521450⟩
identifiant
hal-05628985
Accès au bibtex
BibTex
auteur
Layth Kashou, André Rossi, Evgeny Gurevsky, Rui S. Shibasaki
titre
Benders decomposition for robust balancing of production lines
article
27th Congress of the French Society of Operations Research and Decision Aid (ROADEF 2026), Feb 2026, Tours, France
identifiant
hal-05525199
Accès au texte intégral et bibtex
https://hal.science/hal-05525199/file/ROADEF2026.pdf BibTex
auteur
Antonin Carpentier, Laure Brisoux Devendeville, Corinne Lucet, Rui Sa Shibasaki, Sami Cherif
titre
Approche matheuristique pour la location de centres de soins et leurs services avec contraintes de capacité et gestion de pannes
article
ROADEF 2026, Université de Tours [UT], Feb 2026, Tours, France
identifiant
hal-05534984
Accès au texte intégral et bibtex
https://hal.science/hal-05534984/file/ROADEF2026_Carpentier.pdf BibTex
auteur
Klevi Maliqari, Corinne Lucet, Rui Sá Shibasaki
titre
Locating and dimensioning medical units in underserved areas
article
ROADEF 2026, Feb 2026, Tours (FR), France
identifiant
hal-05554995
Accès au texte intégral et bibtex
https://hal.science/hal-05554995/file/ROADEF_Resume_2026_EN.pdf BibTex

Pré-publication, Document de travail

auteur
Mathieu Vermeulen, Nathalie Guin, Christine Michel, Sébastien Jolivet, Nour El Mawas, Céline Joiron, Marie Lefevre, Walter Nuninger
titre
Critères de caractérisation pour décrire de manière cohérente et comparable divers projets de recherche articulant un EIAH et la notion de compétence
article
2026
identifiant
hal-05677524
Accès au texte intégral et bibtex
https://hal.science/hal-05677524/file/GrilleCompe%CC%81tences%26EIAH_20260701_v2.6.pdf BibTex

2025

Article dans une revue

auteur
Gilles Kassel
titre
Connexions et relations
article
Revue Ouverte d'Intelligence Artificielle, 2025, 6 (1-2), pp.59-83. ⟨10.5802/roia.93⟩
identifiant
hal-05377979
Accès au texte intégral et bibtex
https://hal.science/hal-05377979/file/ROIA_2025__6_1-2_59_0%20%281%29.pdf BibTex
auteur
Jordi Coll, Chu-Min Li, Shuolin Li, Djamal Habet, Felip Manyà
titre
Solving weighted Maximum Satisfiability with Branch and Bound and clause learning
article
Computers and Operations Research, 2025, 183, pp.107195. ⟨10.1016/j.cor.2025.107195⟩
identifiant
hal-05352912
Accès au texte intégral et bibtex
https://hal.science/hal-05352912/file/1-s2.0-S0305054825002230-main.pdf BibTex
auteur
Florette Martinez
titre
A Variation on Knellwolf and Meier's Attack on the Knapsack Generator
article
IACR Communications in Cryptology, 2025, 2 (3), ⟨10.62056/ay4fvurzn⟩
identifiant
hal-05304224
Accès au bibtex
BibTex
auteur
Gilles Kassel
titre
Fundamental choices in Epistemic Foundational Ontology
article
Advances in Knowledge Representation, 2025, 5 (3), pp.53-73. ⟨10.5281/zenodo.17209778⟩
identifiant
hal-05286878
Accès au texte intégral et bibtex
https://hal.science/hal-05286878/file/Fundamental%20choices%20in%20EFO.pdf BibTex
auteur
Émilien Arnaud, Pedro Antonio Moreno-Sanchez, Mahmoud Elbattah, Christine Ammirati, Mark van Gils, Gilles Dequen, Daniel Aiham Ghazali
titre
Development and Clinical Interpretation of an Explainable AI Model for Predicting Patient Pathways in the Emergency Department: A Retrospective Study
article
Applied Sciences, 2025, 15 (15), pp.8449. ⟨10.3390/app15158449⟩
identifiant
hal-05212753
Accès au bibtex
BibTex
auteur
Wafa Bouaynaya, Ines Saad
titre
Multicriteria Classification Method to Evaluate the Security of Information Systems for Emerging Enterprises
article
Canadian Journal of Administrative Sciences - Revue Canadienne des Sciences de l'Administration, 2025, ⟨10.1002/cjas.70019⟩
identifiant
hal-05228460
Accès au bibtex
BibTex
auteur
Charles Bouillaguet, Claire Delaplace, Mickaël Hamdad
titre
The May-Ozerov Algorithm for Syndrome Decoding is “Galactic”
article
IACR Communications in Cryptology, 2025, 2 (1), ⟨10.62056/akjbksuc2⟩
identifiant
hal-05036988
Accès au bibtex
BibTex
auteur
Wassim Abbessi, Sofiane Ouni, Rabeb Ben Othmen, Wafa Badreddine, Gilles Dequen
titre
Random cluster parallel PBFT global consensus for consistent blockchain distributed ledger
article
Cluster Computing, 2025, 28 (3), pp.187. ⟨10.1007/s10586-024-04923-4⟩
identifiant
hal-04986703
Accès au bibtex
BibTex
auteur
Jiongzhi Zheng, Kun He, Jianrong Zhou, Yan Jin, Chu-Min Li, Felip Manyà
titre
Integrating multi-armed bandit with local search for MaxSAT
article
Artificial Intelligence (AIJ), 2025, 338, pp.104242. ⟨10.1016/j.artint.2024.104242⟩
identifiant
hal-04836718
Accès au bibtex
BibTex
auteur
Jordi Coll, Chu-Min Li, Felip Manyà, Elifnaz Yangin
titre
Complete tableau calculi for Regular MaxSAT and Regular MinSAT
article
Cognitive Systems Research, 2025, pp.101319. ⟨10.1016/j.cogsys.2024.101319⟩
identifiant
hal-04877509
Accès au bibtex
BibTex

Communication dans un congrès

auteur
Mahmoud Elbattah, Federica Cilia, Gilles Dequen
titre
Few-Shot Learning with Pretrained Visual Embeddings of Eye-Tracking Patterns for Autism Detection
article
2025 IEEE 11th International Conference on Big Data Computing Service and Machine Learning Applications (BigDataService), Institute of Electrical and Electronics Engineers Inc. (IEEE), Dec 2025, Macau, China. pp.7117-7122, ⟨10.1109/BIGDATA66926.2025.11400766⟩
identifiant
hal-05740476
Accès au bibtex
BibTex
auteur
Charles Bouillaguet, Claire Delaplace, Mickaël Hamdad, Damien Vergnaud
titre
Practical Cryptanalysis of Pseudorandom Correlation Generators Based on Quasi-abelian Syndrome Decoding
article
Advances in Cryptology – ASIACRYPT 2025, Dec 2025, Melbourne, Australia. pp.436-465, ⟨10.1007/978-981-95-5113-2_14⟩
identifiant
hal-05446700
Accès au bibtex
BibTex
auteur
Jialu Zhang, Chu-Min Li, Sami Cherif, Shuolin Li, Zhifei Zheng
titre
Integer Linear Programming Preprocessing for Maximum Satisfiability
article
37th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2025), Nov 2025, Athènes, Greece. pp.408-414, ⟨10.1109/ICTAI66417.2025.00061⟩
identifiant
hal-05622913
Accès au texte intégral et bibtex
https://hal.science/hal-05622913/file/ICTAI2025_jialu.pdf BibTex
auteur
Zhifei Zheng, Sami Cherif, Rui Sá Shibasaki, Chu-Min Li, Jialu Zhang
titre
Exact Approaches for the Diverse Satisfiability Problem
article
European Conference on Logics in Artificial Intelligence (JELIA 2025), Sep 2025, Kutaisi, France
identifiant
hal-05268883
Accès au texte intégral et bibtex
https://u-picardie.hal.science/hal-05268883/file/_jelia2025__DiverseSAT.pdf BibTex
auteur
Zhifei Zheng, Sami Cherif, Rui Sá Shibasaki, Chu-Min Li, Jialu Zhang
titre
Maximum Satisfiability Formulations for Nonlinear Integer Programming
article
JELIA:European Conference on Logics in Artificial Intelligence, Sep 2025, Kutaisi, Georgia, France. pp.190-206, ⟨10.1007/978-3-032-04590-4_14⟩
identifiant
hal-05305189
Accès au texte intégral et bibtex
https://hal.science/hal-05305189/file/_jelia2025__MaxSAT_for_NLIP.pdf BibTex
auteur
Zhifei Zheng, Sami Cherif, Rui Sá Shibasaki, Chu-Min Li, Jialu Zhang
titre
Maximum Satisfiability Formulations for Nonlinear Integer Programming
article
European Conference on Logics in Artificial Intelligence (JELIA 2025), Sep 2025, Kutaisi, Georgia
identifiant
hal-05268901
Accès au texte intégral et bibtex
https://u-picardie.hal.science/hal-05268901/file/_jelia2025__MaxSAT_for_NLIP%20%285%29.pdf BibTex
auteur
Zhifei Zheng, Sami Cherif, Rui Sá Shibasaki, Chu-Min Li, Jialu Zhang
titre
Exact Approaches for the Diverse Satisfiability Problem
article
JELIA:European Conference on Logics in Artificial Intelligence, Sep 2025, Kutaisi, Georgia, France. pp.207-224, ⟨10.1007/978-3-032-04590-4_15⟩
identifiant
hal-05305175
Accès au texte intégral et bibtex
https://hal.science/hal-05305175/file/_jelia2025__DiverseSAT.pdf BibTex
auteur
Jialu Zhang, Chu-Min Li, Sami Cherif, Shuolin Li
titre
Weight-Aware Branch-and-Bound for Weighted Maximum Satisfiability
article
Thirty-Fifth International Joint Conference on Artificial Intelligence {IJCAI-26}, Aug 2025, Bremen, Germany. pp.2427-2436, ⟨10.24963/ijcai.2026/270⟩
identifiant
hal-05758435
Accès au bibtex
BibTex
auteur
Mao Luo, Hang Ding, Chu-Min Li, Junjie Zhang, Zhiwei Ye, Zhipeng Lü, Caiquan Xiong, Xinyun Wu
titre
Bridging LLMs and SAT Solving: Automated Evolution of High-Performance Heuristics
article
Thirty-Fifth International Joint Conference on Artificial Intelligence {IJCAI-26}, Aug 2025, Bremen, Germany. pp.2309-2318, ⟨10.24963/ijcai.2026/257⟩
identifiant
hal-05758471
Accès au bibtex
BibTex
auteur
Mingming Jin, Chu-Min Li, Kun He
titre
ULE-MWC: An UnLocking-Enhanced Lookahead Framework for Exact Maximum Weight Clique Search
article
Thirty-Fifth International Joint Conference on Artificial Intelligence {IJCAI-26}, Aug 2025, Bremen, Germany. pp.2265-2272, ⟨10.24963/ijcai.2026/252⟩
identifiant
hal-05758464
Accès au bibtex
BibTex
auteur
Asma Khoualdia, Sami Cherif, Stéphane Devismes, Léo Robert
titre
Analyzing Self-Stabilization of Synchronous Unison via Propositional Satisfiability
article
31st International Conference on Principles and Practice of Constraint Programming (CP 2025), Aug 2025, Glasgow, United Kingdom. pp.19:1--19:21, ⟨10.4230/LIPIcs.CP.2025.19⟩
identifiant
hal-05203873
Accès au bibtex
BibTex
auteur
Anthony Blomme, Sami Cherif, Sorina Ionica, Gilles Dequen
titre
ANF-Based Satisfiability for Weil-Descent Cryptographic Attacks
article
11th-2025 International Conference on Control, Decision and Information Technologies (CoDIT), Jul 2025, Split - Croatia, Croatia. pp.906-911, ⟨10.1109/CoDIT66093.2025.11321693⟩
identifiant
hal-05176414
Accès au texte intégral et bibtex
https://hal.science/hal-05176414/file/CODIT2025_article.pdf BibTex
auteur
Antonin Carpentier, Laure Brisoux-Devendeville, Corinne Lucet, Rui Sá Shibasaki, Sami Cherif
titre
Stratified p-Center Problem with Capacity Constraints and Failure Foresight
article
11th International Conference on Control, Decision and Information Technologies (CODiT), Jul 2025, Split, Croatia. ⟨10.1109/CoDIT66093.2025.11321645⟩
identifiant
hal-05329643
Accès au texte intégral et bibtex
https://hal.science/hal-05329643/file/CoDIT_2025_Antonin.pdf BibTex
auteur
G Kassel
titre
Fondements ontologiques de la connaissance conceptuelle du monde matériel
article
28ème Conférence Nationale en Intelligence Artificielle (CNIA) Plate-forme Intelligence Artificielle (PFIA 2025), AFIA, Jul 2025, Dijon, France. pp.88-97
identifiant
hal-05238549
Accès au texte intégral et bibtex
https://hal.science/hal-05238549/file/Fondements%20ontologiques%20de%20la%20connaissance.pdf BibTex
auteur
Gilles Kassel
titre
Ontologies épistémiques vs référentielles
article
36es Journées Francophones d’Ingénierie des Connaissances (IC) Plate-forme Intelligence Artificielle (PFIA 2025), AFIA, Jul 2025, Dijon, France. pp.114-119
identifiant
hal-05238539
Accès au texte intégral et bibtex
https://hal.science/hal-05238539/file/ontologies%20%C3%A9pist%C3%A9miques%20vs%20r%C3%A9f%C3%A9rentielles.pdf BibTex
auteur
Jialu Zhang, Chu-Min Li, Sami Cherif, Shuolin Li, Zhifei Zheng
titre
Prétraitement PLNE pour la simplification des instances MaxSAT
article
Journées Francophones de Programmation par Contraintes (JFPC 2025), Jun 2025, Dijon, France
identifiant
hal-05208085
Accès au texte intégral et bibtex
https://hal.science/hal-05208085/file/JFPC25_paper_18.pdf BibTex
auteur
Zhifei Zheng, Sami Cherif, Rui Sá Shibasaki, Chu-Min Li, Jialu Zhang
titre
Formulations MaxSAT pour la programmation non linéaire en nombres entiers
article
Journées Francophones de Programmation par Contraintes (JFPC 2025), Jun 2025, Dijon, France
identifiant
hal-05208053
Accès au texte intégral et bibtex
https://hal.science/hal-05208053/file/JFPC25_paper_14.pdf BibTex
auteur
Asma Khoualdia, Sami Cherif, Stéphane Devismes, Léo Robert
titre
Analyse de l'autostabilisation de l'unisson synchrone via la satisfiabilité propositionnelle
article
Journées Francophones de Programmation par Contraintes (JFPC 2025), Jun 2025, Dijon, France
identifiant
hal-05208079
Accès au texte intégral et bibtex
https://hal.science/hal-05208079/file/JFPC25_paper_17.pdf BibTex
auteur
Thiago G. Araujo, Zhifei Zheng, Matthieu Py, Sami Cherif, Rui Sá Shibasaki, Laurent Deroussi, Nathalie Grangeon, Chu-Min Li
titre
Approche heuristique pour l'équilibrage de lignes d'assemblage avec minimisation du pic de consommation énergétique
article
Journées Francophones de Programmation par Contraintes (JFPC 2025), Jun 2025, Dijon, France
identifiant
hal-05208095
Accès au texte intégral et bibtex
https://hal.science/hal-05208095/file/JFPC25_paper_30.pdf BibTex
auteur
Carl Berton, Sami Cherif, Claire Delaplace
titre
Satisfiabilité pour le décodage par syndrome
article
Journées Francophones de Programmation par Contraintes (JFPC 2025), Jun 2025, Dijon, France
identifiant
hal-05208088
Accès au texte intégral et bibtex
https://hal.science/hal-05208088/file/JFPC25_paper_22.pdf BibTex
auteur
Zhifei Zheng, Sami Cherif, Rui Sá Shibasaki, Chu-Min Li
titre
Approches exactes pour le problème de satisfiabilité diversifiée
article
Journées Francophones de Programmation par Contraintes (JFPC 2025), Jun 2025, Dijon, France
identifiant
hal-05208068
Accès au texte intégral et bibtex
https://hal.science/hal-05208068/file/JFPC25_paper_15.pdf BibTex
auteur
Jordi Coll, Chu Min Li, Felip Manyà, Elifnaz Yangin
titre
A Complete Tableau Calculus for Signed MaxSAT
article
2025 IEEE 55th International Symposium on Multiple-Valued Logic (ISMVL), Institute of Electrical and Electronics Engineers Inc, Jun 2025, Montreal, Canada. pp.38-43, ⟨10.1109/ISMVL64713.2025.00016⟩
identifiant
hal-05407387
Accès au bibtex
BibTex
auteur
Mayssa Jammoul, Inès Saad
titre
Vers une approche de classification multicritère pour optimiser les décisions d'investissement durables
article
3e Colloque ARES, ESC Amiens & UMONS, May 2025, Amiens, France
identifiant
hal-05344756
Accès au bibtex
BibTex
auteur
Shuolin Li, Chu-Min Li, Jordi Coll, Djamal Habet, Felip Manyà
titre
Improving the Lower Bound in Branch-and-Bound Algorithms for MaxSAT
article
The 39th Annual AAAI Conference on Artificial Intelligence, Feb 2025, Philadelphia, United States. pp.11272-11281, ⟨10.1609/aaai.v39i11.33226⟩
identifiant
hal-05352830
Accès au texte intégral et bibtex
https://hal.science/hal-05352830/file/33226-Article%20Text-37294-1-2-20250410.pdf BibTex
auteur
Antonin Carpentier, Laure Brisoux-Devendeville, Corinne Lucet, Rui Sá Shibasaki, Sami Cherif
titre
Problème du p-centre avec contraintes de capacité, stratification et gestion des pannes
article
ROADEF 2025, Feb 2025, Paris, France
identifiant
hal-05001302
Accès au texte intégral et bibtex
https://hal.science/hal-05001302/file/ROADEF2025.pdf BibTex

Chapitre d'ouvrage

auteur
Justin Scouarnec, Corinne Lucet, Sara Tari, Laure Brisoux Devendeville
titre
Healthcare Facility Location Problem and Fitness Landscape Analysis
article
Martin S. Krejca; Markus Wagner. Evolutionary Computation in Combinatorial Optimization : 25th European Conference, EvoCOP 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23–25, 2025, Proceedings, 15610, Springer Nature Switzerland, pp.217-231, 2025, Lecture Notes in Computer Science (LNCS,volume 15610), 978-3-031-86849-8. ⟨10.1007/978-3-031-86849-8_14⟩
identifiant
hal-05248141
Accès au bibtex
BibTex
auteur
Sébastien Balny, Claire Delaplace, Gilles Dequen
titre
Another L Makes It Better? Lagrange Meets LLL and May Improve BKZ Pre-Processing
article
2025 Proceedings of the Symposium on Algorithm Engineering and Experiments (ALENEX), Society for Industrial and Applied Mathematics, pp.181-193, 2025, ⟨10.1137/1.9781611978339.15⟩
identifiant
hal-04879590
Accès au bibtex
BibTex

Ouvrages

auteur
Marie-Hélène Abel, Nada Matta, Hedi Karray, Inès Saad
titre
Ethics and Digital Transition
article
ISTEPublishing Knowledge & Wiley. , 256 p., 2025, 9781786309570
identifiant
hal-05423423
Accès au bibtex
BibTex

2024

Article dans une revue

auteur
Mahmoud Elbattah, Osman Ali Sadek Ibrahim, Gilles Dequen
titre
Editorial: Improving autism spectrum disorder diagnosis using machine learning techniques
article
Frontiers in Neuroinformatics, 2024, 18, ⟨10.3389/fninf.2024.1529839⟩
identifiant
hal-04826323
Accès au bibtex
BibTex
auteur
Judith André, Momar Diouf, Margaret P. Martinetti, Olivia Ortelli, Fabien Gierski, Frédéric Fürst, Olivier Pierrefiche, Mickaël Naassila
titre
Évaluer le binge drinking et le binge drinking de haute intensité par le BDCT, un nouvel outil de classification
article
Revue Alcoologie et Addictologie, 2024, Revue Alcoologie et Addictologie, T44 N3
identifiant
hal-04819117
Accès au texte intégral et bibtex
https://hal.science/hal-04819117/file/Evaluer%20le%20binge%20drinking.pdf BibTex
auteur
Rui Shibasaki, Mourad Baïou, Francisco Barahona, Philippe Mahey, Maurício de Souza
titre
Volume-Based Branch-and-Cut Algorithm for Large-Scale Fixed-Charge Multicommodity Network Design
article
Annals of Operations Research, 2024, 351, pp.133-166. ⟨10.1007/s10479-024-06303-y⟩
identifiant
hal-04760773
Accès au texte intégral et bibtex
https://hal.science/hal-04760773/file/final_version.pdf BibTex
auteur
Damien Vidal, Claire Delaplace, Sorina Ionica
titre
An analysis of the Crossbred Algorithm for the MQ Problem
article
IACR Communications in Cryptology, 2024, ⟨10.62056/ak86cy7qiu⟩
identifiant
hal-04729683
Accès au bibtex
BibTex
auteur
Jianrong Zhou, Kun He, Jiongzhi Zheng, Chu-Min Li
titre
Geometric batch optimization for packing equal circles in a circle on large scale
article
Expert Systems with Applications, 2024, pp.123952. ⟨10.1016/j.eswa.2024.123952⟩
identifiant
hal-04543462
Accès au bibtex
BibTex
auteur
Jianrong Zhou, Shuo Ren, Kun He, Yanli Liu, Chu-Min Li
titre
An efficient solution space exploring and descent method for packing equal spheres in a sphere
article
Computers and Operations Research, 2024, 164, pp.106522. ⟨10.1016/j.cor.2023.106522⟩
identifiant
hal-04473319
Accès au bibtex
https://arxiv.org/pdf/2305.10023 BibTex
auteur
Qingyun Zhang, Yuming Du, Zhouxing Su, Chu-Min Li, Junzhou Xu, Zhihuai Chen, Zhipeng Lü
titre
Threshold-Based Responsive Simulated Annealing for Directed Feedback Vertex Set Problem
article
Proceedings of the AAAI Conference on Artificial Intelligence, 2024, 38 (18), pp.20856-20864. ⟨10.1609/aaai.v38i18.30075⟩
identifiant
hal-04524415
Accès au bibtex
BibTex
auteur
Sorina Ionica, Pınar Kılıçer, Kristin Lauter, Elisa Lorenzo García, Adelina Mânzăţeanu, Christelle Vincent
titre
Determining the primes of bad reduction of cm curves of genus 3
article
Quarterly Journal of Mathematics, 2024, ⟨10.1093/qmath/haae005⟩
identifiant
hal-04517665
Accès au bibtex
https://arxiv.org/pdf/2212.14083 BibTex
auteur
Eimear Byrne, Michela Ceria, Sorina Ionica, Relinde Jurrius
titre
Weighted Subspace Designs from $q$-Polymatroids
article
Journal of Combinatorial Theory, Series A, 2024, 201
identifiant
hal-03251251
Accès au texte intégral et bibtex
https://hal.science/hal-03251251/file/bcji_arxiv_03_05.pdf BibTex
auteur
Rui S. Shibasaki, André Rossi, Evgeny Gurevsky
titre
A new upper bound based on Dantzig-Wolfe decomposition to maximize the stability radius of a simple assembly line under uncertainty
article
European Journal of Operational Research, 2024, 313 (3), pp.1015-1030. ⟨10.1016/j.ejor.2023.08.046⟩
identifiant
hal-04192659
Accès au texte intégral et bibtex
https://u-picardie.hal.science/hal-04192659/file/EJOR_2024__DW_for_R_SALBP__with_R_S__Shibasaki.pdf BibTex

Communication dans un congrès

auteur
Arseme Vadèle Djeufack Nanfack, Gaël Le Mahec, Gilles Dequen
titre
Optimizing Privacy While Limiting Information Loss in Distributed Data Anonymization
article
2024 IEEE International Conference on Big Data (BigData), Dec 2024, Washington, United States. pp.352-359, ⟨10.1109/BigData62323.2024.10825321⟩
identifiant
hal-04904478
Accès au bibtex
BibTex
auteur
Mahmoud Elbattah, Emilien Arnaud, Daniel Aiham Ghazali, Gilles Dequen
titre
Exploring the Ethical Challenges of Large Language Models in Emergency Medicine: A Comparative International Review
article
2024 IEEE International Conference on Bioinformatics and Biomedicine (BIBM), Dec 2024, Lisbon, Portugal. pp.5750-5755, ⟨10.1109/BIBM62325.2024.10822376⟩
identifiant
hal-04882186
Accès au bibtex
BibTex
auteur
Zhifei Zheng, Sami Cherif, Rui Sá Shibasaki
titre
Optimizing Power Peaks in Simple Assembly Line Balancing Through Maximum Satisfiability
article
2024 IEEE 36th International Conference on Tools with Artificial Intelligence (ICTAI), Oct 2024, Herndon, United States. pp.363-370, ⟨10.1109/ICTAI62512.2024.00060⟩
identifiant
hal-05017791
Accès au texte intégral et bibtex
https://u-picardie.hal.science/hal-05017791/file/SALB3PM_ICTAI.pdf BibTex
auteur
Jordi Coll, Chu-Min Li, Felip Manyà, Elifnaz Yangin
titre
A Complete Tableau Calculus for Non-Clausal Regular MinSAT
article
26th International Conference of the Catalan Association for Artificial Intelligence-CCIA, Catalan Association for Artificial Intelligence-CCIA, Oct 2024, Barcelona, Spain. pp.278-287, ⟨10.3233/FAIA240449⟩
identifiant
hal-05474715
Accès au bibtex
BibTex
auteur
Sami Cherif, Heythem Sattoutah, Chu-Min Li, Corinne Lucet, Laure Brisoux-Devendeville
titre
Minimizing Working-Group Conflicts in Conference Session Scheduling Through Maximum Satisfiability
article
30th International Conference on Principles and Practice of Constraint Programming (CP 2024), Sep 2024, Girona, Spain. ⟨10.4230/LIPIcs.CP.2024.34⟩
identifiant
hal-04699557
Accès au texte intégral et bibtex
https://hal.science/hal-04699557/file/LIPIcs.CP.2024.34.pdf BibTex
auteur
G Kassel
titre
Variété d'objets physiques
article
35es Journées francophones d'Ingénierie des Connaissances (IC 2024) @ Plate-Forme Intelligence Artificielle (PFIA 2024), AFIA, Jul 2024, La Rochelle, France. pp.14-23
identifiant
hal-04637792
Accès au texte intégral et bibtex
https://hal.science/hal-04637792/file/vari%C3%A9t%C3%A9%20d%27objets%20physiques.pdf BibTex
auteur
Thomas Bazaille, Chumin Li, Corinne Lucet, Laure Brisoux Devendeville, Sami Cherif
titre
Approche portfolio pour le problème des p-centres
article
Journées Francophones de Programmation par Contraintes (JFPC 2024), Jun 2024, Lens, France
identifiant
hal-04701887
Accès au texte intégral et bibtex
https://hal.science/hal-04701887/file/04x02.pdf BibTex
auteur
Sami Cherif, Heythem Sattoutah, Chu-Min Li, Corinne Lucet, Laure Brisoux-Devendeville
titre
Planification des sessions parallèles de la conférence ROADEF via la satisfiabilité maximum
article
Journées Francophones de Programmation par Contraintes (JFPC 2024), Jun 2024, Lens, France
identifiant
hal-04701879
Accès au texte intégral et bibtex
https://hal.science/hal-04701879/file/04x03.pdf BibTex
auteur
Zhifei Zheng, Sami Cherif, Rui Sá Shibasaki
titre
Minimisation des pics d'énergie dans l'équilibrage des lignes d'assemblage par la Satisfiabilité Maximum
article
Actes JFPC 2024, Jun 2024, Lens, France
identifiant
hal-04684888
Accès au texte intégral et bibtex
https://hal.science/hal-04684888/file/SALB3PM_JFPC2024.pdf BibTex
auteur
Anthony Blomme, Sami Cherif, Sorina Ionica, Gilles Dequen
titre
Recherche arborescente et apprentissage pour les problèmes cryptographiques
article
Journées Francophones de Programmation par Contraintes (JFPC 2024), Jun 2024, Lens, France
identifiant
hal-04701880
Accès au texte intégral et bibtex
https://hal.science/hal-04701880/file/01x02%20%281%29.pdf BibTex
auteur
Mohamed Lamgarraj, Céline Joiron, Aymeric Parant, Gilles Dequen
titre
Exploring Item Difficulty Prediction: Data Driven Approach for Item Difficulty Estimation
article
20th International Conference on Intelligent Tutoring Systems (ITS), Jun 2024, Thessaloniki, Greece. pp.415-424, ⟨10.1007/978-3-031-63028-6_36⟩
identifiant
hal-04706345
Accès au bibtex
BibTex
auteur
Emilien Arnaud, Mahmoud Elbattah, Amandine Pitteman, Gilles Dequen, Daniel Aiham Ghazali, Pedro Moreno-Sánchez
titre
Consistency of XAI Models against Medical Expertise: An Assessment Protocol
article
2024 IEEE 12th International Conference on Healthcare Informatics (ICHI), Jun 2024, Orlando, United States. pp.732-736, ⟨10.1109/ICHI61247.2024.00116⟩
identifiant
hal-04677341
Accès au bibtex
BibTex
auteur
Jordi Coll, Chu Min Li, Felip Manyà, Elifnaz Yangin
titre
A Tableau Calculus for Non-Clausal Regular MaxSAT
article
2024 IEEE 54th International Symposium on Multiple-Valued Logic (ISMVL), May 2024, Brno, France. pp.137-142, ⟨10.1109/ISMVL60454.2024.00035⟩
identifiant
hal-04767647
Accès au bibtex
BibTex
auteur
Rabeb Ben Othmen, Wassim Abbessi, Sofiane Ouni, Wafa Badreddine, Gilles Dequen
titre
Low latency PBFT parallel consensus for IoT blockchain platform
article
2024 IEEE 27th International Symposium on Real-Time Distributed Computing (ISORC), May 2024, Tunis, Tunisia. pp.1-6, ⟨10.1109/ISORC61049.2024.10551353⟩
identifiant
hal-04613141
Accès au bibtex
BibTex
auteur
Matthieu Fagot, Laure Brisoux Devendeville, Corinne Lucet
titre
Optimisation de la sélection des opérateurs d'un algorithme Adaptive Large Neighborhood Search par de l'apprentissage par renforcement profond
article
25 eme Congès Annuel de la Société Francaise de Recherche Opérationnelle et d'Aide à la Décision (ROADEF 2024), Mar 2024, Amiens, France
identifiant
hal-04502678
Accès au texte intégral et bibtex
https://hal.science/hal-04502678/file/ROADEF2024-1.pdf BibTex
auteur
Rui S. Shibasaki, André Rossi, Evgeny Gurevsky
titre
Dantzig-Wolfe decomposition for robust balancing of a simple assembly line under uncertainty
article
25th Congress of the French Society of Operations Research and Decision Aid (ROADEF 2024), Mar 2024, Amiens, France
identifiant
hal-04451791
Accès au texte intégral et bibtex
https://hal.science/hal-04451791/file/ROADEF2024.pdf BibTex

Chapitre d'ouvrage

auteur
Jinghui Xue, Jiongzhi Zheng, Kun He, Chu-Min Li, Yanli Liu
titre
DiverTEAM: An Effective Evolutionary Algorithm for Diversified Top-k (Weight) Clique Search Problems
article
ECAI 2024, 392, IOS Press, pp.4108 - 4115, 2024, Frontiers in Artificial Intelligence and Applications, ⟨10.3233/FAIA240981⟩
identifiant
hal-04744936
Accès au bibtex
BibTex
auteur
Sorina Ionica
titre
The Complex Multiplication Method for Genus 3 Curves
article
New Frontiers in Number Theory and Applications, Springer Nature Switzerland, pp.221-251, 2024, Trends in Mathematics, 978-3-031-51958-1. ⟨10.1007/978-3-031-51959-8_11⟩
identifiant
hal-04593397
Accès au bibtex
BibTex
auteur
Sorina Ionica
titre
The Complex Multiplication Method in Genus 3
article
New Frontiers in Number Theory and Applications, Springer, In press
identifiant
hal-04363854
Accès au bibtex
BibTex

Ouvrages

auteur
Inès Saad, Camille Rosenthal-Sabroux, Faiez Gargouri, Salem Chakhar, Nigel Williams, Ella Haig
titre
Advances in Information Systems, Artificial Intelligence and Knowledge Management
article
Springer Nature Switzerland, 486, 2024, Lecture Notes in Business Information Processing, ⟨10.1007/978-3-031-51664-1⟩
identifiant
hal-05000944
Accès au bibtex
BibTex

Pré-publication, Document de travail

auteur
Arsème Vadèle, Djeufack Nanfack, Gaël Le Mahec, Gilles Dequen, Vianney Kengne Tchendji, Jerry Lacmou Zeutouo
titre
Achieving k-anonymity of a large-scale database in a distributed memory environment
article
2024
identifiant
hal-04516476
Accès au bibtex
BibTex

2023

Article dans une revue

auteur
Gilles Kassel
titre
Plaidoyer pour des ontologies épistémiques
article
Applied Ontology, 2023, 18 (4), pp.367-397. ⟨10.3233/AO-230031⟩
identifiant
hal-04421275
Accès au texte intégral et bibtex
https://hal.science/hal-04421275/file/A%20plea%20for%20epistemic%20ontologies.pdf BibTex
auteur
Gilles Dequen
titre
Informatique, Robotique Médicale et Données : le point de vue de l’informaticien
article
Journal de droit de la santé et de l'assurance maladie, 2023, 38
identifiant
hal-04694676
Accès au texte intégral et bibtex
https://hal.science/hal-04694676/file/Informatique%2C%20Robotique%20Me%CC%81dicale%20et%20Donne%CC%81es%20-%20le%20point%20de%20vue%20de%20l%E2%80%99informaticien.pdf BibTex
auteur
Emilien Arnaud, Mahmoud Elbattah, Christine Ammirati, Gilles Dequen, Daniel Aiham Ghazali
titre
Predictive models in emergency medicine and their missing data strategies: a systematic review
article
npj Digital Medicine, 2023, 6 (1), pp.28. ⟨10.1038/s41746-023-00770-6⟩
identifiant
hal-04012103
Accès au bibtex
BibTex
auteur
Mohamed Sami Cherif
titre
Reasoning and inference for (Maximum) satisfiability: new insights (abstract)
article
Constraints, 2023, 28 (3), pp.513-514. ⟨10.1007/s10601-023-09365-0⟩
identifiant
hal-04323221
Accès au bibtex
BibTex
auteur
Simon Caillard, Laure Brisoux Devendeville, Corinne Lucet
titre
SimU-TACS: Ant Colony System for a planning problem in health simulation training
article
Applied Soft Computing, 2023, pp.110848. ⟨10.1016/j.asoc.2023.110848⟩
identifiant
hal-04207247
Accès au texte intégral et bibtex
https://u-picardie.hal.science/hal-04207247/file/S1568494623008669.pdf BibTex
auteur
Jordi Coll, Chu-Min Li, Felip Manyà, Elifnaz Yangin
titre
MaxSAT resolution for regular propositional logic
article
International Journal of Approximate Reasoning, 2023, 162, ⟨10.1016/j.ijar.2023.109010⟩
identifiant
hal-04321549
Accès au texte intégral et bibtex
https://hal.science/hal-04321549/file/1-s2.0-S0888613X2300141X-main.pdf BibTex
auteur
Qingyun Zhang, Zhipeng Lü, Zhouxing Su, Chumin Li
titre
A vertex weighting-based double-tabu search algorithm for the classical p -center problem
article
Computers and Operations Research, 2023, pp.106373. ⟨10.1016/j.cor.2023.106373⟩
identifiant
hal-04179925
Accès au bibtex
BibTex
auteur
Judith André, Momar Diouf, Margaret Martinetti, Olivia Ortelli, Fabien Gierski, Frederic Fürst, Olivier Pierrefiche, Mickael Naassila
titre
A new statistical model for binge drinking pattern classification in college-student populations
article
Frontiers in Psychology, 2023, 14, ⟨10.3389/fpsyg.2023.1134118⟩
identifiant
hal-04176953
Accès au texte intégral et bibtex
https://u-picardie.hal.science/hal-04176953/file/fpsyg-14-1134118.pdf BibTex
auteur
Clémence Mauger, Gaël Le Mahec, Gilles Dequen
titre
Optimizing Privacy and Data Utility: Metrics and Strategies
article
Transactions on Data Privacy, 2023, 16 (3), pp.153-189
identifiant
hal-04138599
Accès au bibtex
BibTex
auteur
Jun Wu, Chu-Min Li, Luzhi Wang, Shuli Hu, Peng Zhao, Minghao Yin
titre
On solving simplified diversified top- k s -plex problem
article
Computers and Operations Research, 2023, 153, pp.106187. ⟨10.1016/j.cor.2023.106187⟩
identifiant
hal-04510769
Accès au bibtex
BibTex
auteur
Jiongzhi Zheng, Kun He, Jianrong Zhou, Yan Jin, Chu-Min Li
titre
Reinforced Lin–Kernighan–Helsgaun algorithms for the traveling salesman problems
article
Knowledge-Based Systems, 2023, 260, pp.110144. ⟨10.1016/j.knosys.2022.110144⟩
identifiant
hal-04124984
Accès au bibtex
https://arxiv.org/pdf/2207.03876 BibTex
auteur
E. Arnaud, E. Petitprez, C. Ammirati, B. Nemitz, G. Dequen, M. Gignon, D.A. Ghazali
titre
L’intelligence artificielle dans les structures d’urgences : place de la formation et de la garantie humaine
article
Annales françaises de médecine d'urgence, 2023, ⟨10.3166/afmu-2022-0496⟩
identifiant
hal-04210786
Accès au bibtex
BibTex
auteur
Eimear Byrne, Michela Ceria, Sorina Ionica, Relinde Jurrius, Elif Saçikara
titre
Constructions of New q-Cryptomorphisms
article
Designs, Codes and Cryptography, 2023, 91 (2), pp.451-473. ⟨10.1007/s10623-022-01087-3⟩
identifiant
hal-04363827
Accès au bibtex
https://arxiv.org/pdf/2104.01486 BibTex
auteur
Bogdan Dina, Sorina Ionica, Jeroen Sijsling
titre
Isogenous hyperelliptic and non-hyperelliptic Jacobians with maximal complex multiplication
article
Mathematics of Computation, 2023, 92, pp.349-383
identifiant
hal-03251240
Accès au texte intégral et bibtex
https://hal.science/hal-03251240/file/HypNonHyp.pdf BibTex
auteur
Hua Jiang, Ke Bai, Hai-Jiao Liu, Chu-Min Li, Felip Manyà, Zhang-Hua Fu
titre
Parallel bounded search for the Maximum Clique Problem
article
Journal of Computer Science and Technology, 2023, 38 (5), pp.1187-1202. ⟨10.1007/s11390-022-1803-8⟩
identifiant
hal-04321512
Accès au bibtex
BibTex

Communication dans un congrès

auteur
Emilien Arnaud, Mahmoud Elbattah, Pedro Moreno-Sánchez, Gilles Dequen, Daniel Aiham Ghazali
titre
Explainable NLP Model for Predicting Patient Admissions at Emergency Department Using Triage Notes
article
2023 IEEE International Conference on Big Data (BigData), Dec 2023, Sorrento, Italy. pp.4843-4847, ⟨10.1109/BigData59044.2023.10386753⟩
identifiant
hal-04517843
Accès au bibtex
BibTex
auteur
Jiongzhi Zheng, Zhuo Chen, Chu-Min Li, Kun He
titre
Rethinking the Soft Conflict Pseudo Boolean Constraint on MaxSAT Local Search Solvers
article
Thirty-Third International Joint Conference on Artificial Intelligence {IJCAI-24}, Aug 2023, Jeju, South Korea. pp.1989-1997, ⟨10.24963/ijcai.2024/220⟩
identifiant
hal-04664122
Accès au bibtex
BibTex
auteur
Matthieu Py, Mohamed Sami Cherif, Djamal Habet
titre
Proofs and Certificates for Max-SAT (Extended Abstract) *
article
International Joint Conference on Artificial Intelligence, Aug 2023, Macao, China. ⟨10.24963/ijcai.2023/787⟩
identifiant
hal-04318066
Accès au texte intégral et bibtex
https://hal.science/hal-04318066/file/IJCAI_2023___Proof_And_Certificates_for_Max_SAT__Extended_Abstract_.pdf BibTex
auteur
Shuolin Li, Chu-Min Li, Mao Luo, Jordi Coll, Djamal Habet, Felip Manyà
titre
A New Variable Ordering for In-processing Bounded Variable Elimination in SAT Solvers
article
32th International Joint Conferences on Artificial Intelligence (IJCAI 2023), Aug 2023, Macao, Macau SAR China. ⟨10.24963/ijcai.2023/220⟩
identifiant
hal-04145361
Accès au texte intégral et bibtex
https://hal.science/hal-04145361/file/A_New_Variable_Ordering_for_In_processing_Bounded_Variable_Elimination_in_SAT_Solvers.pdf BibTex
auteur
Zhenxuan Xie, Zhipeng Lü, Zhouxing Su, Chu-Min Li, Junwen Ding, Yuxuan Wang
titre
A Swap Relaxation-Based Local Search for the Latin Square Completion Problem
article
Thirty-Third International Joint Conference on Artificial Intelligence {IJCAI-24}, Aug 2023, Jeju, South Korea. pp.7047-7055, ⟨10.24963/ijcai.2024/779⟩
identifiant
hal-04664125
Accès au bibtex
BibTex
auteur
Gilles Kassel
titre
Connexions et relations
article
34es Journées Francophones d'Ingénierie des Connaissances (IC) Plate-Forme Intelligence Artificielle (PFIA 2023), AFIA, Jul 2023, Strasbourg, France. pp.133-142
identifiant
hal-04421284
Accès au texte intégral et bibtex
https://hal.science/hal-04421284/file/Connexions%20et%20Relations.pdf BibTex
auteur
Shuolin Li, Jordi Coll, Djamal Habet, Chu Min Li, Felip Manyà
titre
A Tableau Calculus for Signed Maximum Satisfiability
article
2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL), May 2023, Matsue, Japan. pp.170-175, ⟨10.1109/ISMVL57333.2023.00041⟩
identifiant
hal-04322269
Accès au bibtex
BibTex
auteur
Matthieu Fagot, Laure Brisoux Devendeville, Corinne Lucet
titre
Adaptive Large Neighbourhood Search pour un problème appliqué de Pickup and Delivery avec fenêtres de temps
article
24ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, Rennes School of Business, Feb 2023, Rennes (FRA), France
identifiant
hal-04037060
Accès au texte intégral et bibtex
https://hal.science/hal-04037060/file/ROADEF2023_matthieu.pdf BibTex
auteur
Yanli Liu, Jiming Zhao, Chu-Min Li, Hua Jiang, Kun He
titre
Hybrid Learning with New Value Function for the Maximum Common Induced Subgraph Problem
article
aaai2023, 2023, Washington, United States. pp.4044-4051, ⟨10.1609/aaai.v37i4.25519⟩
identifiant
hal-04145340
Accès au texte intégral et bibtex
https://hal.science/hal-04145340/file/AAAI2023MCS.pdf BibTex
auteur
Matthieu Fagot, Laure Brisoux Devendeville, Corinne Lucet
titre
Adaptive local search for a pickup and delivery problem applied to large parcel distribution
article
International Conference on Optimization and Learning (OLA2023), 2023, Malaga, Espagne, Spain
identifiant
hal-04461557
Accès au texte intégral et bibtex
https://hal.science/hal-04461557/file/OLA_matthieu-2.pdf BibTex

Chapitre d'ouvrage

auteur
Matthieu Fagot, Laure Brisoux Devendeville, Corinne Lucet
titre
Adaptative Local Search for a Pickup and Delivery Problem Applied to Large Parcel Distribution
article
Optimization and Learning, 1824, Springer Nature Switzerland, pp.186-199, 2023, Communications in Computer and Information Science, 978-3-031-34020-8. ⟨10.1007/978-3-031-34020-8_14⟩
identifiant
hal-04508132
Accès au bibtex
BibTex
auteur
Mahmoud Elbattah, Romuald Carette, Federica Cilia, Jean-Luc Guérin, Gilles Dequen
titre
Applications of machine learning methods to assist the diagnosis of autism spectrum disorder
article
El-baz, A.S. & Suri, J.S. Neural Engineering Techniques for Autism Spectrum Disorder, Volume 2 : Diagnosis and Clinical Analysis, 2, Academic Press Elsevier, pp.99-119, 2023, 978-0-12-824421-0. ⟨10.5220/0010975500003123⟩
identifiant
hal-04278671
Accès au bibtex
BibTex

Poster de conférence

auteur
Matthieu Py, Mohamed Sami Cherif, Djamal Habet
titre
Proofs and Certificates for Max-SAT
article
International Joint Conferences on Artificial Intelligence, Aug 2023, Macao, China
identifiant
hal-04318075
Accès au texte intégral et bibtex
https://hal.science/hal-04318075/file/IJCAI_2023___Proof_And_Certificates_for_Max_SAT__Extended_Abstract_Poster.pdf BibTex

Pré-publication, Document de travail

auteur
Jiongzhi Zheng, Kun He, Jianrong Zhou, Yan Jin, Chu-Min Li, Felip Manyà
titre
Incorporating Multi-armed Bandit with Local Search for MaxSAT
article
2023
identifiant
hal-04154091
Accès au bibtex
https://arxiv.org/pdf/2211.16011 BibTex
auteur
Jianrong Zhou, Kun He, Jiongzhi Zheng, Chu-Min Li
titre
Geometric Batch Optimization for the Packing Equal Circles in a Circle Problem on Large Scale
article
2023
identifiant
hal-04153692
Accès au bibtex
https://arxiv.org/pdf/2303.02650 BibTex

2022

Article dans une revue

auteur
Chu Min Li, Felip Manyà, Joan Ramon Soler, Amanda Vidal
titre
Clausal Forms in MaxSAT and MinSAT
article
International Journal of Computational Intelligence Systems, 2022, 15 (1), pp.97. ⟨10.1007/s44196-022-00143-z⟩
identifiant
hal-03869414
Accès au bibtex
BibTex
auteur
Yan Jin, Bowen Xiong, Kun He, Jin-Kao Hao, Chu-Min Li, Zhang-Hua Fu
titre
Clustering Driven Iterated Hybrid Search for Vertex Bisection Minimization
article
IEEE Transactions on Computers, 2022, 71 (10), pp.2370-2380. ⟨10.1109/TC.2021.3128504⟩
identifiant
hal-05635722
Accès au bibtex
BibTex
auteur
Yan Jin, Bowen Xiong, Kun He, Jin-Kao Hao, Chu-Min Li, Zhang-Hua Fu
titre
Clustering Driven Iterated Hybrid Search for Vertex Bisection Minimization
article
IEEE Transactions on Computers, 2022, 71, pp.2370 - 2380. ⟨10.1109/tc.2021.3128504⟩
identifiant
hal-04320703
Accès au texte intégral et bibtex
https://hal.science/hal-04320703/file/IEEEComputers2021.pdf BibTex
auteur
Gilles Kassel
titre
Abstract Events in Semantics
article
Philosophia, 2022, 50 (4), pp.1913-1930. ⟨10.1007/s11406-022-00498-9⟩
identifiant
hal-04009418
Accès au bibtex
BibTex
auteur
Emilien Arnaud, Mahmoud Elbattah, Christine Ammirati, Gilles Dequen, Daniel Aiham Ghazali
titre
Use of Artificial Intelligence to Manage Patient Flow in Emergency Department during the COVID-19 Pandemic: A Prospective, Single-Center Study.
article
International Journal of Environmental Research and Public Health, 2022, 19 (15), ⟨10.3390/ijerph19159667⟩
identifiant
hal-03753730
Accès au bibtex
BibTex
auteur
Nicolas Loménie, Capucine Bertrand, Rutger H.J. Fick, Saima Ben Hadj, Brice Tayart, Cyprien Tilmant, Isabelle Farré, Soufiane Azdad, Samy Dahmani, Gilles Dequen, Ming Feng, Kele Xu, Zimu Li, Sophie Prevot, Christine Bergeron, Guillaume Bataillon, Mojgan Devouassoux-Shisheboran, Claire Glaser, Agathe Delaune, Séverine Valmary-Degano, Philippe Bertheau
titre
Can AI predict epithelial lesion categories via automated analysis of cervical biopsies: The TissueNet challenge?
article
Journal of Pathology Informatics, 2022, 13, pp.100149. ⟨10.1016/j.jpi.2022.100149⟩
identifiant
hal-03936763
Accès au bibtex
BibTex

Communication dans un congrès

auteur
Emanuele Bellini, Jorge Chavez-Saab, Jesús-Javier Chi-Domínguez, Andre Esser, Sorina Ionica, Luis Rivera-Zamarripa, Francisco Rodríguez-Henríquez, Monika Trimoska, Floyd Zweydinger
titre
Parallel Isogeny Path Finding with Limited Memory
article
Progress in Cryptology – INDOCRYPT 2022 23rd International Conference on Cryptology in India, Dec 2022, Kolkata, India. pp.294-316, ⟨10.1007/978-3-031-22912-1_13⟩
identifiant
hal-04002326
Accès au bibtex
BibTex
auteur
Rui S Shibasaki, Olivier Péton, François Queyroi, Maria Restrepo Ruiz
titre
Sensor location by joint entropy maximization
article
EURO ('Association of European Operational Research Societies ) 2022, Aug 2022, Espoo, Finland
identifiant
hal-03741385
Accès au bibtex
BibTex
auteur
Federica Cilia, Romuald Carette, Mahmoud Elbattah, Jean-Luc Guérin, Gilles Dequen
titre
Eye-tracking Dataset to Support the Research on Autism Spectrum Disorder
article
Scarce Data in Artificial Intelligence for Healthcare, Jul 2022, Vienna, Austria. pp.59-64, ⟨10.5220/0011540900003523⟩
identifiant
hal-05096830
Accès au bibtex
BibTex
auteur
Chu-Min Li, Zhenxing Xu, Jordi Coll, Felip Manyà, Djamal Habet, Kun He
titre
Combining Clause Learning and Branch and Bound for MaxSAT (Extended Abstract)
article
31ST INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI 2022), Jul 2022, Vienne, Austria
identifiant
hal-03775319
Accès au texte intégral et bibtex
https://amu.hal.science/hal-03775319/file/0739.pdf BibTex
auteur
Anass Sbai, C. Drocourt, Gilles Dequen
titre
Utilisation d'un PRE pour le partage de fichiers chiffrés en mode SaaS
article
COMPAS 2022, Jul 2022, Amiens, France
identifiant
hal-03767339
Accès au texte intégral et bibtex
https://hal.science/hal-03767339/file/drocourt-compass2022.pdf BibTex
auteur
Gilles Kassel
titre
Plaidoyer pour des ontologies épistémiques
article
33es Journées francophones d'Ingénierie des Connaissances, Jun 2022, Saint-Étienne, France
identifiant
hal-03949093
Accès au bibtex
BibTex
auteur
Olivier Gerard, Laure Brisoux Devendeville, Corinne Lucet, Sylvain Darras
titre
Différentes Mesures de la diversité de la population d'un Algorithme Génétique pour l'optimisation du parcours patient.
article
23ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, INSA Lyon, Feb 2022, Villeurbanne - Lyon, France
identifiant
hal-03595275
Accès au texte intégral et bibtex
https://hal.science/hal-03595275/file/GERARD_LUCET_BRISOUX_DARRAS.pdf BibTex
auteur
Simon Caillard, Corinne Lucet, Laure Brisoux Devendeville
titre
Un Algorithme de Colonie de Fourmis pour la Planification de Formations en Santé
article
23ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, INSA Lyon, Feb 2022, Villeurbanne - Lyon, France
identifiant
hal-03595431
Accès au texte intégral et bibtex
https://hal.science/hal-03595431/file/Roadef_22_modifs.pdf BibTex
auteur
Rui S. Shibasaki, Olivier Péton, François Queyroi, Maria-Isabel Restrepo
titre
A decision support tool to model freight transportation flows in city centers
article
ROADEF 2022 : 23ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, INSA Lyon, Feb 2022, Villeurbanne - Lyon, France
identifiant
hal-03595211
Accès au texte intégral et bibtex
https://hal.science/hal-03595211/file/ROADEF2022_vfinale.pdf BibTex
auteur
Matthieu Fagot, Corinne Lucet, Laure Brisoux Devendeville
titre
Problème de tournées de véhicules avec fenêtres de livraison multiples chez Smile Pickup
article
23ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, INSA Lyon, Feb 2022, Villeurbanne - Lyon, France
identifiant
hal-03595388
Accès au bibtex
BibTex
auteur
Emilien Arnaud, Mahmoud Elbattah, Maxime Gignon, Gilles Dequen
titre
Learning Embeddings from Free-text Triage Notes using Pretrained Transformer Models
article
HEALTHINF: PROCEEDINGS OF THE 15TH INTERNATIONAL JOINT CONFERENCE ON BIOMEDICAL ENGINEERING SYSTEMS AND TECHNOLOGIES - VOL 5: HEALTHINF, Feb 2022, Lisbonne, Portugal. pp.835-841, ⟨10.5220/0011012800003123⟩
identifiant
hal-03659989
Accès au bibtex
BibTex
auteur
Mahmoud Elbattah, Jean-Luc Guerin, Romuald Carette, Federica Cilia, Gilles Dequen
titre
Vision-based Approach for Autism Diagnosis using Transfer Learning and Eye-tracking
article
HEALTHINF: PROCEEDINGS OF THE 15TH INTERNATIONAL JOINT CONFERENCE ON BIOMEDICAL ENGINEERING SYSTEMS AND TECHNOLOGIES - VOL 5: HEALTHINF, Feb 2022, Lisbonne, Portugal. pp.256-263, ⟨10.5220/0010975500003123⟩
identifiant
hal-03659990
Accès au bibtex
BibTex
auteur
Charles Bouillaguet, Claire Delaplace, Monika Trimoska
titre
A Simple Deterministic Algorithm for Systems of Quadratic Polynomials over F 2
article
Symposium on Simplicity in Algorithms (SOSA), SIAM, Jan 2022, Alexandria, United States. pp.285-296, ⟨10.1137/1.9781611977066.22⟩
identifiant
hal-03363031
Accès au texte intégral et bibtex
https://hal.science/hal-03363031/file/main.pdf BibTex
auteur
Jianrong Zhou, Kun He, Jiongzhi Zheng, Chu-Min Li, Yanli Liu
titre
A Strengthened Branch and Bound Algorithm for the Maximum Common (Connected) Subgraph Problem
article
IJCAI-2022, 2022, Vienna, Austria. pp.1908-1914
identifiant
hal-04525626
Accès au texte intégral et bibtex
https://u-picardie.hal.science/hal-04525626/file/2201.06252.pdf BibTex
auteur
Jiongzhi Zheng, Kun He, Jianrong Zhou, Yan Jin, Chu-Min Li, Felip Manya
titre
BandMaxSAT: A Local Search MaxSAT Solver with Multi-armed Bandit
article
IJCAI- 2022, 2022, Vienna, Austria. pp.1901-1907
identifiant
hal-04525613
Accès au texte intégral et bibtex
https://u-picardie.hal.science/hal-04525613/file/2201.05544.pdf BibTex

Chapitre d'ouvrage

auteur
Shoulin Li, Jordi Coll, Djamal Habet, Chu-Min Li, Felip Manyà
titre
A Tableau Calculus for MaxSAT Based on Resolution
article
Artificial Intelligence Research and Development, IOS Press, 2022, Frontiers in Artificial Intelligence and Applications, ⟨10.3233/FAIA220311⟩
identifiant
hal-04013828
Accès au bibtex
BibTex
auteur
Chu Min Li, Felip Manyà
titre
Inference in MaxSAT and MinSAT
article
The Logic of Software. A Tasting Menu of Formal Methods, 13360, Springer International Publishing, pp.350-369, 2022, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-08166-8_16⟩
identifiant
hal-04007852
Accès au bibtex
BibTex

2021

Article dans une revue

auteur
Chu-Min Li, Zhenxing Xu, Jordi Coll, Felip Manyà, Djamal Habet, Kun He
titre
Boosting branch-and-bound MaxSAT solvers with clause learning
article
AI Communications, 2021, 35, pp.131-151. ⟨10.3233/AIC-210178⟩
identifiant
hal-03594950
Accès au bibtex
BibTex
auteur
Anass Sbai, C. Drocourt, Gilles Dequen
titre
Cloud file sharing using PREaaS
article
EHEI Journal of Science and Technology, 2021, 1 (2), pp.52-63
identifiant
hal-03689960
Accès au texte intégral et bibtex
https://hal.science/hal-03689960/file/31656-84221-1-SM.pdf BibTex
auteur
Federica Cilia, Romuald Carette, Mahmoud Elbattah, Gilles Dequen, Jean-Luc Guérin, Jérôme Bosche, Luc Vandromme, Barbara Le Driant
titre
Computer-Aided Screening of Autism Spectrum Disorder: Eye-Tracking Study Using Data Visualization and Deep Learning
article
JMIR Human Factors, 2021, 8 (4), pp.e27706. ⟨10.2196/27706⟩
identifiant
hal-03436211
Accès au texte intégral et bibtex
https://u-picardie.hal.science/hal-03436211/file/Cilia%20et%20al%202021%20JMIR%20Computer%20aides.pdf BibTex
auteur
Corinne Lucet, Simon Caillard, Laure Brisoux Devendeville
titre
Variable neighborhood search for a planning problem with resource constraints in a health simulation center
article
Applied Intelligence, 2021, ⟨10.1007/s10489-021-02730-7⟩
identifiant
hal-03384566
Accès au bibtex
BibTex
auteur
Mahmoud Elbattah, Colm Loughnane, Jean-Luc Guérin, Romuald Carette, Federica Cilia, Gilles Dequen
titre
Variational Autoencoder for Image-Based Augmentation of Eye-Tracking Data
article
Journal of Imaging, 2021, 7 (5), pp.83. ⟨10.3390/jimaging7050083⟩
identifiant
hal-03601452
Accès au bibtex
BibTex
auteur
Sulamithe Tsakou, Sorina Ionica
titre
Index calculus attacks on hyperelliptic Jacobians with efficient endomorphisms
article
Mathematical Cryptology, 2021, 1 (2), pp.102-114
identifiant
hal-04343325
Accès au bibtex
BibTex
auteur
M. Trimoska, Sorina Ionica, Gilles Dequen
titre
Time-Memory Analysis of Parallel Collision Search Algorithms
article
IACR Transactions on Cryptographic Hardware and Embedded Systems, 2021, 2021 (2), pp.254--274. ⟨10.46586/tches.v2021.i2.254-274⟩
identifiant
hal-03698666
Accès au bibtex
BibTex
auteur
Junping Zhou, Chumin Li, Yupeng Zhou, Mingyang Li, Lili Liang, Jianan Wang
titre
Solving diversified top-k weight clique search problem
article
SCIENCE CHINA Information Sciences, 2021, 64 (5, SI), ⟨10.1007/s11432-020-3069-4⟩
identifiant
hal-03636408
Accès au bibtex
BibTex
auteur
Mellila Bouam, Charles Bouillaguet, Claire Delaplace, Camille Noûs
titre
Computational Records with Aging Hardware: Controlling Half the Output of SHA-256
article
Parallel Computing, In press, pp.102804. ⟨10.1016/j.parco.2021.102804⟩
identifiant
hal-02306904
Accès au texte intégral et bibtex
https://hal.science/hal-02306904/file/main.pdf BibTex
auteur
Christian Blum, Marko Djukanovic, Alberto Santini, Hua Jiang, Chu-Min Li, Felip Manya, Guenter R. Raidl
titre
Solving longest common subsequence problems via a transformation to the maximum clique problem
article
Computers and Operations Research, 2021, 125, ⟨10.1016/j.cor.2020.105089⟩
identifiant
hal-03636411
Accès au bibtex
BibTex
auteur
Chu-Min Li, Fan Xiao, Felip Manya
titre
A resolution calculus for MinSAT
article
Logic Journal of the IGPL, 2021, 29 (1), pp.28-44. ⟨10.1093/jigpal/jzz028⟩
identifiant
hal-03636410
Accès au bibtex
BibTex
auteur
S. Chakhar, Ines Saad, A. Labib, A. Ishizaka
titre
Cognitive Effort Reduction within Group Decision Making through Aggregation and Disaggregation of Individual Preferences
article
Lecture Notes in Business Information Processing, 2021, 425 LNBIP, pp.52--67. ⟨10.1007/978-3-030-85977-0_5⟩
identifiant
hal-03685094
Accès au bibtex
BibTex
auteur
S. Bouzayane, Ines Saad
titre
Recommender System for Online Teaching
article
Lecture Notes in Business Information Processing, 2021, 425 LNBIP, pp.116--127. ⟨10.1007/978-3-030-85977-0_9⟩
identifiant
hal-03685093
Accès au bibtex
BibTex
auteur
Inès Saad, C. Rosenthal-Sabroux, F. Gargouri, P.-E. Arduin
titre
Preface
article
Lecture Notes in Business Information Processing, 2021, 425 LNBIP, pp.v-vi
identifiant
hal-03698665
Accès au bibtex
BibTex

Communication dans un congrès

auteur
Olivier Gerard, Corinne Lucet, Laure Brisoux Devendeville, Sylvain Darras
titre
An Adaptive Large Neighborhood Search Method to Plan Patient's Journey in Healthcare
article
IFIP International Conference on Advances in Production Management Systems (APMS), Sep 2021, Nantes, France. pp.289-297, ⟨10.1007/978-3-030-85902-2_31⟩
identifiant
hal-03611359
Accès au texte intégral et bibtex
https://hal.science/hal-03611359/file/520755_1_En_31_Chapter.pdf BibTex
auteur
Simon Caillard, Corinne Lucet, Laure Brisoux Devendeville
titre
An ACO Algorithm for a Scheduling Problem in Health Simulation Center
article
IFIP International Conference on Advances in Production Management Systems (APMS), Sep 2021, Nantes, France. pp.333-341, ⟨10.1007/978-3-030-85902-2_36⟩
identifiant
hal-03419847
Accès au texte intégral et bibtex
https://hal.science/hal-03419847/file/520755_1_En_36_Chapter.pdf BibTex
auteur
Fabien Viton, Clémence Mauger, Gilles Dequen, Jean-Luc Guérin, Gaël Le Mahec
titre
Proportional representation to increase data utility in k-anonymous tables
article
26th IEEE Symposium on Computers and Communications, Sep 2021, Athènes, Greece
identifiant
hal-03414033
Accès au texte intégral et bibtex
https://hal.science/hal-03414033/file/ISCC21final%20%281%29.pdf BibTex
auteur
Emilien Arnaud, Mahmoud Elbattah, Maxime Gignon, Gilles Dequen
titre
NLP-Based Prediction of Medical Specialties at Hospital Admission Using Triage Notes
article
2021 IEEE 9TH INTERNATIONAL CONFERENCE ON HEALTHCARE INFORMATICS (ICHI 2021), Aug 2021, Victoria, Canada. pp.548-553, ⟨10.1109/ICHI52183.2021.00103⟩
identifiant
hal-03833279
Accès au bibtex
BibTex
auteur
Anass Sbai, C. Drocourt, Gilles Dequen
titre
A New Delegated Authentication Protocol based on PRE
article
18th International Conference on Security and Cryptography, Jul 2021, Online Streaming, France. pp.468-478, ⟨10.5220/0010542404680478⟩
identifiant
hal-03448083
Accès au texte intégral et bibtex
https://hal.science/hal-03448083/file/Secrypt2021-SDD.pdf BibTex
auteur
Monika Trimoska, Gilles Dequen, Sorina Ionica
titre
Logical cryptanalysis with WDSat
article
Proceedings of SAT 2021, Jul 2021, Barcelona, Spain. ⟨10.1007/978-3-030-80223-3\_37⟩
identifiant
hal-03230392
Accès au texte intégral et bibtex
https://hal.science/hal-03230392/file/main.pdf BibTex
auteur
Qingyun Zhang,, Zhipeng Lü,, Zhouxing Su,, Chumin Li, Yuan Fang,, Fuda Ma
titre
Vertex weighting-based tabu search for p-center problem
article
the Twenty-Ninth International Conference on International Joint Conferences on Artificial Intelligence, Jul 2021, Yokohama, Japan. pp.Pages 1481-1487
identifiant
hal-04525582
Accès au bibtex
BibTex
auteur
Gilles Kassel
titre
Quelle place accorder aux objets abstraits dans les ontologies fondatrices ?
article
Journées Francophones d'Ingénierie des Connaissances (IC) Plate-Forme Intelligence Artificielle (PFIA'21), Jun 2021, Bordeaux, France. pp 65-72
identifiant
emse-03260492
Accès au texte intégral et bibtex
https://hal-emse.ccsd.cnrs.fr/emse-03260492/file/actes_IC_CH_PFIA2021_65-72.pdf BibTex
auteur
Simon Caillard, Laure Brisoux Devendeville, Corinne Lucet
titre
Un Algorithme de Colonie de Fourmis pour la Planification de Formations en Santé sous Contrainte de Ressources
article
22ème congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF'21), Apr 2021, Mulhouse, France
identifiant
hal-03413409
Accès au bibtex
BibTex
auteur
Olivier Gerard, Laure Brisoux Devendeville, Corinne Lucet, Sylvain Darras
titre
Une méthode ALNS appliquée à la planification dans le domaine de la santé
article
22ème congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF'21), Apr 2021, Mulhouse, France
identifiant
hal-03413436
Accès au bibtex
BibTex
auteur
Olivier Gerard, Laure Brisoux Devendeville, Corinne Lucet
titre
Planning problem in Healthcare domain
article
17th International Workshop on Project Management and Scheduling (PMS'20), Apr 2021, Toulouse, France
identifiant
hal-03172613
Accès au bibtex
BibTex
auteur
Simon Caillard, Laure Brisoux Devendeville, Corinne Lucet
titre
Local Search Algorithm to Solve a Scheduling Problem in Healthcare Training Center
article
17th International Workshop on Project Management and Scheduling (PMS'20), Apr 2021, Toulouse, France
identifiant
hal-03172616
Accès au bibtex
BibTex
auteur
Zhouxing Su, Qingyun Zhang, Chu-Min Li, Weibo Lin, Fuda Ma
titre
Weighting-based Variable Neighborhood Search for Optimal Camera Placement *
article
The AAAI Conference on Artificial Intelligence (AAAI-2021), Feb 2021, Online, United States. pp.12400-12408
identifiant
hal-04322244
Accès au bibtex
BibTex
auteur
Jiongzhi Zheng, Kun He, Jianrong Zhou, Yan Jin, Chu-Min Li
titre
Combining Reinforcement Learning with Lin-Kernighan-Helsgaun Algorithm for the Traveling Salesman Problem
article
The AAAI conference on artificial intelligence (AAAI-2021), Feb 2021, Online, United States. pp.12445-12452
identifiant
hal-04322234
Accès au bibtex
BibTex
auteur
Zhouxing Su, Qingyun Zhang, Zhipeng Lu, Chu-Min Li, Weibo Lin, Fuda Ma
titre
Weighting-based Variable Neighborhood Search for Optimal Camera Placement
article
THIRTY-FIFTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THIRTY-THIRD CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE AND THE ELEVENTH SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, Feb 2021, Vancouver, Canada. pp.12400-12408
identifiant
hal-03636412
Accès au bibtex
BibTex
auteur
Jiongzhi Zheng, Kun He, Jianrong Zhou, Yan Jin, Chu-Min Li
titre
Combining Reinforcement Learning with Lin-Kernighan-Helsgaun Algorithm for the Traveling Salesman Problem
article
THIRTY-FIFTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THIRTY-THIRD CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE AND THE ELEVENTH SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, Feb 2021, Vancouver, Canada. pp.12445-12452
identifiant
hal-03636413
Accès au bibtex
BibTex
auteur
Qingyun Zhang, Zhouxing Su, Chumin Li, Yuan Fang, Fuda Ma
titre
Vertex Weighting-Based Tabu Search for p-Center Problem
article
IJCAI'20: Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, Jan 2021, Yokohama Yokohama, Japan. pp.1481-1487
identifiant
hal-04322217
Accès au bibtex
BibTex
auteur
Mahmoud Elbattah, Emilien Arnaud, Maxime Gignon, Gilles Dequen
titre
The Role of Text Analytics in Healthcare: A Review of Recent Developments and Applications
article
HEALTHINF: PROCEEDINGS OF THE 14TH INTERNATIONAL JOINT CONFERENCE ON BIOMEDICAL ENGINEERING SYSTEMS AND TECHNOLOGIES - VOL. 5: HEALTHINF, 2021, Vienna, Austria. pp.825-832, ⟨10.5220/0010414508250832⟩
identifiant
hal-03601737
Accès au bibtex
BibTex
auteur
Chu-Min Li, Zhenxing Xu, Jordi Coll, Felip Manyà, Djamal Habet, Kun He
titre
Combining Clause Learning and Branch and Bound for MaxSAT
article
27th International Conference on Principles and Practice of Constraint Programming (CP 2021), 2021, Montpellier (Online), Best Paper Award, France. ⟨10.4230/LIPIcs.CP.2021.38⟩
identifiant
hal-03409895
Accès au texte intégral et bibtex
https://hal.science/hal-03409895/file/LIPIcs-CP-2021-38.pdf BibTex
auteur
Chu-Min Li, Felip Manyà, Joan Ramon Soler, Amanda Vidal
titre
From Non-Clausal to Clausal MinSAT
article
Artificial Intelligence Research and Development, 2021, Online (Guadalajara), Spain. pp.27-36, ⟨10.3233/FAIA210113⟩
identifiant
hal-04322254
Accès au texte intégral et bibtex
https://hal.science/hal-04322254/file/FAIA-339-FAIA210113.pdf BibTex

Chapitre d'ouvrage

auteur
Pierre-Emmanuel Arduin, Michel Grundstein, Brice Mayag, Elsa Negre, Camille Rosenthal-Sabroux, Inès Saad
titre
The Importance of Tacit Knowledge When Teaching Suddenly Online
article
Information and Knowledge Systems. Digital Technologies, Artificial Intelligence and Decision Making, 425, Springer International Publishing, pp.29-42, 2021, Lecture Notes in Business Information Processing, ⟨10.1007/978-3-030-85977-0_3⟩
identifiant
hal-03529520
Accès au bibtex
BibTex
auteur
Chu Min Li, Felip Manyà
titre
Chapter 23. MaxSAT, Hard and Soft Constraints
article
Handbook of Satisfiability, IOS Press, 2021, Frontiers in Artificial Intelligence and Applications, ⟨10.3233/FAIA201007⟩
identifiant
hal-04321437
Accès au bibtex
BibTex

Ouvrages

auteur
Chu-Min Li, Felip Manyà
titre
Theory and Applications of Satisfiability Testing – SAT 2021
article
Springer International Publishing, 12831, 2021, Lecture Notes in Computer Science, 978-3-030-80222-6. ⟨10.1007/978-3-030-80223-3⟩
identifiant
hal-04322117
Accès au bibtex
BibTex
auteur
Inès Saad, Camille Rosenthal-Sabroux, Faiez Gargouri, Pierre-Emmanuel Arduin
titre
Information and Knowledge Systems. Digital Technologies, Artificial Intelligence and Decision Making - 5th International Conference, ICIKS 2021
article
Springer, 2021, Lecture Notes in Business Information Processing, 425, 978-3-030-85976-3. ⟨10.1007/978-3-030-85977-0⟩
identifiant
hal-03342824
Accès au bibtex
BibTex
auteur
Alina Carmen Cojocaru, Sorina Ionica, Elisa Lorenzo García
titre
Women in Numbers Europe III
article
Springer International Publishing, 24, 2021, Association for Women in Mathematics Series, 978-3-030-77700-5. ⟨10.1007/978-3-030-77700-5⟩
identifiant
hal-04364042
Accès au bibtex
BibTex

Pré-publication, Document de travail

auteur
Charles Bouillaguet, Claire Delaplace, Antoine Joux
titre
Algorithms for Sparse Random 3XOR: The Low-Density Case
article
2021
identifiant
hal-02306917
Accès au texte intégral et bibtex
https://hal.science/hal-02306917/file/main1.pdf BibTex
auteur
Simon Caillard, Laure Brisoux Devendeville, Corinne Lucet
titre
Local Search for a Planning Problem with Resource Constraints in Health Simulation Center
article
2021
identifiant
hal-03162224
Accès au texte intégral et bibtex
https://hal.science/hal-03162224/file/Local%20Search%20for%20a%20Planning%20Problem%20with%20Resource%20Constraints%20in%20Health%20Simulation%20Center.pdf BibTex