DE eng

Search in the Catalogues and Directories

Page: 1 2 3 4 5...8
Hits 1 – 20 of 143

1
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
2
Elpi: an extension language for Coq (Metaprogramming Coq in the Elpi λProlog dialect)
In: https://hal.inria.fr/hal-01637063 ; 2018 (2018)
BASE
Show details
3
Collectors
In: Programming Experience 2018 (PX'18) ; https://hal.univ-brest.fr/hal-01829183 ; Programming Experience 2018 (PX'18), Apr 2018, Nice, France. pp.9, ⟨10.1145/3191697.3214335⟩ (2018)
BASE
Show details
4
An empirical study on object-oriented software dependencies: logical, structural and semantic
Ajienka, Nemitari Miebaka. - : Brunel University London, 2018
BASE
Show details
5
NEW shared & interconnected ASL resources: SignStream® 3 Software; DAI 2 for web access to linguistically annotated video corpora; and a sign bank
Neidle, Carol; Opoku, Augustine; Metaxas, Dimitris. - : European Language Resources Association (ELRA), 2018
BASE
Show details
6
Audio-visual synchronization in reading while listening to texts: Effects on visual behavior and verbal learning
In: ISSN: 0885-2308 ; EISSN: 1095-8363 ; Computer Speech and Language ; https://hal.archives-ouvertes.fr/hal-01575227 ; Computer Speech and Language, Elsevier, 2018, 47 (january), pp.79-92. ⟨10.1016/j.csl.2017.07.003⟩ (2018)
BASE
Show details
7
Domain Model for Cyber-Physical Systems
In: 3rd International Conference on Advanced Aspects of Software Engineering (ICAASE 2018) ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-03127972 ; 3rd International Conference on Advanced Aspects of Software Engineering (ICAASE 2018), Dec 2018, Constantine, Algeria. pp.34-41 (2018)
BASE
Show details
8
Incorporating Chinese radicals into neural machine translation: deeper than character level
In: Han, Lifeng orcid:0000-0002-3221-2185 and Kuang, Shaohui (2018) Incorporating Chinese radicals into neural machine translation: deeper than character level. In: 30th European Summer School in Logic, Language and Information (ESSLLI 2018), 6-17 Aug 2018, Sofia, Bulgaria. (2018)
BASE
Show details
9
Incorporating Chinese radicals into neural machine translation: deeper Than character level
In: Han, Lifeng and Kuang, Shaohui (2018) Incorporating Chinese radicals into neural machine translation: deeper Than character level. In: 30th European Summer School in Logic, Language and Information (ESSLLI 2018), 6-17 Aug 2018, Sofia, Bulgaria. (2018)
BASE
Show details
10
Apply Chinese radicals Into neural machine translation/ deeper than character level
In: Han, Lifeng orcid:0000-0002-3221-2185 (2018) Apply Chinese radicals Into neural machine translation/ deeper than character level. In: LPRC 2018: Limerick Postgraduate Research Conference, 24 May 2018, Limerick, Ireland. (2018)
BASE
Show details
11
Concern-Oriented Language Development (COLD): Fostering Reuse in Language Engineering
In: ISSN: 1477-8424 ; Computer Languages, Systems and Structures ; https://hal.archives-ouvertes.fr/hal-01803008 ; Computer Languages, Systems and Structures, Elsevier, 2018, 54, pp.139-155. ⟨10.1016/j.cl.2018.05.004⟩ (2018)
BASE
Show details
12
Specification-Based Protocol Obfuscation
In: DSN 2018 - 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks ; https://hal.inria.fr/hal-01848573 ; DSN 2018 - 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Jun 2018, Luxembourg City, Luxembourg. pp.1-12, ⟨10.1109/DSN.2018.00056⟩ (2018)
BASE
Show details
13
Adlet: A Java-based Architecture Description Language
In: https://hal.inria.fr/hal-01964792 ; [Research Report] RR-9242, Inria Lille - Nord Europe. 2018 (2018)
BASE
Show details
14
Verification of High-Level Transformations with Inductive Refinement Types
In: GPCE 2018 - 17th International Conference on Generative Programming: Concepts & Experience ; https://hal.inria.fr/hal-01898058 ; GPCE 2018 - 17th International Conference on Generative Programming: Concepts & Experience, Nov 2018, Boston, United States. pp.147-160, ⟨10.1145/3278122.3278125⟩ (2018)
BASE
Show details
15
Distributing Relational Model Transformation on MapReduce
In: ISSN: 0164-1212 ; Journal of Systems and Software ; https://hal.archives-ouvertes.fr/hal-01863885 ; Journal of Systems and Software, Elsevier, 2018, 142, pp.1-20. ⟨10.1016/j.jss.2018.04.014⟩ (2018)
BASE
Show details
16
Shape-Diverse DSLs: Languages without Borders (Vision Paper)
In: SLE 2018 Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering ; SLE 2018 - 11th ACM SGIPLAN International Conference on Software Language Engineering ; https://hal.archives-ouvertes.fr/hal-01889155 ; SLE 2018 - 11th ACM SGIPLAN International Conference on Software Language Engineering, Nov 2018, Boston, United States. pp.215-219, ⟨10.1145/3276604.3276623⟩ (2018)
BASE
Show details
17
Counterexample Simplification for Liveness Property Violation
In: SEFM 2018 - 16th International Conference on Software Engineering and Formal Methods ; https://hal.inria.fr/hal-01818790 ; SEFM 2018 - 16th International Conference on Software Engineering and Formal Methods, Jun 2018, Toulouse, France. pp.173-188, ⟨10.1007/978-3-319-92970-5_11⟩ (2018)
BASE
Show details
18
Integrating automatic transcription into the language documentation workflow: Experiments with Na data and the Persephone toolkit
In: ISSN: 1934-5275 ; EISSN: 1934-5275 ; Language Documentation & Conservation ; https://halshs.archives-ouvertes.fr/halshs-01841979 ; Language Documentation & Conservation, University of Hawaiʻi Press 2018, 12, pp.393-429 ; hdl.handle.net/10125/24793 (2018)
BASE
Show details
19
Students Making Sense of Multi-level Data
In: Haldar, Lina Chopra; Wong, Nicole; Heller, Joan I.; & Konold, Cliff. (2018). Students Making Sense of Multi-level Data. Technology Innovations in Statistics Education, 11(1). Retrieved from: http://www.escholarship.org/uc/item/7x28z96b (2018)
BASE
Show details
20
Branched-Chain Amino Acid Database Integrated in MEDIPAD Software as a Tool for Nutritional Investigation of Mediterranean Populations
In: ISSN: 2072-6643 ; Nutrients ; https://hal-riip.archives-ouvertes.fr/pasteur-01989178 ; Nutrients, MDPI, 2018, 10 (10), pp.1392. ⟨10.3390/nu10101392⟩ (2018)
BASE
Show details

Page: 1 2 3 4 5...8

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
143
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern