108 citations · 1.6k across the 73 of their papers we have counts for
6 papers · 1 filter
Outside the Box: Abstraction-Based Monitoring of Neural Networks
Thomas A. Henzinger, Anna Lukina, Christian Schilling
Neural networks have demonstrated unmatched performance in a range of classification tasks. Despite numerous efforts of the research community, novelty detection remains one of the…
Implications of pinned occupation numbers for natural orbital expansions. II: Rigorous derivation and extension to non-fermionic systems
Tomasz Maciążek, Adam Sawicki, David Gross +2
We have explained and comprehensively illustrated in Part I that the generalized Pauli constraints suggest a natural extension of the concept of active spaces. In the present Part…
Implications of pinned occupation numbers for natural orbital expansions. I: Generalizing the concept of active spaces
Christian Schilling, Carlos L. Benavides-Riveros, Alexandre Lopes +2
The concept of active spaces simplifies the description of interacting quantum many-body systems by restricting to a neighbourhood of active orbitals around the Fermi level. The re…
Reachability analysis of linear hybrid systems via block decomposition
Sergiy Bogomolov, Marcelo Forets, Goran Frehse +2
Reachability analysis aims at identifying states reachable by a system within a given time horizon. This task is known to be computationally expensive for linear hybrid systems. Re…
Diverging exchange force and form of the exact density matrix functional
Christian Schilling, Rolf Schilling
For translationally invariant one-band lattice models, we exploit the ab initio knowledge of the natural orbitals to simplify reduced density matrix functional theory (RDMFT). Stri…
JuliaReach: a Toolbox for Set-Based Reachability
Sergiy Bogomolov, Marcelo Forets, Goran Frehse +2
We present JuliaReach, a toolbox for set-based reachability analysis of dynamical systems. JuliaReach consists of two main packages: Reachability, containing implementations of rea…