Thomas Schiex

217
Documents

Publications

10
6
4
4
4
3
3
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
5
9
10
7
11
5
13
8
10
9
9
10
9
12
11
8
8
6
4
6
5
1
3
6
2
2
2
7
4
5
6
1
3
27
10
5
5
3
2
2
1
1
1
1
1
1
1
1
1
1
3
93
54
46
9
7
2
2
1
1
1
1

Publications

Image document

Promiscuous structural cross-compatibilities between major shell components of Klebsiella pneumoniae bacterial microcompartments

Lucie Barthe , Damien Balestrino , Bessam Azizi , Delphine Dessaux , Vanessa Soldan et al.
PLoS ONE, 2025, 20 (5), pp.e0322518. ⟨10.1371/journal.pone.0322518⟩
Article dans une revue hal-05102368 v1

Computational Protein Design

Katherine Albanese , Sophie Barbe , Shunsuke Tagami , Derek Woolfson , Thomas Schiex
Nature Reviews Methods Primers, In press, 5 (1), pp.13. ⟨10.1038/s43586-025-00383-1⟩
Article dans une revue hal-04855220 v1
Image document

Complete combinatorial mutational enumeration of a protein functional site enables sequence‐landscape mapping and identifies highly‐mutated variants that retain activity

Mireia Solà Colom , Jelena Vučinić , Jared Adolf-Bryfogle , James Bowman , Sébastien Verel et al.
Protein Science, 2024, 33 (8), pp.e5109. ⟨10.1002/pro.5109⟩
Article dans une revue hal-04646616 v1
Image document

Intracellular Salmonella Paratyphi A is motile and differs in the expression of flagella-chemotaxis, SPI-1 and carbon utilization pathways in comparison to intracellular S. Typhimurium

Helit Cohen , Claire Hoede , Felix Scharte , Charles Coluzzi , Emiliano Cohen et al.
PLoS Pathogens, 2022, 18 (4), 35 p. ⟨10.1371/journal.ppat.1010425⟩
Article dans une revue hal-03690615 v1
Image document

Molecular flexibility in computational protein design: an algorithmic perspective

Younes Bouchiba , Juan Cortés , Thomas Schiex , Sophie Barbe
Protein Engineering, Design and Selection, 2021, 34, pp.gzab011. ⟨10.1093/protein/gzab011⟩
Article dans une revue hal-03221838 v1
Image document

Seven Amino Acid Types Suffice to Create the Core Fold of RNA Polymerase

Sota Yagi , Aditya K Padhi , Jelena Vucinic , Sophie Barbe , Thomas Schiex et al.
Journal of the American Chemical Society, In press, 143 (39), pp.15998-16006. ⟨10.1021/jacs.1c05367⟩
Article dans une revue hal-03360584 v1
Image document

Protein Design with Deep Learning

Marianne Defresne , Sophie Barbe , Thomas Schiex
International Journal of Molecular Sciences, 2021, 22 (21), ⟨10.3390/ijms222111741⟩
Article dans une revue hal-03602603 v1

Guaranteed Diversity and Optimality in Cost Function Network Based Computational Protein Design Methods

Manon Ruffini , Jelena Vucinic , Simon De Givry , George Katsirelos , Sophie Barbe et al.
Algorithms, 2021, 14 (6), pp.168. ⟨10.3390/a14060168⟩
Article dans une revue hal-03244149 v1
Image document

Iterated local search with partition crossover for computational protein design

François Beuvin , Simon De Givry , Thomas Schiex , Sébastien Verel , David Simoncini
Proteins - Structure, Function and Bioinformatics, 2021, 89 (11), pp.1522-1529. ⟨10.1002/prot.26174⟩
Article dans une revue hal-03298736 v1

A Comparative Study to Decipher the Structural and Dynamics Determinants Underlying the Activity and Thermal Stability of GH-11 Xylanases

Jelena Vucinic , Gleb Novikov , Cédric Montanier , Claire Dumon , Thomas Schiex et al.
International Journal of Molecular Sciences, 2021, 22 (11), ⟨10.3390/ijms22115961⟩
Article dans une revue hal-03244138 v1
Image document

Graphical Models: Queries, Complexity, Algorithms

Martin Cooper , Simon de Givry , Thomas Schiex
Leibniz International Proceedings in Informatics , 2020, 154, pp.4:1--4:22. ⟨10.4230/LIPIcs.STACS.2020.4⟩
Article dans une revue hal-02547692 v1
Image document

Aide à la conception

Juan Cortés , Thomas Schiex
Le petit illustré, regards croisés de chercheur.es, 2020
Article dans une revue hal-03436420 v1
Image document

Positive multistate protein design

Jelena Vucinic , David Simoncini , Manon Ruffini , Sophie Barbe , Thomas Schiex
Bioinformatics, 2020, 36 (1), p. 122-130. ⟨10.1093/bioinformatics/btz497⟩
Article dans une revue hal-02625007 v1
Image document

Variable Neighborhood Search with Cost Function Networks To Solve Large Computational Protein Design Problems

Antoine Charpentier , David Mignon , Sophie Barbe , Juan Cortés , Thomas Schiex et al.
Journal of Chemical Information and Modeling, 2019, 59 (1), pp.127-136. ⟨10.1021/acs.jcim.8b00510⟩
Article dans une revue hal-01943616 v1

Exact or approximate inference in graphical models: why the choice is dictated by the treewidth, and how variable elimination can be exploited

Nathalie Dubois Peyrard Peyrard , Marie-Josée Cros , Simon de Givry , Alain Franc , Stephane S. Robin et al.
Australian and New Zealand Journal of Statistics, 2019, 61 (2), pp.89-133. ⟨10.1111/anzs.12257⟩
Article dans une revue hal-02433018 v1
Image document

Computational design of symmetrical eight-bladed β-propeller proteins

Hiroki Noguchi , Christine Addy , David Simoncini , Staf Wouters , Bram Mylemans et al.
International Union of Crystallography journal, 2019, 6 (1), pp.46-55. ⟨10.1107/S205225251801480X⟩
Article dans une revue hal-02154353 v1
Image document

A structural homology approach for computational protein design with flexible backbone

David Simoncini , Kam y J Zhang , Thomas Schiex , Sophie Barbe
Bioinformatics, 2019, 35 (14), ⟨10.1093/bioinformatics/bty975⟩
Article dans une revue hal-02114756 v1
Image document

Contraintes, incertitudes et modèles graphiques

Thomas Schiex
Bulletin de l'Association Française pour l'Intelligence Artificielle, 2018, 100, pp.40-42
Article dans une revue hal-02617623 v1

Cost function network-based design of protein–protein interactions: predicting changes in binding affinity

Clément Viricel , Simon de Givry , Thomas Schiex , Sophie Barbe
Bioinformatics, 2018, 34 (15), pp.2581-2589. ⟨10.1093/bioinformatics/bty092⟩
Article dans une revue hal-02154341 v1
Image document

Triangle-based consistencies for cost function networks

Christian Bessiere , Simon de Givry , Thomas Schiex , Thi Hông Hiêp Nguyên
Constraints, 2017, 22 (2), pp.230-264. ⟨10.1007/s10601-016-9250-1⟩
Article dans une revue lirmm-01374514 v1

Balancing exploration and exploitation in population-based sampling improves fragment-based de novo protein structure prediction

David Simoncini , Thomas Schiex , Kam Y.J. Zhang
Proteins - Structure, Function and Bioinformatics, 2017, 85 (5), pp.852-858. ⟨10.1002/prot.25244⟩
Article dans une revue hal-01607119 v1
Image document

The sunflower genome provides insights into oil metabolism, flowering and Asterid evolution

Hélène Badouin , Jerome Gouzy , Christopher Grassa , Florent Murat , S Evan Staton et al.
Nature, 2017, 546 (7656), pp.148-152. ⟨10.1038/nature22380⟩
Article dans une revue hal-01603287 v1
Image document

Hybridization and polyploidy enable genomic plasticity without sex in the most devastating plant-parasitic nematodes

Romain Blanc-Mathieu , Laetitia Zurletto , Jean-Marc Aury , Martine da Rocha , Jerome Gouzy et al.
PLoS Genetics, 2017, 13 (6), pp.e1006777. ⟨10.1371/journal.pgen.1006777⟩
Article dans une revue hal-01602779 v1
Image document

Fast search algorithms for computational protein design

Seydou Traore , Kyle E. Roberts , David Allouche , Bruce R. Donald , Isabelle André et al.
Journal of Computational Chemistry, 2016, 37 (12), pp.1048 - 1058. ⟨10.1002/jcc.24290⟩
Article dans une revue hal-01886385 v1
Image document

Tractability-preserving Transformations of Global Cost Functions

David Allouche , Christian Bessiere , Patrice Boizumault , Simon de Givry , Patricia Gutierrez et al.
Artificial Intelligence, 2016, 238, pp.166-189. ⟨10.1016/j.artint.2016.06.005⟩
Article dans une revue lirmm-01374533 v1

Multi-language evaluation of exact solvers in graphical model discrete optimization

Barry Hurley , Barry O'Sullivan , David Allouche , George Katsirelos , Thomas Schiex et al.
Constraints, 2016, 21 (3), pp.413-434. ⟨10.1007/s10601-016-9245-y⟩
Article dans une revue hal-02633083 v1

Guaranteed Discrete Energy Optimization on Large Protein Design Problems

David Simoncini , David Allouche , Simon de Givry , Céline Delmas , Sophie Barbe et al.
Journal of Chemical Theory and Computation, 2015, 11 (12), pp.5980 - 5989. ⟨10.1021/acs.jctc.5b00594⟩
Article dans une revue hal-02637306 v1

EuGene-PP: a next generation automated annotation pipeline for prokaryotic genomes.

Erika Sallet , Jerome Gouzy , Thomas Schiex
Bioinformatics, 2014, 30 (18), pp.2659-2661. ⟨10.1093/bioinformatics/btu366⟩
Article dans une revue hal-02632297 v1

Computational protein design as an optimization problem

David Allouche , Isabelle André , Sophie Barbe , Jessica Davies , Simon de Givry et al.
Artificial Intelligence, 2014, 212, pp.59-79. ⟨10.1016/j.artint.2014.03.005⟩
Article dans une revue hal-01268554 v1
Image document

Next-Generation Annotation of Prokaryotic Genomes with EuGene-P: Application to Sinorhizobium meliloti 2011

Erika Sallet , Brice Roux , Laurent Sauviac , M.-F. Jardinaud , S. Carrere et al.
DNA Research, 2013, 20 (4), pp.339-353. ⟨10.1093/dnares/dst014⟩
Article dans une revue hal-03082947 v1
Image document

A new framework for computational protein design through cost function network optimization

Seydou Traore , David Allouche , Isabelle André , Simon de Givry , George Katsirelos et al.
Bioinformatics, 2013, 29 (17), pp.2129-2136. ⟨10.1093/bioinformatics/btt374⟩
Article dans une revue hal-01268153 v1

The tomato genome sequence provides insights into fleshy fruit evolution

Shusei Sato , Satoshi Tabata , Hideki Hirakawa , Erika Asamizu , Kenta Shirasawa et al.
Nature, 2012, 485 (7400), pp.635-641. ⟨10.1038/nature11119⟩
Article dans une revue hal-02651748 v1
Image document

Le séquençage du génome humain

Thomas Schiex
Tangente (Paris), 2012, pp.104-109
Article dans une revue hal-02641811 v1
Image document

Detecting long tandem duplications in genomic sequences

Eric Audemard , Thomas Schiex , Thomas Faraut
BMC Bioinformatics, 2012, 13, online (may), Non paginé. ⟨10.1186/1471-2105-13-83⟩
Article dans une revue hal-02650334 v1

The tomato genome sequence provides insights into fleshy fruit evolution

Shusei Sato , Satoshi Tabata , Hideki Hirakawa , Erika Asamizu , Kenta Shirasawa et al.
Nature, 2012, 485 (7400), pp.635-641. ⟨10.1038/nature11119⟩
Article dans une revue hal-04198562 v1
Image document

Gene regulatory network reconstruction using Bayesian networks, the Dantzig selector, the Lasso and their meta-analysis

Matthieu Vignes , Jimmy Vandel , David Allouche , Nidal Ramadan-Alban , Christine Cierco-Ayrolles et al.
PLoS ONE, 2011, 6 (12), pp.1-15. ⟨10.1371/journal.pone.0029165⟩
Article dans une revue hal-02649016 v1

The Medicago genome provides insight into the evolution of rhizobial symbioses

Nevin Young , Frédéric Debellé , Giles Oldroyd , Rene Geurts , Steven Cannon et al.
Nature, 2011, 480 (7378), pp.520-524. ⟨10.1038/nature10625⟩
Article dans une revue hal-04198529 v1

The Medicago genome provides insight into the evolution of rhizobial symbioses

Nevin D. Young , Frederic Debellé , Giles E. D. Oldroyd , Rene Geurts , Steven Cannon et al.
Nature, 2011, 480 (7378), pp.520-524. ⟨10.1038/nature10625⟩
Article dans une revue hal-02652790 v1

The genome of Theobroma cacao.

Xavier Argout , Jerome Salse , Jean-Marc Aury , Mark J Guiltinan , Gaetan Droc et al.
Nature Genetics, 2011, 43 (2), pp.101-8. ⟨10.1038/ng.736⟩
Article dans une revue hal-00855922 v1

Soft arc consistency revisited

Martin Cooper , Simon de Givry , Marti Sanchez , Thomas Schiex , Matthias Zytnicki et al.
Artificial Intelligence, 2010, 174, pp.449-478. ⟨10.1016/j.artint.2010.02.001⟩
Article dans une revue hal-02662237 v1

Introduction to the special issue on constraint-based approaches to preference modelling and reasoning

Pedro Meseguer , Francesca Rossi , Thomas Schiex
Constraints, 2010, 15 (4), pp.453-455. ⟨10.1007/s10601-010-9096-x⟩
Article dans une revue istex hal-02657736 v1

Le cadre PFU, un modèle et des algorithmes génériques pour la décision séquentielle incluant incertitudes, faisabilités et utilités

Cédric Pralet , Gérard Verfaillie , Thomas Schiex
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2010, 29 (1), pp.85-114. ⟨10.3166/tsi.29.85-114⟩
Article dans une revue istex hal-02661485 v1
Image document

Bounds arc consistency for weighted CSPs

Matthias Zytnicki , Christine Gaspin , Simon de Givry , Thomas Schiex
Journal of Artificial Intelligence Research, 2009, 35, pp.593-621. ⟨10.1613/jair.2797⟩
Article dans une revue hal-02668467 v1

Contribution of Radiation Hybrids to Genome Mapping in Domestic Animals.

Thomas Faraut , Simon de Givry , Christophe Hitte , Yvette Lahbib Mansais , Mireille Morisson et al.
Cytogenetic and Genome Research, 2009, 126 (1-2), pp.21-33. ⟨10.1159/000245904⟩
Article dans une revue inserm-00442389 v1
Image document

FrameDP: sensitive peptide detection on noisy matured sequences

Jerome Gouzy , Sebastien Carrere , Thomas Schiex
Bioinformatics, 2009, 25 (5), pp.670-671. ⟨10.1093/bioinformatics/btp024⟩
Article dans une revue hal-02665259 v1

Genome sequence of the metazoan plant-parasitic nematode Meloidogyne incognita

Pierre Abad , Jerome Gouzy , Jean-Marc Aury , Philippe Castagnone-Sereno , Etienne Danchin et al.
Nature Biotechnology, 2008, 26 (8), pp.909-915. ⟨10.1038/nbt.1482⟩
Article dans une revue hal-01189285 v1
Image document

LeARN : a platform for detecting, clustering and annotating non-coding RNAs

Céline Noirot , Christine Gaspin , Thomas Schiex , Jerome Gouzy
BMC Bioinformatics, 2008, 9 (21), pp.1-11. ⟨10.1186/1471-2105-9-21⟩
Article dans une revue hal-02661357 v1
Image document

2006 and 2007 Max-SAT evaluations: contributed instances

Federico Heras , Javier Larrosa , Simon de Givry , Thomas Schiex
Journal on Satisfiability, Boolean Modeling and Computation, 2008, 4, pp.239-250
Article dans une revue hal-02656247 v1

Genome annotation in plants and fungi: EuGène as a model platform

Sylvain Foissac , Jerome Gouzy , Stephane Rombauts , Catherine Mathé , Joelle J. Amselem et al.
Current Bioinformatics, 2008, 3 (2), pp.87-97. ⟨10.2174/157489308784340702⟩
Article dans une revue hal-02658120 v1
Image document

Analysis of CATMA transcriptome data identifies hundreds of novel functional genes and improves gene models in the Arabidopsis genome

Sebastien S. Aubourg , Marie-Laure Martin-Magniette , Veronique V. Brunaud , Ludivine Taconnat , Frederique Bitton et al.
BMC Genomics, 2007, 8 (401), pp.1-9. ⟨10.1186/1471-2164-8-401⟩
Article dans une revue hal-02668276 v1

A comparative genome approach to marker ordering

Thomas Faraut , Simon de Givry , Patrick P. Chabrier , Thomas Derrien , Francis Galibert et al.
Bioinformatics, 2007, 23 (2), pp.E50-E56. ⟨10.1093/bioinformatics/btl321⟩
Article dans une revue hal-02667668 v1
Image document

Searching RNA motifs and their intermolecular contacts with constraint networks.

Patricia Thebault , Simon de Givry , Thomas Schiex , Christine Gaspin
Bioinformatics, 2006, 22 (17), pp.2074-80. ⟨10.1093/bioinformatics/btl354⟩
Article dans une revue hal-00355512 v1

Searching RNA motifs and their intermolecular contacts with constraint networks

P. Thébault , S. de Givry , Thomas Schiex , C. Gaspin
Bioinformatics, 2006, 22, pp.2074-2080
Article dans une revue hal-00428036 v1
Image document

Integrating alternative splicing detection into gene prediction

Sylvain Foissac , Thomas Schiex
BMC Bioinformatics, 2005, 6, Non paginé. ⟨10.1186/1471-2105-6-25⟩
Article dans une revue hal-01417735 v1

CAR(H)(T)AGene: multipopulation integrated genetic and radiation hybrid mapping

Simon de Givry , Martin Bouchez , Patrick P. Chabrier , Denis Milan , Thomas Schiex
Bioinformatics, 2005, 21 (5), pp.1703-1704. ⟨10.1093/bioinformatics/bti222⟩
Article dans une revue istex hal-02682633 v1
Image document

EUGENE'HOM: a generic similarity-based gene finder using multiple homologous sequences

Sylvain Foissac , Philippe Bardou , Annick Moisan , Marie-Josée Cros , Thomas Schiex
Nucleic Acids Research, 2003, 31 (13), pp.3742-3745. ⟨10.1093/nar/gkg586⟩
Article dans une revue hal-02675508 v1

Rearranged gene order between pig and human in a QTL region on SSC 7

Olivier O. Demeure , Christine Renard , Martine M. Yerle , Thomas Faraut , Juliette Riquet et al.
Mammalian Genome, 2003, 14, pp.71-80. ⟨10.1007/s00335-002-3034-1⟩
Article dans une revue istex hal-02679052 v1

Genome sequence of the plant pathogen Ralstonia solanacearum.

Marcel Salanoubat , S. Genin , François Artiguenave , J. Gouzy , S. Mangenot et al.
Nature, 2002, 415 (6871), pp.497-502. ⟨10.1038/415497a⟩
Article dans une revue hal-00427300 v2

Exploring root symbiotic programs in the model legume Medicago truncatula using EST analysis

E.P. Journet , D. van Tuinen , J. Gouzy , H. Crespeau , V. Carreau et al.
Nucleic Acids Research, 2002, 30, pp.5579-5592
Article dans une revue hal-00427223 v1
Image document

Exploring root symbiotic programs in the model legume Medicago truncatula using EST analysis

Etienne-Pascal Journet , Diederik van Tuinen , Jerome Gouzy , Hervé Crespeau , V. Carreau et al.
Nucleic Acids Research, 2002, 30 (24), pp.5579-5592. ⟨10.1093/nar/gkf685⟩
Article dans une revue hal-02678310 v1

