Filtrer vos résultats
- 4
- 3
- 5
- 2
- 6
- 1
- 1
- 3
- 3
- 5
- 2
- 3
- 2
- 2
- 1
- 1
- 7
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
7 résultats
|
|
triés par
|
|
Langage pour la vérification de modèles par contraintesTreizièmes journées Francophones de Programmation par Contraintes, Jun 2017, Montreuil sur Mer, France
Communication dans un congrès
hal-01562692v1
|
||
Combining Constraint Languages via Abstract Interpretation2019 IEEE 31st International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2019, Portland, France. pp.50-58, ⟨10.1109/ICTAI.2019.00016⟩
Communication dans un congrès
hal-02945596v1
|
|||
|
Interactive computer-aided composition with constraints43rd International Computer Music Conference (ICMC 2017), Oct 2017, Shanghai, China
Communication dans un congrès
hal-01577898v1
|
||
|
Octogones entiers pour le problème RCPSPJFPC 2019 - Journées Francophones de Programmation par Contraintes, Jun 2019, Albi, France. pp.1-10
Communication dans un congrès
hal-02157804v1
|
||
|
Search Strategies as Synchronous Processes (Extended Abstract)Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Aug 2017, Melbourne, Australia. ⟨10.24963/ijcai.2017/766⟩
Communication dans un congrès
hal-01594862v1
|
||
|
Modular Constraint Solver Cooperation via Abstract InterpretationTheory and Practice of Logic Programming, 2020, 20 (6), pp.848-863. ⟨10.1017/S1471068420000162⟩
Article dans une revue
hal-02945920v1
|
||
|
Comparative Loss-of-Function Screens Reveal ABCE1 as an Essential Cellular Host Factor for Efficient Translation of Paramyxoviridae and PneumoviridaemBio, 2019, 10 (3), pp.e00826-19. ⟨10.1128/mBio.00826-19⟩
Article dans une revue
pasteur-02273414v1
|