• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher
  • 
    Year:
    
    • 2018 (34)
  • 
    Medium:
    
    • Online (34)
  • 
    Type
  • 
    BLLDB-Access

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Page: 1 2 Hits 1 – 20 of 34 1 The Cognitive Features of Programming Language and Natural Language Xu, Wen; Xu, Fangqu; Zou, Xiaohui... In: IFIP Advances in Information and Communication Technology ; 2nd International Conference on Intelligence Science (ICIS) ; https://hal.inria.fr/hal-02118845 ; 2nd International Conference on Intelligence Science (ICIS), Nov 2018, Beijing, China. pp.184-190, ⟨10.1007/978-3-030-01313-4_19⟩ (2018) BASE Show details 2 Frightening Small Children and Disconcerting Grown-ups ; Frightening Small Children and Disconcerting Grown-ups: Concurrency in the Linux Kernel Alglave, Jade; Maranget, Luc; McKenney, Paul... In: ASPLOS2018 - 23rd ACM International Conference on Architectural Support for Programming Languages and Operating Systems ; https://hal.inria.fr/hal-01873636 ; ASPLOS2018 - 23rd ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Mar 2018, Williamsburg, VA, United States. ⟨10.1145/3173162.3177156⟩ (2018) BASE Show details 3 Merlin: a language server for OCaml (experience report) Bour, Frédéric; Réfis, Thomas; Scherer, Gabriel In: ISSN: 2475-1421 ; Proceedings of the ACM on Programming Languages ; https://hal.inria.fr/hal-01929161 ; Proceedings of the ACM on Programming Languages, ACM, 2018, 2 (ICFP), pp.1 - 15. ⟨10.1145/3236798⟩ (2018) BASE Show details 4 Declarative Transformations in the Polyhedral Model ; Transformations Déclaratives dans le Modèle Polyédrique Zinenko, Oleksandr; Chelini, Lorenzo; Grosser, Tobias In: https://hal.inria.fr/hal-01965599 ; [Research Report] RR-9243, Inria; ENS Paris - Ecole Normale Supérieure de Paris; ETH Zurich; TU Delft; IBM Zürich. 2018 (2018) BASE Show details 5 A sequent calculus with dependent types for classical arithmetic Miquey, Étienne In: LICS 2018 - 33th Annual ACM/IEEE Symposium on Logic in Computer Science ; https://hal.inria.fr/hal-01703526 ; LICS 2018 - 33th Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2018, Oxford, United Kingdom. pp.720-729, ⟨10.1145/3209108.3209199⟩ (2018) BASE Show details 6 Verification of High-Level Transformations with Inductive Refinement Types Salim Al-Sibahi, Ahmad; Dimovski, Aleksandar,; Jensen, Thomas... 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 7 Type-Driven Gradual Security with References Toro, Matías; Garcia, Ronald; Tanter, Éric In: ISSN: 0164-0925 ; EISSN: 1558-4593 ; ACM Transactions on Programming Languages and Systems (TOPLAS) ; https://hal.archives-ouvertes.fr/hal-01957581 ; ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2018, 40 (4), pp.1-55. ⟨10.1145/3229061⟩ (2018) BASE Show details 8 Modular Software Fault Isolation as Abstract Interpretation Besson, Frédéric; Jensen, Thomas; Lepiller, Julien In: SAS 2018 - 25th International Static Analysis Symposium ; https://hal.inria.fr/hal-01894116 ; SAS 2018 - 25th International Static Analysis Symposium, Aug 2018, Freiburg, Germany. pp.166-186, ⟨10.1007/978-3-319-99725-4_12⟩ (2018) BASE Show details 9 A combined language and polyhedral approach to heterogeneous parallelism ; Une approche combinée langage-polyédrique pour la programmation parallèle hétérogène Zhao, Jie. - : HAL CCSD, 2018 In: https://tel.archives-ouvertes.fr/tel-01988073 ; Distributed, Parallel, and Cluster Computing [cs.DC]. Université Paris sciences et lettres, 2018. English. ⟨NNT : 2018PSLEE062⟩ (2018) BASE Show details 10 Learning Commonsense Knowledge Through Interactive Dialogue Wu, Benjamin; Russo, Alessandra; Law, Mark. - : Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2018. : OASIcs - OpenAccess Series in Informatics. Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018), 2018 BASE Show details 11 Hierarchical Cluster Analysis by R language for Pattern Recognition in the Bathymetric Data Frame: a Case Study of the Mariana Trench, Pacific Ocean ... Lemenkova, Polina. - : figshare, 2018 BASE Show details 12 Hierarchical Cluster Analysis by R language for Pattern Recognition in the Bathymetric Data Frame: a Case Study of the Mariana Trench, Pacific Ocean ... Lemenkova, Polina. - : figshare, 2018 BASE Show details 13 Hierarchical Cluster Analysis by R language for Pattern Recognition in the Bathymetric Data Frame: a Case Study of the Mariana Trench, Pacific Ocean ... Lemenkova, Polina. - : figshare, 2018 BASE Show details 14 Lolisa: Formal syntax and semantics for a subset of the solidity programming language in Mathematical Tool Coq ... Yang, Zheng; Lei, Hang. - : arXiv, 2018 BASE Show details 15 Live Multi-language Development and Runtime Environments ... Niephaus, Fabio; Felgentreff, Tim; Pape, Tobias. - : arXiv, 2018 BASE Show details 16 TWAM: A Certifying Abstract Machine for Logic Programs ... Bohrer, Brandon; Crary, Karl. - : arXiv, 2018 BASE Show details 17 Methodic of joint using the tools of automation of lexical and parsing analysis in the process of teaching the programming theory of future informatics teachers ... Semerikov, S. O.; Polishchuk, O. P.. - : arXiv, 2018 BASE Show details 18 NgramPOS: A Bigram-based Linguistic and Statistical Feature Process Model for Unstructured Text Classification Lau, Sian; Yazdania, Sepideh; Tan, Zhiyuan. - : BMC, 2018 BASE Show details 19 Generating static linguistic motion charts ... Rajeg, Gede Primahadi Wijaya; Rajeg, I Made. - : Monash University, 2018 BASE Show details 20 Working with a linguistic corpus using R: An introductory note with Indonesian Negating Construction ... Rajeg, Gede Primahadi Wijaya; Karlina Denistia; Rajeg, I Made. - : Monash University, 2018 BASE Show details Page: 1 2

Mobile view All Catalogues UB Frankfurt Linguistik 0 IDS Mannheim 0 OLC Linguistik 0 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 0 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 0 MPI for Psycholinguistics 0 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 34 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0