Showing 1–20 of 79 results
/ Date/ Name
Feb 17, 2020Reduced Density Matrix Functional Theory for BosonsOct 13, 2020Functional Theory for Bose-Einstein CondensatesJun 4, 2021Ensemble reduced density matrix functional theory for excited states and hierarchical generalization of Pauli's exclusion principleNov 20, 2019Outside the Box: Abstraction-Based Monitoring of Neural NetworksFeb 25, 2021Synthesis of Hybrid Automata with Affine Dynamics from Time-Series DataJan 4, 2019Diverging exchange force and form of the exact density matrix functionalDec 5, 2022symQV: Automated Symbolic Verification of Quantum ProgramsApr 27, 2022An exact one-particle theory of bosonic excitations: From a generalized Hohenberg-Kohn theorem to convexified N-representabilitySep 4, 2023Quantum Information-Assisted Complete Active Space Optimization (QICAS)Jan 30, 2019JuliaReach: a Toolbox for Set-Based ReachabilityJun 29, 2015Hubbard model: Pinning of occupation numbers and role of symmetriesMay 4, 2016Invariant Clusters for Hybrid SystemsAug 13, 2014Duality of reduced density matrices and their eigenvaluesSep 13, 2016Instrumenting an SMT Solver to Solve Hybrid Network Reachability ProblemsJun 1, 2020Concept of orbital entanglement and correlation in quantum chemistryOct 14, 2024Compositional Shielding and Reinforcement Learning for Multi-Agent SystemsSep 5, 2024In Search of Trees: Decision-Tree Policy Synthesis for Black-Box Systems via SearchJul 7, 2022Quantifying Electron Entanglement FaithfullyMar 11, 20231-matrix functional for long-range interaction energy of two hydrogen atomsJul 13, 2022Synthesis of Parametric Hybrid Automata from Time Series