Current methods of gene prediction their strengths and weaknesses

C. Mathé , M.-F. Sagot , Thomas Schiex , P. Rouzé
Nucleic Acids Research, 2002, 30, pp.4103-4117
Article dans une revue hal-00427288 v1

Gene finding in eukaryotes

C. Mathé , Thomas Schiex , P. Rouzé , P. Blayo , M.-F. Sagot
incollection, 2002, --, pp.27-43
Article dans une revue hal-00427230 v1

Maintaining reversible DAC for Max-CSP

J. Larrosa , P. Meseguer , Thomas Schiex
Artificial Intelligence, 1999, 107, pp.149-163
Article dans une revue hal-02690806 v1

Radio link frequency assignment

Bertrand Cabon , Simon de Givry , Lionel Lobjois , Thomas Schiex , Joost P. Warners
Constraints, 1999, 4 (1), pp.79-89. ⟨10.1023/A:1009812409930⟩
Article dans une revue istex hal-02695373 v1
Image document

Nonmonotonic Reasoning: from Complexity to Algorithms

Claudette Cayrol , Marie-Christine Lagasquie-Schiex , Thomas Schiex
Annals of Mathematics and Artificial Intelligence, 1998, 22 (3-4), pp.207-236. ⟨10.1023/A:1018939502485⟩
Article dans une revue hal-02908181 v1

A composite genetic map of the parasitoid wasp Trichogramma brassicae based on RAPD markers

V. Laurent , Eric Wajnberg , Brigitte B. Mangin , Thomas Schiex , Christine Gaspin et al.
Genetics, 1998, 150, pp.275-282
Article dans une revue hal-02687913 v1

Problèmes de satisfaction de contraintes valués

Thomas Schiex , Hélène Fargier , Gérard Verfaillie
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, 1997, 11 (2), pp.339-373
Article dans une revue hal-02689261 v1

Traitement de problèmes de décision sous incertitude par des problèmes de satisfaction de contraintes

Hélène Fargier , Jérôme Lang , Roger Martin Clouaire , Thomas Schiex
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, 1997, 11 (2), pp.375-398
Article dans une revue hal-02688777 v1

Maintien de solution dans les problèmes dynamiques de satisfaction de contraintes : bilan de quelques approches

G. Verfaillie , Thomas Schiex
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, 1995, 9 (3), pp.269-309
Article dans une revue hal-02703826 v1

Nogood recording for static and dynamic constraint satisfaction problems

Thomas Schiex , G. Verfaillie
International Journal on Artificial Intelligence Tools, 1994, 3 (2), pp.187-207
Article dans une revue hal-02709865 v1

A fixed point semantics for the ATMS

M. Cayrol , O. Palmade , Thomas Schiex
Journal of Logic and Computation, 1993, 3 (2), pp.115-130
Article dans une revue hal-02700521 v1

Design of symmetrical multi-component proteins using a hybrid generative AI approach

Delphine Dessaux , Samuel Buchet , Marianne Defresne , Lucie Barthe , Gianluca Cioci et al.
Biosynsys, Jun 2024, Montpellier, France
Communication dans un congrès hal-04787317 v1

Learning how to design biomolecules using a neuro-symbolic architecture

Marianne Defresne , Sophie Barbe , Thomas Schiex
AISSAI - Heterogeneous Data and Large Representation Models in Science, Sep 2024, Toulouse, France
Communication dans un congrès hal-04787315 v1
Image document

Bi-Objective Discrete Graphical Model Optimization

Samuel Buchet , David Allouche , Simon de Givry , Thomas Schiex
The 21st International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, May 2024, Uppsala, Sweden
Communication dans un congrès hal-04556832 v1

Design of symmetrical multi-component proteins using a hybrid generative AI approach.

Delphine Dessaux , Samuel Buchet , Marianne Defresne , Lucie Barthe , Gianluca Cioci et al.
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 binders

Younes Bouchiba , Juan Cortés , Thomas Schiex , Sophie Barbe
Biosynsys 2024, Jun 2024, Montpellier, France
Communication dans un congrès hal-04787310 v1

Scalable Coupling of Deep Learning with Logical Reasoning

Marianne Defresne , Sophie Barbe , Thomas Schiex
First International Workshop on Discrete Optimization with Soft Constraint., Sep 2024, Girona, Spain
Communication dans un congrès hal-04787313 v1
Image document

Coupling CP with Deep Learning for Molecular Design and SARS-CoV2 Variants Exploration

Thomas Schiex
International Conference on Principles and Practice of Constraint Programming (CP), Aug 2023, Toronto, Canada. ⟨10.4230/LIPIcs.CP.2023.4⟩
Communication dans un congrès hal-04556854 v1
Image document

Computational Protein Design with Artificial Intelligence

Marianne Defresne , Thomas Schiex , Sophie Barbe
GGMM 2023, May 2023, Toulouse, France
Communication dans un congrès hal-04223563 v1
Image document

Scalable Coupling of Deep Learning with Logical Reasoning *

Marianne Defresne , Sophie Barbe , Thomas Schiex
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

Scalable Coupling of Deep Learning with Logical Reasoning

Marianne Defresne , Thomas Schiex , Sophie Barbe
PFIA'23, Jul 2023, Strasbourg, France
Communication dans un congrès hal-04223509 v1
Image document

Bilevel optimization and its bicriteria approximation in computational protein design

Samuel Buchet , Marianne Defresne , Simon De Givry , Manon Ruffini , Thomas Schiex
Société Française de Recherche Opérationnelle et d'Aide à la Décision ROADEF 2023, Feb 2023, Rennes, France
Communication dans un congrès hal-04021862 v1
Image document

Learning to Reason: Predict-then-Optimize vs Predict-and-Optimize

Marianne Defresne , Thomas Schiex , Sophie Barbe
AAAI 2023 Bridge on Constraint Programming and Machine Learning, Feb 2023, Washington, United States
Communication dans un congrès hal-04222883 v1

Protein Design with Automated Reasoning and Deep Learning

Marianne Defresne , Delphine Dessaux , Thomas Schiex , Sophie Barbe
Symposium 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 Learning

Marianne Defresne , Thomas Schiex , Sophie Barbe
Journé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 binders

Younes Bouchiba , Juan Cortés , Thomas Schiex , Sophie Barbe
Journées Scientifiques du GDR ChemBio, Jun 2022, Toulouse, France
Communication dans un congrès hal-04223586 v1

Neural Learning of Graphical Models for Protein Design

Marianne Defresne , Thomas Schiex , Sophie Barbe
ANITI workshop on Automated Reasoning & Decision Making (ARDM), Jun 2022, Toulouse, France
Communication dans un congrès hal-04787578 v1
Image document

Efficient low rank convex bounds for pairwise discrete Graphical Models

Valentin Durante , George Katsirelos , Thomas Schiex
Thirty-ninth International Conference on Machine Learning, Jul 2022, Baltimore, United States
Communication dans un congrès hal-03673535 v3

Computational Design of miniprotein binders

Younes Bouchiba , Manon Ruffini , Juan Cortés , Thomas Schiex , Sophie Barbe
GGMM 2021, Sep 2021, Villeneuve d’Ascq, France
Communication dans un congrès hal-04223596 v1
Image document

Constraint and Cost Function Networks: feasibility, optimization and learning.

Thomas Schiex
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

Computer-aided Protein Design (by combining automated reasoning and learning)

Thomas Schiex
Journées Ouvertes en Biologie, Informatique et Mathématiques (JOBIM) 2021, Jul 2021, Paris, France
Communication dans un congrès hal-03737198 v1
Image document

Pushing Data into CP Models Using Graphical Model Learning and Solving

Celine Brouard , Simon de Givry , Thomas Schiex
International 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 design

Jelena Vucinic , Manon Ruffini , David Simoncini , Thomas Schiex , Sophie Barbe
GGMM 2019, Apr 2019, Nice, France
Communication dans un congrès hal-04223606 v1

Guaranteed Diversity & Quality for the Weighted CSP

Manon Ruffini , Jelena Vucinic , Simon de Givry , George Katsirelos , Sophie Barbe et al.
2019 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 intuition

Thomas Schiex
Journée Science pour tous, Mar 2019, Castanet-Tolosan, France
Communication dans un congrès hal-02788712 v1
Image document

Fitness Landscape Analysis around the Optimum in Computational Protein Design

David Simoncini , Sophie Barbe , Thomas Schiex , Sébastien Verel
Genetic and Evolutionary Computation Conference (GECCO) 2018, Jul 2018, Kyoto, Japan. pp.355-362
Communication dans un congrès hal-01823638 v1
Image document

Constraint Programming and Graphical models - Pushing data into your models, The protein design case.

Thomas Schiex , Sophie Barbe , David Simoncini , Jelena Vucinic , Manon Ruffini et al.
23rd International Symposium on Mathematical Programming (ISMP-18), Jul 2018, Bordeaux, France
Communication dans un congrès hal-02154354 v1
Image document

Designing molecules with cost function networks - Bridging symbolic and numerical AI.

Thomas Schiex
Journées plénières du GDR IA du CNRS, Oct 2018, Paris, France
Communication dans un congrès hal-02785414 v1
Image document

How Computers Break (Serious) Puzzles with logic and (a different breed of) learning

Thomas Schiex
French Académie des sciences Symposium on « Machine Learning for Artificial Intelligence », Feb 2018, Paris, France
Communication dans un congrès hal-02786911 v1
Image document

Recent algorithmic advances for combinatorial optimization in graphical models

David Allouche , Simon de Givry , Georgios Katsirelos , Thomas Schiex , Matthias Zytnicki et al.
23rd International Symposium on Mathematical Programming (ISMP-18), Jul 2018, Bordeaux, France. 80 p
Communication dans un congrès hal-02785380 v1
Image document

Exact and approximate inference in graphical models

Régis Sabbadin , Nathalie Peyrard , Marie-Josée Cros , Simon de Givry , Alain Franc et al.
10th International Conference on Scalable Uncertainty Management (SUM), Oct 2017, Granada, Spain
Communication dans un congrès hal-02116334 v1

Optimization in Graphical Models - Connecting NP-complete frameworks

Thomas Schiex
Séminaire Université Catholique de Louvain, Sep 2016, Louvain, Belgium
Communication dans un congrès hal-01603551 v1

Guaranteed energetic optimization, exploration and counting of sequence-conformation in Computational Protein Design

Thomas Schiex
4th Prague Protein Spring Meeting 2016, May 2016, Prague, Czech Republic
Communication dans un congrès hal-01603552 v1

Guaranteed Optimization on Large Protein Design Problems

Thomas Schiex
Séminaire au Baker Lab (Institute for Protein Design), Jul 2016, Seattle, United States
Communication dans un congrès hal-01603273 v1
Image document

Guaranteed Weighted Counting for Affinity Computation: Beyond Determinism and Structure

Clement Viricel , David Simoncini , Sophie Barbe , Thomas Schiex
CP16 - 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

Removing Ded Ends in (re)search - Emeritate of Marc de Maeyer

Thomas Schiex
Eméritat de Marc de Maeyer, Sep 2016, Leuven, Belgium
Communication dans un congrès hal-01603888 v1
Image document

Optimization in Graphical Models - NP-complete optimization and its applications

Thomas Schiex
Assemblée générale de l'Association Française d'Intelligence Artificielle, Oct 2016, Paris, France
Communication dans un congrès hal-02794159 v1
Image document

Approximate counting with deterministic guarantees for affinity computation

Clément Viricel , David Simoncini , David Allouche , Simon de Givry , Sophie Barbe et al.
3. 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

Anytime hybrid best-first search with tree decomposition for weighted CSP

David Allouche , Simon de Givry , George Katsirelos , Thomas Schiex , Matthias Zytnicki
CP 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

Computational Enzyme Design through deterministic optimization and counting

Thomas Schiex , Seydou Traoré , David Simoncini , Sophie Barbe , Simon de Givry et al.
3DSig Structural Bioinformatics and Computational Biophysics 2015, Jul 2015, Dublin, Ireland
Communication dans un congrès hal-01605405 v1

Computational protein design as an optimization problem

Thomas Schiex
BAI 2015 : Advance in Bioinformatics and Artificial Intelligence, Jul 2015, Buenos Aires, Argentina
Communication dans un congrès hal-01603297 v1
Image document

Optimization in Graphical Models

Thomas Schiex
27th 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 Problem

Thomas Schiex
Séminaire INRIA-IRISA, May 2015, Rennes, France
Communication dans un congrès hal-01602148 v1

Optimization in Graphical Models

Thomas Schiex
34e Journée Francilienne de Recherche Opérationnelle (JFRO), Sep 2015, Paris, France
Communication dans un congrès hal-01602147 v1

An experimental evaluation of CP/AI/OR solvers for optimization in graphical models

Simon de Givry , Barry Hurley , David Allouche , Georgios Katsirelos , Barry O'Sullivan et al.
Congrès ROADEF'2014, Feb 2014, Bordeaux, France. 1 p
Communication dans un congrès hal-02742905 v1

An Experimental Evaluation of CP/AI/OR Solvers for Optimization in Graphical Models

Simon de Givry , Barry Hurley , David Allouche , George Katsirelos , Thomas Schiex et al.
ROADEF - 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

Maintaining Virtual Arc Consistency Dynamically During Search

Thi Hông Hiêp Nguyên , Simon de Givry , Thomas Schiex , Christian Bessiere
ICTAI 2014 - 26th IEEE International Conference on Tools with Artificial Intelligence, Nov 2014, Limassol, Cyprus
Communication dans un congrès hal-02743901 v1
Image document

