Hans Harder | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Christel Baier
32 publications
Clemens Dubslaff
13 publications
Sebastian Peitz
11 publications
Florian Funke
11 publications
Simon Jantsch
11 publications
Feliks Nüske
7 publications
Karl Worthmann
3 publications
Manuel Schaller
3 publications
Friedrich Philipp
1 publication

research

∙ 07/28/2023

Partial observations, coarse graining and equivariance in Koopman operator theory for large-scale dynamical systems

The Koopman operator has become an essential tool for data-driven analys...

0 Sebastian Peitz, et al. ∙

research

∙ 05/14/2023

A Unifying Formal Approach to Importance Values in Boolean Functions

Boolean functions and their representation through logics, circuits, mac...

0 Hans Harder, et al. ∙

research

∙ 08/10/2020

SWITSS: Computing Small Witnessing Subsystems

Witnessing subsystems for probabilistic reachability thresholds in discr...

0 Simon Jantsch, et al. ∙