Eldorado: 04 Fakultät für Informatik

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

Recent Submissions

QCLab: a framework for query compilation on modern hardware platforms See

On the correspondence between abstract dialectical frameworks and nonmonotonic conditional logics See

Compositional learning of mutually recursive procedural systems See

MODES: model-based optimization on distributed embedded systems See

Towards language-to-language transformation See

Ranking kinematics for revising by contextual information See

Modeling of cutting forces in trochoidal milling with respect to wear-dependent topographic changes See

Algebraic aggregation of random forests See

The Diamond Laplace for polygonal and polyhedral meshes See

Investigation of the effect of residual stresses in the subsurface on process forces for consecutive orthogonal cuts See

Differentiable algorithms with data-driven parameterization in 3D vision See

Aligned and collaborative language-driven engineering See

Rechtzeitigkeit und Dienstgüteförderung vernetzter gerätebasierter Systeme See

Reconsideration and extension of Cartesian genetic programming See

Aufzeichnungsbasierte Analyse von Sperren in Betriebssystemen See

Aggressive aggregation See

Tree comparison: enumeration and application to cheminformatics See

Synthesizing realistic verification tasks See

Software fault injection and localization in embedded systems See

Empirical analysis of session-based recommendation algorithms See

Browse

Sub-communities within this community

LS 12 [98]

Prüfungsarbeiten [3]

Collections in this community

Dienstleistungsinformatik [8]

Dobertkat Python [1]

Fakultät für Informatik [0]

Fakultätsübergreifende Veröffentlichungen [2]

LS 01 Logik in der Informatik [33]

LS 02 Komplexitätstheorie und Effiziente Algorithmen [26]

LS 03 Betriebssysteme und Rechnerarchitektur [4]

LS 04 Praktische Informatik [18]

LS 05 Programmiersysteme [34]

LS 06 Datenbanken und Informationssysteme [30]

LS 07 Graphische Systeme [28]

LS 08 Künstliche Intelligenz [80]

LS 10 Software-Technologie [109]

LS 11 [53]

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

LS 13 Enterprise Computing [0]

LS 14 Software Engineering [17]

Projektgruppenberichte [154]

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