FL
Frédéric lardeux
79
Documents
Researcher identifiers
frederic-lardeux-
0000-0001-8636-3870
- IdRef : 114630445
Presentation
Publications
- 6
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 76
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 6
- 3
- 3
- 8
- 11
- 3
- 4
- 7
- 6
- 5
- 7
- 4
- 1
- 3
- 1
|
|
Inference of over-constrained NFA of size k + 1 to efficiently and systematically derive NFA of size k for grammar learningInternational Conference on Computational Science (ICCS), Jul 2023, Prague, Czech Republic. pp.134-147, ⟨10.1007/978-3-031-35995-8_10⟩
Conference papers
hal-04199534v1
|
|
|
Taking advantage of a very simple property to efficiently infer NFAs2022 IEEE 34rd International Conference on Tools with Artificial Intelligence (ICTAI), Oct 2022, Virtual, France. pp.1355-1361, ⟨10.1109/ICTAI56018.2022.00205⟩
Conference papers
hal-04030407v1
|
|
|
Optimized models and symmetry breaking for the NFA inference problem2021 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
|
|
|
Abacus: A New Hybrid Encoding for SAT Problems2020 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
|
|
|
A Sequence-Based Metaheuristics for Tactical Distribution Problems in Closed-Loop Supply Chains9th IFAC Conference Manufacturing Modelling, Management and Control MIM 2019, Aug 2019, Berlin, Germany
Conference papers
hal-02285029v1
|
|
|
Accelerated algorithm for computation of all prime patterns in logical analysis of data8th International, Conference on Pattern Recognition Applications and Methods (ICPRAM), 2019, Prague, Czech Republic. pp.210-220, ⟨10.5220/0007389702100220⟩
Conference papers
hal-02557441v1
|
|
|
On the Use of CSP Semantic Information in SAT Models18th Mexican International Conference on Artificial Intelligence (MICAI), Oct 2019, Xalapa, Mexico. pp.127
Conference papers
hal-02445335v1
|
|
|
Comparative Study of Different Memetic Algorithm Configurations for the Cyclic Bandwidth Sum ProblemPPSN: International Conference on Parallel Problem Solving from Nature, 2018, Coimbra, Portugal. ⟨10.1007/978-3-319-99253-2_7⟩
Conference papers
hal-02082126v1
|
Using graph-based models to understand transformation between CSP and SAT19ème congrès annuel de la société française de recherche opérationnelle et d'aide à la décision (ROADEF), 2018, Lorient, France
Conference papers
hal-04031269v1
|
|
Tactical Supply Chain Distribution Planning In The Telecommunications Service IndustryVeRoLog 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 studyEuropean Chapter on Combinatorial Optimization - ECCO XXIX, May 2016, Budapest, Hungary
Conference papers
hal-01891541v1
|
|
|
|
Learning and Migration Processes for Island Models28th IEEE International Conference on Tools with Artificial Intelligence (ICTAI), 2016, San Jose, United States
Conference papers
hal-02709479v1
|
|
|
From Set Constraint Models to SAT Instances28th IEEE International Conference on Tools with Artificial Intelligence (ICTAI), 2016, San Jose, United States
Conference papers
hal-02709491v1
|
|
|
Réduction et Encodage des Contraintes Ensemblistes en SATDouzièmes journées Francophones de Programmation par Contraintes (JFPC), 2016, Montpellier, France
Conference papers
hal-02709514v1
|
|
|
Model and Combinatorial Optimization Methods for Tactical Planning in Closed-Loop Supply Chains2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2016, San Jose, France. ⟨10.1109/ICTAI.2016.0137⟩
Conference papers
hal-01891504v1
|
A Metaheuristic for Tactical Inventory Planning in Closed-Loop Supply Chains17è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
|
|
Modélisation du Social Golfer en SAT via les contraintes ensemblistesOnzièmes Journées Francophones de Programmation par Contraintes (JFPC), 2015, Bordeaux, France
Conference papers
hal-02709474v1
|
|
|
|
Empirical Analysis of Operators for Permutation Based ProblemsLION 2015: Learning and Intelligent Optimization, May 2015, LILLE, France
Conference papers
hal-01891521v1
|
|
|
Combining Mutation and Recombination to Improve a Distributed Model of Adaptive Operator SelectionInternational Conference on Artificial Evolution (Evolution Artificielle), 2015, Lyon, France. pp.97-108, ⟨10.1007/978-3-319-31471-6_8⟩
Conference papers
hal-01412613v1
|
Characterization of Multiple Groups of Data2015 IEEE 27th International Conference on Tools with Artificial Intelligence (ICTAI), 2015, Vietri sul Mare, Italy. ⟨10.1109/ICTAI.2015.146⟩
Conference papers
hal-01449580v1
|
|
Expressively Modeling the Social Golfer Problem into SATInternational Conference on Computational Science - ICCS 2015, Jun 2015, Reykjavík, Iceland
Conference papers
hal-01146271v1
|
|
Expressively Modeling the Social Golfer Problem in SATComputational Science at the Gates of Nature, 2015, Reykjavik, France. pp.336-345, ⟨10.1016/j.procs.2015.05.252⟩
Conference papers
hal-01393832v1
|
|
|
|
On Migration Policies in Dynamic Island ModelsArtificial Evolution, 2015, Lyon, France
Conference papers
hal-02709488v1
|
Tactical Inventory Planning in the Telecommunications Service Industry: a Case StudyROADEF'15, Feb 2015, Marseille, France
Conference papers
hal-01891529v1
|
|
From Declarative Set Constraint Models to "Good" SAT Instances.Artificial Intelligence and Symbolic Computation, Dec 2014, Seville, Spain. pp.76-87
Conference papers
hal-01088416v1
|
|
On the Attainability of NK Landscapes Global OptimaProceedings of the Seventh Annual Symposium on Combinatorial Search, 2014, Non spécifié, United States. pp.28-34
Conference papers
hal-03256585v1
|
|
|
|
From Declarative Set Constraint Models to “Good” SAT InstancesArtificial Intelligence and Symbolic Computation, 2014, Séville, Spain. pp.76-87, ⟨10.1007/978-3-319-13770-4_8⟩
Conference papers
hal-03352573v1
|
Parameter Setting with Dynamic Island ModelsLecture Notes in Computer Science, Learning and Intelligent Optimization (LION 7), 2013, Berlin, Heidelberg, France. ⟨10.1007/978-3-642-44973-4_26⟩
Conference papers
hal-03256594v1
|
|
Modèles en iles pour le réglage automatique de paramètres : application au problème du bandit manchotCongrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF), 2013, Non spécifié, France
Conference papers
hal-03256592v1
|
|
Non stationary operator selection with island modelsProceeding of the fifteenth annual conference on Genetic and evolutionary computation conference - GECCO '13, 2013, Non spécifié, Turkey. pp.1509-1516, ⟨10.1145/2463372.2463559⟩
Conference papers
hal-03256583v1
|
|
A dynamic island model for adaptive operator selection14th international conference on genetic and evolutionary computation conference, GECCO'12, 2012, Philadelphie, United States. pp.1253 - 1260, ⟨10.1145/2330163.2330337⟩
Conference papers
hal-03255428v1
|
|
Minimum multiple characterization of biological data using partially defined boolean formulas27th Annual ACM Symposium on Applied Computing, 2012, Trente, Italy. pp.1399 - 1405, ⟨10.1145/2245276.2231998⟩
Conference papers
hal-03255416v1
|
|
Pourquoi rendre les modèles en iles autonomes ?13e congrès annuel de la Société française de Recherche Opérationnelle et d’Aide à la Décision, ROADEF 2012, 2012, Angers,, France
Conference papers
hal-03350668v1
|
|
|
|
Autonomous Local Search Algorithms with Island Representation6th International Conference, LION 6, 2012, Paris, France. pp.390 - 395, ⟨10.1007/978-3-642-34413-8_33⟩
Conference papers
hal-03255434v1
|
Caractérisation multiples minimales utilisant les formules booléennes partiellement définies5èmes Journées Nationales de l’IA Fondamentale, IAF 2011, 2011, Non spécifié, France. 10 - p
Conference papers
hal-03350663v1
|
|
Modèles en Îles Dynamiques7ème Journées Francophones de Programmation par Contraintes, 2011, Lyon, France. pp.135 - 144
Conference papers
hal-03350661v1
|
|
|
|
The bacterial strains characterization problem26th Symposium On Applied Computing, 2011, Taichung, Taiwan. pp.108 - 109, ⟨10.1145/1982185.1982213⟩
Conference papers
hal-03255418v1
|
Experimental Approach for Bacterial Strains Characterization9th European Conference, EvoBIO 2011, 2011, Turin, Italy. pp.135 - 140, ⟨10.1007/978-3-642-20389-3_13⟩
Conference papers
hal-03255420v1
|
|
|
|
Optimal One-Max Strategy with Dynamic Island Models23rd IEEE International Conference on Tools with Artificial Intelligence, ICTAI, 2011, Boca Raton, United States. pp.485-488, ⟨10.1109/ICTAI.2011.79⟩
Conference papers
hal-03255426v1
|
|
|
From Adaptive to More Dynamic Control in Evolutionary AlgorithmsEvolutionary Computation in Combinatorial Optimization, 2011, Turin, Italy. pp.130 - 141, ⟨10.1007/978-3-642-20364-0_12⟩
Conference papers
hal-03255423v1
|
|
|
A Dynamic Island-Based Genetic Algorithms Framework8th International Conference, SEAL 2010, 2010, Kanpur, India. pp.156 - 165, ⟨10.1007/978-3-642-17298-4_16⟩
Conference papers
hal-03350615v1
|
Auto-adaptative Migration Policies in Island-Based Genetic AlgorithmsMetaheuristics and Nature Inspired Computing, 2010, Djerba, Tunisia
Conference papers
hal-03350623v1
|
|
|
|
Caractérisation de souches bactériennes à l'aide de la logique propositionnelleJFPC 2010 - Sixièmes Journées Francophones de Programmation par Contraintes, Jun 2010, Caen, France. pp.101-102
Conference papers
inria-00520287v1
|
|
|
Controlling behavioral and structural parameters in evolutionary algorithmsArtifical Evolution, Oct 2010, Non spécifié, France. ⟨10.1007/978-3-642-14156-0⟩
Conference papers
hal-03255570v1
|
|
|
SAT Encoding and CSP Reduction for Interconnected Alldiff Constraints8th Mexican International Conference on Artificial Intelligence, MICAI 2009, 2009, Guanajuato, Mexico. pp.360-371, ⟨10.1007/978-3-642-05258-3_32⟩
Conference papers
hal-03350614v1
|
Handling Multiple "Alldifferent" ConstraintsVIII Congreso Chileno de Investigacion Operativa, OPTIMA 2009, 2009, Université de Bio-Bio, Chile
Conference papers
hal-03350609v1
|
|
|
|
Génération et contrôle autonomes d'opérateurs pour les algorithmes évolutionnairesCinquièmes Journées Francophones de Programmation par Contraintes, Orléans, juin 2009, Jun 2009, France. pp.185-195
Conference papers
hal-00387811v1
|
|
|
Autonomous Control Approach for Local SearchSecond InternationalWorkshop, SLS 2009, 2009, Bruxelles, Belgium. pp.130-134, ⟨10.1007/978-3-642-03751-1_13⟩
Conference papers
hal-03255566v1
|
|
|
Une approche de contrôle autonome pour la recherche localeCinquièmes Journées Francophones de Programmation par Contraintes, Orléans, juin 2009, Jun 2009, France. pp.205-215
Conference papers
hal-00390923v1
|
Overlapping Alldifferent Constraints and the Sudoku puzzleXXXIV Conferencia Latinoamericana de Informatica, CLEI 2008, 2008, Santa Fe, Argentina. 10 - p
Conference papers
hal-03350621v1
|
|
Managing Multiple Alldifferent Constraints in CSP and SATAnnual ERCIM Workshop, CSCLP 2008, 2008, Rome, Italy. 11 - p
Conference papers
hal-03350612v1
|
|
|
|
Interleaved Alldifferent Constraints: CSP vs. SAT Approaches13th International Conference, AIMSA 2008, 2008, Varna, Bulgaria. pp.380-384, ⟨10.1007/978-3-540-85776-1_34⟩
Conference papers
hal-03350607v1
|
|
|
Une étude empirique des heuristiques de branchement pour le problème MAX-SATDeuxièmes Journées Francophones de Programmation par Contraintes (JFPC06), 2006, Deuxièmes Journées Francophones de Programmation par Contraintes (JFPC06)
Conference papers
inria-00085817v1
|
|
|
Une vision trivaluée pour les problèmes SAT et MAX-SATPremières Journées Francophones de Programmation par Contraintes, CRIL - CNRS FRE 2499, Jun 2005, Lens, pp.297-304
Conference papers
inria-00000044v1
|
|
|
Three Truth Values for the SAT and Max-SAT Problems19th International Joint Conference on Artificial Intelligence, 2005, San Francisco, United States. pp.187-192
Conference papers
hal-01119899v1
|
Recombination Operators for Satisfiability ProblemsArtificial Evolution, 2003, Marseille, France. pp.103-114, ⟨10.1007/978-3-540-24621-3_9⟩
Conference papers
hal-01119905v1
|
Characterization of biological dataJournées Ouvertes en Biologie, Informatique & Mathématiques 2017 (JOBIM'17), 2017, Lille, France. , 2017
Conference poster
hal-02516659v1
|
|
|
Attributes for Understanding Groups of Binary DataPattern Recognition Applications and Methods, pp.48-70, 2020, ⟨10.1007/978-3-030-40014-9_3⟩
Book sections
hal-02929606v1
|
|
|
Adaptive Operator Selection and Management in Evolutionary AlgorithmsAdaptive Operator Selection and Management in Evolutionary Algorithms, Springer-Verlag, pp.161-189, 2012, 978-3-642-21434-9. ⟨10.1007/978-3-642-21434-9_7⟩
Book sections
hal-03256764v1
|
Virtualised Network Function DeploymentUnited States, Patent n° : US 20210103456 A1. 2021
Patents
hal-03379567v1
|
|
Procédé de dépistage de Xanthomonas axonopodis pv. phaseoliFrance, N° de brevet: FR2970480 A1. 2012
Patents
hal-03256747v1
|
Approches Hybrides pour les problèmes de Satisfiabilité (SAT et MAX-SAT)Intelligence artificielle [cs.AI]. Université d'Angers, 2005. Français. ⟨NNT : ⟩
Theses
tel-03379662v1
|
|
|
Algorithmes autonomes et modélisations de problèmesIntelligence artificielle [cs.AI]. Université d'Angers, 2012
Habilitation à diriger des recherches
tel-03379628v1
|