Thomas Schiex
Publications
Publications
|
|
Assignment Problems in Cost Function NetworksThe 40th Annual AAAI Conference on Artificial Intelligence, Jan 2026, Singapour, Singapore |
La PLL-Emmental pour l'apprentissage neuro-symbolique efficace de contraintes & fonction objectifROADEF 2026, Université de Tours [UT], Feb 2026, Tours, France |
|
Design of symmetrical multi-component proteins using a hybrid generative AI approachBiosynsys, Jun 2024, Montpellier, France |
|
Learning how to design biomolecules using a neuro-symbolic architectureAISSAI - Heterogeneous Data and Large Representation Models in Science, Sep 2024, Toulouse, France |
|
|
|
Bi-Objective Discrete Graphical Model OptimizationThe 21st International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, May 2024, Uppsala, Sweden |
Design of symmetrical multi-component proteins using a hybrid generative AI approach.AI Methods and Models for (Bio)Catalysis and Synthetic Biology Workshop, Jun 2024, Montpellier, France |
|
AI-powered de novo design of miniprotein bindersBiosynsys 2024, Jun 2024, Montpellier, France |
|
Scalable Coupling of Deep Learning with Logical ReasoningFirst International Workshop on Discrete Optimization with Soft Constraint., Sep 2024, Girona, Spain |
|
|
|
Coupling CP with Deep Learning for Molecular Design and SARS-CoV2 Variants ExplorationInternational Conference on Principles and Practice of Constraint Programming (CP), Aug 2023, Toronto, Canada. ⟨10.4230/LIPIcs.CP.2023.4⟩ |
|
|
Scalable Coupling of Deep Learning with Logical Reasoning *Thirty-Second International Joint Conference on Artificial Intelligence (IJCAI-23), Edith Elkind, University of Oxford, UK, Aug 2023, Macao, China. ⟨10.24963/ijcai.2023/402⟩ |
|
|
Computational Protein Design with Artificial IntelligenceGGMM 2023, May 2023, Toulouse, France |
Scalable Coupling of Deep Learning with Logical ReasoningPFIA'23, Jul 2023, Strasbourg, France |
|
|
|
Bilevel optimization and its bicriteria approximation in computational protein designSociété Française de Recherche Opérationnelle et d'Aide à la Décision ROADEF 2023, Feb 2023, Rennes, France |
|
|
Learning to Reason: Predict-then-Optimize vs Predict-and-OptimizeAAAI 2023 Bridge on Constraint Programming and Machine Learning, Feb 2023, Washington, United States |
Protein Design with Automated Reasoning and Deep LearningSymposium on Systems and Synthetic Biology (BioSynSys2022), Sep 2022, Paris, France |
|
Computational Protein Design with Automated Reasoning and Deep LearningJournées thématiques “machine learning/Deep learning in structural bioinformatics) du GDR BIM/ GT MASIM, Paris, 5-6 December 2022, Dec 2022, Paris, France |
|
Computational Design of miniprotein bindersJournées Scientifiques du GDR ChemBio, Jun 2022, Toulouse, France |
|
Neural Learning of Graphical Models for Protein DesignANITI workshop on Automated Reasoning & Decision Making (ARDM), Jun 2022, Toulouse, France |
|
|
|
Efficient low rank convex bounds for pairwise discrete Graphical ModelsThirty-ninth International Conference on Machine Learning, Jul 2022, Baltimore, United States |
Computational Design of miniprotein bindersGGMM 2021, Sep 2021, Villeneuve d’Ascq, France |
|
|
|
Constraint and Cost Function Networks: feasibility, optimization and learning.Journées francophones de programmation par contraintes (JFPC), Association Française pour la Programmation par Contraintes (AFPC), Jun 2021, Nice, France |
Computer-aided Protein Design (by combining automated reasoning and learning)Journées Ouvertes en Biologie, Informatique et Mathématiques (JOBIM) 2021, Jul 2021, Paris, France |
|
|
|
Pushing Data into CP Models Using Graphical Model Learning and SolvingInternational Conference on Principles and Practice of Constraint Programming, Sep 2020, Louvain La Neuve, Belgium |
Pushing the computational frontiers of multistate protein designGGMM 2019, Apr 2019, Nice, France |
|
Guaranteed Diversity & Quality for the Weighted CSP2019 IEEE 31st International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2019, Portland, United States. pp.18-25, ⟨10.1109/ICTAI.2019.00012⟩ |
|
Intelligence Artificielle: entre logique et intuitionJournée Science pour tous, Mar 2019, Castanet-Tolosan, France |
|
|
|
Constraint Programming and Graphical models - Pushing data into your models, The protein design case.23rd International Symposium on Mathematical Programming (ISMP-18), Jul 2018, Bordeaux, France |
|
|
Fitness Landscape Analysis around the Optimum in Computational Protein DesignGenetic and Evolutionary Computation Conference (GECCO) 2018, Jul 2018, Kyoto, Japan. pp.355-362 |
|
|
Designing molecules with cost function networks - Bridging symbolic and numerical AI.Journées plénières du GDR IA du CNRS, Oct 2018, Paris, France |
|
|
How Computers Break (Serious) Puzzles with logic and (a different breed of) learningFrench Académie des sciences Symposium on « Machine Learning for Artificial Intelligence », Feb 2018, Paris, France |
|
|
Recent algorithmic advances for combinatorial optimization in graphical models23rd International Symposium on Mathematical Programming (ISMP-18), Jul 2018, Bordeaux, France. 80 p |
|
|
Exact and approximate inference in graphical models10th International Conference on Scalable Uncertainty Management (SUM), Oct 2017, Granada, Spain |
Guaranteed energetic optimization, exploration and counting of sequence-conformation in Computational Protein Design4th Prague Protein Spring Meeting 2016, May 2016, Prague, Czech Republic |
|
Optimization in Graphical Models - Connecting NP-complete frameworksSéminaire Université Catholique de Louvain, Sep 2016, Louvain, Belgium |
|
Guaranteed Optimization on Large Protein Design ProblemsSéminaire au Baker Lab (Institute for Protein Design), Jul 2016, Seattle, United States |
|
|
|
Guaranteed Weighted Counting for Affinity Computation: Beyond Determinism and StructureCP16 - 22nd International Conference on the Principles and Practice of Constraint Programming, Sep 2016, Toulouse, France. pp.18, ⟨10.1007/978-3-319-44953-1_46⟩ |
|
|
Optimization in Graphical Models - NP-complete optimization and its applicationsAssemblée générale de l'Association Française d'Intelligence Artificielle, Oct 2016, Paris, France |
Removing Ded Ends in (re)search - Emeritate of Marc de MaeyerEméritat de Marc de Maeyer, Sep 2016, Leuven, Belgium |
|
Anytime hybrid best-first search with tree decomposition for weighted CSPCP 2015 - 21st International Conference on Principles and Practice of Constraint Programming, Aug 2015, Cork, Ireland. 17 p., ⟨10.1007/978-3-319-23219-5_2⟩ |
|
|
|
Approximate counting with deterministic guarantees for affinity computation3. International Conference on Modelling, Computation and Optimization in Information Systems and Management Sciences - MCO 2015, Université de Lorraine (UL). FRA., May 2015, Metz, France. 500 p., ⟨10.1007/978-3-319-18167-7_15⟩ |
Computational Enzyme Design through deterministic optimization and counting3DSig Structural Bioinformatics and Computational Biophysics 2015, Jul 2015, Dublin, Ireland |
|
Computational protein design as an optimization problemBAI 2015 : Advance in Bioinformatics and Artificial Intelligence, Jul 2015, Buenos Aires, Argentina |
|
|
|
Optimization in Graphical Models27th IEEE International Conference on Tools with Artificial Intelligence, Nov 2015, Vietri sul Mare, Italy |
Computational Design as an Optimization ProblemSéminaire INRIA-IRISA, May 2015, Rennes, France |
|
Optimization in Graphical Models34e Journée Francilienne de Recherche Opérationnelle (JFRO), Sep 2015, Paris, France |
|
Maintaining Virtual Arc Consistency Dynamically During SearchICTAI 2014 - 26th IEEE International Conference on Tools with Artificial Intelligence, Nov 2014, Limassol, Cyprus |
|
An experimental evaluation of CP/AI/OR solvers for optimization in graphical modelsCongrès ROADEF'2014, Feb 2014, Bordeaux, France. 1 p |
|
An Experimental Evaluation of CP/AI/OR Solvers for Optimization in Graphical ModelsROADEF - 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 |
|
|
|
Maintaining Virtual Arc Consistency Dynamically during SearchICTAI: International Conference on Tools with Artificial Intelligence, Nov 2014, Limassol, Cyprus. pp.8-15, ⟨10.1109/ICTAI.2014.13⟩ |
|
|
Une comparaison de logiciels d'optimisation sur une large collection de modèles graphiquesJFPC 2014 - Dixièmes Journées Francophones de Programmation par Contraintes, Jun 2014, Angers, France. 10 p |
|
|
An integer linear programming approach for genome scaffoldingWCB: Workshop on Constraint-Based Methods for Bioinformatics, Sep 2014, Lyon, France. 16 p |
Computational protein design as a cost function network optimization problemSéminaire MOGISA du LAAS/CNRS, Centre National de la Recherche Scientifique (CNRS). FRA., Jun 2013, Toulouse, France |
|
|
|
Dynamic virtual arc consistency28th Annual ACM Symposium on Applied Computing, Mar 2013, Coimbra, Portugal. pp.6, ⟨10.1145/2480362.2480384⟩ |
|
|
Cohérence d'arc virtuelle dynamiqueJFPC 2013 - 9es Journées Francophones de Programmation par Contraintes, Jun 2013, Aix-en-Provence, France. pp.249-258 |
|
|
A new framework for computational protein design through cost function network optimizationJOBIM 2013 - Journées Ouvertes en Biologie, Informatique et Mathématiques, Société Française de Bio-Informatique (SFBI). FRA., Jul 2013, Toulouse, France. 2 p |
|
|
Cohérence d'arc virtuelle dynamiqueJFPC 2013 - Neuvièmes Journées Francophones de Programmation par Contraintes, Association Française pour la Programmation par Contraintes (AFPC). FRA., Jun 2013, Aix-en-Provence, France |
|
|
Dynamic Virtual Arc ConsistencySAC: Symposium on Applied Computing, Mar 2013, Coimbra, Portugal. pp.098-103 |
Filtering decomposable global cost functionsTwenty-Sixth Conference on Artificial Intelligence, Jul 2012, Toronto, Canada. pp.7 |
|
|
|
Filtrage de fonctions de coût globales décomposablesHuitièmes Journées Francophones de Programmation par Contraintes (JFPC), Association Française de Programmation par Contraintes (AFPC). FRA., May 2012, Toulouse, France. pp.358 |
Genomic resources for functional analysis in <em>Medicago truncatula</em> and related crop species6. International Conference on Legume Genetics and Genomics, International Crops Research Institute for the Semi-Arid Tropics, CGIAR (ICRISAT). Patancheru, IND., Oct 2012, Hyderabad, India |
|
Combining exact WCSP techniques and VNS search for solving MPEConference on Uncertainty in Artificial Intelligence (UAI'12), Aug 2012, Catalina Island, United States |
|
From hosts to symbionts: integrated gene prediction for prokaryotic genomes using EuGeneXX. PAG Plant & Animal Genome, Jan 2012, San-Diego, United States |
|
|
|
Filtrage de fonctions de coût globales décomposablesJFPC 2012 - 8es Journées Francophones de Programmation par Contraintes, May 2012, Toulouse, France |
|
|
Computational protein design as a cost function network optimization problemCP 2012 - 18th International Conference on Principles and Practice of Constraint Programming, Oct 2012, Québec, Canada. pp.10, ⟨10.1007/978-3-642-33558-7_60⟩ |
|
|
Filtering Decomposable Global Cost FunctionsAAAI Conference on Artificial Intelligence, Jul 2012, Toronto, ON, Canada |
|
|
Pairwise decomposition for combinatorial optimization in graphical modelsIJCAI 2011 - Twenty-second International Joint Conference on Artificial Intelligence, Labo/service de l'auteur, Ville service, Pays service., 2011, Barcelona, Spain |
Development of genomic resources for <em>Medicago truncatula</em> and related legume cropsModel Legume Congress 2011, Institut National Polytechnique (Toulouse) (Toulouse INP). Castanet Tolosan, FRA., May 2011, Sainte Maxime, France |
|
|
|
Décomposition par paire pour l'optimisation combinatoire dans les modèles graphiquesJFPC 2011 - Septièmes Journées Francophones de Programmation par Contraintes, Labo/service de l'auteur, Ville service, Pays service., 2011, Lyon, France |
|
|
Integrated gene prediction for prokaryotic genomes using EuGeneJOBIM 2011 - 12e édition du Colloque - Journées Ouvertes en Biologie, Informatique et Mathématiques, Labo/service de l'auteur, Ville service, Pays service., Jun 2011, Paris, France |
|
|
Decomposing global cost functions11th Workshop on Preferences and Soft Contraints (Soft), Labo/service de l'auteur, Ville service, Pays service., Sep 2011, Perugia, Italy |
|
|
Decomposing Global Cost Functions11th Workshop on Preferences and Soft Constraints (Soft'11) in 17th Int. Conf. on Principles and Practice of Constraint Programming, Sep 2011, Perugia, Italy. pp.16-30 |
|
|
Sélection de tagSNP: une approche PLNECongrès ROADEF'2010, Feb 2010, Toulouse, France. pp.2 |
|
|
Détection de régions génomiques homologues par un algorithme de flots avec coûtsCongrès ROADEF'2010, Société Française de Recherche Opérationnelle et d'Aide à la Décision (SFROAD). FRA., Feb 2010, Toulouse, France. 2 p |
Towards parallel non serial dynamic programming for solving hard weighted CSP16th Annual International Conference on the Principles and Practice of Constraint Programming, Sep 2010, St. Andrews, Scotland, United Kingdom. pp.8, ⟨10.1007/978-3-642-15396-9_7⟩ |
|
|
|
An introduction to valued constraint satisfactionWorkshop on Optimization in Markov Random Fields, Sep 2010, Koncha-Zaspa, Ukraine. 78 p |
|
|
TagSNP selection using weighted CSP and russian doll search with tree decompositionCP-09 workshop on Constraint Based Methods for Bioinformatics, Sep 2009, Lisbonne, Portugal. pp.9 |
|
|
Russian doll search with tree decomposition21st International Joint Conference on Artificial Intelligence, Jul 2009, Pasadena, United States. pp.6 |
Combinatorial optimization for graphical modelsIJCAI 2009 - International Joint Conference on Artificial Intelligence, Jul 2009, Pasadena, United States. 196 p |
|
A new local consistency for weighted CSP applied to ncRNA detection.Workshop on Constraint Based Methods for Bioinformatics October 5, 2005, Sitges (Spain), May 2005, Sitges, Spain |
|
|
|
Algorithme des Poupées Russes exploitant une décomposition arborescenteCinquièmes Journées Francophones de Programmation par Contraintes, Orléans, juin 2009, Jun 2009, France. pp.15-25 |
|
|
Cohérence d'arc virtuelle pour les CSP pondérésJFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes, LINA - Université de Nantes - Ecole des Mines de Nantes, Jun 2008, Nantes, France. pp.237-246 |
|
|
Virtual arc consistency for weighted CSPTwenty-third AAAI Conference on Artificial Intelligence, Jul 2008, Chicago, United States. pp.6 |
|
|
Optimal soft arc consistency20th International Joint Conference on Artificial Intelligence - IJCAI 2007, Jan 2007, Hyderabad, India. pp.6 |
|
|
Décomposition arborescente et cohérence locale souple dans les CSP pondérésDeuxièmes Journées Francophones de Programmation par Contraintes (JFPC06), 2006, Nîmes, Alès, France |
|
|
Exploiting tree decomposition and soft local consistency in weighted CSPTwenty-first National Conference on Artificial Intelligence - AAAI 2006, Jul 2006, Boston, United States. 1115 p |
Mendelsoft: Mendelian error detection in complex pedigree using weighted constraint satisfaction techniques.8. World Congress on Genetics Applied to Livestock Production, 2006, Belo Horizonte, Brazil |
|
Mendelian error detection in complex pedigree using weighted constraint satisfaction techniquesWorkshop on constraint based methods for bioinformatics, Oct 2005, Sitges, Spain |
|
|
|
Combining constraint processing and pattern matching to describe and locate structured motifs in genomic sequences.Fifth IJCAI-05 Workshop on Modelling and Solving Problems with Constraints, Edindurgh, Scotland, 2005., 2005, Edimbourg, United Kingdom. 8p |
|
|
Requêtes complexes sur des réseaux de Croyance-Faisabilité-DésirPremières Journées Francophones de Programmation par Contraintes, CRIL - CNRS FRE 2499, Jun 2005, Lens, France. pp.129-138 |
Integration of genetic and radiation hybrid maps of the pig: The second generation IMpRH mapsPlant and Animal Genome Conference XII, 2004 |
|
Solving Max-SAT as weighted CSP9th International Conference on Principles and Practice of Constraint Programming - CP2003, Sep 2003, Kinsale, Ireland. pp.14, ⟨10.1007/978-3-540-45193-8_25⟩ |
|
EuGene an eurocaryotic gene finder that combines several sources of evidenceJournées ouvertes biologie informatique mathématiques, May 2000, Montpellier, France |
|
Cohérence d'arc pour contraintes mollesJournées Nationales pour la Résolution Pratique des Problèmes, 2000, Marseille, France |
|
Décision et représentation des connaissances6. Journées Nationales du PRC-GDR Intelligence Artificielle Pôle de Recherches Coordonnées-Groupe de Recherche Intelligence Artificielle, Mar 1997, Grenoble, France |
|
Bounding the optimum of constraint optimization problemsInternational Conference on Principles and Practice of Constraint Programming, 1997, Schloss Hagenberg, Austria |
|
Genetic algorithms for genetic mapping3. Conference on Evolutionary Algorithms, 1997, Nîmes, France |
|
CARTHAGENE : Constructing and joining maximum likelihood genetic mapsIntelligent Systems in Molecular Biology, Jun 1997, Halkidiki, Greece |
|
Lazy arc consistencyNational American Conference on Artificial Intelligent, 1996, Portland, United States |
|
Russian doll search for solving constraint optimization problemsNational American Conference on Artificial Intelligence, 1996, Portland, United States |
|
|
|
Mixed constraint satisfaction : a framework for decision problems under incomplete knowledgeNational American Conference on Artificial Intelligence (AAAI 1996), Association for the Advancement of Artificial Intelligence, Aug 1996, Portland, United States. pp.175-180 |
|
|
Valued constraint satisfaction problems : hard and easy problems14th International joint conference on artificial intelligence (IJCAI 1995), International Joint Conferences on Artificial Intelligence Organization, Aug 1995, Montreal, Canada. pp.631-637 |
Semiring-based CSPs and valued CSPs: basic properties and comparisonInternational Workshop on Over-Constrained Systems (OCS 1995), Sep 1995, Cassis, France. pp.111-150, ⟨10.1007/3-540-61479-6_19⟩ |
|
|
|
A constraint satisfaction framework for decision under uncertainty11th Annual Conference on Uncertainty in Artificial Intelligence (UAI 1995), Aug 1995, Montreal, Canada. pp.167-174 |
Nogood recording for static and dynamic constraint satisfaction problems5. International Conference on Tools with Artificial Intelligence, 1993, Boston, United States |
|
Solution reuse in dynamic constraint satisfaction problemsAmerican Association for Artificial Intelligence (AAAI), 1994, Seattle, United States |
|
Gestion de l'inconsistance dans les bases de connaissances : une approche syntaxique basée sur la logique des pénalités9ème Congrès "Reconnaissance des Formes et Intelligence Artificielle" (RFIA 1994), Association française pour la cybernétique économique et technique; Association française pour l'intelligence artificielle, 1994, Toulouse, France. pp.507-518 |
|
Stubbornness : a possible enhancement for backjumping and nogood recording11. European Conference on Artificial Intelligence, 1994, Toulouse, France |
|
Autour du problème de satisfaction de contraintes5e Journées nationales du PRC GDR intelligence artificielle, Nov 1994, Paris, France |
|
Satisfaction de contraintes souplesJournées nationales sur les Applications des Ensembles Flous (AEF 1992), Nov 1992, Nimes, France |
|
Représentation et traitement pratique de la flexibilité dans les problèmes sous contraintes4èmes Journées du PRC-Intelligence Artificielle 1992, PRC-IA : Pôle de Recherches Coordonnées - Intelligence Artificielle, Oct 1992, Marseille, France |
|
Possibilistic constraint satisfaction problems or "How to handle soft constraints ?8. Conference of Uncertainty in Artificial Intelligence, Jul 1992, Stanford, United States |
AI Diffusion Models for Computational Protein DesignGGMM, Jun 2025, Forges-les-Eaux, France |
|
AI-powered de novo design of miniprotein bindersBiosynsys, Jun 2024, Montpellier, France. 2024 |
|
Scalable Coupling of Deep Learning with Logical ReasoningThirty-Second International Joint Conference on Artificial Intelligence (IJCAI-23), Aug 2023, Macao, China. 2023 |
|
Fitness landscape analysis to improve computational protein designGGMM 2019, Apr 2019, Nice, France |
|
Computational strategy for protein design based on structure-dynamics-activity relationship insights: GH11Xylanases as a casestudy13. Carbohydrate Bioengineering Meeting, May 2019, Toulouse, France |
|
New computational methods and tools for structure-based protein designGGMM 2019, Apr 2019, Nice, France |
|
|
|
Variable Neighborhood Search with Cost Function Networks to Solve Large Computational Protein Design ProblemsRencontre des Chimistes Théoriciens Francophones, Oct 2018, Toulouse, France. 2018 |
|
|
Host tropism and host-pathogen interplay of typhoidal Salmonella entericaJOBIM 2017 - Journées Ouvertes en Biologie, Informatique et Mathématiques, Jul 2017, Lille, France. , 2017, Journées Ouvertes en Biologie, Informatique et Mathématiques. JOBIM 2017 |
|
|
EU COST Action TD0801: statistical challenges on the 1000 euro genome sequences in plantsSeqAhead Scientific Meeting (COST Action BM1006), Nov 2011, Bruxelles, Belgium. EMBnet journal, 17 (Suppl. B), 2012, Proceedings SeqAhead Scientific Meeting (COST Action BM1006). ⟨10.14806/ej.17.B.280⟩ |
MENDELSOFT : Mendelian error detection in complex pedigree using weighted constraint satisfaction techniques.GénoToul 2006, Nov 2006, Toulouse, France. 2006, GénoToul 2006, Bioinformatique, Recueil des Posters |
Sequential decision-making problems : representation and solutionISTE Ltd, 384 p., 2010, 978-1-84821-174-2 |
|
Quelques expérimentations sur des problèmes de satisfaction de contraintes académiques et réels9 p., 1997 |
Computational Design of Miniprotein BindersComputational Peptide Science, 2405, Springer US, pp.361-382, 2022, Methods in Molecular Biology, ⟨10.1007/978-1-0716-1855-4_17⟩ |
|
|
|
Cost Function Networks to Solve Large Computational Protein Design ProblemsMalek 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⟩ |
Valued Constraint Satisfaction ProblemsA Guided Tour of Artificial Intelligence Research, 2, Springer International Publishing, pp.185-207, 2020, AI Algorithms, 978-3-030-06167-8. ⟨10.1007/978-3-030-06167-8_7⟩ |
|
EuGene: An Automated Integrative Gene Finder for Eukaryotes and ProkaryotesGene Prediction : Methods and Protocols, Humana Press INC., Springer Science, 2019, Methods in Molecular Biology, 978-1-4939-9173-0. ⟨10.1007/978-1-4939-9173-0_6⟩ |
|
Deterministic search methods for computational protein designComputational Protein Design, Chapter 4, Editions Springer, 2017, Methods in Molecular Biology, 978-1-4939-6635-6. ⟨10.1007/978-1-4939-6637-0_4⟩ |
|
Réseaux de contraintes valuésPanorama de l'intelligence artificielle : Vol 2 : Algorithmes pour l'intelligence artificielle, Cepaduès Editions, 364 p., 2014, 9782364930421 |
|
BioinformatiquePierre Marquis and Odile Papini and Henri Prade. Panorama de l'intelligence artificielle Ses bases méthodologiques, ses développements, 3, Cépaduès, 374 p., 2014, 9782364930438 |
|
|
|
A panel of learning methods for the reconstruction of gene regulatory networks in a systems geneticsGene network inference, verification of methods for systems genetics data, Editions Springer, 130 p., 2013, 978-3-642-45161-4. ⟨10.1007/978-3-642-45161-4⟩ |
|
|
Mendelian error detection in complex pedigrees using weighted constraint satisfaction techniquesArtificial Intelligence Research and Development, 163, IOS Press, pp.22, 2007, Frontiers in Artificial Intelligence and Applications, 978-1-60750-285-2 978-1-58603-798-7 |
Gene finding in eukaryotesLu Q., Weiner M. Cloning and expression technologies, Eaton Publishing, pp.27-43, 2002 |
|
|
Scalable Coupling of Deep Learning with Logical Reasoning2023, pp.3615-3623. ⟨10.24963/ijcai.2023/402⟩ |
Qualité et diversité garanties dans les réseaux de fonctions de coût2019 |
|
Guaranteed Diversity & Quality for the Weighted CSP2019, pp.18-25. ⟨10.1109/ICTAI.2019.00012⟩ |
|
Conclusion complétes des groupes de travail France IA2017, 350 p |
|
|
|
Rapport de synthèse France IA2017, 350 p |
|
|
Constraint programming1995 |
|
|
Non-monotonic reasoning: from complexity to algorithms[Research Report] Rapport IRIT--96.07R, IRIT : Institut de recherche en informatique de Toulouse; Toulouse 3 Paul Sabatier. 1996 |
|
|
Algorithms for Computational Protein Design3rd cycle. International Winter School on “Algorithms in Structural Bioinformatics – Computational Protein Design" (Algorithms for Computational Protein Design), 2017 |