terminal
$ cd /forschung
$ ls
methoden.md projekte.md publikationen.md
$ cat methoden.md
# FORSCHUNG
INNOVATIVE METHODEN UND PROJEKTE IN DER INFORMATIK

FORSCHUNGSMETHODEN

empirical.cs

EMPIRISCHE FORSCHUNG

DATENSAMMLUNG UND ANALYSE ZUR VALIDIERUNG VON HYPOTHESEN

Datenanalyse
simulation.cs

SIMULATION

MODELLIERUNG UND SIMULATION KOMPLEXER SYSTEME

Computersimulation
formal.cs

FORMALE METHODEN

MATHEMATISCHE BEWEISE UND FORMALE VERIFIKATION

Mathematische Formeln

AKTUELLE PROJEKTE

quantum.cs

QUANTENCOMPUTING

ENTWICKLUNG VON ALGORITHMEN FÜR QUANTENCOMPUTER UND SIMULATION QUANTENMECHANISCHER SYSTEME

LAUFZEIT: 2023-2026 PARTNER: 8
Quantencomputing
blockchain.cs

BLOCKCHAIN-TECHNOLOGIEN

ENTWICKLUNG SICHERER UND SKALIERBARER BLOCKCHAIN-LÖSUNGEN FÜR VERSCHIEDENE ANWENDUNGSBEREICHE

LAUFZEIT: 2024-2027 PARTNER: 12
Blockchain
nlp.cs

NATURAL LANGUAGE PROCESSING

VERBESSERUNG VON SPRACHMODELLEN UND ENTWICKLUNG NEUER ANSÄTZE FÜR SPRACHVERSTÄNDNIS

LAUFZEIT: 2024-2028 MODELLE: 15
NLP

PUBLIKATIONEN

paper1.pdf

"OPTIMIERUNG VON NEURONALEN NETZEN"

ACM TRANSACTIONS ON COMPUTING, 2024

PDF HERUNTERLADEN
paper2.pdf

"SICHERE KRYPTOGRAPHISCHE PROTOKOLLE"

IEEE SECURITY & PRIVACY, 2023

PDF HERUNTERLADEN
paper3.pdf

"ALGORITHMEN FÜR VERTEILTE SYSTEME"

JOURNAL OF DISTRIBUTED COMPUTING, 2023

PDF HERUNTERLADEN