Head tracking combined with head movements have been shown to improve auditory externalization of a virtual sound source and contribute to the performance in localization. With certain technically constrained head-tracking algorithms, as can be found in we ...
Deep Neural Networks (DNNs) have obtained impressive performance across tasks, however they still remain as black boxes, e.g., hard to theoretically analyze. At the same time, Polynomial Networks (PNs) have emerged as an alternative method with a promising ...
Autonomous ballooning allows for energy-efficient long-range missions but introduces significant challenges for planning and control algorithms, due to their single degree of actuation: vertical rate control through either buoyancy or vertical thrust. Late ...
Myoelectric prostheses allow users to recover lost functionality by controlling a robotic device with their remaining muscle activity. Commercial devices usually use a two-recording-channel system placed on specific muscles to control a single degree of fr ...
Removal of trace CO impurities is an essential step in the utilization of Hydrogen as a clean energy source. While various solutions are currently employed to address this challenge, there is an urgent need to improve their efficiency. Here, we show that a ...
The world by and large has adopted the The Paris Agreement, which commits any signing party to cut greenhouse emissions drastically and prevent global heating above 2 °C beyond pre-industrial levels. For this ambitious goal to be met, ratifying states need ...
Genomic instability enhances cancer progression by favoring clonal diversity, yet uncontrolled replicative stress can lead to mitotic catastrophe and inflammatory responses promoting immune rejection. KRAB-containing zinc finger proteins (KZFPs) are epigen ...
We present LISA, a proof system and proof assistant for constructing proofs in schematic first-order logic and axiomatic set theory. The logical kernel of the system is a proof checker for first-order logic with equality and schematic predicate and fun ...
Dagstuhl, Germany, Schloss Dagstuhl - Leibniz-Zentrum fur Informatik2023
We discuss criteria for a stable map of genus two and degree 4 to the projective plane to be smoothable, as an application of our modular desingularisation of (M) over bar (2,n)(P-r, d)(main) via logarithmic geometry and Gorenstein singularities. ...
