Suchergebnisse - Mündler, Niels | OPAC THWS

1

A Verified Implementation of B+-Trees in Isabelle/HOL von Mündler, Niels, Nipkow, Tobias

Volltext bestellen

Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Association rule mining and itemset-correlation based variants von Mündler, Niels

Volltext bestellen

Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Practical Attacks against Black-box Code Completion Engines von Jenko, Slobodan, He, Jingxuan, Mündler, Niels, Vero, Mark, Vechev, Martin

Volltext bestellen

Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

SWT-Bench: Testing and Validating Real-World Bug-Fixes with Code Agents von Mündler, Niels, Müller, Mark Niklas, He, Jingxuan, Vechev, Martin

Volltext bestellen

Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

$A Verified Implementation of B+\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$^+$$\end{document}-Trees in Isabelle/HOL$

A Verified Implementation of B+\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{ma... von Mündler, Niels, Nipkow, Tobias

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

Association rule mining and itemset-correlation based variants von Mündler, Niels

Veröffentlicht in arXiv.org

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

A Verified Implementation of B+-Trees in Isabelle/HOL von Mündler, Niels, Nipkow, Tobias

Veröffentlicht in arXiv.org

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

Self-contradictory Hallucinations of Large Language Models: Evaluation, Detection and Mitigation von Mündler, Niels, He, Jingxuan, Jenko, Slobodan, Vechev, Martin

Volltext bestellen

Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

SWT-Bench: Testing and Validating Real-World Bug-Fixes with Code Agents von Mündler, Niels, Mark Niklas Müller, He, Jingxuan, Vechev, Martin

Veröffentlicht in arXiv.org

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

Practical Attacks against Black-box Code Completion Engines von Jenko, Slobodan, He, Jingxuan, Mündler, Niels, Vero, Mark, Vechev, Martin

Veröffentlicht in arXiv.org

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
11

Self-contradictory Hallucinations of Large Language Models: Evaluation, Detection and Mitigation von Mündler, Niels, He, Jingxuan, Jenko, Slobodan, Vechev, Martin

Veröffentlicht in arXiv.org

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
12

Imaging therapeutic peptide transport across intestinal barriers von Larsen, Jannik Bruun, Taebnia, Nayere, Dolatshahi-Pirouz, Alireza, Eriksen, Anne Zebitz, Hjørringgaard, Claudia, Kristensen, Kasper, Larsen, Nanna Wichmann, Larsen, Niels Bent, Marie, Rodolphe, Mündler, Ann-Kathrin, Parhamifar, Ladan, Urquhart, Andrew James, Weller, Arjen, Mortensen, Kim I, Flyvbjerg, Henrik, Andresen, Thomas Lars

Veröffentlicht in RSC chemical biology

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: