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 récentes - Dépôt HAL

    2025

    Article dans une revue

    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
    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
    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, 2025, 338, pp.104242. ⟨10.1016/j.artint.2024.104242⟩
    identifiant
    hal-04836718
    Accès au bibtex
    BibTex

    Communication dans un congrès

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

    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
    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, In press, ⟨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 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
    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
    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
    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
    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
    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
    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
    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
    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

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

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

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

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

    Communication dans un congrès

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

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

    Communication dans un congrès

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

    Pré-publication, Document de travail

    auteur
    Claire Delaplace, Pierre-Alain Fouque, Paul Kirchner, Alexander May
    titre
    Solving ECDLP over F p with Pre-computation via Representation Technique
    article
    2020
    identifiant
    hal-02427655
    Accès au texte intégral et bibtex
    https://inria.hal.science/hal-02427655/file/main.pdf BibTex

    UPJV