Search - Equipe Tasc Access content directly

Filter your results

278 Results
Image document

Incremental Constrained Clustering by Minimal Weighted Modification

Aymeric Beauchamp , Thi-Bich-Hanh Dao , Samir Loudni , Christel Vrain
CP 2023: 29th International Conference on Principles and Practice of Constraint Programming, Andre Augusto Cire, Aug 2023, Toronto, Ontario, Canada. ⟨10.4230/LIPIcs.CP.2023.38⟩
Conference papers hal-04158825v1
Image document

SeMaFoR - Self-Management of Fog Resources with Collaborative Decentralized Controllers

Abdelghani Alidra , Hugo Bruneliere , Hélène Coullon , Thomas Ledoux , Charles Prud'Homme , et al.
SEAMS 2023 - IEEE/ACM 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems, May 2023, Melbourne, Australia. pp.25-31, ⟨10.1109/SEAMS59076.2023.00014⟩
Conference papers hal-04043471v1

Boosting the Learning for Ranking Patterns

Nassim Belmecheri , Noureddine Aribi , Nadjib Lazaar , Yahia Lebbah , Samir Loudni
Algorithms, 2023, 16 (5), pp.218. ⟨10.3390/a16050218⟩
Journal articles hal-04130835v1
Image document

Interactive Pattern Mining using Discriminant Sub-patterns as Dynamic Features

Arnold Hien , Samir Loudni , Noureddine Aribi , Abdelkader Ouali , Albrecht Zimmermann
PAKDD 2023: 27th Pacific-Asia Conference on Knowledge Discovery and Data Mining, Mar 2023, Osaka (Japon), Japan. pp.252-263, ⟨10.1007/978-3-031-33374-3_20⟩
Conference papers hal-04042541v1
Image document

Fouille de motifs sans seuil par optimisation multi-objectifs : Application aux règles d'association

Charles Vernerey , Samir Loudni , Noureddine Aribi , Yahia Lebbah
EGC 2023 : 23ème conférence francophone sur l'extraction et la gestion des connaissances, Jan 2023, Lyon, France. pp.483--490
Conference papers hal-04042605v1
Image document

Linear Time Computation of Variation Degree and Commonalities on Feature Diagrams

Mathieu Vavrille , Erwan Meunier , Charlotte Truchet , Charles Prud'Homme
RR-2023-01-DAPI, Nantes Université, École Centrale Nantes, IMT Atlantique, CNRS, LS2N, UMR 6004, F-44000 Nantes, France. 2023
Reports hal-03970237v1
Image document

New Algorithm for Exhausting Optimal Permutations for Generalized Feistel Networks ⋆

Stéphanie Delaune , Patrick Derbez , Arthur Gontier , Charles Prud'Homme
INDOCRYPT 2022: 23rd International Conference on Cryptology in India, Dec 2022, Kolkata, India. pp.103-124, ⟨10.1007/978-3-031-22912-1_5⟩
Conference papers hal-03927074v1
Image document

Choco-solver

Charles Prud’homme , Jean-Guillaume Fages
Journal of Open Source Software, 2022, 7 (78), pp.4708. ⟨10.21105/joss.04708⟩
Journal articles hal-03932507v1
Image document

Acquiring Maps of Interrelated Conjectures on Sharp Bounds

Nicolas Beldiceanu , Jovial Cheukam-Ngouonou , Rémi Douence , Ramiz Gindullin , Claude-Guy Quimper
CP 2022 - 28th International Conference on Principles and Practice of Constraint Programming, Jul 2022, Haifa, Israel. pp.1-18, ⟨10.4230/LIPIcs.CP.2022.6⟩
Conference papers hal-03789045v1

Threshold-free Pattern Mining Meets Multi-Objective Optimization: Application to Association Rules

Charles Vernerey , Samir Loudni , Noureddine Aribi , Yahia Lebbah
IJCAI-ECAI 2022 - 31ST INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, Jul 2022, Messe Wien, Vienna, Austria. pp.1880--1886, ⟨10.24963/ijcai.2022/261⟩
Conference papers hal-03687132v1
Image document

Intégration incrémentale de contraintes pour le clustering avec la programmation par contraintes

Aymeric Beauchamp , Thi-Bich-Hanh Dao , Samir Loudni , Christel Vrain
Journées Francophones de Programmation par Contraintes (Evènement affilié à PFIA 2022), Jun 2022, Saint-Étienne, France
Conference papers hal-03687871v1
Image document

De l'influence de Jacques Pitrat sur mes recherches en programmation par contraintes

Nicolas Beldiceanu
Revue Ouverte d'Intelligence Artificielle, 2022, 3 (1-2), pp.141-153. ⟨10.5802/roia.24⟩
Journal articles hal-03788925v1
Image document

Diffusion totale dans le schéma de Feistel généralisé

Stéphanie Delaune , Patrick Derbez , Arthur Michel Gontier , Charles Prud'Homme
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
Conference papers hal-03595277v1
Image document

Une méthode d'apprentissage par optimisation multicritère pour le rangement de motifs en fouille de données

Nassim Belmecheri , Noureddine Aribi , Nadjib Lazaar , Yahia Lebbah , Samir Loudni
EGC 2022 - 22e Conférence Extraction et Gestion des Connaissances, Jan 2022, Blois, France
Conference papers lirmm-03687103v1
Image document

Solution sampling with random table constraints

