• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher
  • 
    Year:
    
    • 2022 (17)
  • 
    Medium
  • 
    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 Hits 1 – 17 of 17 1 Meta-Analysis of the Functional Neuroimaging Literature with Probabilistic Logic Programming Abdallah, Majd; Iovene, Valentin; Zanitti, Gaston... In: https://hal.archives-ouvertes.fr/hal-03590714 ; 2022 (2022) BASE Show details 2 A gentle introduction to Girard's Transcendental Syntax for the linear logician Eng, Boris In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2022 (2022) BASE Show details 3 A Formal Model of Checked C ... Li, Liyi; Liu, Yiyun; Postol, Deena L.. - : arXiv, 2022 BASE Show details 4 PACSafe: Leveraging ARM Pointer Authentication for Memory Safety in C/C++ ... Hohentanner, Konrad; Zieris, Philipp; Horsch, Julian. - : arXiv, 2022 BASE Show details 5 Compiler-Driven Simulation of Reconfigurable Hardware Accelerators ... Li, Zhijing; Ye, Yuwei; Neuendorffer, Stephen. - : arXiv, 2022 BASE Show details 6 Source Matching and Rewriting ... Couto, Vinicius; Zago, Luciano; Yviquel, Hervé. - : arXiv, 2022 BASE Show details 7 How ISO C became unusable for operating systems development ... Yodaiken, Victor. - : arXiv, 2022 BASE Show details 8 Quickstrom: Property Based Acceptance Testing with LTL Specifications ... O'Connor, Liam; Wickström, Oskar. - : arXiv, 2022 BASE Show details 9 POLYCRUISE: A Cross-Language Dynamic Information Flow Analysis ... Li, Wen. - : figshare, 2022 BASE Show details 10 POLYCRUISE: A Cross-Language Dynamic Information Flow Analysis ... Li, Wen. - : figshare, 2022 BASE Show details 11 A Systematic Evaluation of Large Language Models of Code ... Xu, Frank F.; Alon, Uri; Neubig, Graham. - : arXiv, 2022 BASE Show details 12 On Reinforcement Learning, Effect Handlers, and the State Monad ... Lago, Ugo Dal; Gavazzo, Francesco; Ghyselen, Alexis. - : arXiv, 2022 Abstract: We study the algebraic effects and handlers as a way to support decision-making abstractions in functional programs, whereas a user can ask a learning algorithm to resolve choices without implementing the underlying selection mechanism, and give a feedback by way of rewards. Differently from some recently proposed approach to the problem based on the selection monad [Abadi and Plotkin, LICS 2021], we express the underlying intelligence as a reinforcement learning algorithm implemented as a set of handlers for some of these algebraic operations, including those for choices and rewards. We show how we can in practice use algebraic operations and handlers -- as available in the programming language EFF -- to clearly separate the learning algorithm from its environment, thus allowing for a good level of modularity. We then show how the host language can be taken as a lambda-calculus with handlers, this way showing what the essential linguistic features are. We conclude by hinting at how type and effect systems ... Keyword: FOS Computer and information sciences; Logic in Computer Science cs.LO; Machine Learning cs.LG; Programming Languages cs.PL URL: https://arxiv.org/abs/2203.15426 https://dx.doi.org/10.48550/arxiv.2203.15426 BASE Hide details 13 Compilable Neural Code Generation with Compiler Feedback ... Wang, Xin; Wang, Yasheng; Wan, Yao. - : arXiv, 2022 BASE Show details 14 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 15 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 16 Formal Metatheory of Second-Order Abstract Syntax ... Fiore, Marcelo; Szamozvancev, Dmitrij. - : arXiv, 2022 BASE Show details 17 Eine agentenbasierte Architektur für Programmierung mit gesprochener Sprache Weigelt, Sebastian. - : KIT Scientific Publishing, Karlsruhe, 2022 BASE Show details

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 17 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0