Responsable

L'équipe

L’équipe GOC centre son activité sur plusieurs domaines :

  • la modélisation des problèmes et des informations sous forme de graphes ou de contraintes ;
  • le développement de systèmes d’aide à la décision par différentes méthodes, complètes ou incomplètes, exactes ou approchées, ou par des méthodes hybrides ;
  • la mise en oeuvre d’algorithmes proposés, dans un cadre séquentiel et parallèle ;
  • l’ingénierie des systèmes d’information.
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)
Chu Min LI (Professeur des Universités)
Yu LI (Maître de Conférences)
Corinne LUCET-VASSEUR (Professeur des Universités)
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
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
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 in Genus 3
article
New Frontiers in Number Theory and Applications, Springer, In press
identifiant
hal-04363854
Accès au bibtex
BibTex

2023

Article dans une revue

auteur
Gilles Kassel
titre
A plea for epistemic ontologies
article
Applied Ontology, 2023, 18 (4), pp.367-397
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
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 bibtex
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
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
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
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
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
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
auteur
Sorina Ionica, Pinar Kiliç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
2023
identifiant
hal-04154083
Accès au bibtex
https://arxiv.org/pdf/2212.14083 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 épidé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
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
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
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. 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
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, 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 (Virtual Event)
article
Springer, 2021
identifiant
hal-03342824
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

Proceedings/Recueil des communications

auteur
Alina Carmen Cojocaru, Sorina Ionica, Elisa Lorenzo García
titre
Women in Numbers Europe III
article
Women in Numbers Europe III, Association for Women in Mathematics Series, Springer International Publishing, 2021
identifiant
hal-04364042
Accès au bibtex
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
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
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
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
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

2019

Article dans une revue

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, 2019, 116, pp.1-9. ⟨10.1016/j.cor.2019.104867⟩
identifiant
hal-04320591
Accès au bibtex
BibTex
auteur
Chu-Min Li, Fan Xiao, Mao Luo, Felip Manyà, Zhipeng Lü, Yu Li
titre
Clause vivification by unit propagation in CDCL SAT solvers
article
Artificial Intelligence, 2019, 279, pp.1-23. ⟨10.1016/j.artint.2019.103197⟩
identifiant
hal-04320584
Accès au bibtex
BibTex
auteur
Hua Jiang, Corinne Lucet, Laure Brisoux Devendeville, Chu Min Li
titre
An Effective Variable Neighborhood Search with Perturbation for Location-Routing Problem
article
International Journal on Artificial Intelligence Tools, 2019, 28 (07), pp.1950024. ⟨10.1142/S0218213019500246⟩
identifiant
hal-03172607
Accès au bibtex
BibTex
auteur
Josep Argelich, Chu Min Li, Felip Manyà, Joan Ramon Soler
titre
Clause tableaux for maximum and minimum satisfiability
article
Logic Journal of the IGPL, 2019, 29, pp.7 - 27. ⟨10.1093/jigpal/jzz025⟩
identifiant
hal-04320635
Accès au texte intégral et bibtex
https://hal.science/hal-04320635/file/clauseTableauxIGPL.pdf BibTex
auteur
Fan Xiao, Chu-Min Li, Mao Luo, Felip Manyà, Zhipeng Lü, Yu Li
titre
A branching heuristic for SAT solvers based on complete implication graphs
article
Science China Information Sciences, 2019, 62, pp.1-13. ⟨10.1007/s11432-017-9467-7⟩
identifiant
hal-04320565
Accès au bibtex
BibTex
auteur
Fan Xiao, Chu-Min Li, Mao Luo, Felip Manya, Zhipeng Lu, Yu Li
titre
A branching heuristic for SAT solvers based on complete implication graphs
article
Science China Information Sciences, 2019, 62 (7), ⟨10.1007/s11432-017-9467-7⟩
identifiant
hal-03636419
Accès au bibtex
BibTex
auteur
Zhenxing Xu, Kun He, Chu-Min Li
titre
An iterative Path-Breaking approach with mutation and restart strategies for the MAX-SAT problem
article
Computers and Operations Research, 2019, 104, pp.49-58. ⟨10.1016/j.cor.2018.12.005⟩
identifiant
hal-03636420
Accès au bibtex
https://arxiv.org/pdf/1808.03611 BibTex
auteur
Sorina Ionica, Pinar Kilicer, Kristin Lauter, Elisa Lorenzo García, Maike Massierer, Adelina Manzateanu, Christelle Vincent
titre
Modular invariants for genus 3 hyperelliptic curves
article
Research in Number Theory, 2019, 5 (1), pp.article n°9. ⟨10.1007/s40993-018-0146-6⟩
identifiant
hal-01845011
Accès au texte intégral et bibtex
https://hal.science/hal-01845011/file/arxivversion2.pdf BibTex

