Filetype
The hardware accelerated ray-tracing pipeline presents many opportunities to implement more advanced rendering algorithms than earlier rasterization based approaches. However, one particular aspect of the pipeline still remains a bit too costly to use in practice: The AnyHit-shader. Opacity Micromaps were introduced to alleviate this issue, but the central problem of calling arbitrary shader code
Symmetry breaking is a crucial technique in modern combinatorial solving, but it is difficult to be sure it is implemented correctly. The most successful approach to deal with bugs is to make solvers certifying, so that they output not just a solution, but also a mathematical proof of correctness in a standard format, which can then be checked by a formally verified checker. This requires justifyi
It is intuitive and well known, that if agents in a multi-agent system iteratively update their states in the Euclidean space as convex combinations of neighbors’ states, all states eventually converge to the same value (consensus), provided the interaction graph is sufficiently connected. However, this seems to be also true in practice if the convex combinations of states are mapped or radially p
Many software language tools use declarative domain-specific languages (DDSLs) to implement parts of their functionality, such as context-free grammars for parsing or inference rules for type analysis. For interoperability and ease of use, DDSLs often rely on embedded general-purpose language (GPL) code fragments, as in the semantic actions of parser specifications, but require that these GPL frag
Objective. This study aimed to investigate the potential of contrastive learning to improve auditory attention decoding (AAD) using electroencephalography (EEG) data in challenging cocktail-party scenarios with competing speech and background noise. Approach. Three different models were implemented for comparison: a baseline linear model (LM), a non-LM without contrastive learning (NLM), and a no
Objective: Enhancing the reliability of myoelectric controllers that decode motor intent is a pressing challenge in the field of bionic prosthetics. State-of-the-art research has mostly focused on Supervised Learning (SL) techniques to tackle this problem. However, obtaining high-quality labeled data that accurately represents muscle activity during daily usage remains difficult. We investigate th
Certifying solvers have long been standard for decision problems in Boolean satisfiability (SAT), allowing for proof logging and checking with very limited overhead, but developing similar tools for combinatorial optimization has remained a challenge. A recent promising approach covering a wide range of solving paradigms is pseudo-Boolean proof logging, but this has mostly consisted of proof-of-co
In this paper, we investigate ways to mitigate the problem of decoder error propagation (DEP) in sliding window decoding (SWD) of protograph-based spatially coupled low-density parity-check (SC-LDPC) codes for large frame length or streaming applications. In particular, in order to avoid subdividing a long frame into a series of shorter frames by using termination to combat DEP, we consider alteri
We introduce lower-bound certificates for classical planning tasks, which can be used to prove the unsolvability of a task or the optimality of a plan in a way that can be verified by an independent third party. We describe a general framework for generating lower-bound certificates based on pseudo-Boolean constraints, which is agnostic to the planning algorithm used. As a case study, we show how
Dexterous in-hand manipulation offers significant potential to enhance robotic manipulator capabilities. This paper presents a sensori-motor architecture for in-hand slip-aware control, being embodied in a sensorized gripper. The gripper in our architecture features rapid closed-loop, low-level force control and is equipped with sensors capable of independently measuring contact forces and sliding
We present FACT, a method for predicting alignment quality (i.e., registration error) of registered lidar point cloud pairs. This is useful e.g. for quality assurance of large, automatically registered 3D models. FACT extracts local features from a registered pair and processes them with a point transformer-based network to predict a misalignment class. We generalize prior work that study binary a
Researchers have envisioned and pioneered data-driven programming assistance for developers based on their interaction with the tools via multiple sensors such as eye trackers, microphones, and AI. However, these new sensors gather sensitive data from programmers, to what extent users can accept them and in what form they may work well are largely unclear. Meanwhile, developer tools such as static
This is the software artifact for the paper "Efficient Demand Evaluation of Fixed-Point Attributes Using Static Analysis" published in SLE 2024.This artifact supports the evaluation of a new demand-driven algorithm for efficient circular Reference Attribute Grammar evaluation, specifically designed to improve performance of higly circular applications, e.g., dataflow analyses for Java. The artifac
In this paper we propose a technique to enhance the performance of a Proportional-Integral-Derivative (PID)-based control structure for Depth-of-Hypnosis control in total intravenous anesthesia when set-point changes are required during the maintenance phase. In particular, the PID controller, tuned for disturbance rejection, is integrated with a feedforward action based on Model Predictive Contro
The ongoing climate change has been increasingly reflected in climate observations around the world, both in terms of averages and extremes, and attributed to anthropogenic climate forcing. When it comes to changing extremes, attribution to climate change is now especially well-established for heat-related extremes worldwide. Understanding changes in extremes is important for climate adaptation as
Aerosols from volcanic eruptions impact our climate by influencing the Earth's radiative balance. The degree of their climate impact is determined by the location and injection altitude of the volcanic SO2. To investigate the importance of utilizing correct injection altitudes, we ran climate simulations of the June 2009 Sarychev eruptions with three SO2 datasets in the Community Earth System Mode
Microstrip patch antennas have become essential in modern communication systems due to their compact size and ease of fabrication. However, their performance is often constrained by narrow bandwidth, low radiation efficiency, and low gain, especially in miniaturized designs. The performance limits of microstrip patch antennas are helpful in understanding and overcoming these challenges. These perf
Background and objective:This study aims to enhance the performance of a closed-loop anesthetic depth control system by fusing noise-corrupted clinical measurements with a non-perfect pharmacological model.Methods:We implement a Kalman filter to constitute a trade-off between model prediction and measurement signal dependence for depth of hypnosis (DoH) control using a previously evaluated PID con
A key challenge in X-ray crystallography is to find a good point on the crystal on which to center the beam because the crystal takes radiation damage after a number of shots which significantly distort the measurements. Therefore, the beam needs to be aimed manually by an operator, which results in significant additional effort and time.This paper presents an approach toward automating the beam a
Magnesium transporter A (MgtA) is an active transporter responsible for importing magnesium ions into the cytoplasm of prokaryotic cells. This study focuses on the peptide corresponding to the intrinsically disordered N-terminal region of MgtA, referred to as KEIF. Primary-structure and bioinformatic analyses were performed, followed by studies of the undisturbed single chain using a combination o
