Responsable

L'équipe

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 (Maître de Conférences)
    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)
    Sorina IONICA (Maître de Conférences HDR)
    Céline JOIRON (Maître de Conférences)
    Gilles KASSEL (Professeur des Universités)
    Anne LAPUJADE (Maître de Conférences)
    Yu LI (Maître de Conférences)
    Chu Min LI (Professeur des Universités)
    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

    Olivier GERARD (Enseignant-chercheur contractuel)
    Anass SBAI (ATER)

    Doctorants

    Postdocs / Ingénieurs

    Associés

    Anciens Membres

    Publications - Liste HAL (5 dernières années)

    2024

    Article dans une revue

    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
    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
    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
    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
    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
    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

    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
    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
    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
    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 bibtex
    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
    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
    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
    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
    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
    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
    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
    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

    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
    identifiant
    hal-04278671
    Accès au bibtex
    BibTex

    Pré-publication, Document de travail

    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
    2023
    identifiant
    hal-04260565
    Accès au bibtex
    BibTex
    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-04012413
    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
    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, 2022, 35, pp.131 - 151. ⟨10.3233/aic-210178⟩
    identifiant
    hal-04320721
    Accès au bibtex
    BibTex
    auteur
    Eugénie Petitprez, Arnaud Emilien
    titre
    A propos de l'utilisation de l'IA en matière de santé : limites et perspectives
    article
    Lexbase Droit privé, 2022
    identifiant
    hal-03536800
    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
    auteur
    Emilien Arnaud, Sylvain Leclere, Martin Petitprez, Gilles Vincent, Christine Ammirati
    titre
    Feedback of inter-hospital transfer of patients under high-flow nasal cannula oxygen therapy
    article
    World Journal of Emergency Medicine, 2022, 13 (3), pp.219. ⟨10.5847/wjem.j.1920-8642.2022.036⟩
    identifiant
    hal-04363281
    Accès au texte intégral et bibtex
    https://hal.science/hal-04363281/file/Arnaud%20et%20al.%20-%202022%20-%20Feedback%20of%20inter-hospital%20transfer%20of%20patients%20un.pdf 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
    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
    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
    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
    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

    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

    Thèse

    auteur
    Olivier Gérard
    titre
    LORH : outil pour la planification du parcours patient dans le milieu hospitalier
    article
    Modélisation et simulation. Université de Picardie Jules Verne, 2022. Français. ⟨NNT : 2022AMIE0060⟩
    identifiant
    tel-04104057
    Accès au texte intégral et bibtex
    https://theses.hal.science/tel-04104057/file/TheseGerardOlivier.pdf 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, pp.1-21. ⟨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
    Claire Guinat, Benoit Durand, Marius Gilbert, Anne Bronner, Tifenn Corre, Séverine Rautureau, Nathalie Rouchy, Floriane Camy, Axelle Scoizec, Sophie Lebouquin-Leneveu, Timothée Vergne, Jean-Luc Guérin, Mathilde Paul
    titre
    Revue des facteurs de risque spatialisés de transmission du virus de l’influenza aviaire hautement pathogène H5N8 en France en 2016-2017
    article
    Bulletin Epidémiologique, 2021, 92, pp.3
    identifiant
    hal-03335797
    Accès au texte intégral et bibtex
    https://hal.inrae.fr/hal-03335797/file/PER-004_2021-09-03_IAHP_Guinat_MaqF.pdf 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
    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
    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
    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
    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
    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
    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
    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
    Josep Argelich, Chu Min Li, Felip Manya, Joan Ramon Soler
    titre
    Clause tableaux for maximum and minimum satisfiability
    article
    Logic Journal of the IGPL, 2021, 29 (1), pp.7-27. ⟨10.1093/jigpal/jzz025⟩
    identifiant
    hal-03636409
    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
    Jen-Yu Li, Thomas Gaillat, Élisabeth Richard
    titre
    Investigating collocations in English essays written by different L1 learners across the proficiency spectrum
    article
    GR4L2 - Building CEFR-graded resources for second and foreign language learning, Dec 2021, Louvain-la-Neuve, Belgium
    identifiant
    hal-03576245
    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
    The 27th International Conference on Principles and Practice of Constraint Programming, Oct 2021, Online, France. pp.38:1-38:18, ⟨10.4230/LIPIcs.CP.2021.38⟩
    identifiant
    hal-04322089
    Accès au texte intégral et bibtex
    https://hal.science/hal-04322089/file/LIPIcs.CP.2021.38.pdf BibTex
    auteur
    Jen-Yu Li, Thomas Gaillat
    titre
    Extraction of Standard collocations from British National Corpus
    article
    Europhras 2021, Sep 2021, Louvain-la-Neuve, Belgium
    identifiant
    hal-03506561
    Accès au bibtex
    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
    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
    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 bibtex
    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
    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
    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
    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
    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
    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
    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

    Poster de conférence

    auteur
    Jen-Yu Li
    titre
    Dependency parsing for the retrieval of erroneous collocations in a learner corpus
    article
    The Graduate Student Conference in Learner Corpus Research 2021, Oct 2021, Elverum, Norway
    identifiant
    hal-03506572
    Accès au bibtex
    BibTex
    auteur
    Mickaël Riou, Nicolas Pajusco, Angélique Travel, Mariette F Ducatez, Christelle Rossignol, Sylvain Lebreton, Aléxis Pleau, Laura Warin, Christophe Souchet, Laurence Mérat, Adam Jbenyeni, Jean-Luc Guérin, Laurent Simon, Bruno Brouard, Pauline Creach
    titre
    Développement de mesures automatisées des indicateurs de bien-être et de santé des volailles : cas particulier de la bronchite infectieuse aviaire
    article
    16. Congrès national de la SFM - Microbes 2021, Sep 2021, Nantes, France. , V-P05
    identifiant
    hal-03390115
    Accès au bibtex
    BibTex
    auteur
    Mickael Riou, N Pajusco, Angelique Travel, Mariette F Ducatez, Christelle Rossignol, Sylvain Breton, Alexis Pleau, Laura Warin, Christophe Souchet, Laurence Mérat, A Jbenyeni, Jean-Luc Guerin, Laurent Simon, Bruno Brouard, P Creach
    titre
    Development of automated measures of indicators of wellbeing and health of poultry: special case of avian infectious bronchitis
    article
    World's Poultry Congress (WPC), 2021, online, France
    identifiant
    hal-03385257
    Accès au texte intégral et bibtex
    https://hal.inrae.fr/hal-03385257/file/Riou-WPC_e-poster_2021.pdf BibTex

    Thèse

    auteur
    Clémence Mauger
    titre
    Optimisation de l'utilité des données lors d'un processus de k-anonymisation
    article
    Informatique. Université de Picardie Jules Verne, 2021. Français. ⟨NNT : 2021AMIE0076⟩
    identifiant
    tel-03944406
    Accès au texte intégral et bibtex
    https://theses.hal.science/tel-03944406/file/TheseMauger.pdf BibTex
    auteur
    Anass Sbai
    titre
    Contributions au proxy de re-chiffrement et à la délégation d'authentification
    article
    Mathématique discrète [cs.DM]. Université de Picardie Jules Verne, 2021. Français. ⟨NNT : 2021AMIE0032⟩
    identifiant
    tel-03817258
    Accès au texte intégral et bibtex
    https://theses.hal.science/tel-03817258/file/TheseSbai.pdf 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

    2020

    Article dans une revue

    auteur
    Sarra Bouzayane, Inès Saad
    titre
    A multicriteria approach based on rough set theory for the incremental Periodic prediction
    article
    European Journal of Operational Research, 2020, 286, pp.282 - 298. ⟨10.1016/j.ejor.2020.03.024⟩
    identifiant
    hal-03490674
    Accès au texte intégral et bibtex
    https://hal.science/hal-03490674/file/S0377221720302381.pdf BibTex
    auteur
    Christian Blum, Marko Djukanovic, Alberto Santini, Hua Jiang, Chu-Min Li, Felip Manyà, Günter R Raidl
    titre
    Solving longest common subsequence problems via a transformation to the maximum clique problem
    article
    Computers and Operations Research, 2020, 125, pp.105089. ⟨10.1016/j.cor.2020.105089⟩
    identifiant
    hal-04320616
    Accès au bibtex
    BibTex
    auteur
    Sorina Ionica, Emmanuel Thomé
    titre
    Isogeny graphs with maximal real multiplication
    article
    Journal of Number Theory, 2020, 207, pp.385-422. ⟨10.1016/j.jnt.2019.06.019⟩
    identifiant
    hal-00967742
    Accès au texte intégral et bibtex
    https://hal.science/hal-00967742/file/draft_HAL.pdf BibTex
    auteur
    Xiaolu Liu, Yuan Fang, Jiaming Chen, Zhouxing Su, Chumin Li, Zhipeng Lu
    titre
    Effective Approaches to Solve P-Center Problem via Set Covering and SAT
    article
    IEEE Access, 2020, 8, pp.161232 - 161244. ⟨10.1109/access.2020.3018618⟩
    identifiant
    hal-04320604
    Accès au texte intégral et bibtex
    https://hal.science/hal-04320604/file/Effective_Approaches_to_Solve_P-Center_Problem_via_Set_Covering_and_SAT.pdf BibTex
    auteur
    Xiaolu Liu, Yuan Fang, Jiaming Chen, Zhouxing Su, Chumin Li, Zhipeng Lu
    titre
    Effective Approaches to Solve P-Center Problem via Set Covering and SAT
    article
    IEEE Access, 2020, 8, pp.161232-161244. ⟨10.1109/ACCESS.2020.3018618⟩
    identifiant
    hal-03636417
    Accès au bibtex
    BibTex
    auteur
    Chu-Min Li, Fan Xiao, Mao Luo, Felip Manya, Zhipeng Lu, Yu Li
    titre
    Clause vivification by unit propagation in CDCL SAT solvers
    article
    Artificial Intelligence, 2020, 279, ⟨10.1016/j.artint.2019.103197⟩
    identifiant
    hal-03636415
    Accès au bibtex
    https://arxiv.org/pdf/1807.11061 BibTex
    auteur
    Jun Wu, Chu-Min Li, Lu Jiang, Junping Zhou, Minghao Yin
    titre
    Local search for diversified Top-k clique search problem
    article
    Computers and Operations Research, 2020, 116, ⟨10.1016/j.cor.2019.104867⟩
    identifiant
    hal-03636414
    Accès au bibtex
    BibTex
    auteur
    Benjamin Terrasi, Emilien Arnaud, Mathieu Guilbart, Patricia Besserve, Yazine Mahjoub
    titre
    French ICUs fight back: An example of regional ICU organisation to tackle the SARS-CoV-2 outbreak
    article
    Anaesthesia Critical Care & Pain Medicine, 2020, 39 (3), pp.355-357. ⟨10.1016/j.accpm.2020.03.018⟩
    identifiant
    hal-03575222
    Accès au bibtex
    BibTex
    auteur
    Gilles Kassel
    titre
    Physical processes, their life and their history
    article
    Applied Ontology, 2020, 15 (2), pp.109-133. ⟨10.3233/AO-200222⟩
    identifiant
    hal-03636391
    Accès au bibtex
    BibTex
    auteur
    Benjamin Terrasi, Emilien Arnaud, Osama Abou-Arab, Patricia Bessserve, Yazine Mahjoub
    titre
    French ICUs fight back: An example of regional ICU organisation to tackle the SARS Cov-2 outbreak
    article
    Anesthésie & Réanimation, 2020, 6 (3), pp.350-352. ⟨10.1016/j.anrea.2020.04.008⟩
    identifiant
    hal-03575224
    Accès au bibtex
    BibTex

    Communication dans un congrès

    auteur
    Peng Zhao, Hong Yu Li, Yu Dian Lim, Jing Tao, Luca Guidoni, Chuan Seng Tan
    titre
    Glass Substrate Interposer for TSV-integrated Surface Electrode Ion Trap
    article
    2020 IEEE 22nd Electronics Packaging Technology Conference (EPTC), Dec 2020, Singapore, Singapore. pp.262-265, ⟨10.1109/EPTC50525.2020.9315003⟩
    identifiant
    hal-03454671
    Accès au bibtex
    BibTex
    auteur
    Chu Min Li, Felip Manya, Amanda Vidal
    titre
    Tableaux for Maximum Satisfiability in Lukasiewicz Logic
    article
    2020 IEEE 50TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2020), Nov 2020, Miyazaki, Japan. pp.243-248, ⟨10.1109/ISMVL49045.2020.00007⟩
    identifiant
    hal-03636416
    Accès au bibtex
    BibTex
    auteur
    Chu Min Li, Felip Manya, Amanda Vidal
    titre
    Tableaux for Maximum Satisfiability in Łukasiewicz Logic
    article
    2020 IEEE 50th International Symposium on Multiple-Valued Logic (ISMVL), Nov 2020, Miyazaki, Japan. pp.243-248, ⟨10.1109/ISMVL49045.2020.00007⟩
    identifiant
    hal-04322045
    Accès au bibtex
    BibTex
    auteur
    M. Elbattah, Jean-Luc Guérin, R. Carette, Federica Cilia, Gilles Dequen
    titre
    Generative Modeling of Synthetic Eye-Tracking Data: NLP-based Approach with Recurrent Neural Networks
    article
    Proceedings of the 12th International Joint Conference on Computational Intelligence, Nov 2020, Budapest, Unknown Region. pp.479--484
    identifiant
    hal-03679393
    Accès au bibtex
    BibTex
    auteur
    Clémence Mauger, Gaël Le Mahec, Gilles Dequen
    titre
    Multi-criteria Optimization Using l-diversity and t-closeness for k-anonymization
    article
    Data Privacy Management, Cryptocurrencies and Blockchain Technology, Sep 2020, Guildford, United Kingdom. pp.73-88, ⟨10.1007/978-3-030-66172-4_5⟩
    identifiant
    hal-03235597
    Accès au bibtex
    BibTex
    auteur
    Monika Trimoska, Sorina Ionica, Gilles Dequen
    titre
    Parity (XOR) Reasoning for the Index Calculus Attack
    article
    Principles and Practice of Constraint Programming 2020, Sep 2020, Louvain-la-Neuve, Belgium. pp.774-790, ⟨10.1007/978-3-030-58475-7_45⟩
    identifiant
    hal-03230825
    Accès au texte intégral et bibtex
    https://hal.science/hal-03230825/file/main.pdf BibTex
    auteur
    Monika Trimoska, Sorina Ionica, Gilles Dequen
    titre
    A SAT-Based Approach for Index Calculus on Binary Elliptic Curves
    article
    Progress in Cryptology - AFRICACRYPT 2020, Jul 2020, Cairo, Egypt. pp.214-235, ⟨10.1007/978-3-030-51938-4⟩
    identifiant
    hal-03230853
    Accès au texte intégral et bibtex
    https://hal.science/hal-03230853/file/main.pdf BibTex
    auteur
    F. Viton, M. Elbattah, Jean-Luc Guérin, Gilles Dequen
    titre
    Multi-Channel Convnet Approach to Predict the Risk of in-Hospital Mortality for Icu Patients
    article
    DeLTA 2020 - Proceedings of the 1st International Conference on Deep Learning Theory and Applications, Jul 2020, A distance, Unknown Region. pp.98--102
    identifiant
    hal-03704093
    Accès au bibtex
    BibTex
    auteur
    Weibo Lin, Fuda Ma, Zhouxing Su, Qingyun Zhang, Chumin Li, Zhipeng Lü
    titre
    Weighting-based parallel local search for optimal camera placement and unicost set covering
    article
    GECCO '20: Genetic and Evolutionary Computation Conference, Jul 2020, Cancún Mexico, Mexico. pp.3-4, ⟨10.1145/3377929.3398184⟩
    identifiant
    hal-04322034
    Accès au bibtex
    BibTex
    auteur
    Gilles Kassel
    titre
    Événements abstraits et états d’affaires « occurrent-facteurs »
    article
    31es Journées francophones d'Ingénierie des Connaissances, Sébastien Ferré, Jun 2020, Angers, France
    identifiant
    hal-02888046
    Accès au bibtex
    BibTex
    auteur
    Bogdan Adrian Dina, Sorina Ionica
    titre
    Genus 3 hyperelliptic curves with CM via Shimura reciprocity
    article
    ANTS IV Proceedings of the Fourteenth Algorithmic Number Theory Symposium, Jun 2020, online, New Zealand. pp.161-178, ⟨10.2140/obs.2020.4.161⟩
    identifiant
    hal-03698651
    Accès au bibtex
    https://arxiv.org/pdf/2003.06386 BibTex
    auteur
    Anass Sbai, C. Drocourt, Gilles Dequen
    titre
    Encrypted Data Sharing Using Proxy ReEncryption in Smart Grid
    article
    International Conference on Electronic Engineering and Renewable Energy, Apr 2020, Saidia, Morocco. pp.161-167, ⟨10.1007/978-981-15-6259-4_15⟩
    identifiant
    hal-03040325
    Accès au texte intégral et bibtex
    https://hal.science/hal-03040325/file/A.SBAI.pdf BibTex
    auteur
    Anass Sbai, C. Drocourt, Gilles Dequen
    titre
    CCA Secure Unidirectional PRE with Key Pair in the Standard Model without Pairings
    article
    6th International Conference on Information Systems Security and Privacy, Feb 2020, Valletta, Malta. pp.440-447, ⟨10.5220/0008955704400447⟩
    identifiant
    hal-02773918
    Accès au texte intégral et bibtex
    https://hal.science/hal-02773918/file/Drocourt-ICISSP-2020.pdf BibTex
    auteur
    Olivier Gérard, Corinne Lucet, Laure Brisoux Devendeville
    titre
    Problème de planification dans le domaine de la santé
    article
    21ème congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF'20), Feb 2020, Montpellier, France
    identifiant
    hal-03172585
    Accès au bibtex
    BibTex
    auteur
    Simon Caillard, Laure Brisoux Devendeville, Corinne Lucet
    titre
    Recherche locale pour la formation en santé sous contraintes de ressources
    article
    21ème congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF'20), Feb 2020, Montpellier, France
    identifiant
    hal-03172588
    Accès au bibtex
    BibTex
    auteur
    Yanli Liu, Chu-Min Li, Hua Jiang, Kun He
    titre
    A Learning Based Branch and Bound for Maximum Common Subgraph Related Problems
    article
    THIRTY-FOURTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THE THIRTY-SECOND INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE AND THE TENTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, Feb 2020, New-York, United States. pp.2392-2399
    identifiant
    hal-03636418
    Accès au bibtex
    BibTex
    auteur
    Clémence Mauger, Gaël Le Mahec, Gilles Dequen
    titre
    Modeling and Evaluation of k-anonymization Metrics
    article
    Privacy Preserving Artificial Intelligence Workshop of AAAI 2020, Feb 2020, New York (virtual), United States
    identifiant
    hal-03236397
    Accès au texte intégral et bibtex
    https://hal.science/hal-03236397/file/paper_18.pdf BibTex
    auteur
    Yanli Liu, Chu-Min Li, Hua Jiang
    titre
    A Learning Based Branch and Bound for Maximum Common Subgraph Related Problems
    article
    The Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI-20), Feb 2020, New York, United States. pp.2392-2399
    identifiant
    hal-04322004
    Accès au texte intégral et bibtex
    https://hal.science/hal-04322004/file/5619-Article%20Text-8844-1-10-20200512.pdf BibTex
    auteur
    Mahmoud Elbattah, Jean-Luc Guerin, Romuald Carette, Federica Cilia, Gilles Dequen
    titre
    NLP-Based Approach to Detect Autism Spectrum Disorder in Saccadic Eye Movement
    article
    2020 IEEE SYMPOSIUM SERIES ON COMPUTATIONAL INTELLIGENCE (SSCI), 2020, Canberra, Australia. pp.1581-1587
    identifiant
    hal-03601453
    Accès au bibtex
    BibTex
    auteur
    Emilien Arnaud, Mahmoud Elbattah, Maxime Gignon, Gilles Dequen
    titre
    Deep Learning to Predict Hospitalization at Triage: Integration of Structured Data and Unstructured Text
    article
    2020 IEEE INTERNATIONAL CONFERENCE ON BIG DATA (BIG DATA), 2020, Atlanta, United States. pp.4836-4841, ⟨10.1109/BigData50022.2020.9378073⟩
    identifiant
    hal-03601738
    Accès au bibtex
    BibTex

    UPJV