Filetype
This paper proposes a ‘tool for thinking with’1: that we can describe the interaction between peopleand computers, and especially people and developer tools, as a form of conversation. We outline thisperspective, construct a work in progress analytical frame, and use it to talk about a couple of differentexamples and draw implications for future work.
Despite the growing integration of code analysis tools into developer workflows, usability challengespersist in many aspects. Previous research, primarily focused on static languages and professional developers, has largely overlooked the needs of novice developers and non-static languages like Python.In this paper, we investigate the experiences of novice Python programmers with static code analy
Autonomous robots must operate reliably and predictably in uncertain environ-ments. Throughout the robot software development cycle, robot operators and de-velopers must be able to specify their safety and functional requirements reliablyand explicitly. To this end, we propose to use Domain-Specific Languages (DSLs)to address their needs. To show the applicability and effectiveness of this approac
Background: Participants in epidemiological cohorts may not be representative of the full invited population, limiting the generalizability of prevalence and incidence estimates. We propose that this problem can be remedied by exploiting data on baseline participants who refused to participate in a re-examination, as such participants may be more similar to baseline non-participants than what base
In this work, we present a method for acquiring, storing, and using scene data to enable realistic shading of virtual objects in an augmented reality application. Our method allows for sparse sampling of the environment’s lighting condition while still delivering a convincing shading to the rendered objects. We use common camera parameters, provided by a head-mounted camera, to get lighting inform
Target-controlled infusion (TCI) constitutes a clinically available alternative to manually administering the infusion rate of the anesthetic drug propofol. In TCI, a drug infusion profile is optimized to track a reference trajectory of blood plasma or effect site (brain cortex) drug concentration, or a corresponding clinical effect. TCI is a pure feed-forward openloop strategy, fully reliant on a
Automated fault diagnosis can facilitate diagnostics assistance, speedier troubleshooting, and better-organised logistics. Currently, most AI-based prognostics and health management in the automotive industry ignore textual descriptions of the experienced problems or symptoms. With this study, however, we propose an ML-assisted workflow for automotive fault nowcasting that improves on current indu
Software development is a complex activity that needs a lot of tool assistance. Over the years there has been a lot of effort put into development of automated assistance to help with activities such as detection of issues via program analysis, or refactoring of code. Recently, the landscape of developer tool assistance is being disrupted with the entry of AI tools, such as Copilot and ChatGPT, po
Perovskite-silicon tandem solar cells are a promising concept for overcoming the limits of conventional silicon single-junction technology. Light management is doubtless a key issue for further boosting efficiency. We discuss the impact of photonic nanostructures on the optical performance of perovskite-silicon devices. We experimentally and numerically demonstrate shallow antireflective nanotextu
In the last couple of decades, developments in SAT-based optimization have led to highly efficient maximum satisfiability (MaxSAT) solvers, but in contrast to the SAT solvers on which MaxSAT solving rests, there has been little parallel development of techniques to prove the correctness of MaxSAT results. We show how pseudo-Boolean proof logging can be used to certify state-of-the-art core-guided
This study investigates the effects of temperature and relative humidity (RH) on the formation of secondary organic aerosol (SOA) from Δ3-carene, a prevalent monoterpene in boreal forests. Dark ozonolysis experiments of 10 ppb Δ3-carene were conducted in the Aarhus University Research on Aerosol (AURA) atmospheric simulation chamber at temperatures of 0, 10, and 20 °C. Under dry conditions (RH < 2
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
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
Background: Outcome measurement is essential to progress clinical practice and improve patient care. Aim: To develop a Core Outcome Set for best care for the dying person. Design: We followed the Core Outcome Measures in Effectiveness Trials (COMET) Initiative guidelines, which involved identifying potential outcomes via a systematic literature review (n = 619 papers) and from participants in the
Two-view estimation is a fundamental problem in 3D computer vision, and an important sub-task of multi-view estimation pipelines such as Structure-from-Motion (SfM) and Simultaneous Localization and Mapping (SLAM). In recent years, the main focus in the field has been on keypoint-based methods, where interest points are first detected and matched across the two images, followed by robust estimatio
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
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
