DE eng

Search in the Catalogues and Directories

Hits 1 – 17 of 17

1
Meta-Analysis of the Functional Neuroimaging Literature with Probabilistic Logic Programming
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
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++ ...
BASE
Show details
5
Compiler-Driven Simulation of Reconfigurable Hardware Accelerators ...
BASE
Show details
6
Source Matching and Rewriting ...
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 ...
BASE
Show details
12
On Reinforcement Learning, Effect Handlers, and the State Monad ...
BASE
Show 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
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 ...
BASE
Show details
17
Eine agentenbasierte Architektur für Programmierung mit gesprochener Sprache
Weigelt, Sebastian. - : KIT Scientific Publishing, Karlsruhe, 2022
BASE
Show details

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