TU Wien

TD-interpreter: enhancing the understanding of timing diagrams with visual-language learning

Abstract We introduce TD-Interpreter, a specialised machine learning (ML) workflow that assists engineers in understanding complex timing diagrams (TDs), originating from a third party, during their design and verification process. The outcome of this workflow is a visual questio...

Quantum metrology of spin sensing with free space electrons

Abstract Recent advances in transmission electron microscopy (TEM) have opened the path toward spin resonance spectroscopy with single-spin sensitivity. To assess this potential, we investigate the quantum precision limits for sensing magnetic moments with free-electron probes. U...

Unraveling the Mechanism for Phonon Based Heat Transport in Metal‐Organic Frameworks

ABSTRACT Heat transport is a crucial process for many applications of metal‐organic frameworks (MOFs), including gas adsorption, catalysis, and bio‐encapsulation. A prerequisite for designing MOFs with optimal thermal conductivities is developing a profound understanding of the u...

Runtime Governance of Competing Actuation Requests in Multi-Service Digital Twins for Manufacturing Cells

Manufacturing-cell digital twins increasingly combine independently developed services that can influence shared physical resources. When several state-changing services are individually admissible but request incompatible values for the same control endpoint, runtime governance...

Beyond wind-sector management: optimal wind farm operational planning for balancing fatigue damage and extending lifetime

Abstract. We present an optimization framework for long‑term wind farm operation that balances fatigue loads and energy yield to extend turbine and farm lifetime. The approach plans per‑turbine derating setpoints for discrete wind conditions using an engineering wake model and su...

All in the same boat? Exploring the micromechanics of transition phases in hybrid teams

This study examines the micromechanics of transition phases in hybrid teams, focusing on how team behavioral processes and cognitive states evolve over time and how they are influenced by guided team-reflexivity. Drawing on Marks et al.’s team process framework, we conceptualize...

Long-term Effects of Schedule Change: Examining Work Stressors, Performance, and Change Process Factors in a Compressed Work Schedule Over Time

Research on long-term outcomes of implementing compressed work schedules in organizations remains scarce and lacks a systematic analysis of how workers’ expectations and perceptions affect change outcomes. To explore short- and long-term outcomes of implementing a compressed work...

A thorium-229 optical nuclear clock with feedback loop

Abstract The laser-accessible nuclear transition in the thorium-229 isotope has been identified as a candidate for realizing an optical nuclear clock 1 that might outperform current optical clocks based on electron-shell transitions in atoms or ions 2 . It is expected to be more...

Scalable Membrane-Based Lithium-Ion Sieve Sorbent for Selective Lithium Extraction from Brines

Abstract The escalating global demand for lithium, driven by the rapid growth of production of electric vehicles and portable electronics, requires the development of selective and scalable extraction technologies capable of recovering lithium from complex liquid resources such a...

Hydrological connectivity regulates CO2 and CH4 emissions from a temperate, natural river-floodplain system

Natural river-floodplains are significant sources of greenhouse gases (GHG) including CO₂ and CH₄, yet the role of hydrological connectivity in shaping aquatic fluxes of these gases (FCO2 and FCH4) remains unclear. This study was conducted in a temperate river-floodplain system (...

Probabilistic Programming with Programmable Divide-Conquer-Combine Inference on Modern Hardware

Universal probabilistic programming languages (PPLs) enable the specification of models with stochastic support structure. Posterior inference is notoriously hard for this class of models and remains difficult to accelerate on modern hardware. In response to these challenges, we...

Dual‐Function Cosubstrates Enable Threonine Dehydrogenase‐Driven Chemoenzymatic Pyrrole Synthesis

ABSTRACT Preparative biocatalytic synthesis of substituted pyrroles remains challenging despite recent advances in enzymatic α‐aminoketone generation. In this study, we report a concurrent chemoenzymatic cascade to disubstituted pyrroles based on threonine dehydrogenase (ThrDH)‐c...

Evaluating Glanceable Multi-Device Family Health Tracking with Smartwatches and Home Displays

While ubiquitous computing research has explored diverse devices for personal health tracking, we know less about multi-device designs for family informatics, where health management is inherently collaborative. To understand how families adopt and perceive ubiquitous access to s...

Competition between vacancy creation and filling in defect-engineering of hBN

Abstract Hexagonal boron nitride (hBN) has recently become the focus of intense research as a material that can host quantum emitters. It is known that such emission is related to point defects, but in order to conclusively correlate specific defects to their spectra, having cont...

Classification of quaternionic skew-Hermitian symmetric spaces

Abstract We provide a complete classification of quaternionic skew-Hermitian symmetric spaces, namely symmetric spaces that admit a torsion-free $${{\,\mathrm{\textsf{SO}}\,}}^*(2n){{\,\mathrm{\textsf{Sp}}\,}}(1)$$ SO ∗ ( 2 n ) Sp ( 1 ) -structure for arbitrary $$n>1$$ n > 1 . Mo...

Set-like Operations on Propositional Logic Programs

Abstract Composition and decomposition of logic programs have been studied extensively in the context of modularity, and decomposing a program along the dependency structure of its atoms — by strata or strongly connected components in datalog, and by splitting sets in the non-mon...

High‐Order Projection‐Based Upwind Method for Simulation of Transitional Turbulent Flows

ABSTRACT We present a scalable, high‐order implicit large‐eddy simulation (ILES) approach for incompressible transitional flows. This method employs the mass‐conserving mixed stress (MCS) method for discretizing the Navier‐Stokes equations. The MCS method's low dissipation charac...

Capillary L p -curvature problem

Abstract We prove a gradient estimate for a class of capillary curvature equations in the half-space. As an application, we prove the existence of an even, smooth, strictly convex solution to the even capillary L p {L_{p}} -curvature problem for all 1 < p < k + 1 {1 and all conta...

Anomalous weak values in a generalized Mach–Zehnder interferometer extracted directly from intensity measurements

Abstract Weak values provide a powerful framework for characterizing quantum systems. Their experimental extraction conventionally relies on weak conditioned von Neumann measurements, involving weak interactions and meter states that increase experimental complexity and often lim...

Chemotaxis Guidance of Random Walkers Modeling Self-Wiring of Neural Networks

Abstract A stochastic walker model is proposed to describe the chemotactic guidance of growth cones, which are the tips of developing neurites. The model accounts for the influence of both attractive and repulsive chemical cues, which are emitted by the growth cones and the somas...