- Computational Physics and Python Applications
- Theoretical and Computational Physics
- X-ray Diffraction in Crystallography
- Advanced Software Engineering Methodologies
- Advanced Condensed Matter Physics
- Tensor decomposition and applications
- Quantum Computing Algorithms and Architecture
- Mobile Agent-Based Network Management
- Computational Geometry and Mesh Generation
- Black Holes and Theoretical Physics
- Advanced Numerical Methods in Computational Mathematics
- Logic, programming, and type systems
- Augmented Reality Applications
- Educational Games and Gamification
- Advanced MRI Techniques and Applications
- Advanced Malware Detection Techniques
- Privacy, Security, and Data Protection
- Computer Graphics and Visualization Techniques
- Software System Performance and Reliability
- Teaching and Learning Programming
- Intensive Care Unit Cognitive Disorders
- Matrix Theory and Algorithms
- Petri Nets in System Modeling
- Formal Methods in Verification
- Quantum and electron transport phenomena
Freie Universität Berlin
2022-2023
Technical University of Munich
2023
In light of recently proposed quantum algorithms that incorporate symmetries in the hope advantage, we show with are restrictive enough, classical can efficiently emulate their counterparts given certain descriptions input. Specifically, give calculate ground states and time-evolved expectation values for permutation-invariant Hamiltonians specified symmetrized Pauli basis runtimes polynomial system size. We use tensor-network methods to transform symmetry-equivariant operators...
We provide a systematic approach to quantum mechanics from an information-theoretic perspective using the language of tensor networks. Our formulation needs only single kind object, so-called positive *-tensors. Physical models translate experimental setups into networks these *-tensors, and evaluation resulting yields probability distributions describing measurement outcomes. The idea behind our is similar categorical formulations mechanics. However, mathematically simpler less abstract....
We propose a unifying paradigm for analyzing and constructing topological quantum error correcting codes as dynamical circuits of geometrically local channels measurements. To this end, we relate such to discrete fixed-point path integrals in Euclidean spacetime, which describe the underlying order: If fix history measurement outcomes, obtain integral carrying pattern defects. As an example, show that stabilizer toric code, subsystem CSS Floquet code can be viewed one same on different...
Web services are self-contained distributed enabled by web service application programming interfaces (APIs) using numerous protocol and middleware types. API evolution encompasses changes to a made during the lifetime of service. clients, such as mobile applications, must continuously manually adapt breaking in offered services. This paper presents an automated process for adaptation based on type-independent patterns. These patterns enable classification resolution context changing...
In light of recently proposed quantum algorithms that incorporate symmetries in the hope advantage, we show with are restrictive enough, classical can efficiently emulate their counterparts given certain descriptions input. Specifically, give calculate ground states and time-evolved expectation values for permutation-invariant Hamiltonians specified symmetrized Pauli basis runtimes polynomial system size. We use tensor-network methods to transform symmetry-equivariant operators...
Das Comprehensive Sepsis Center, sektorenübergreifendes Kompetenzzentrum am Universitätsklinikum Dresden und an der Klinik Bavaria, arbeitet konsequenten Früherkennung, standardisierten Diagnostik sowie Implementierung eines fach- sektorenübergreifenden Behandlungspfads, um die Sterblichkeitsrate mögliche Sepsisfolgen zu verringern.
We present an add-on for the Android platform, capable of intercepting nearly all interactions between apps or with including arguments method invocations in a human-readable format. A preliminary performance evaluation shows that penalty our solution is roughly comparable similar tools area. The advantage solution, however, it truly modular sense we do not actually modify platform itself, and can include even already running system. Possible uses such are manifold; discuss one from area...
course Share on The use of CG in Japanese animation Authors: Andreas Bauer View Profile , Marc Salvati Authors Info & Claims SIGGRAPH '22: ACM 2022 CoursesAugust Article No.: 16Pages 1–207https://doi.org/10.1145/3532720.3535626Published:02 August 2022Publication History 0citation264DownloadsMetricsTotal Citations0Total Downloads264Last 12 Months264Last 6 weeks41 Get Citation AlertsNew Alert added!This alert has been successfully added and will be sent to:You notified whenever a record that...
In astrophysics, the two main methods traditionally in use for solving Euler equations of ideal fluid dynamics are smoothed particle hydrodynamics and finite volume discretization on a stationary mesh. However, goal to efficiently make future exascale machines with their ever higher degree parallel concurrency motivates search more efficient accurate techniques computing hydrodynamics. Discontinuous Galerkin (DG) represent promising class this regard, as they can be straightforwardly...
Users wanting to monitor distributed or component-based systems often perceive them as monolithic which, seen from the outside, exhibit a uniform behaviour opposed many components displaying local behaviours that together constitute system's global behaviour. This level of abstraction is reasonable, hiding implementation details users who may want specify in terms an LTL formula. However, problem arises then how such specification can actually be monitored system has no central data...
Arguably, omega-regular languages play an important role as a specification formalism in many approaches to systems monitoring via runtime verification. However, since their elements are infinite words, not every language can sensibly be monitored at when only finite prefix of word, modelling the observed system behaviour so far, is available. The monitorability language, L, thus property that holds, if for any word u, it possible add another v, such uv becomes "finite witness" wrt. L; is,...
Wall shear stress (WSS) has been suggested as a potential biomarker in various cardiovascular diseases and it can be estimated from phase-contrast Magnetic Resonance Imaging (PC-MRI) velocity measurements. We present new parametric sequential method for MRI-based WSS quantification consisting of geometry identification subsequent approximation the field. The was validated on well controlled, high resolution vitro measurements turbulent stationary flows physiological pulsatile phantoms. Basic...
The content of this paper can be roughly organized into a three-level hierarchy generality. At the first, most general level, we introduce new language which allows us to express various categorical structures in systematic and explicit manner terms so-called 2-schemes. Although 2-schemes formalize such as symmetric monoidal categories, they are not limited this, used define with no analogue. Most come an effective graphical calculus string diagrams for same is true more generally...