Communication dans un congrès

auteur
Chu Min Li, Felip Manya, Joan Ramon Soler
titre
A Tableau Calculus for Non-clausal Maximum Satisfiability
article
AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2019, Sep 2019, London, United Kingdom. pp.58-73, ⟨10.1007/978-3-030-29026-9\_4⟩
identifiant
hal-03636422
Accès au bibtex
BibTex
auteur
Mina Bigdeli, Emanuela de Negri, Manuela Dizdarevic, Elisa Gorla, Romy Minko, Sulamithe Tsakou
titre
Semi-Regular Sequences and Other Random Systems of Equations
article
Women in Numbers Europe III, -, Aug 2019, Rennes, France. pp.75--114, ⟨10.1007/978-3-030-77700-5_3⟩
identifiant
hal-03682202
Accès au bibtex
https://arxiv.org/pdf/2011.01032 BibTex
auteur
Anass Sbai, Cyril Drocourt, Gilles Dequen
titre
PRE as a Service within Smart Grid City
article
16th International Conference on Security and Cryptography, Jul 2019, Prague, Czech Republic. pp.394-401, ⟨10.5220/0007838503940401⟩
identifiant
hal-02768366
Accès au texte intégral et bibtex
https://hal.science/hal-02768366/file/SECRYPT_2019_28_CR-2.pdf BibTex
auteur
Simon Caillard, Laure Brisoux Devendeville, Corinne Lucet
titre
A Planning Problem with Resource Constraints in Health Simulation Center
article
6th World Congress on Global Optimization (WCGO 2019), Jul 2019, Metz, France. pp.1033-1042, ⟨10.1007/978-3-030-21803-4_102⟩
identifiant
hal-03172576
Accès au bibtex
BibTex
auteur
Gilles Kassel
titre
Trois conceptions du processus : les raisons d'un choix
article
30es Journées Francophones d'Ingénierie des Connaissances, IC 2019, AFIA, Jul 2019, Toulouse, France. pp.183-198
identifiant
hal-02329664
Accès au texte intégral et bibtex
https://hal.science/hal-02329664/file/kassel.pdf BibTex
auteur
Chu Min Li, Felip Manya, Joan Ramon Soler
titre
Clausal Form Transformation in MaxSAT
article
2019 IEEE 49th International Symposium on Multiple-Valued Logic (ISMVL), May 2019, Fredericton NB, Canada. pp.132-137, ⟨10.1109/ISMVL.2019.00031⟩
identifiant
hal-04321890
Accès au bibtex
BibTex
auteur
Junwen Ding, Zhipeng Lu, Chu-Min Li, Liji Shen, Liping Xu, Fred Glover
titre
A Two-Individual Based Evolutionary Algorithm for the Flexible Job Shop Scheduling Problem
article
THIRTY-THIRD AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FIRST INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / NINTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, Feb 2019, Honolulu, United States. pp.2262-2271
identifiant
hal-03636421
Accès au bibtex
BibTex
auteur
Simon Caillard, Laure Brisoux Devendeville, Corinne Lucet
titre
Planification de ressources pour la formation en santé
article
20ème congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF'19), Feb 2019, Le Havre, France
identifiant
hal-03172597
Accès au bibtex
BibTex
auteur
Hua Jiang, Corinne Lucet, Laure Brisoux Devendeville, Chumin Li
titre
An effective variable neighborhood search with perturbation for location-routing problem
article
20ème congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF'19), Feb 2019, Le Havre, France
identifiant
hal-03172594
Accès au bibtex
BibTex
auteur
Olivier Gérard, Laure Brisoux Devendeville, Corinne Lucet
titre
Problème de planification dans le domaine de la santé
article
ROADEF 2019, Feb 2019, Le Havre, France
identifiant
hal-03794923
Accès au texte intégral et bibtex
https://hal.science/hal-03794923/file/ROADEF_2020_GERARD_BRISOUX-DEVENDEVILLE_LUCET.pdf BibTex
auteur
Junwen Ding, Chu-Min Li, Liji Shen, Liping Xu, Fred Glover
titre
A Two-Individual Based Evolutionary Algorithm for the Flexible Job Shop Scheduling Problem
article
Proceedings of the AAAI Conference on Artificial Intelligence, Jan 2019, Honolulu, Hawaii, United States. pp.2262-2271
identifiant
hal-04321932
Accès au bibtex
BibTex
auteur
J. Ding, Z. Lü, Chu-Min Li, L. Shen, L. Xu, F. Glover
titre
A Two-Individual Based Evolutionary Algorithm for the Flexible Job Shop Scheduling Problem
article
33rd AAAI Conference on Artificial Intelligence, AAAI 2019, Jan 2019, Honolulu, Hawaï, United States. pp.2262--2271
identifiant
hal-03698916
Accès au bibtex
BibTex
auteur
J. Ding, Z. Lü, Chu-Min Li, L. Shen, L. Xu, F. Glover
titre
A Two-Individual Based Evolutionary Algorithm for the Flexible Job Shop Scheduling Problem
article
33rd AAAI Conference on Artificial Intelligence, AAAI 2019, Jan 2019, Honolulu, Hawaï, United States. pp.2262--2271
identifiant
hal-03698903
Accès au bibtex
BibTex
auteur
Mahmoud Elbattah, Romuald Carette, Gilles Dequen, Jean-Luc Guerin, Federica Cilia
titre
Learning Clusters in Autism Spectrum Disorder: Image-Based Clustering of Eye-Tracking Scanpaths with Deep Autoencode
article
2019 41ST ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), 2019, Berlin, Germany. pp.1417-1420
identifiant
hal-03601455
Accès au bibtex
BibTex
auteur
Romuald Carette, Mahmoud Elbattah, Federica Cilia, Gilles Dequen, Jean-Luc Guerin, Jerome Bosche
titre
Learning to Predict Autism Spectrum Disorder based on the Visual Patterns of Eye-tracking Scanpaths
article
HEALTHINF: PROCEEDINGS OF THE 12TH INTERNATIONAL JOINT CONFERENCE ON BIOMEDICAL ENGINEERING SYSTEMS AND TECHNOLOGIES - VOL 5: HEALTHINF, 2019, Prague, Slovakia. pp.103-112, ⟨10.5220/0007402601030112⟩
identifiant
hal-03601454
Accès au bibtex
BibTex
auteur
Chu Min Li, Felip Manyà, Joan Ramon Soler
titre
A Tableau Calculus for Non-clausal Maximum Satisfiability
article
International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (Tableaux 2019), 2019, Londre, United Kingdom. pp.58-73, ⟨10.1007/978-3-030-29026-9_4⟩
identifiant
hal-04321979
Accès au bibtex
BibTex

