Schiex, Thomas, 1965-....
Schiex, Thomas
Thomas Schiex chercheur français en intelligence artificielle
VIAF ID: 19810095 ( Personal )
Permalink: http://viaf.org/viaf/19810095
Preferred Forms
- 200 _ | ‡a Schiex ‡b Thomas
-
- 100 1 _ ‡a Schiex, Thomas
-
- 100 1 _ ‡a Schiex, Thomas
-
- 100 1 _ ‡a Schiex, Thomas, ‡d 1965-....
- 100 0 _ ‡a Thomas Schiex ‡c chercheur français en intelligence artificielle
4xx's: Alternate Name Forms (2)
Works
Title | Sources |
---|---|
Advanced methods to solve the maximum parsimony problem | |
Apprendre durant la recherche combinatoire. | |
Apprentissage et vérification statistique pour la sécurité | |
Behavior recognition on noisy data-streams constrained by complex prior knowledge | |
Classes polynomiales pour CSP : de la théorie à la pratique | |
Cohérences fortes pour les problèmes de satisfaction de contraintes pondérées. | |
Computational Protein Design with Deep Learning and Automated Reasoning. | |
CONCEPTION ET IMPLEMENTATION D'UN DIALECTE LISP PARESSEUX : HELP | |
Contributions au développement d'outils computationnels de design de protéine : méthodes et algorithmes de comptage avec garantie | |
DESIGN AND IMPLEMENTATION OF A LAZY DIALECT OF LISP: H.E.L.P. | |
Le design de protéines par apprentissage profond et raisonnement automatique | |
Détection des duplications en tandem au niveau nucléique à l'aide de la théorie des flots | |
Docking et Deep Learning : affinement de méthodologies in silico pour le développementde stratégies thérapeutiques innovantes | |
Dossier d'habilitation à diriger les recherches | |
Formalisme CSP et localisation de motifs structurés dans les textes génomiques | |
Hiérarchies de contraintes : Quelques approches de résolution | |
Intelligence artificielle et informatique théorique | |
JOBIM 2001 : journées ouvertes biologie informatique mathématiques, Toulouse 30 mai - 01 juin | |
Learning during search | |
Localisation d'ARN non-codants par réseaux de contraintes pondérées | |
Localisation de gènes et variants par intégration d'informations | |
Machine Learning and Statistical Verification for Security. | |
Mathematical analysis of the dynamics of biological regulatory networks. | |
Méthodes avancées pour la résolution du problème de maximum parcimonie. | |
Modeling and solving sequential decision-making problems, 2009: | |
Molecular Modeling and Artificial Intelligence for Computational Protein Design : conception of optimized enzymes and nanobodies | |
Pais 2022 | |
Principles and practice of constraint programming : 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019 : proceedings | |
Sequence kernels for speaker verification using support vector machines (SVM). | |
Solving (W)CSP and #CSP problems by structural approaches : computation and dynamic exploitation of tree decompositions. | |
Some approaches from solving constraint hierarchies. | |
Strong consistencies for weighted constraint satisfaction problems | |
Tractable classes of CSP : from theory to practice. |