Maintaining Virtual Arc Consistency Dynamically during Search

Simon de Givry , Thomas Schiex , Christian Bessiere , Thi Hông Hiêp Nguyên
ICTAI: 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
Image document

An integer linear programming approach for genome scaffolding

Nicolas Briot , Annie Chateau , Remi Coletta , Simon de Givry , Philippe Leleux et al.
WCB: Workshop on Constraint-Based Methods for Bioinformatics, Sep 2014, Lyon, France. 16 p
Communication dans un congrès hal-01198359 v1
Image document

Une comparaison de logiciels d'optimisation sur une large collection de modèles graphiques

David Allouche , Simon de Givry , Barry Hurley , George Katsirelos , Barry O'Sullivan et al.
JFPC 2014 - Dixièmes Journées Francophones de Programmation par Contraintes, Jun 2014, Angers, France. 10 p
Communication dans un congrès hal-01198360 v1
Image document

Dynamic virtual arc consistency

Thi Hông Hiêp Nguyên , Thomas Schiex , Christian Bessiere
28th 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 problem

Thomas Schiex , David Allouche , Simon de Givry , George Katsirelos , Sophie Barbe et al.
Sé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
Image document

A new framework for computational protein design through cost function network optimization

Seydou Traore , David Allouche , Isabelle André , Simon de Givry , George Katsirelos et al.
JOBIM 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
Image document

Cohérence d'arc virtuelle dynamique

Thi Hông Hiêp Nguyên , Christian Bessiere , Thomas Schiex
JFPC 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
Image document

Cohérence d'arc virtuelle dynamique

Thomas Schiex , Christian Bessiere , Thi Hông Hiêp Nguyên
JFPC 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
Image document

Dynamic Virtual Arc Consistency

Christian Bessiere , Thomas Schiex , Thi Hông Hiêp Nguyên
SAC: Symposium on Applied Computing, Mar 2013, Coimbra, Portugal. pp.098-103
Communication dans un congrès lirmm-00830307 v1

Filtering decomposable global cost functions

David Allouche , Christian Bessiere , Patrice Boizumault , Simon de Givry , Patricia Gutierrez et al.
Twenty-Sixth Conference on Artificial Intelligence, Jul 2012, Toronto, Canada. pp.7
Communication dans un congrès hal-02747813 v1

Genomic resources for functional analysis in <em>Medicago truncatula</em> and related crop species

Frederic Debellé , C. Belser , J.M. Aury , K. Labadie , Brice Roux et al.
6. 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
Image document

Filtrage de fonctions de coût globales décomposables

David Allouche , Christian Bessiere , Patrice Boizumault , Simon de Givry , Patricia Gutierrez et al.
Huitiè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

Combining exact WCSP techniques and VNS search for solving MPE

