Andreas Bauer

ORCID: 0000-0002-1680-237X
Publications
Citations
Views
---
Saved
---
About
Contact & Profiles
Research Areas
  • 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...

10.22331/q-2023-11-28-1189 article EN cc-by Quantum 2023-11-28

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....

10.48550/arxiv.2003.07976 preprint EN cc-by arXiv (Cornell University) 2020-01-01

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...

10.48550/arxiv.2303.16405 preprint EN cc-by arXiv (Cornell University) 2023-01-01

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...

10.1109/mobilsoft59058.2023.00008 article EN 2023-05-01

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...

10.48550/arxiv.2211.16998 preprint EN cc-by arXiv (Cornell University) 2022-01-01

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.

10.1055/a-1956-0472 article DE neuroreha 2022-12-01

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...

10.48550/arxiv.1406.2041 preprint EN other-oa arXiv (Cornell University) 2014-01-01

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...

10.1145/3532720.3535626 article EN 2022-08-02

10.7767/zrgga.2004.121.1.585 article DE Zeitschrift der Savigny-Stiftung für Rechtsgeschichte Germanistische Abteilung 2004-08-01

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...

10.48550/arxiv.1602.09079 preprint EN other-oa arXiv (Cornell University) 2016-01-01

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...

10.48550/arxiv.1111.5133 preprint EN other-oa arXiv (Cornell University) 2011-01-01

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,...

10.48550/arxiv.1006.3638 preprint EN other-oa arXiv (Cornell University) 2010-01-01

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...

10.48550/arxiv.2006.08229 preprint EN other-oa arXiv (Cornell University) 2020-01-01

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...

10.48550/arxiv.2208.01135 preprint EN cc-by arXiv (Cornell University) 2022-01-01
Coming Soon ...