1 |
Concepts et sémantique des langages de programmation 2 : constructions modulaires et objet avec OCaml, Python, C++, Ada et Java
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-03030511 ; ISTE Editions, 2021, 9781784057022 (2021)
|
|
BASE
|
|
Show details
|
|
2 |
Concepts et sémantique des langages de programmation 1 : constructions fonctionnelles et impératives avec OCaml, Python, C et C++
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-03030484 ; ISTE Editions, 2021, 9781784057015 (2021)
|
|
BASE
|
|
Show details
|
|
3 |
3D Serious Game Modeling and Design: Contributions to Language Learning ; Modélisation et Conception de jeu sérieux tridimensionnel : Contributions à l’apprentissage des langues
|
|
|
|
In: https://hal.archives-ouvertes.fr/tel-03315793 ; Environnements Informatiques pour l'Apprentissage Humain. Université Ibn Tofail, Kénitra (Maroc), 2021. Français (2021)
|
|
BASE
|
|
Show details
|
|
4 |
User-friendly automatic transcription of low-resource languages: Plugging ESPnet into Elpis
|
|
|
|
In: ComputEL-4: Fourth Workshop on the Use of Computational Methods in the Study of Endangered Languages ; https://halshs.archives-ouvertes.fr/halshs-03030529 ; ComputEL-4: Fourth Workshop on the Use of Computational Methods in the Study of Endangered Languages, Mar 2021, Hawai‘i, United States (2021)
|
|
BASE
|
|
Show details
|
|
5 |
User-friendly automatic transcription of low-resource languages: Plugging ESPnet into Elpis
|
|
|
|
In: ComputEL-4: Fourth Workshop on the Use of Computational Methods in the Study of Endangered Languages ; https://halshs.archives-ouvertes.fr/halshs-03030529 ; ComputEL-4: Fourth Workshop on the Use of Computational Methods in the Study of Endangered Languages, Mar 2021, Hawai‘i, United States (2021)
|
|
BASE
|
|
Show details
|
|
6 |
Pixel Sampling for Style Preserving Face Pose Editing
|
|
|
|
In: 2020 IEEE International Joint Conference on Biometrics (IJCB) ; https://hal.archives-ouvertes.fr/hal-03381113 ; 2020 IEEE International Joint Conference on Biometrics (IJCB), Sep 2020, Houston, United States. pp.1-10, ⟨10.1109/IJCB48548.2020.9304867⟩ (2020)
|
|
BASE
|
|
Show details
|
|
7 |
User-friendly automatic transcription of low-resource languages: Plugging ESPnet into Elpis
|
|
|
|
In: ComputEL-4: Fourth Workshop on the Use of Computational Methods in the Study of Endangered Languages ; https://halshs.archives-ouvertes.fr/halshs-03030529 ; 2020 ; https://computel-workshop.org/ (2020)
|
|
BASE
|
|
Show details
|
|
8 |
Research Software Management Plan template, V3.2 ; Modèle de Plan de Gestion de Logiciel de la Recherche, V3.2
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-01802565 ; 2018 (2018)
|
|
BASE
|
|
Show details
|
|
9 |
ImproteK: introducing scenarios into human-computer music improvisation
|
|
|
|
In: ACM Computers in Entertainment ; https://hal.archives-ouvertes.fr/hal-01380163 ; ACM Computers in Entertainment, 2017, ⟨10.1145/3022635⟩ (2017)
|
|
BASE
|
|
Show details
|
|
10 |
Practical Subtyping for System F with Sized (Co-)Induction
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-01289760 ; 2017 (2017)
|
|
BASE
|
|
Show details
|
|
11 |
Version Variation Visualization (VVV): Case Studies on the Hebrew Haggadah in English
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-01307217 ; 2017 (2017)
|
|
BASE
|
|
Show details
|
|
12 |
Préservation de la cohérence des transformations topologiques et géométriques
|
|
|
|
In: 15èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016) ; https://hal.archives-ouvertes.fr/hal-01817884 ; 15èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016), Jun 2016, Besançon, France (2016)
|
|
BASE
|
|
Show details
|
|
13 |
Execution Framework of the GEMOC Studio (Tool Demo)
|
|
|
|
In: Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering ; https://hal.inria.fr/hal-01355391 ; Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Oct 2016, Amsterdam, Netherlands. pp.8 (2016)
|
|
BASE
|
|
Show details
|
|
14 |
On Automated Lemma Generation for Separation Logic with Inductive Definitions
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-01175732 ; 2015 (2015)
|
|
BASE
|
|
Show details
|
|
15 |
Reusing Legacy DSLs with Melange
|
|
|
|
In: 15th Workshop on Domain-Specific Modeling ; https://hal.inria.fr/hal-01197039 ; 15th Workshop on Domain-Specific Modeling, Oct 2015, Pittsburgh, United States (2015)
|
|
BASE
|
|
Show details
|
|
16 |
A Generic Platform for Name Resolution in Source Code Analysis
|
|
|
|
In: https://hal.inria.fr/hal-01664258 ; [Research Report] Inria Lille Nord Europe - Laboratoire CRIStAL - Université de Lille. 2014 (2014)
|
|
BASE
|
|
Show details
|
|
17 |
Logically timed specifications in the AADL : a synchronous model of computation and communication (recommendations to the SAE committee on AADL)
|
|
|
|
In: https://hal.inria.fr/hal-00970244 ; [Technical Report] RT-0446, INRIA. 2014, pp.27 (2014)
|
|
BASE
|
|
Show details
|
|
18 |
Automating Variability Model Inference for Component-Based Language Implementations
|
|
|
|
In: SPLC'14 - 18th International Software Product Line Conference ; https://hal.inria.fr/hal-01023864 ; SPLC'14 - 18th International Software Product Line Conference, Sep 2014, Florence, Italy (2014)
|
|
BASE
|
|
Show details
|
|
19 |
API design for machine learning software: experiences from the scikit-learn project
|
|
|
|
In: European Conference on Machine Learning and Principles and Practices of Knowledge Discovery in Databases ; https://hal.inria.fr/hal-00856511 ; European Conference on Machine Learning and Principles and Practices of Knowledge Discovery in Databases, Sep 2013, Prague, Czech Republic (2013)
|
|
BASE
|
|
Show details
|
|
20 |
Denotational Semantics of A User-Oriented, Domain-Specific Language
|
|
|
|
In: ISSN: 2075-2180 ; Electronic Proceedings in Theoretical Computer Science ; https://hal.inria.fr/hal-00865381 ; Electronic Proceedings in Theoretical Computer Science, EPTCS, 2013, 129, pp.229-249. ⟨10.4204/EPTCS.129.14⟩ (2013)
|
|
BASE
|
|
Show details
|
|
|
|