Thomas Schiex
18
Documents
Publications
- 17
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 7
- 5
- 4
- 18
- 7
- 2
- 1
- 1
- 1
|
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
|
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
|
|
|
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
|
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
|
|
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
|