Filetype
Understanding and effectively managing Technical Debt (TD) remains a vital challenge in software engineering. While many studies on code-level TD have been published, few illustrate the business impact of low-quality source code. In this study, we combine two publicly available datasets to study the association between code quality on the one hand, and defect count and implementation time on the o
Positioning with 5G signals generally requires connection to several base stations (BSs), which makes positioning more demanding in terms of infrastructure than communications. To address this issue, there have been several theoretical studies on single BS positioning, leveraging high-resolution angle and delay estimation and multipath exploitation possibilities at mmWave frequencies. This paper p
Linear quadratic (LQ) control optimizes a quadratic cost function while following a linear model. It is commercially available in the process industry but often not labeled as such and infrequently used. Froth flotation is a process in the minerals industry that extracts precious metals from a slurry of finely ground rock in consecutive tanks called cells. Flotation cells are often arranged in two
JavaDL ArtifactJavaDL is a language and toolchain for analyzing Java at the source level. JavaDL is based on MetaDL, a variant of Datalog that adds syntactic pattern matching, here specialized to pattern matching on Java.
In order to simplify the hyperelastic characterisation of rubber materials, an extension of the standard hardness test is proposed. A number of indentation depths are chosen for the hardness test and the indentation forces for these depths are recorded. By this modification, hyperelastic constants can be derived from the test, providing more information from the test by a small extra effort. Equiv
Channel fingerprinting entails associating a point in space with measured properties of a received wireless signal. If the propagation environment for that point in space remains reasonably static with time, then a receiver with no knowledge of its own position experiencing a similar channel in the future might reasonably infer proximity to the original surveyed point. In this article, measurement
Previous research on A/B testing and continuous experimentation has mostly focused on large-scale settings with company-external customers. However, work efficiency and satisfaction for company coworkers may be highly related to internal tools and their fit-for-use. In this study, we therefore explore A/B testing for online services exclusively used by company co-workers. We A/B tested two version
Automated testing is a safeguard against software regression and provides huge benefits. However, it is yet a challenging subject. Among others, there is a risk that the test cases are too specific, thus making them inefficient. There are many forms of undesirable behaviour that are compatible with a typical program’s specification, that however, harm users. An efficient test should provide most p
Driving automation systems, including autonomous driving and advanced driver assistance, are an important safety-critical domain. Such systems often incorporate perception systems that use machine learning to analyze the vehicle environment. We explore new or differing topics and challenges experienced by practitioners in this domain, which relate to requirements engineering (RE), quality, and sys
Human physiology is the study of how organisms, organ systems, and individual organs function under normal circumstances. As a consequence of its paramount importance to medicine, physiology has been studied since ancient times, but the models studied in this book follow the tradition of modern physiology pioneered by Claude Bernard in the mid 1800s.The focus of the book lies on how dynamical mech
With the emergence of autonomous vehicles comes requirements on adequate and rigorous testing techniques, particularly as systems continuously adapt to changing environments. Scenario-based, simulated testing is one approach that has received attention, where deriving relevant scenarios from various sources is still a challenge. We therefore explore creating executable test scenarios from textual
Streaming applications, such as MPEG video encoders or sensor processing pipelines, are increasing in complexity as well as the diversity of platforms that they run on. The toolchains handling these applications must keep up with this increase at all levels of abstraction. The Actor Machine (AM) is an intermediate representation in the toolchain that we make use of. Large AMs are difficult to work
New particle formation (NPF) events substantially contribute to the number concentration of atmospheric particles and cloud condensation nuclei (CCN) which can further influence radiative balance and Earth's climate. Many short-term studies have found that sulfuric acid (H2 SO4) and highly oxygenated organic molecules (HOM) are critical compounds in the early steps of NPF. However, it is not fully
The anesthetic drug propofol is commonly used to control hypnotic depth (suppression of awareness) in patients undergoing surgery or intensive care. In addition to manual titration, a model-based open-loop feed-forward strategy called target-controlled infusion (TCI) has attained some clinical popularity. Research on closed-loop control, with awareness estimates derived from an electroencephalogra
This article addresses the obstacle avoidance problem for setpoint stabilization tasks in complex dynamic 2-D environments that go beyond conventional scenes with isolated convex obstacles. A combined motion planner and controller is proposed that integrates the favorable convergence characteristics of closed-form motion planning techniques with the intuitive representation of system constraints t
Building on the progress in Boolean satisfiability (SAT) solving over the last decades, maximum satisfiability (MaxSAT) has become a viable approach for solving NP-hard optimization problems. However, ensuring correctness of MaxSAT solvers has remained a considerable concern. For SAT, this is largely a solved problem thanks to the use of proof logging, meaning that solvers emit machine-verifiable
Proof logging has long been the established method to certify correctness of Boolean satisfiability (SAT) solvers, but has only recently been introduced for SAT-based optimization (MaxSAT). The focus of this paper is solution-improving search (SIS), in which a SAT solver is iteratively queried for increasingly better solutions until an optimal one is found. A challenging aspect of modern SIS solve
