
Thomas Schiex
204
Documents
Publications
10
5
4
4
4
3
3
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
2
8
6
5
10
5
12
8
10
9
9
10
9
12
10
8
8
6
4
6
5
1
3
6
2
2
2
7
4
5
6
1
3
21
10
4
3
2
1
1
1
1
1
1
1
1
1
1
1
3
93
54
37
9
7
2
2
1
1
Publications
Learning how to design biomolecules using a neuro-symbolic architectureAISSAI - Heterogeneous Data and Large Representation Models in Science, Sep 2024, Toulouse, France
Communication dans un congrès
hal-04787315
v1
|
|
Design of symmetrical multi-component proteins using a hybrid generative AI approachBiosynsys, Jun 2024, Montpellier, France
Communication dans un congrès
hal-04787317
v1
|
|
|
Bi-Objective Discrete Graphical Model OptimizationThe 21st International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, May 2024, Uppsala (Suède), Sweden
Communication dans un congrès
hal-04556832
v1
|
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
Communication dans un congrès
hal-04787319
v1
|
|
AI-powered de novo design of miniprotein bindersBiosynsys, Jun 2024, Montpellier, France
Communication dans un congrès
hal-04787310
v1
|
|
Scalable Coupling of Deep Learning with Logical ReasoningFirst International Workshop on Discrete Optimization with Soft Constraint., Sep 2024, Girona, Spain
Communication dans un congrès
hal-04787313
v1
|
|
|
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 ( CA ), Canada. ⟨10.4230/LIPIcs.CP.2023.4⟩
Communication dans un congrès
hal-04556854
v1
|
|
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⟩
Communication dans un congrès
hal-04222857
v1
|
|
Computational Protein Design with Artificial IntelligenceGGMM 2023, May 2023, Toulouse, France
Communication dans un congrès
hal-04223563
v1
|
Scalable Coupling of Deep Learning with Logical ReasoningPFIA'23, Jul 2023, Strasbourg, France
Communication dans un congrès
hal-04223509
v1
|
|
|
Learning to Reason: Predict-then-Optimize vs Predict-and-OptimizeAAAI 2023 Bridge on Constraint Programming and Machine Learning, Feb 2023, Washington DC, United States
Communication dans un congrès
hal-04222883
v1
|
Protein Design with Automated Reasoning and Deep LearningSymposium on Systems and Synthetic Biology (BioSynSys2022), Sep 2022, Paris, France
Communication dans un congrès
hal-04223575
v1
|
|
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
Communication dans un congrès
hal-04787572
v1
|
|
Computational Design of miniprotein bindersJournées Scientifiques du GDR ChemBio, Jun 2022, Toulouse, France
Communication dans un congrès
hal-04223586
v1
|
|
Neural Learning of Graphical Models for Protein DesignANITI workshop on Automated Reasoning & Decision Making (ARDM), Jun 2022, Toulouse, France
Communication dans un congrès
hal-04787578
v1
|
|
Computational Design of miniprotein bindersGGMM 2021, Sep 2021, Villeneuve d’Ascq, France
Communication dans un congrès
hal-04223596
v1
|
|
Computer-aided Protein Design (by combining automated reasoning and learning)Journées Ouvertes en Biologie, Informatique et Mathématiques (JOBIM) 2021, Jul 2021, Paris (Colloque virtuel), France
Communication dans un congrès
hal-03737198
v1
|
|
|
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
Communication dans un congrès
hal-03737195
v1
|
|
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
Communication dans un congrès
hal-02942378
v1
|
Pushing the computational frontiers of multistate protein designGGMM 2019, Apr 2019, Nice, France
Communication dans un congrès
hal-04223606
v1
|
|
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⟩
Communication dans un congrès
hal-03181764
v1
|
|
Intelligence Artificielle: entre logique et intuitionJournée Science pour tous, Mar 2019, Castanet-Tolosan, France
Communication dans un congrès
hal-02788712
v1
|
|
|
Fitness Landscape Analysis around the Optimum in Computational Protein DesignGenetic and Evolutionary Computation Conference (GECCO) 2018, Jul 2018, Kyoto, Japan. pp.355-362
Communication dans un congrès
hal-01823638
v1
|
|
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
Communication dans un congrès
hal-02154354
v1
|
|
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
Communication dans un congrès
hal-02785414
v1
|
|
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
Communication dans un congrès
hal-02786911
v1
|
|
Recent algorithmic advances for combinatorial optimization in graphical models23rd International Symposium on Mathematical Programming (ISMP-18), Jul 2018, Bordeaux, France. 80 p
Communication dans un congrès
hal-02785380
v1
|
|
Exact and approximate inference in graphical models10th International Conference on Scalable Uncertainty Management (SUM), Oct 2017, Granada, Spain
Communication dans un congrès
hal-02116334
v1
|
Guaranteed Optimization on Large Protein Design ProblemsSéminaire au Baker Lab (Institute for Protein Design), Jul 2016, Seattle, United States
Communication dans un congrès
hal-01603273
v1
|
|
Guaranteed energetic optimization, exploration and counting of sequence-conformation in Computational Protein Design4th Prague Protein Spring Meeting 2016, May 2016, Prague, Czech Republic
Communication dans un congrès
hal-01603552
v1
|
|
Optimization in Graphical Models - Connecting NP-complete frameworksSéminaire Université Catholique de Louvain, Sep 2016, Louvain, Belgium
Communication dans un congrès
hal-01603551
v1
|
|
|
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⟩
Communication dans un congrès
hal-01828389
v1
|
|
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
Communication dans un congrès
hal-02794159
v1
|
Removing Ded Ends in (re)search - Emeritate of Marc de MaeyerEméritat de Marc de Maeyer, Sep 2016, Leuven, Belgium
Communication dans un congrès
hal-01603888
v1
|
|
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⟩
Communication dans un congrès
hal-01198361
v1
|
|
|
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⟩
Communication dans un congrès
hal-01269259
v1
|
Computational Enzyme Design through deterministic optimization and counting3DSig Structural Bioinformatics and Computational Biophysics 2015, Jul 2015, Dublin, Ireland
Communication dans un congrès
hal-01605405
v1
|
|
Computational protein design as an optimization problemBAI 2015 : Advance in Bioinformatics and Artificial Intelligence, Jul 2015, Buenos Aires, Argentina
Communication dans un congrès
hal-01603297
v1
|
|
|
Optimization in Graphical Models27th IEEE International Conference on Tools with Artificial Intelligence, Nov 2015, Vietri sul Mare, Italy
Communication dans un congrès
hal-01602150
v1
|
Computational Design as an Optimization ProblemSéminaire INRIA-IRISA, May 2015, Rennes, France
Communication dans un congrès
hal-01602148
v1
|
|
Optimization in Graphical Models34e Journée Francilienne de Recherche Opérationnelle (JFRO), Sep 2015, Paris, France
Communication dans un congrès
hal-01602147
v1
|
|
Maintaining Virtual Arc Consistency Dynamically During SearchICTAI 2014 - 26th IEEE International Conference on Tools with Artificial Intelligence, Nov 2014, Limassol, Cyprus
Communication dans un congrès
hal-02743901
v1
|
|
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
Communication dans un congrès
hal-00946323
v1
|
|
An experimental evaluation of CP/AI/OR solvers for optimization in graphical modelsCongrès ROADEF'2014, Feb 2014, Bordeaux, France. 1 p
Communication dans un congrès
hal-02742905
v1
|
|
|
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⟩
Communication dans un congrès
lirmm-01228369
v1
|
|
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
Communication dans un congrès
hal-01198360
v1
|
|
An integer linear programming approach for genome scaffoldingWCB: Workshop on Constraint-Based Methods for Bioinformatics, Sep 2014, Lyon, France. 16 p
Communication dans un congrès
hal-01198359
v1
|
|
Dynamic virtual arc consistency28th Annual ACM Symposium on Applied Computing, Mar 2013, Coimbra, Portugal. pp.6, ⟨10.1145/2480362.2480384⟩
Communication dans un congrès
hal-02745649
v1
|
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
Communication dans un congrès
hal-01268632
v1
|
|
|
Cohérence d'arc virtuelle dynamiqueJFPC 2013 - 9es Journées Francophones de Programmation par Contraintes, Jun 2013, Aix-en-Provence, France. pp.249-258
Communication dans un congrès
lirmm-00830411
v1
|
|
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
Communication dans un congrès
hal-02749182
v1
|
|
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
Communication dans un congrès
hal-01268555
v1
|
|
Dynamic Virtual Arc ConsistencySAC: Symposium on Applied Computing, Mar 2013, Coimbra, Portugal. pp.098-103
Communication dans un congrès
lirmm-00830307
v1
|
Filtering decomposable global cost functionsTwenty-Sixth Conference on Artificial Intelligence, Jul 2012, Toronto, Canada. pp.7
Communication dans un congrès
hal-02747813
v1
|
|
|
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
Communication dans un congrès
hal-02747133
v1
|
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
Communication dans un congrès
hal-02747944
v1
|
|
Combining exact WCSP techniques and VNS search for solving MPEConference on Uncertainty in Artificial Intelligence (UAI'12), Aug 2012, Catalina Island, United States
Communication dans un congrès
hal-01022649
v1
|
|
From hosts to symbionts: integrated gene prediction for prokaryotic genomes using EuGeneXX. PAG Plant & Animal Genome, Jan 2012, San-Diego, United States
Communication dans un congrès
hal-02807348
v1
|
|
|
Filtrage de fonctions de coût globales décomposablesJFPC 2012 - 8es Journées Francophones de Programmation par Contraintes, May 2012, Toulouse, France
Communication dans un congrès
hal-00809789
v1
|
|
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⟩
Communication dans un congrès
hal-01191320
v1
|
|
Filtering Decomposable Global Cost FunctionsAAAI Conference on Artificial Intelligence, Jul 2012, Toronto, ON, Canada
Communication dans un congrès
lirmm-00748187
v1
|
|
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
Communication dans un congrès
hal-02744861
v1
|
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
Communication dans un congrès
hal-02746654
v1
|
|
|
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
Communication dans un congrès
hal-02744726
v1
|
|
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
Communication dans un congrès
hal-02748784
v1
|
|
Decomposing global cost functions11th Workshop on Preferences and Soft Contraints (Soft), Labo/service de l'auteur, Ville service, Pays service., Sep 2011, Perugia, Italy
Communication dans un congrès
hal-02747863
v1
|
|
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
Communication dans un congrès
hal-01017977
v1
|
|
Sélection de tagSNP: une approche PLNECongrès ROADEF'2010, Feb 2010, Toulouse, France. pp.2
Communication dans un congrès
hal-02812620
v1
|
|
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
Communication dans un congrès
hal-02752130
v1
|
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⟩
Communication dans un congrès
istex
hal-02753702
v1
|
|
|
An introduction to valued constraint satisfactionWorkshop on Optimization in Markov Random Fields, Sep 2010, Koncha-Zaspa, Ukraine. 78 p
Communication dans un congrès
hal-02812930
v1
|
|
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
Communication dans un congrès
hal-02813239
v1
|
|
Russian doll search with tree decomposition21st International Joint Conference on Artificial Intelligence, Jul 2009, Pasadena, United States. pp.6
Communication dans un congrès
hal-02755904
v1
|
Combinatorial optimization for graphical modelsIJCAI 2009 - International Joint Conference on Artificial Intelligence, Jul 2009, Pasadena, United States. 196 p
Communication dans un congrès
hal-02820716
v1
|
|
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
Communication dans un congrès
hal-00362190
v1
|
|
|
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
Communication dans un congrès
hal-00387845
v1
|
|
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
Communication dans un congrès
inria-00292640
v1
|
|
Virtual arc consistency for weighted CSPTwenty-third AAAI Conference on Artificial Intelligence, Jul 2008, Chicago, United States. pp.6
Communication dans un congrès
hal-02752851
v1
|
|
Optimal soft arc consistency20th International Joint Conference on Artificial Intelligence - IJCAI 2007, Jan 2007, Hyderabad, India. pp.6
Communication dans un congrès
hal-02754114
v1
|
|
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
Communication dans un congrès
inria-00085804
v1
|
|
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
Communication dans un congrès
hal-02755023
v1
|
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
Communication dans un congrès
hal-02813118
v1
|
|
Mendelian error detection in complex pedigree using weighted constraint satisfaction techniquesWorkshop on constraint based methods for bioinformatics, Oct 2005, Sitges, Spain
Communication dans un congrès
hal-02760634
v1
|
|
|
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
Communication dans un congrès
hal-00362194
v1
|
|
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
Communication dans un congrès
inria-00000053
v1
|
Integration of genetic and radiation hybrid maps of the pig: The second generation IMpRH mapsPlant and Animal Genome Conference XII, 2004
Communication dans un congrès
hal-02829410
v1
|
|
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⟩
Communication dans un congrès
istex
hal-02763945
v1
|
|
EuGene an eurocaryotic gene finder that combines several sources of evidenceJournées ouvertes biologie informatique mathématiques, May 2000, Montpellier, France
Communication dans un congrès
hal-02770502
v1
|
|
Cohérence d'arc pour contraintes mollesJournées Nationales pour la Résolution Pratique des Problèmes, 2000, Marseille, France
Communication dans un congrès
hal-02765509
v1
|
|
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
Communication dans un congrès
hal-02769900
v1
|
|
Bounding the optimum of constraint optimization problemsInternational Conference on Principles and Practice of Constraint Programming, 1997, Schloss Hagenberg, Austria
Communication dans un congrès
hal-02768589
v1
|
|
Genetic algorithms for genetic mapping3. Conference on Evolutionary Algorithms, 1997, Nîmes, France
Communication dans un congrès
hal-02765613
v1
|
|
CARTHAGENE : Constructing and joining maximum likelihood genetic mapsIntelligent Systems in Molecular Biology, Jun 1997, Halkidiki, Greece
Communication dans un congrès
hal-02765754
v1
|
|
Russian doll search for solving constraint optimization problemsNational American Conference on Artificial Intelligence, 1996, Portland, United States
Communication dans un congrès
hal-02766400
v1
|
|
Lazy arc consistencyNational American Conference on Artificial Intelligent, 1996, Portland, United States
Communication dans un congrès
hal-02771457
v1
|
|
|
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
Communication dans un congrès
hal-02770543
v1
|
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⟩
Communication dans un congrès
istex
hal-02838379
v1
|
|
|
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
Communication dans un congrès
hal-02778456
v1
|
|
A constraint satisfaction framework for decision under uncertainty11th Annual Conference on Uncertainty in Artificial Intelligence (UAI 1995), Aug 1995, Montreal, Canada. pp.167-174
Communication dans un congrès
hal-02774878
v1
|
Nogood recording for static and dynamic constraint satisfaction problems5. International Conference on Tools with Artificial Intelligence, 1993, Boston, United States
Communication dans un congrès
hal-02847674
v1
|
|
Solution reuse in dynamic constraint satisfaction problemsAmerican Association for Artificial Intelligence (AAAI), 1994, Seattle, United States
Communication dans un congrès
hal-02775349
v1
|
|
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
Communication dans un congrès
hal-02778823
v1
|
|
Stubbornness : a possible enhancement for backjumping and nogood recording11. European Conference on Artificial Intelligence, 1994, Toulouse, France
Communication dans un congrès
hal-02774709
v1
|
|
Autour du problème de satisfaction de contraintes5e Journées nationales du PRC GDR intelligence artificielle, Nov 1994, Paris, France
Communication dans un congrès
hal-02774000
v1
|
|
Satisfaction de contraintes souplesJournées nationales sur les Applications des Ensembles Flous (AEF 1992), Nov 1992, Nimes, France
Communication dans un congrès
hal-02774966
v1
|
|
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
Communication dans un congrès
hal-02778063
v1
|
|
Possibilistic constraint satisfaction problems or "How to handle soft constraints ?8. Conference of Uncertainty in Artificial Intelligence, Jul 1992, Stanford, United States
Communication dans un congrès
hal-02773457
v1
|
AI-powered de novo design of miniprotein bindersBiosynsys, Jun 2024, Montpellier, France. 2024
Poster de conférence
hal-04787355
v1
|
|
Scalable Coupling of Deep Learning with Logical ReasoningThirty-Second International Joint Conference on Artificial Intelligence (IJCAI-23), Aug 2023, Macao, China. 2023
Poster de conférence
hal-04223508
v1
|
|
Fitness landscape analysis to improve computational protein designGGMM 2019, Apr 2019, Nice, France
Poster de conférence
hal-04225651
v1
|
|
Computational strategy for protein design based on structure-dynamics-activity relationship insights: GH11Xylanases as a casestudy13. Carbohydrate Bioengineering Meeting, May 2019, Toulouse, France
Poster de conférence
hal-02928929
v1
|
|
New computational methods and tools for structure-based protein designGGMM 2019, Apr 2019, Nice, France
Poster de conférence
hal-04225657
v1
|
|
|
Variable Neighborhood Search with Cost Function Networks to Solve Large Computational Protein Design ProblemsRencontre des Chimistes Théoriciens Francophones, Oct 2018, Toulouse, France. 2018
Poster de conférence
hal-02733727
v1
|
|
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
Poster de conférence
hal-01603254
v1
|
|
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⟩
Poster de conférence
hal-02747129
v1
|
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
Poster de conférence
hal-02750733
v1
|
Sequential decision-making problems : representation and solutionISTE Ltd, 384 p., 2010, 978-1-84821-174-2
Ouvrages
hal-02818397
v1
|
|
Quelques expérimentations sur des problèmes de satisfaction de contraintes académiques et réels9 p., 1997
Ouvrages
hal-02837978
v1
|
|
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⟩
Chapitre d'ouvrage
hal-02177634
v1
|
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⟩
Chapitre d'ouvrage
hal-02942366
v1
|
|
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⟩
Chapitre d'ouvrage
hal-02790731
v1
|
|
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⟩
Chapitre d'ouvrage
hal-01605191
v1
|
|
Réseaux de contraintes valuésPanorama de l'intelligence artificielle : Vol 2 : Algorithmes pour l'intelligence artificielle, Cepaduès Editions, 364 p., 2014, 9782364930421
Chapitre d'ouvrage
hal-02795963
v1
|
|
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
Chapitre d'ouvrage
hal-00857379
v1
|
|
|
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⟩
Chapitre d'ouvrage
hal-02808635
v1
|
|
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
Chapitre d'ouvrage
hal-02814634
v1
|
Gene finding in eukaryotesLu Q., Weiner M. Cloning and expression technologies, Eaton Publishing, pp.27-43, 2002
Chapitre d'ouvrage
hal-00620804
v1
|
Qualité et diversité garanties dans les réseaux de fonctions de coût2019
Autre publication scientifique
hal-02963117
v1
|
|
Conclusion complétes des groupes de travail France IA2017, 350 p
Autre publication scientifique
hal-02785477
v1
|
|
|
Rapport de synthèse France IA2017, 350 p
Autre publication scientifique
hal-02785723
v1
|
|
Constraint programming1995
Autre publication scientifique
hal-02850710
v1
|
Promiscuous structural cross-compatibilities between major shell components of Klebsiella pneumoniae bacterial microcompartments2025
Pré-publication, Document de travail
hal-04974595
v1
|
|
|
Designing symmetrical multi-component proteins using a hybrid generative AI approach2024
Pré-publication, Document de travail
hal-04646620
v1
|
|
Exact and approximate inference in graphical models: variable elimination and beyond2015
Pré-publication, Document de travail
(preprint/prepublication)
hal-01197655
v1
|
|
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
Rapport
(rapport de recherche)
hal-02842327
v1
|
|
Algorithms for Computational Protein Design3rd cycle. International Winter School on “Algorithms in Structural Bioinformatics – Computational Protein Design" (Algorithms for Computational Protein Design), 2017
Cours
hal-02786907
v1
|
Chargement...
Chargement...