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
|
|
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
|
|
7 |
How ISO C became unusable for operating systems development ...
|
|
|
|
BASE
|
|
Show details
|
|
8 |
Quickstrom: Property Based Acceptance Testing with LTL Specifications ...
|
|
|
|
BASE
|
|
Show details
|
|
9 |
POLYCRUISE: A Cross-Language Dynamic Information Flow Analysis ...
|
|
|
|
BASE
|
|
Show details
|
|
10 |
POLYCRUISE: A Cross-Language Dynamic Information Flow Analysis ...
|
|
|
|
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 ...
|
|
|
|
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
|
|
|
|
BASE
|
|
Show details
|
|
17 |
Eine agentenbasierte Architektur für Programmierung mit gesprochener Sprache
|
|
|
|
BASE
|
|
Show details
|
|
|
|