Chapitre d'ouvrage

auteur
Gilles Kassel
titre
Processes Endure, Whereas Events Occur
article
Borgo, S and Ferrario, R and Masolo, C and Vieu, L. ONTOLOGY MAKES SENSE: ESSAYS IN HONOR OF NICOLA GUARINO, 316, pp.177-193, 2019, Frontiers in Artificial Intelligence and Applications, 978-1-61499-955-3; 978-1-61499-954-6. ⟨10.3233/978-1-61499-955-3-177⟩
identifiant
hal-03636392
Accès au bibtex
BibTex

HDR

auteur
Corinne Lucet
titre
Problèmes Combinatoires de graphes : de la Fiabilité des réseaux à la coloration de graphes
article
Informatique [cs]. Université de Picardie Jules verne, 2019
identifiant
tel-03234676
Accès au texte intégral et bibtex
https://hal.science/tel-03234676/file/LucetHdRComplet.pdf BibTex

Pré-publication, Document de travail

auteur
Olivier Gérard, Laure Brisoux Devendeville, Corinne Lucet
titre
Planning problem in Healthcare domain.
article
2019
identifiant
hal-02446364
Accès au texte intégral et bibtex
https://hal.science/hal-02446364/file/Planning%20problem%20in%20Healthcare%20domain_GERARD_BRISOUX_DEVENDEVILLE_LUCET.pdf BibTex
auteur
Yu Li
titre
A class of cutoff functions for non-trivial Riemann zeros
article
2019
identifiant
hal-01860885
Accès au texte intégral et bibtex
https://hal.science/hal-01860885/file/paper2019new01.pdf BibTex

UPJV