Mathieu Vavrille , Charlotte Truchet , Charles Prud’homme
Constraints, In press, ⟨10.1007/s10601-022-09329-w⟩
Journal articles hal-03776149v1

Global domain views for expressive and cross-domain constraint programming

Dimitri Justeau-Allaire , Charles Prud'Homme
Constraints, 2022, 27 (1-2), pp.1-7. ⟨10.1007/s10601-021-09324-7⟩
Journal articles hal-03534058v1

New Methods for Compressing Table Constraints

Soufia Bennai , Kamal Amroun , Samir Loudni
Advances in Knowledge Discovery and Management Vol. 10 (AKDM-10), In press
Book sections hal-03687051v1

Solution sampling with random table constraints

Mathieu Vavrille , Charlotte Truchet , Charles Prud'Homme
CP 2021: 27th International Conference on Principles and Practice of Constraint Programming, Oct 2021, Montpellier (en ligne), France. pp.56:1--56:17, ⟨10.4230/LIPIcs.CP.2021.56⟩
Conference papers hal-03776130v1
Image document

A Simpler Model for Recovering Superpoly on Trivium

Stéphanie Delaune , Patrick Derbez , Arthur Gontier , Charles Prud'Homme
SAC 2021: International Conference on Selected Areas in Cryptography, Sep 2021, Victoria, British-Columbia, Canada. pp.266-285, ⟨10.1007/978-3-030-99277-4_13⟩
Conference papers hal-03534492v1
Image document

Sur le tri de tâches pour résoudre des problèmes d'ordonnancement avec la programmation par contraintes

Arthur Godet
Discrete Mathematics [cs.DM]. Ecole nationale supérieure Mines-Télécom Atlantique, 2021. English. ⟨NNT : 2021IMTA0257⟩
Theses tel-03681868v1
Image document

Tirage de solutions par ajout de contraintes tables aléatoires

Mathieu Vavrille , Charlotte Truchet , Charles Prud'Homme
Journées Francophones de Programmation par Contraintes, Jun 2021, Nice, France
Conference papers hal-03776147v1
Image document

Efficient Methods to Search for Best Differential Characteristics on SKINNY

Stéphanie Delaune , Patrick Derbez , Paul Huynh , Marine Minier , Victor Mollimard , et al.
ACNS 2021 - 19th International Conference on Applied Cryptography and Network Security, Jun 2021, Kamakura, Japan. pp.184-207, ⟨10.1007/978-3-030-78375-4_8⟩
Conference papers hal-03040548v2
Image document

Fouille de Motifs Fermés et Diversifiés Basée sur la Relaxation

Arnold Hien , Samir Loudni , Noureddine Aribi , Yahia Lebbah , Amine Laghzaoui , et al.
Conférence Internationale Francophone sur la Science des Données (CIFSD), Jun 2021, Marseille, France
Conference papers hal-03686185v1
Image document

Vers l'extraction efficace des représentations condensées de motifs; Application aux motifs Pareto Dominants

Charles Vernerey , Samir Loudni , Noureddine Aribi , Yahia Lebbah
Conférence Internationale Francophone sur la Science des Données (CIFSD) Actes de la 9e édition, Jun 2021, Marseille, France
Conference papers hal-03686143v1
Image document

ASSISTANT: Learning and Robust Decision Support System for Agile Manufacturing Environments

Nicolas Beldiceanu , Alexandre Dolgui , Clemens Gonnermann , Gabriel Gonzalez-Castañé , Niki Kousi , et al.
INCOM 2021: 17th IFAC Symposium on Information Control Problems in Manufacturing, Jun 2021, Budapest, Hungary. pp.641-646, ⟨10.1016/j.ifacol.2021.08.074⟩
Conference papers hal-03486945v2
Image document

Cost Function Networks to Solve Large Computational Protein Design Problems

David Allouche , Sophie Barbe , Simon de Givry , George Katsirelos , Yahia Lebbah , et al.
Malek Masmoudi, Bassem Jarboui, Patrick Siarry. Operations Research and Simulation in healthcare, Springer, pp.81-102, 2021, 978-3-030-45223-0. ⟨10.1007/978-3-030-45223-0_4⟩
Book sections hal-02177634v1

Parameterised Bounds on the Sum of Variables in Time-Series Constraints

Nicolas Beldiceanu , Maria-Isabel Restrepo , Helmut Simonis
CPAIOR 2020 : 17th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, Sep 2020, Vienna, Austria. ⟨10.1007/978-3-030-58942-4_6⟩
Conference papers hal-02505056v1
Image document

A Relaxation-based Approach for Mining Diverse Closed Patterns

Arnold Hien , Samir Loudni , Noureddine Aribi , Yahia Lebbah , Mohammed El Amine Laghzaoui , et al.
Machine Learning and Knowledge Discovery in Databases - European Conference, {ECML} {PKDD} 2020, Sep 2020, Ghent (virtual), Belgium. pp.36--54, ⟨10.1007/978-3-030-67658-2_3⟩
Conference papers hal-03244005v1
Image document

Conflict analysis in CP solving: Explanation generation from constraint decomposition

Arthur Gontier , Charlotte Truchet , Charles Prud'Homme
CP 2020: 26th International Conference on Principles and Practice of Constraint Programming: Workshop: From Constraint Programming to Trustworthy AI, Sep 2020, Louvain-la-Neuve, Belgium
Conference papers hal-03179630v1

Invariants for Time-Series Constraints

Ekaterina Arafailova , Nicolas Beldiceanu , Helmut Simonis
Journal articles hal-02505029v1