• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher
  • 
    Year
  • 
    Medium
  • 
    Type:
    
    • Article (1.765)
  • 
    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 3 4 5...89 Hits 1 – 20 of 1.765 1 How ISO C became unusable for operating systems development ... Yodaiken, Victor. - : arXiv, 2022 BASE Show details 2 POLYCRUISE: A Cross-Language Dynamic Information Flow Analysis ... Li, Wen. - : figshare, 2022 BASE Show details 3 POLYCRUISE: A Cross-Language Dynamic Information Flow Analysis ... Li, Wen. - : figshare, 2022 BASE Show details 4 Active Learning Activities in a Collaborative Teacher Setting in Colours, Design and Visualisation Jonathan C. Roberts In: Computers; Volume 11; Issue 5; Pages: 68 (2022) BASE Show details 5 Are You Robert or RoBERTa? Deceiving Online Authorship Attribution Models Using Neural Text Generators Jones, Keenan; Nurse, Jason R. C.; Li, Shujun. - : Association for the Advancement of Artificial Intelligence, 2022 BASE Show details 6 Formal Metatheory of Second-Order Abstract Syntax ... Fiore, Marcelo; Szamozvancev, Dmitrij. - : arXiv, 2022 BASE Show details 7 Communicating artificial neural networks develop efficient color-naming systems Chaabouni, Rahma; Kharitonov, Eugene; Dupoux, Emmanuel... In: ISSN: 0027-8424 ; EISSN: 1091-6490 ; Proceedings of the National Academy of Sciences of the United States of America ; https://hal.inria.fr/hal-03329084 ; Proceedings of the National Academy of Sciences of the United States of America , National Academy of Sciences, 2021, 118 (12), ⟨10.1073/pnas.2016569118⟩ (2021) BASE Show details 8 Improving Automation for Higher-Order Proof Steps Defourné, Antoine In: Lecture Notes ; FroCos 2021 - 13th International Symposium on Frontiers of Combining Systems ; https://hal.archives-ouvertes.fr/hal-03528009 ; FroCos 2021 - 13th International Symposium on Frontiers of Combining Systems, Sep 2021, Birmingham, United Kingdom. pp.139-153, ⟨10.1007/978-3-030-86205-3_8⟩ (2021) BASE Show details 9 Jolie and LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices Giallorenzo, Saverio; Montesi, Fabrizio; Peressotti, Marco... In: 23th International Conference on Coordination Languages and Models (COORDINATION) ; https://hal.inria.fr/hal-03347326 ; 23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.276 - 284, ⟨10.1007/978-3-030-78142-2_17⟩ (2021) BASE Show details 10 Automatic Guide Generation for Stan via NumPyro Baudart, Guillaume; Mandel, Louis In: PROBPROG 2021 - Third International Conference on Probabilistic Programming ; https://hal.archives-ouvertes.fr/hal-03401708 ; PROBPROG 2021 - Third International Conference on Probabilistic Programming, Oct 2021, Virtual, United States (2021) BASE Show details 11 Categories with Families: Unityped, Simply Typed, and Dependently Typed Clairambault, Pierre; Castellan, Simon; Dybjer, Peter In: Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics ; https://hal.archives-ouvertes.fr/hal-03419296 ; Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics, 20, Springer International Publishing, pp.135-180, 2021, Outstanding Contributions to Logic, ⟨10.1007/978-3-030-66545-6_5⟩ (2021) BASE Show details 12 MESH: A Memory-Efficient Safe Heap for C/C++ ... Vintila, Emanuel Q.; Zieris, Philipp; Horsch, Julian. - : arXiv, 2021 BASE Show details 13 Enabling Dataflow Optimization for Quantum Programs ... Ittah, David; Häner, Thomas; Kliuchnikov, Vadym. - : arXiv, 2021 BASE Show details 14 A Logical Programming Language as an Instrument for Specifying and Verifying Dynamic Memory ... Haberland, René. - : arXiv, 2021 BASE Show details 15 Retrieval Augmented Code Generation and Summarization ... The 2021 Conference on Empirical Methods in Natural Language Processing 2021. - : Underline Science Inc., 2021 BASE Show details 16 Programmers’ affinity to languages Neto, Álvaro; Araújo, Cristiana; Pereira, Maria João. - : OASICs, 2021 BASE Show details 17 Visually Grounded Reasoning across Languages and Cultures ... The 2021 Conference on Empirical Methods in Natural Language Processing 2021; Bugliarello, Emanuele; Collier, Nigel. - : Underline Science Inc., 2021 BASE Show details 18 Automatic Grading Tool for Jupyter Notebooks in Artificial Intelligence Courses Cristian D. González-Carrillo; Felipe Restrepo-Calle; Jhon J. Ramírez-Echeverry... In: Sustainability ; Volume 13 ; Issue 21 (2021) BASE Show details 19 Studying the Effectiveness of Code Animation in Teaching Recursive Programming Bethely, Jireh In: Honors College Theses (2021) BASE Show details 20 Query Lifting: Language-integrated query for heterogeneous nested collections ... Ricciotti, Wilmer; Cheney, James. - : arXiv, 2021 BASE Show details Page: 1 2 3 4 5...89

Mobile view All Catalogues UB Frankfurt Linguistik 0 IDS Mannheim 0 OLC Linguistik 1 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 8 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 1.757 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0