Search - Archive ouverte HAL Access content directly

Filter your results

85 Results

A Computational Model for Logical Analysis of Data

Danièle Gardy , Frédéric Lardeux , Frédéric Saubion
2022
Preprints, Working Papers, ... hal-03722050v1

Preliminary Results on Constraint Programming and Branch & Bound Algorithms for the Cyclic Bandwidth Sum Problem

Valentina Narvaez-Teran , Eduardo Rodriguez-Tello , Frédéric Lardeux , Gabriel Ramírez-Torres
Seventh International Congress on Information and Communication Technology, Feb 2022, London, United Kingdom. pp.117-125, ⟨10.1007/978-981-19-1610-6_11⟩
Conference papers hal-03943464v1
Image document

Optimized models and symmetry breaking for the NFA inference problem

Frédéric Lardeux , Eric Monfroy
2021 IEEE 33rd International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2021, Washington, France. pp.396-403, ⟨10.1109/ICTAI52525.2021.00065⟩
Conference papers hal-03613517v1
Image document

GA and ILS for optimizing the size of NFA models

Frédéric Lardeux , Eric Monfroy
The 8th International Conference on Metaheuristics and Nature Inspired Computing (META), Oct 2021, Marrakech, Morocco
Conference papers hal-03284541v1
Image document

Improved SAT models for NFA learning

Frédéric Lardeux , Eric Monfroy
International Conference in Optimization and Learning (OLA), Jun 2021, Catania, Italy
Conference papers hal-03284571v1

Virtualised Network Function Deployment

Pierre Desport , Frédéric Lardeux , David Lesaint , Carla Di Cairano-Gilfedder
United States, Patent n° : US 20210103456 A1. 2021
Patents hal-03379567v1
Image document

Abacus: A New Hybrid Encoding for SAT Problems

Claudia Vasconcellos-Gaete , Vincent Barichard , Frédéric Lardeux
2020 IEEE 32nd International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2020, Baltimore, United States. pp.145-152, ⟨10.1109/ICTAI50040.2020.00033⟩
Conference papers hal-03385029v1
Image document

Solving complex problems using model transformations: from set constraint modeling to SAT instance solving

Frédéric Lardeux , Éric Monfroy , Eduardo Rodriguez-Tello , Broderick Crawford , Ricardo Soto et al.
Expert Systems with Applications, 2020, 149, pp.113243. ⟨10.1016/j.eswa.2020.113243⟩
Journal articles hal-02945710v1
Image document

Attributes for Understanding Groups of Binary Data

Arthur Chambon , Frédéric Lardeux , Frédéric Saubion , Tristan Boureau
Pattern Recognition Applications and Methods, pp.48-70, 2020, ⟨10.1007/978-3-030-40014-9_3⟩
Book sections hal-02929606v1
Image document

On the Use of CSP Semantic Information in SAT Models

Claudia Vasconcellos-Gaete , Vincent Barichard , Frédéric Lardeux
18th Mexican International Conference on Artificial Intelligence (MICAI), Oct 2019, Xalapa, Mexico. pp.127
Conference papers hal-02445335v1
Image document

A Sequence-Based Metaheuristics for Tactical Distribution Problems in Closed-Loop Supply Chains

Pierre Desport , David Lesaint , Frédéric Lardeux , Carla Di Cairano - Gilfedder , Anne Liret et al.
9th IFAC Conference Manufacturing Modelling, Management and Control MIM 2019, Aug 2019, Berlin, Germany
Conference papers hal-02285029v1
Image document

Dynamic Multi-Armed Bandit Algorithm for the Cyclic Bandwidth Sum Problem

Eduardo Rodriguez-Tello , Valentina Narvaez-Teran , Frederic Lardeux
IEEE Access, 2019, 7, pp.40258 - 40270. ⟨10.1109/access.2019.2906840⟩
Journal articles hal-03379531v1
Image document

Accelerated algorithm for computation of all prime patterns in logical analysis of data

Arthur Chambon , Frédéric Lardeux , Frédéric Saubion , Tristan Boureau
8th International, Conference on Pattern Recognition Applications and Methods (ICPRAM), 2019, Prague, Czech Republic. pp.210-220, ⟨10.5220/0007389702100220⟩
Conference papers hal-02557441v1
Image document

Migration policies in dynamic island models

Frédéric Lardeux , Jorge Maturana , Eduardo Rodriguez-Tello , Frédéric Saubion
Natural Computing, 2019, 18 (1), pp.163-179. ⟨10.1007/s11047-017-9660-z⟩
Journal articles hal-02715693v1
Image document

Alternative evaluation functions for the cyclic bandwidth sum problem

Eduardo Rodriguez-Tello , Frédéric Lardeux , Abraham Duarte , Valentina Narvaez-Teran
European Journal of Operational Research, 2019, 273 (3), pp.904-919. ⟨10.1016/j.ejor.2018.09.031⟩
Journal articles hal-02715688v1
Image document

Logical characterization of groups of data: a comparative study

Arthur Chambon , Tristan Boureau , Frédéric Lardeux , Frédéric Saubion
Applied Intelligence, 2018, 48 (8), pp.2284-2303. ⟨10.1007/s10489-017-1080-3⟩
Journal articles hal-02516582v1
Image document

Comparative Study of Different Memetic Algorithm Configurations for the Cyclic Bandwidth Sum Problem

Eduardo Rodriguez-Tello , Valentina Narvaez-Teran , Frédéric Lardeux
PPSN: International Conference on Parallel Problem Solving from Nature, 2018, Coimbra, Portugal. ⟨10.1007/978-3-319-99253-2_7⟩
Conference papers hal-02082126v1
Image document

A combinatorial optimisation approach for closed-loop supply chain inventory planning with deterministic demand

Pierre Desport , Anne Liret , Carla Di Cairano - Gilfedder , Gilbert Owusu , David Lesaint et al.
European Journal of Industrial Engineering, 2017, ⟨10.1504/EJIE.2017.084878⟩
Journal articles hal-01891456v1

Characterization of biological data

Arthur Chambon , Frédéric Lardeux , Frédéric Saubion , Tristan Boureau
Journées Ouvertes en Biologie, Informatique & Mathématiques 2017 (JOBIM'17), 2017, Lille, France. , 2017
Poster communications hal-02516659v1

Treizièmes Journées Francophones de Programmation par Contraintes, JFPC 2017

Frédéric Lardeux
, 2017
Books hal-02004134v1
Image document

Model and Combinatorial Optimization Methods for Tactical Planning in Closed-Loop Supply Chains

Pierre Desport , Frédéric Lardeux , David Lesaint , Anne Liret , Carla Di Cairano-Gilfedder et al.
2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2016, San Jose, France. ⟨10.1109/ICTAI.2016.0137⟩
Conference papers hal-01891504v1

Tactical Supply Chain Distribution Planning In The Telecommunications Service Industry

Pierre Desport , Frédéric Lardeux , David Lesaint , Anne Liret , Carla Di Cairano - Gilfedder et al.
VeRoLog 2016: annual workshop of the EURO working group on Vehicle Routing and Logistics optimization, Jun 2016, Nantes, France
Conference papers hal-01891533v1

Strategies for handling uncertainty in tactical distribution planning - an empirical study

Pierre Desport , Frédéric Lardeux , David Lesaint , Anne Liret , Carla Di Cairano - Gilfedder et al.
European Chapter on Combinatorial Optimization - ECCO XXIX, May 2016, Budapest, Hungary
Conference papers hal-01891541v1

A Metaheuristic for Tactical Inventory Planning in Closed-Loop Supply Chains

Pierre Desport , Frédéric Lardeux , David Lesaint , Anne Liret , Gilbert Owusu et al.
17ème conférence de la Société française de recherche opérationnelle et aide à la décision - ROADEF'16, Feb 2016, Compiègne, France
Conference papers hal-01891546v1
Image document

From Set Constraint Models to SAT Instances

Frédéric Lardeux , Eric Monfroy
28th IEEE International Conference on Tools with Artificial Intelligence (ICTAI), 2016, San Jose, United States
Conference papers hal-02709491v1
Image document

Réduction et Encodage des Contraintes Ensemblistes en SAT

Frédéric Lardeux , Eric Monfroy
Douzièmes journées Francophones de Programmation par Contraintes (JFPC), 2016, Montpellier, France
Conference papers hal-02709514v1

Scientific Programming in Computational Intelligence

Ricardo Soto , Eduardo Rodriguez-Tello , Stéphane Caro , Frédéric Lardeux
Scientific Programming, 2016 (5039793), , Non spécifié, 2016, ⟨10.1155/2016/5039793⟩
Special issue hal-02715051v1

Simulating non-stationary operators in search algorithms

Adrien Goëffon , Frédéric Lardeux , Frédéric Saubion
Applied Soft Computing, 2016, 38, pp.257-268. ⟨10.1016/j.asoc.2015.09.024⟩
Journal articles hal-01412601v1
Image document

Learning and Migration Processes for Island Models

Frédéric Lardeux , Frédéric Saubion , Jorge Maturana
28th IEEE International Conference on Tools with Artificial Intelligence (ICTAI), 2016, San Jose, United States
Conference papers hal-02709479v1

Parallélisme et programmation par contraintes : un duo gagnant

Frédéric Lardeux
ITbulletin, Atos, 2015
Other publications hal-03443669v1