David Allouche , Aurélie Favier , Mathieu Fontaine , Simon de Givry , Jean-Philippe Metivier et al.
Conference on Uncertainty in Artificial Intelligence (UAI'12), Aug 2012, Catalina Island, United States
Communication dans un congrès hal-01022649 v1
Image document

Filtrage de fonctions de coût globales décomposables

David Allouche , Christian Bessiere , Patrice Boizumault , Simon de Givry , Patricia Gutierrez et al.
JFPC 2012 - 8es Journées Francophones de Programmation par Contraintes, May 2012, Toulouse, France
Communication dans un congrès hal-00809789 v1

From hosts to symbionts: integrated gene prediction for prokaryotic genomes using EuGene

Erika Sallet , Jerome Gouzy , Brice Roux , Delphine Capela , Laurent Sauviac et al.
XX. PAG Plant & Animal Genome, Jan 2012, San-Diego, United States
Communication dans un congrès hal-02807348 v1
Image document

Computational protein design as a cost function network optimization problem

David Allouche , Seydou Traore , Isabelle André , Simon de Givry , George Katsirelos et al.
CP 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
Image document

Filtering Decomposable Global Cost Functions

David Allouche , Christian Bessiere , Patrice Boizumault , Simon de Givry , Patricia Gutierrez et al.
AAAI Conference on Artificial Intelligence, Jul 2012, Toronto, ON, Canada
Communication dans un congrès lirmm-00748187 v1
Image document

Pairwise decomposition for combinatorial optimization in graphical models

Aurélie Favier , Simon de Givry , Andres Legarra , Thomas Schiex
IJCAI 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 crops

Frederic Debellé , Marion Verdenaud , Anne-Marie Dudez , Nicolas Samson , Olivier Saurat et al.
Model 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
Image document

Décomposition par paire pour l'optimisation combinatoire dans les modèles graphiques

Aurélie Favier , Simon de Givry , Andres Legarra , Thomas Schiex
JFPC 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
Image document

Integrated gene prediction for prokaryotic genomes using EuGene

Erika Sallet , Jerome Gouzy , Brice Roux , Delphine Capela , Laurent Sauviac et al.
JOBIM 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
Image document

Decomposing global cost functions

Christian Bessiere , Patrice Boizumault , Simon de Givry , Patricia Gutierrez , Samir Loudini et al.
11th 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
Image document

Decomposing Global Cost Functions

Christian Bessiere , Patrice Boizumault , Simon de Givry , Patricia Guttiriez , Samir Loudni et al.
11th 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
Image document

Sélection de tagSNP: une approche PLNE

David Allouche , Simon de Givry , Thomas Schiex
Congrès ROADEF'2010, Feb 2010, Toulouse, France. pp.2
Communication dans un congrès hal-02812620 v1
Image document

Détection de régions génomiques homologues par un algorithme de flots avec coûts

Eric Audemard , Thomas Faraut , Thomas Schiex
Congrè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 CSP

David Allouche , Simon de Givry , Thomas Schiex
16th 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
Image document

An introduction to valued constraint satisfaction

Thomas Schiex
Workshop on Optimization in Markov Random Fields, Sep 2010, Koncha-Zaspa, Ukraine. 78 p
Communication dans un congrès hal-02812930 v1
Image document

TagSNP selection using weighted CSP and russian doll search with tree decomposition

David Allouche , Thomas Schiex , Simon de Givry , Martin Sanchez
CP-09 workshop on Constraint Based Methods for Bioinformatics, Sep 2009, Lisbonne, Portugal. pp.9
Communication dans un congrès hal-02813239 v1

Combinatorial optimization for graphical models

Rina Dechter , Radu Marinescu , Thomas Schiex , Simon de Givry
IJCAI 2009 - International Joint Conference on Artificial Intelligence, Jul 2009, Pasadena, United States. 196 p
Communication dans un congrès hal-02820716 v1
Image document

Russian doll search with tree decomposition

Marti Sanchez , David Allouche , Simon de Givry , Thomas Schiex
21st International Joint Conference on Artificial Intelligence, Jul 2009, Pasadena, United States. pp.6
Communication dans un congrès hal-02755904 v1

A new local consistency for weighted CSP applied to ncRNA detection.

Christine Gaspin , Simon de Givry , Thomas Schiex , Patricia Thebault , Matthias Zytnicki
Workshop on Constraint Based Methods for Bioinformatics October 5, 2005, Sitges (Spain), May 2005, Sitges, Spain
Communication dans un congrès hal-00362190 v1
Image document

Algorithme des Poupées Russes exploitant une décomposition arborescente

M. Sanchez , David Allouche , Simon de Givry , Thomas Schiex
Cinquiè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
Image document

Cohérence d'arc virtuelle pour les CSP pondérés

Martin Cooper , Simon de Givry , Marti Sanchez , Thomas Schiex , Matthias Zytnicki
JFPC 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
Image document

Virtual arc consistency for weighted CSP

Martin Cooper , Simon de Givry , Marti Sanchez , Thomas Schiex , Matthias Zytnicki
Twenty-third AAAI Conference on Artificial Intelligence, Jul 2008, Chicago, United States. pp.6
Communication dans un congrès hal-02752851 v1
Image document

Optimal soft arc consistency

Martin Cooper , Simon de Givry , Thomas Schiex
20th International Joint Conference on Artificial Intelligence - IJCAI 2007, Jan 2007, Hyderabad, India. pp.6
Communication dans un congrès hal-02754114 v1
Image document

Exploiting tree decomposition and soft local consistency in weighted CSP

Simon de Givry , Thomas Schiex , Gerard Verfaillie
Twenty-first National Conference on Artificial Intelligence - AAAI 2006, Jul 2006, Boston, United States. 1115 p
Communication dans un congrès hal-02755023 v1
Image document

Décomposition arborescente et cohérence locale souple dans les CSP pondérés

Simon de Givry , Thomas Schiex , Gérard Verfaillie
Deuxièmes Journées Francophones de Programmation par Contraintes (JFPC06), 2006, Nîmes, Alès, France
Communication dans un congrès inria-00085804 v1

Mendelsoft: Mendelian error detection in complex pedigree using weighted constraint satisfaction techniques.

Simon de Givry , Zulma Vitezica , Isabelle Palhiere Palhière , Thomas Schiex
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 techniques

Simon de Givry , Isabelle Palhiere , Z. Vitezica , Thomas Schiex
Workshop on constraint based methods for bioinformatics, Oct 2005, Sitges, Spain
Communication dans un congrès hal-02760634 v1
Image document

Requêtes complexes sur des réseaux de Croyance-Faisabilité-Désir

Cédric Pralet , Gerard Verfaillie , Thomas Schiex
Premiè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
Image document

Combining constraint processing and pattern matching to describe and locate structured motifs in genomic sequences.

Patricia Thebault , Simon de Givry , Thomas Schiex , Christine Gaspin
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

Integration of genetic and radiation hybrid maps of the pig: The second generation IMpRH maps

Denis Milan , Thomas Schiex , Martine M. Yerle , A. Rink , C. Beattie et al.
Plant and Animal Genome Conference XII, 2004
Communication dans un congrès hal-02829410 v1

Solving Max-SAT as weighted CSP

Simon de Givry , Javier Larrosa , Pedro Meseguer , Thomas Schiex
9th 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 evidence

Thomas Schiex , A. Moisan , L. Duret , Pierre Rouzé
Journées ouvertes biologie informatique mathématiques, May 2000, Montpellier, France
Communication dans un congrès hal-02770502 v1

Cohérence d'arc pour contraintes molles

Thomas Schiex
Journé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 connaissances

C. da Costa Pereira , F. Garcia , Roger Martin Clouaire , Sidy Ndiaye , Thomas Schiex
6. 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 problems

Simon de Givry , G. Verfaillie , Thomas Schiex
International Conference on Principles and Practice of Constraint Programming, 1997, Schloss Hagenberg, Austria
Communication dans un congrès hal-02768589 v1

Genetic algorithms for genetic mapping

Christine Gaspin , Thomas Schiex
3. Conference on Evolutionary Algorithms, 1997, Nîmes, France
Communication dans un congrès hal-02765613 v1

CARTHAGENE : Constructing and joining maximum likelihood genetic maps

Thomas Schiex , Christine Gaspin
Intelligent Systems in Molecular Biology, Jun 1997, Halkidiki, Greece
Communication dans un congrès hal-02765754 v1

Lazy arc consistency

Thomas Schiex , J.C. Régin , Christine Gaspin , G. Verfaillie
National American Conference on Artificial Intelligent, 1996, Portland, United States
Communication dans un congrès hal-02771457 v1

Russian doll search for solving constraint optimization problems

G. Verfaillie , M. Lemaitre , Thomas Schiex
National American Conference on Artificial Intelligence, 1996, Portland, United States
Communication dans un congrès hal-02766400 v1
Image document

Mixed constraint satisfaction : a framework for decision problems under incomplete knowledge

Hélène Fargier , Jérôme Lang , Thomas Schiex
National 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
Image document

Valued constraint satisfaction problems : hard and easy problems

Thomas Schiex , Hélène Fargier , Gérard Verfaillie
14th 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
Image document

A constraint satisfaction framework for decision under uncertainty

Hélène Fargier , Jérôme Lang , Roger Martin Clouaire , Thomas Schiex
11th Annual Conference on Uncertainty in Artificial Intelligence (UAI 1995), Aug 1995, Montreal, Canada. pp.167-174
Communication dans un congrès hal-02774878 v1

Semiring-based CSPs and valued CSPs: basic properties and comparison

Stefano Bistarelli , Hélène Fargier , Ugo Montanari , Francesca Rossi , Thomas Schiex et al.
International 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

Gestion de l'inconsistance dans les bases de connaissances : une approche syntaxique basée sur la logique des pénalités

Florence Dupin de Saint-Cyr , Jérôme Lang , Thomas Schiex
9è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

Nogood recording for static and dynamic constraint satisfaction problems

Thomas Schiex , G. Verfaillie
5. 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 problems

G. Verfaillie , Thomas Schiex
American Association for Artificial Intelligence (AAAI), 1994, Seattle, United States
Communication dans un congrès hal-02775349 v1

Stubbornness : a possible enhancement for backjumping and nogood recording

Thomas Schiex , G. Verfaillie
11. European Conference on Artificial Intelligence, 1994, Toulouse, France
Communication dans un congrès hal-02774709 v1

Autour du problème de satisfaction de contraintes

Christine Gaspin , Jean-Pierre Rellier , Roger Martin Clouaire , Thomas Schiex
5e Journées nationales du PRC GDR intelligence artificielle, Nov 1994, Paris, France
Communication dans un congrès hal-02774000 v1

Représentation et traitement pratique de la flexibilité dans les problèmes sous contraintes

Gérard Bel , Eric Bensana , Khaled Ghédira , David Lesaint , Thomas Schiex et al.
4è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

Satisfaction de contraintes souples

Hélène Fargier , Roger Martin Clouaire , Thomas Schiex
Journées nationales sur les Applications des Ensembles Flous (AEF 1992), Nov 1992, Nimes, France
Communication dans un congrès hal-02774966 v1

Possibilistic constraint satisfaction problems or "How to handle soft constraints ?

Thomas Schiex
8. Conference of Uncertainty in Artificial Intelligence, Jul 1992, Stanford, United States
Communication dans un congrès hal-02773457 v1

AI Diffusion Models for Computational Protein Design

Bessam Azizi , Thomas Schiex , Sophie Barbe
GGMM, Jun 2025, Forges-les-Eaux, France
Poster de conférence hal-05269848 v1

AI-powered de novo design of miniprotein binders

Younes Bouchiba , Juan Cortés , Thomas Schiex , Sophie Barbe
Biosynsys, Jun 2024, Montpellier, France. 2024
Poster de conférence hal-04787355 v1

Scalable Coupling of Deep Learning with Logical Reasoning

Marianne Defresne , Sophie Barbe , Thomas Schiex
Thirty-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 design

David Simoncini , Thomas Schiex , Sophie Barbe , Sébastien Verel
GGMM 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 casestudy

Gleb Novikov , Jelena Vucinic , Cedric Montanier , Thomas Schiex , Claire Dumon et al.
13. Carbohydrate Bioengineering Meeting, May 2019, Toulouse, France
Poster de conférence hal-02928929 v1

New computational methods and tools for structure-based protein design

Clement Viricel , David Simoncini , Simon De Givry , Thomas Schiex , Sophie Barbe
GGMM 2019, Apr 2019, Nice, France
Poster de conférence hal-04225657 v1
Image document

Variable Neighborhood Search with Cost Function Networks to Solve Large Computational Protein Design Problems

David Allouche , Antoine Charpentier , Thomas Schiex , Thomas Simonson
Rencontre des Chimistes Théoriciens Francophones, Oct 2018, Toulouse, France. 2018
Poster de conférence hal-02733727 v1
Image document

Host tropism and host-pathogen interplay of typhoidal Salmonella enterica

Ludovic Mallet , Claire Hoede , Franck Cerruti , Annick Moisan , Christine Gaspin et al.
JOBIM 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
Image document

EU COST Action TD0801: statistical challenges on the 1000 euro genome sequences in plants

Marco Bink , Thomas Schiex
SeqAhead 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.

Simon de Givry , M. Sanchez , Zulma Vitezica , Isabelle Palhiere Palhière , Thomas Schiex
GénoToul 2006, Nov 2006, Toulouse, France. 2006, GénoToul 2006, Bioinformatique, Recueil des Posters
Poster de conférence hal-02750733 v1

Computational Design of Miniprotein Binders

Younes Bouchiba , Manon Ruffini , Thomas Schiex , Sophie Barbe
Computational Peptide Science, 2405, Springer US, pp.361-382, 2022, Methods in Molecular Biology, ⟨10.1007/978-1-0716-1855-4_17⟩
Chapitre d'ouvrage hal-03675514 v1
Image document

Cost Function Networks to Solve Large Computational Protein Design Problems

David Allouche , Sophie Barbe , Simon de Givry , George Katsirelos , Yahia Lebbah et al.
Malek 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 Problems

Martin Cooper , Simon de Givry , Thomas Schiex
A 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 Prokaryotes

Erika Sallet , Thomas Schiex , Jerome Gouzy
Gene 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 design

Seydou Traore , David Allouche , Isabelle André , Thomas Schiex , Sophie Barbe
Computational 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és

Thomas Schiex , Simon de Givry , Martin Cooper
Panorama de l'intelligence artificielle : Vol 2 : Algorithmes pour l'intelligence artificielle, Cepaduès Editions, 364 p., 2014, 9782364930421
Chapitre d'ouvrage hal-02795963 v1

Bioinformatique

François Coste , Claire Nédellec , Thomas Schiex , Jean-Philippe Vert
Pierre 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 genetics

David Allouche , Christine Cierco-Ayrolles , Simon de Givry , Gérald Guillermin , Brigitte B. Mangin et al.
Gene 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
Image document

Mendelian error detection in complex pedigrees using weighted constraint satisfaction techniques

Marti Sanchez , Simon de Givry , Thomas Schiex
Artificial 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 eukaryotes

C. Mathé , Thomas Schiex , Pierre Rouzé , Philippe Blayo , Marie-France Sagot
Lu Q., Weiner M. Cloning and expression technologies, Eaton Publishing, pp.27-43, 2002
Chapitre d'ouvrage hal-00620804 v1

Efficient Neuro-Symbolic Learning of Constraints and Objective

Marianne Defresne , Romain Gambardella , Sophie Barbe , Thomas Schiex
2025
Pré-publication, Document de travail hal-05247524 v1

Promiscuous structural cross-compatibilities between major shell components of Klebsiella pneumoniae bacterial microcompartments

Lucie Barthe , Damien Balestrino , Bessam Azizi , Delphine Dessaux , Vanessa Soldan et al.
2025
Pré-publication, Document de travail hal-04974595 v1

Designing symmetrical multi-component proteins using a hybrid generative AI approach

Delphine Dessaux , Samuel Buchet , Lucie Barthe , Marianne Defresne , Gianluca Cioci et al.
2024
Pré-publication, Document de travail hal-04646620 v1
Image document

Complete Combinatorial Mutational Enumeration of a protein functional site enables sequence-landscape mapping and identifies highly-mutated variants that retain activity

Mireia Solà Colom , Jelena Vucinic , Jared Adolf-Bryfogle , James W Bowman , Sébastien Verel et al.
2024
Pré-publication, Document de travail hal-04432033 v1

Scalable Coupling of Deep Learning with Logical Reasoning

Marianne Defresne , Sophie Barbe , Thomas Schiex
2023
Pré-publication, Document de travail hal-04223116 v1

Seven amino acid types suffice to reconstruct the core fold of RNA polymerase

Sota Yagi , Aditya Padhi , Jelena Vucinic , Sophie Barbe , Thomas Schiex et al.
2023
Pré-publication, Document de travail hal-04223306 v1
Image document

Exact and approximate inference in graphical models: variable elimination and beyond

Nathalie Dubois Peyrard , Simon de Givry , Alain Franc , Stephane Robin , Régis Sabbadin et al.
2015
Pré-publication, Document de travail (preprint/prepublication) hal-01197655 v1
Image document

Non-monotonic reasoning: from complexity to algorithms

Claudette Cayrol , Marie-Christine Lagasquie-Schiex , Thomas Schiex
[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
Image document

Algorithms for Computational Protein Design

Thomas Schiex
3rd cycle. International Winter School on “Algorithms in Structural Bioinformatics – Computational Protein Design" (Algorithms for Computational Protein Design), 2017
Cours hal-02786907 v1