Thomas Schiex
193
Documents
Publications
- 93
- 80
- 9
- 7
- 2
- 1
- 1
- 1
- 1
- 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
- 7
- 3
- 10
- 5
- 12
- 8
- 10
- 9
- 9
- 10
- 9
- 12
- 10
- 8
- 7
- 6
- 4
- 6
- 6
- 1
- 3
- 6
- 2
- 2
- 2
- 7
- 4
- 5
- 5
- 2
- 3
- 17
- 10
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
|
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-04223570v1
|
|
Learning to Reason: Predict-then-Optimize vs Predict-and-OptimizeAAAI 2023 Bridge on Constraint Programming and Machine Learning, Feb 2023, Washington, United States
Communication dans un congrès
hal-04222883v1
|
|
Scalable Coupling of Deep Learning with Logical ReasoningThirty-Second International Joint Conference on Artificial Intelligence (IJCAI-23), Aug 2023, Macao, China. pp.3615-3623, ⟨10.24963/ijcai.2023/402⟩
Communication dans un congrès
hal-04223210v1
|
|
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-04222857v1
|
|
Computational Protein Design with Artificial IntelligenceGGMM 2023, May 2023, Toulouse, France
Communication dans un congrès
hal-04223563v1
|
Scalable Coupling of Deep Learning with Logical ReasoningPFIA'23, Jul 2023, Strasbourg, France
Communication dans un congrès
hal-04223509v1
|
|
Protein Design with Automated Reasoning and Deep LearningSymposium on Systems and Synthetic Biology (BioSynSys2022), Sep 2022, Paris, France
Communication dans un congrès
hal-04223575v1
|
|
Computational Design of miniprotein bindersJournées Scientifiques du GDR ChemBio, Jun 2022, Toulouse, France
Communication dans un congrès
hal-04223586v1
|
|
|
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-03737195v1
|
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-03737198v1
|
|
Computational Design of miniprotein bindersGGMM 2021, Sep 2021, Villeneuve d’Ascq, France
Communication dans un congrès
hal-04223596v1
|
|
|
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-02942378v1
|
Pushing the computational frontiers of multistate protein designGGMM 2019, Apr 2019, Nice, France
Communication dans un congrès
hal-04223606v1
|
|
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-03181764v1
|
|
Intelligence Artificielle: entre logique et intuitionJournée Science pour tous, Mar 2019, Castanet-Tolosan, France
Communication dans un congrès
hal-02788712v1
|
|
|
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-01823638v1
|
|
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-02154354v1
|
|
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-02785414v1
|
|
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-02785380v1
|
|
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-02786911v1
|
|
Exact and approximate inference in graphical models10th International Conference on Scalable Uncertainty Management (SUM), Oct 2017, Granada, Spain
Communication dans un congrès
hal-02116334v1
|
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-01603888v1
|
|
|
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-02794159v1
|
|
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-01828389v1
|
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-01603273v1
|
|
Optimization in Graphical Models - Connecting NP-complete frameworksSéminaire Université Catholique de Louvain, Sep 2016, Louvain, Belgium
Communication dans un congrès
hal-01603551v1
|
|
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-01603552v1
|
|
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-01198361v1
|
|
Optimization in Graphical Models34e Journée Francilienne de Recherche Opérationnelle (JFRO), Sep 2015, Paris, France
Communication dans un congrès
hal-01602147v1
|
|
Computational Enzyme Design through deterministic optimization and counting3DSig Structural Bioinformatics and Computational Biophysics 2015, Jul 2015, Dublin, Ireland
Communication dans un congrès
hal-01605405v1
|
|
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-01603297v1
|
|
|
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-01269259v1
|
Computational Design as an Optimization ProblemSéminaire INRIA-IRISA, May 2015, Rennes, France
Communication dans un congrès
hal-01602148v1
|
|
|
Optimization in Graphical Models27th IEEE International Conference on Tools with Artificial Intelligence, Nov 2015, Vietri sul Mare, Italy
Communication dans un congrès
hal-01602150v1
|
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-02743901v1
|
|
|
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-01198359v1
|
|
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-01198360v1
|
|
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-01228369v1
|
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-00946323v1
|
|
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-02742905v1
|
|
|
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-02745649v1
|
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-01268632v1
|
|
|
Dynamic Virtual Arc ConsistencySAC: Symposium on Applied Computing, Mar 2013, Coimbra, Portugal. pp.098-103
Communication dans un congrès
lirmm-00830307v1
|
|
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-02749182v1
|
|
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-01268555v1
|
|
Cohérence d'arc virtuelle dynamique9èmes Journées Francophones de Programmation par Contraintes (JFPC 2013), Jun 2013, Aix-en-Provence, France. pp.249-258
Communication dans un congrès
lirmm-00830411v1
|
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-01022649v1
|
|
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-02807348v1
|
|
|
Filtrage de fonctions de coût globales décomposables8èmes Journées Francophones de Programmation par Contraintes (JFPC 2012), May 2012, Toulouse, France
Communication dans un congrès
hal-00809789v1
|
Genomic resources for functional analysis in Medicago truncatula 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-02747944v1
|
|
|
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-02747133v1
|
Filtering decomposable global cost functionsTwenty-Sixth Conference on Artificial Intelligence, Jul 2012, Toronto, Canada. pp.7
Communication dans un congrès
hal-02747813v1
|
|
|
Filtering Decomposable Global Cost FunctionsAAAI Conference on Artificial Intelligence, Jul 2012, Toronto, ON, Canada
Communication dans un congrès
lirmm-00748187v1
|
|
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-01191320v1
|
|
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-02744726v1
|
Development of genomic resources for Medicago truncatula 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-02746654v1
|
|
|
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-02744861v1
|
|
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-02747863v1
|
|
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-01017977v1
|
|
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-02748784v1
|
|
Sélection de tagSNP: une approche PLNECongrès ROADEF'2010, Feb 2010, Toulouse, France. pp.2
Communication dans un congrès
hal-02812620v1
|
|
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-02752130v1
|
|
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-02812930v1
|
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
hal-02753702v1
|
|
|
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-00387845v1
|
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-02820716v1
|
|
|
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-02755904v1
|
|
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-02813239v1
|
|
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-02752851v1
|
|
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-00292640v1
|
|
Optimal soft arc consistency20th International Joint Conference on Artificial Intelligence - IJCAI 2007, Jan 2007, Hyderabad, India. pp.6
Communication dans un congrès
hal-02754114v1
|
|
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 - Ecole des Mines d'Alès / France, France
Communication dans un congrès
inria-00085804v1
|
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-02813118v1
|
|
|
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-02755023v1
|
|
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-00362194v1
|
|
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-00000053v1
|
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-00362190v1
|
|
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-02760634v1
|
|
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-02829410v1
|
|
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
hal-02763945v1
|
|
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-02770502v1
|
|
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-02765509v1
|
|
CARTHAGENE : Constructing and joining maximum likelihood genetic mapsIntelligent Systems in Molecular Biology, Jun 1997, Halkidiki, Greece
Communication dans un congrès
hal-02765754v1
|
|
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-02768589v1
|
|
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-02769900v1
|
|
Genetic algorithms for genetic mapping3. Conference on Evolutionary Algorithms, 1997, Nîmes, France
Communication dans un congrès
hal-02765613v1
|
|
Lazy arc consistencyNational American Conference on Artificial Intelligent, 1996, Portland, United States
Communication dans un congrès
hal-02771457v1
|
|
Russian doll search for solving constraint optimization problemsNational American Conference on Artificial Intelligence, 1996, Portland, United States
Communication dans un congrès
hal-02766400v1
|
|
|
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-02770543v1
|
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
hal-02838379v1
|
|
|
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-02774878v1
|
|
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-02778456v1
|
Solution reuse in dynamic constraint satisfaction problemsAmerican Association for Artificial Intelligence (AAAI), 1994, Seattle, United States
Communication dans un congrès
hal-02775349v1
|
|
Stubbornness : a possible enhancement for backjumping and nogood recording11. European Conference on Artificial Intelligence, 1994, Toulouse, France
Communication dans un congrès
hal-02774709v1
|
|
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-02778823v1
|
|
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-02774000v1
|
|
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-02847674v1
|
|
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-02773457v1
|
|
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-02778063v1
|
|
Satisfaction de contraintes souplesJournées nationales sur les Applications des Ensembles Flous (AEF 1992), Nov 1992, Nimes, France
Communication dans un congrès
hal-02774966v1
|
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-04223508v1
|
|
Fitness landscape analysis to improve computational protein designGGMM 2019, Apr 2019, Nice, France
Poster de conférence
hal-04225651v1
|
|
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-02928929v1
|
|
New computational methods and tools for structure-based protein designGGMM 2019, Apr 2019, Nice, France
Poster de conférence
hal-04225657v1
|
|
|
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-02733727v1
|
|
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-01603254v1
|
|
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-02747129v1
|
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-02750733v1
|
Sequential decision-making problems : representation and solutionISTE Ltd, 384 p., 2010, 978-1-84821-174-2
Ouvrages
hal-02818397v1
|
|
Quelques expérimentations sur des problèmes de satisfaction de contraintes académiques et réels9 p., 1997
Ouvrages
hal-02837978v1
|
|
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-02177634v1
|
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-02942366v1
|
|
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-02790731v1
|
|
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-01605191v1
|
|
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-02795963v1
|
|
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-00857379v1
|
|
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-02808635v1
|
|
|
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-02814634v1
|
Gene finding in eukaryotesLu Q., Weiner M. Cloning and expression technologies, Eaton Publishing, pp.27-43, 2002
Chapitre d'ouvrage
hal-00620804v1
|
Qualité et diversité garanties dans les réseaux de fonctions de coût2019
Autre publication scientifique
hal-02963117v1
|
|
Conclusion complétes des groupes de travail France IA2017, 350 p
Autre publication scientifique
hal-02785477v1
|
|
|
Rapport de synthèse France IA2017, 350 p
Autre publication scientifique
hal-02785723v1
|
|
Constraint programming1995
Autre publication scientifique
hal-02850710v1
|
|
Exact and approximate inference in graphical models: variable elimination and beyond2015
Pré-publication, Document de travail
hal-01197655v1
|
|
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
hal-02842327v1
|
|
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-02786907v1
|