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 |
Relationships between computational thinking and the quality of computer programs
|
|
|
|
In: ISSN: 1360-2357 ; EISSN: 1573-7608 ; Education and Information Technologies ; https://hal.archives-ouvertes.fr/hal-03596834 ; Education and Information Technologies, Springer Verlag, In press, ⟨10.1007/s10639-022-10921-z⟩ (2022)
|
|
BASE
|
|
Show details
|
|
3 |
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
|
|
5 |
Eine agentenbasierte Architektur für Programmierung mit gesprochener Sprache ...
|
|
|
|
BASE
|
|
Show details
|
|
7 |
PACSafe: Leveraging ARM Pointer Authentication for Memory Safety in C/C++ ...
|
|
|
|
BASE
|
|
Show details
|
|
8 |
Compiler-Driven Simulation of Reconfigurable Hardware Accelerators ...
|
|
|
|
BASE
|
|
Show details
|
|
10 |
How ISO C became unusable for operating systems development ...
|
|
|
|
BASE
|
|
Show details
|
|
11 |
Quickstrom: Property Based Acceptance Testing with LTL Specifications ...
|
|
|
|
BASE
|
|
Show details
|
|
12 |
POLYCRUISE: A Cross-Language Dynamic Information Flow Analysis ...
|
|
|
|
BASE
|
|
Show details
|
|
13 |
POLYCRUISE: A Cross-Language Dynamic Information Flow Analysis ...
|
|
|
|
BASE
|
|
Show details
|
|
14 |
A Systematic Evaluation of Large Language Models of Code ...
|
|
|
|
BASE
|
|
Show details
|
|
15 |
On Reinforcement Learning, Effect Handlers, and the State Monad ...
|
|
|
|
BASE
|
|
Show details
|
|
16 |
Compilable Neural Code Generation with Compiler Feedback ...
|
|
|
|
BASE
|
|
Show details
|
|
17 |
On the Transferability of Pre-trained Language Models for Low-Resource Programming Languages ...
|
|
Chen, Fuxiang. - : Federated Research Data Repository / dépôt fédéré de données de recherche, 2022
|
|
BASE
|
|
Show details
|
|
18 |
Fast, Ungapped Reads Mapping Using Squid
|
|
|
|
In: International Journal of Environmental Research and Public Health; Volume 19; Issue 9; Pages: 5442 (2022)
|
|
BASE
|
|
Show details
|
|
19 |
Exploring Measurement through Coding: Children’s Conceptions of a Dynamic Linear Unit with Robot Coding Toys
|
|
|
|
In: Education Sciences; Volume 12; Issue 2; Pages: 143 (2022)
|
|
BASE
|
|
Show details
|
|
20 |
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
|
|
|
|