Frédéric Saubion
116
Documents
Publications
|
Étude de l'émergence de nouveaux algorithmes de recherche locale par neuro-évolution25ème édition du congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF 2024), Mar 2024, Amiens, France
Communication dans un congrès
hal-04456798v1
|
|
Emergence of new local search algorithms with neuro-evolution24th European Conference on Evolutionary Computation in Combinatorial Optimisation, Apr 2024, Aberystwyth, United Kingdom
Communication dans un congrès
hal-04457723v1
|
Génération d’ensembles de modèles explorables par couplage de contraintes et de transformation de modèlesJournée Francophones de Programmation par Contraintes (JFPC) 2021, Jun 2021, Virtual, France
Communication dans un congrès
hal-03594386v1
|
|
Evolution of Deterministic Hill-climbers2020 IEEE 32nd International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2020, Baltimore, France. pp.564-571, ⟨10.1109/ICTAI50040.2020.00093⟩
Communication dans un congrès
hal-03421013v1
|
|
Evolving search trajectoriesGECCO '20: Genetic and Evolutionary Computation Conference, Jul 2020, Cancún Mexico, France. pp.101-102, ⟨10.1145/3377929.3390025⟩
Communication dans un congrès
hal-02929622v1
|
|
Transformation de modèles et programmation par contraintes avec ATL CJPFC 2019, Jun 2019, Albi, France
Communication dans un congrès
hal-03594942v1
|
|
Toward a Declarative Language to Generate Explorable Sets of Models34th ACM/SIGAPP Symposium on Applied Computing (SAC ’19), Apr 2019, Limassol, Cyprus
Communication dans un congrès
hal-01948080v1
|
|
MixONat: Assistance aux analyses déréplicatives par RMN-13CJournée Scientifique Biogenouest « Du phénome au métabolome », Oct 2019, Angers, France
Communication dans un congrès
hal-02871151v1
|
|
Anti-ageing NPs: screening and identification in mixtures using 13C-NMR.4th International Symposium: Analytical Chemistry Research & Development and Quality Control of Health Products., Oct 2019, Bordeaux, France
Communication dans un congrès
hal-02863586v1
|
|
13C-NMR dereplication of complex mixtures using a custom softwareJournées de l’école doctorale EGAAL, Jul 2019, Rennes, France
Communication dans un congrès
hal-02871207v1
|
|
|
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⟩
Communication dans un congrès
hal-02557441v1
|
Intensional View Definition with Constrained Incremental Transformation Rules2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), Sep 2019, Munich, Germany. pp.395-402, ⟨10.1109/MODELS-C.2019.00061⟩
Communication dans un congrès
hal-02492143v1
|
|
13C-NMR dereplication of compex mixtures: building a custom search algorithm3rd AFERP & STOLON International Symposium, Jul 2018, Rennes, France
Communication dans un congrès
hal-02521263v1
|
|
Using process algebra to statically analyze incremental propagation graphs18th International Workshop in OCL and Textual Modeling, Oct 2018, Copenhague, Denmark
Communication dans un congrès
hal-01887900v1
|
|
Generation and Optimization of SMT StrategiesWorkshop on Optimization and Learning: Challenges and Applications - OLA, 2018, Alicante, Spain
Communication dans un congrès
hal-02715061v1
|
|
Optimizing SMT Solving Strategies by Learning with an Evolutionary ProcessInternational Conference on High Performance Computing & Simulation : Pacos 2018, 2018, Orléans, France
Communication dans un congrès
hal-02715060v1
|
|
Transformation de Modèles et Contraintes pour l’Ingénierie Dirigée par les ModèlesJFPC2018, Jun 2018, Amiens, France
Communication dans un congrès
hal-01804542v1
|
|
|
Learning and Migration Processes for Island Models28th IEEE International Conference on Tools with Artificial Intelligence (ICTAI), 2016, San Jose, United States
Communication dans un congrès
hal-02709479v1
|
Calcul exact d’hypervolume exclusif pour l’optimisation multi-objectifRecherche Opérationnelle et Aide à la DEcision Française (ROADEF'16), 2016, Compiègne, France
Communication dans un congrès
hal-02709503v1
|
|
Genetic ProgrammingTowards Automated Strategies in Satisfiability Modulo TheoryGenetic Programming - 19th European Conference, EuroGP 2016, 2016, Porto, Portugal. pp.230-245, ⟨10.1007/978-3-319-30668-1_15⟩
Communication dans un congrès
hal-01449594v1
|
|
|
Branch-and-cut bi-objectif appliqué au problème du sac-à-dos bi-dimensionnel17ème congrès de la société Française de Recherche Opérationnelle et d’Aide à la Décision (ROADEF 2016), Feb 2016, Compiègne, France
Communication dans un congrès
hal-01411248v1
|
Evolving SMT Strategies28th IEEE International Conference on Tools with Artificial Intelligence (ICTAI), 2016, San Jose, United States
Communication dans un congrès
hal-02709511v1
|
|
S'adapter pour mieux optimiser : paramétrage et contrôle des algorithmes évolutionnairesColloque sur l'Optimisation et les Systèmes d'Information, COSI 2016, 2016, Sétif, Algérie
Communication dans un congrès
hal-02709516v1
|
|
|
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⟩
Communication dans un congrès
hal-01412613v1
|
|
On Migration Policies in Dynamic Island ModelsArtificial Evolution, 2015, Lyon, France
Communication dans un congrès
hal-02709488v1
|
A branch-and-cut method for the bi-objective bi-dimensional knapsack problemInternational Conference on Multiple Criteria Decision Making MCDM, Aug 2015, Hamburg, Germany
Communication dans un congrès
hal-01242198v1
|
|
|
Empirical Analysis of Operators for Permutation Based ProblemsLION 2015: Learning and Intelligent Optimization, May 2015, LILLE, France
Communication dans un congrès
hal-01891521v1
|
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⟩
Communication dans un congrès
hal-01449580v1
|
|
Efficacité des heuristiques de branchement pour le branch-and-bound multi-objectif : vers une gestion plus dynamiqueROADEF - 15ème congrès annuel de la Société française de recherche opérationnelle et d'aide à la décision, Société française de recherche opérationnelle et d'aide à la décision, Feb 2014, Bordeaux, France
Communication dans un congrès
hal-00946300v1
|
|
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
Communication dans un congrès
hal-03256585v1
|
|
Efficacité des heuristiques de branchement pour le branch-and-bound multi-objectif : vers une gestion plus dynamique15ème congrès annuel de la Société française de recherche opérationnelle et d’aide à la décision (ROADEF), Feb 2014, Bordeaux, France
Communication dans un congrès
hal-01158357v1
|
|
Vers des algorithmes plus autonomesActes des Neuvièmes Journées Francophones de Programmation par Contraintes, 2013, Aix-en-Provence, France
Communication dans un congrès
hal-03352569v1
|
|
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
Communication dans un congrès
hal-03256592v1
|
|
Toward the Design of a Generic Model of Interoperability for SIEC - SIEC: Eco-design Information System15th International Conference on Enterprise Information Systems, 2013, Non spécifié, France. pp.329-333, ⟨10.5220/0004564103290333⟩
Communication dans un congrès
hal-03352565v1
|
|
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⟩
Communication dans un congrès
hal-03256594v1
|
|
Sélection adaptative d'opérateurs en recherche locale et Progressive Party ProblemActes des Neuvièmes Journées Francophones de Programmation par Contraintes, 2013, Aix-en-Provence, France
Communication dans un congrès
hal-03352574v1
|
|
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⟩
Communication dans un congrès
hal-03256583v1
|
|
Using Local Search with adaptive operator selection to solve the Progressive Party Problem2013 IEEE Congress on Evolutionary Computation (CEC), 2013, Cancun, Mexico, France. pp.554 - 561, ⟨10.1109/CEC.2013.6557617⟩
Communication dans un congrès
hal-03352568v1
|
|
Toward the design of a generic model of interoperability for SiecProceedings the 15th International Conference on Enterprise Information Systems (ICEIS'13), Jul 2013, Angers, France
Communication dans un congrès
hal-01179306v1
|
|
|
Sélection adaptative d'opérateurs pour la recherche locale basée sur un compromis exploration-exploitationJFPC - Huitièmes Journées Francophones de Programmation par Contraintes - 2012, May 2012, Toulouse, France. pp.318-327
Communication dans un congrès
hal-00812844v1
|
A Comparison of Operator Utility Measures for On-Line Operator Selection in Local Search6th International Conference, LION 6, 2012, Paris, France. pp.497 - 502, ⟨10.1007/978-3-642-34413-8_51⟩
Communication dans un congrès
hal-03255571v1
|
|
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
Communication dans un congrès
hal-03350668v1
|
|
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⟩
Communication dans un congrès
hal-03255416v1
|
|
An Exploration-exploitation Compromise-based Adaptive Operator Selection for Local SearchGECCO '12, 2012, Philadelphie, United States. pp.1277 - 1284, ⟨10.1145/2330163.2330340⟩
Communication dans un congrès
hal-03255569v1
|
|
Improving Clonal Colony Optimization to Evolve Robust SolutionsGECCO '12, 2012, Philadelphie, United States. pp.1511 - 1512, ⟨10.1145/2330784.2331019⟩
Communication dans un congrès
hal-03255583v1
|
|
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⟩
Communication dans un congrès
hal-03255428v1
|
|
|
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⟩
Communication dans un congrès
hal-03255423v1
|
Pareto Autonomous Local Search5th International Conference, LION 5, 2011, Rome, Italy. pp.392 - 406, ⟨10.1007/978-3-642-25566-3_29⟩
Communication dans un congrès
hal-03255568v1
|
|
|
The bacterial strains characterization problem26th Symposium On Applied Computing, 2011, Taichung, Taiwan. pp.108 - 109, ⟨10.1145/1982185.1982213⟩
Communication dans un congrès
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⟩
Communication dans un congrès
hal-03255420v1
|
|
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
Communication dans un congrès
hal-03350663v1
|
|
Sélection autonome d’opérateurs par dominance pour la recherche localeActes des Septièmes Journées Francophones de Programmation par Contraintes, 2011, Lyon, France
Communication dans un congrès
hal-03352564v1
|
|
|
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
Communication dans un congrès
inria-00520287v1
|
|
Controlling behavioral and structural parameters in evolutionary algorithmsArtifical Evolution, Oct 2010, Non spécifié, France. ⟨10.1007/978-3-642-14156-0⟩
Communication dans un congrès
hal-03255570v1
|
Traveling among clusters: a way to reconsider the benefits of the cluster hypothesis.ACM Symposium on Applied Computing, Mar 2010, Sierre, Switzerland. pp.1774-1780, ⟨10.1145/1774088.1774465⟩
Communication dans un congrès
hal-01291868v1
|
|
Query-oriented clustering: a multi-objective approach.ACM Symposium on Applied Computing, Mar 2010, Sierre, Switzerland. pp.1789-1795, ⟨10.1145/1774088.1774467⟩
Communication dans un congrès
hal-01291872v1
|
|
Clustering en recherche d'information: concentration vs distribution de l'information pertinente.6ème Conférence en Recherhce d'Information et Applications, 2009, Toulon, France. pp.115 - 130
Communication dans un congrès
hal-03350669v1
|
|
|
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⟩
Communication dans un congrès
hal-03350614v1
|
|
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
Communication dans un congrès
hal-00390923v1
|
|
Autonomous Control Approach for Local SearchSecond InternationalWorkshop, SLS 2009, 2009, Bruxelles, Belgium. pp.130-134, ⟨10.1007/978-3-642-03751-1_13⟩
Communication dans un congrès
hal-03255566v1
|
Handling Multiple "Alldifferent" ConstraintsVIII Congreso Chileno de Investigacion Operativa, OPTIMA 2009, 2009, Université de Bio-Bio, Chile
Communication dans un congrès
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
Communication dans un congrès
hal-00387811v1
|
|
Extreme Compass and Dynamic Multi-Armed Bandits for Adaptive Operator SelectionIEEE Congress on Evolutionary Computation (CEC), IEEE, May 2009, Trondheim, Norway. pp.365-372, ⟨10.1109/CEC.2009.4982970⟩
Communication dans un congrès
inria-00377450v3
|
Using Text Segmentation to Enhance the Cluster Hypothesis13th International Conference, AIMSA 2008, 2008, Varna, Bulgaria. pp.69 - 82, ⟨10.1007/978-3-540-85776-1_7⟩
Communication dans un congrès
hal-03350624v1
|
|
Managing Multiple Alldifferent Constraints in CSP and SATAnnual ERCIM Workshop, CSCLP 2008, 2008, Rome, Italy. 11 - p
Communication dans un congrès
hal-03350612v1
|
|
Classification en recherche d'information : Utilisation de segments thématiquesColloque sur l'Optimisation et les Systèmes d'Information, COSI'2008, 2008, Tizi-Ouzou, Algérie. pp.206 - 217
Communication dans un congrès
hal-03350618v1
|
|
Segmentation Thématique : Unité du Texte vs Indépendance des SegmentsReconnaissance des Formes et Intelligence Artificielle, 2008, Amiens, France. pp.16 - 23
Communication dans un congrès
hal-03350664v1
|
|
Thematic Segment Retrieval Revisited13th International Conference, AIMSA 2008, 2008, Varna, Bulgaria. pp.157 - 166, ⟨10.1007/978-3-540-85776-1_14⟩
Communication dans un congrès
hal-03350606v1
|
|
Overlapping Alldifferent Constraints and the Sudoku puzzleXXXIV Conferencia Latinoamericana de Informatica, CLEI 2008, 2008, Santa Fe, Argentina. 10 - p
Communication dans un congrès
hal-03350621v1
|
|
A Theoretical Framework for Local Search Techniques11th IEEE International Conference on Computational Science and Engineering, 2008, Sao Paulo, Brazil. pp.335 - 342, ⟨10.1109/CSE.2008.40⟩
Communication dans un congrès
hal-03255562v1
|
|
A Compass to Guide Genetic Algorithms10th International Conference on Parallel Problem Solving from Nature, 2008, Dortmund, Germany. pp.256 - 265, ⟨10.1007/978-3-540-87700-4_26⟩
Communication dans un congrès
hal-03255560v1
|
|
|
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⟩
Communication dans un congrès
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)
Communication dans un congrès
inria-00085817v1
|
|
Three Truth Values for the SAT and Max-SAT Problems19th International Joint Conference on Artificial Intelligence, 2005, San Francisco, United States. pp.187-192
Communication dans un congrès
hal-01119899v1
|
|
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
Communication dans un congrès
inria-00000044v1
|
|
Résolution du problème d'équilibrage des diplômes grâce à l'hybridation d'algorithmes génétiques et de la propagation de contraintesPremières Journées Francophones de Programmation par Contraintes, CRIL - CNRS FRE 2499, Jun 2005, Lens, pp.423-426
Communication dans un congrès
inria-00000054v1
|
|
Evolution + Adaptation = Résolution12èmes Journées Francophones de Programmation Logique et programmation par Contraintes (JFPLC'03), Jun 2003, Amiens, France. pp.281-294
Communication dans un congrès
hal-04031242v1
|
Recombination Operators for Satisfiability ProblemsArtificial Evolution, 2003, Marseille, France. pp.103-114, ⟨10.1007/978-3-540-24621-3_9⟩
Communication dans un congrès
hal-01119905v1
|
|
|
Evolutionary Computing for the Satisfiability ProblemApplications of Evolutionary Computing, 2003, Essex, United Kingdom. pp.258-267, ⟨10.1007/3-540-36605-9_24⟩
Communication dans un congrès
hal-03377796v1
|
Heuristiques pour la migration et l'évolution des éléments d'un réseau cellulaire4ème Congrès de la Société Française de recherche Opérationnelle et d'Aide à la Décision (ROADEF'02), 2002, Paris, France. pp.46-47
Communication dans un congrès
hal-04031261v1
|
|
A General Framework for R-Unification ProblemsPILP/ALP, 1998, Pisa, Italy. pp.266-281
Communication dans un congrès
hal-00809568v1
|
|
On Partial Validation of Logic ProgramsAMAST 1997, 1997, Sidney, Australia. pp.365-379
Communication dans un congrès
hal-00809530v1
|
Des archipels d'algorithmesTêtes chercheuses, numéro 21, 2012
Autre publication scientifique
hal-03443637v1
|
Description of GADEL2000
Pré-publication, Document de travail
hal-00121991v1
|
|
Attributes for Understanding Groups of Binary DataPattern Recognition Applications and Methods, pp.48-70, 2020, ⟨10.1007/978-3-030-40014-9_3⟩
Chapitre d'ouvrage
hal-02929606v1
|
Evolving Fitness Landscapes with Complementary Fitness FunctionsArtificial Evolution. EA 2019, pp.110-120, 2020, ⟨10.1007/978-3-030-45715-0_9⟩
Chapitre d'ouvrage
hal-02929601v1
|
|
An Introduction to Autonomous SearchHamadi, Y. and Monfroy, E. and Saubion, F. Autonomous Search, Springer-Verlag, pp.11, 2012
Chapitre d'ouvrage
hal-00872921v1
|
|
|
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⟩
Chapitre d'ouvrage
hal-03256764v1
|
What is Autonomous Search?van Hentenryck P. and Milano, M. Hybrid Optimization (The 10 Years of CP-AI-OR), Springer-Verlag, pp.357-391, 2011, Optimization and its Applications
Chapitre d'ouvrage
hal-00872869v1
|
|
What is Autonomous Search ?Hybrid Optimization (The 10 Years of CP-AI-OR), 45, Springer-Verlag, pp.357-391, 2011, 978-1-4419-1644-0. ⟨10.1007/978-1-4419-1644-0⟩
Chapitre d'ouvrage
hal-03352571v1
|
Artificial Intelligence. What is it, exactly?Sébastien Konieczny; Henri Prade. College Publication, 2021, 9781848903388
Ouvrages
hal-04270168v1
|
|
L’intelligence Artificielle: De quoi s’agit-il vraiment ?Sébastien Konieczny; Henri Prade. Cepadues, 2020, 9782364938502
Ouvrages
hal-04270163v1
|
|
Autonomous searchSpringer-Verlag, pp.307, 2012
Ouvrages
hal-00872880v1
|
|
Special Issue on Autonomous SearchCLS, pp.65, 2009
Ouvrages
hal-00872896v1
|
|
Static analysis of incremental propagation graphs with process algebraACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS) 2018, Oct 2018, Copenhague, Denmark. 2018
Poster de conférence
hal-02715065v1
|
Characterization of biological dataJournées Ouvertes en Biologie, Informatique & Mathématiques 2017 (JOBIM'17), 2017, Lille, France. , 2017
Poster de conférence
hal-02516659v1
|
|
Characterization of Multiple Groups of Data27. IEEE International Conference on Tools with Artificial Intelligence, Nov 2015, Vietri sul Mare, Italy. IEEE Computer Society, 2015, 2015 IEEE 27. International Conference on Tools with Artificial Intelligence (ICTAI). ⟨10.1109/ICTAI.2015.146⟩
Poster de conférence
hal-02742375v1
|
Procédé de dépistage de Xanthomonas axonopodis pv. phaseoliFrance, N° de brevet: FR2970480 A1. 2012
Brevet
hal-03256747v1
|