DE eng

Search in the Catalogues and Directories

Page: 1 2 3
Hits 1 – 20 of 46

1
Concepts et sémantique des langages de programmation 2 : constructions modulaires et objet avec OCaml, Python, C++, Ada et Java
Hardin, Thérèse; Jaume, Mathieu; Pessaux, François. - : HAL CCSD, 2021. : ISTE Editions, 2021
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++
Hardin, Thérèse; Jaume, Mathieu; Pessaux, François. - : HAL CCSD, 2021. : ISTE Editions, 2021
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
Tazouti, Yassine. - : HAL CCSD, 2021
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

Page: 1 2 3

Catalogues
0
0
0
0
0
0
0
Bibliographies
0
0
0
0
0
0
0
0
0
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
46
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern