Eldorado: 04 Fakultät für Informatik

04 Fakultät für Informatik : [735]

Recent Submissions

Complex scheduling models and analyses for property-based real-time embedded systems See

Transfer learning for multi-channel time-series Human Activity Recognition See

Model-based quality assurance of instrumented context-free systems See

MxTasks: a novel processing model to support data processing on modern hardware See

Graph set data mining See

Memory carousel: LLVM-based bitwise wear leveling for nonvolatile main memory See

Assessing the reliability of deep neural networks See

Call for Papers, Issue 5/2024 See

Explainable online ensemble of deep neural network pruning for time series forecasting See

Approaching phase retrieval with deep learning See

Verification of unsupervised neural networks See

Komponentenbasierte Synthese von Simulationsmodellen See

The integration of multi-color taint-analysis with dynamic symbolic execution for Java web application security analysis See

Low-latency query compilation See

A lingualization strategy for knowledge sharing in large-scale DevOps See

Special issue on practical and robust design of real-time systems See

Evolution of ecosystems for Language-Driven Engineering See

Explainable adaptation of time series forecasting See

On establishing robust consistency in answer set programs See

Bahnplanung mittels impliziter Methoden für spanende und beschichtende Fertigungsverfahren See

Browse

Sub-communities within this community

LS 12 [103]

Prüfungsarbeiten [5]

Collections in this community

Chair of Data Science and Data Engineering [2]

Dienstleistungsinformatik [8]

Dobertkat Python [1]

Fakultät für Informatik [0]

Fakultätsübergreifende Veröffentlichungen [2]

LS 01 Logik in der Informatik [34]

LS 02 Komplexitätstheorie und Effiziente Algorithmen [26]

LS 03 Betriebssysteme und Rechnerarchitektur [4]

LS 04 Praktische Informatik [18]

LS 05 Programmiersysteme [38]

LS 06 Datenbanken und Informationssysteme [32]

LS 07 Graphische Systeme [32]

LS 08 Künstliche Intelligenz [86]

LS 10 Software-Technologie [109]

LS 11 [55]

Fachgebiete: Algorithm Engineering, Computational Intelligence, Grundlagen und Vermittlung der Informatik, Bioinformatik für Hochdurchsatztechnologien

LS 13 Enterprise Computing [2]

LS 14 Software Engineering [22]

Projektgruppenberichte [154]

Sublinear Algorithms for the Analysis of Very Large Graphs [3]