Filetype
Can the right requirements boost developer satisfaction and happiness? We believe they can. In keeping with this issue's theme, 'Well-Being for Resilience: Developers Thrive,' we discuss the connection between the three keywords, well-being, resilience, and thriving. How could requirements engineering foster these qualities? While there hasn't been much research on this topic, we see opportunities
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
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
Reconfigurable surface (RS) has been shown to be an effective solution for improving wireless communication links in general multi-user multiple-input multiple-output (MU-MIMO) setting. Current research efforts have been largely directed towards the study of reconfigurable intelligent surface (RIS), which corresponds to an RS made of passive reconfigurable elements with only phase shifting capabil
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
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
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
Variability in composite manufacture and the limitations in positional accuracy of common industrial robots have hampered automation of assembly tasks within aircraft manufacturing. One way to handle geometry variations and robot compliancy is to use force control. Force control technology utilizes a sensor mounted on the robot to feedback force data to the controller system so instead of being po
New robot applications increasingly require external sensing to accomplish robustness and performance despite the variations and uncertainties that come with the increasing demands on flexibility for manufacturing of customized products. The demands on productivity then require high performance, which for well known feedback-control reasons means short response times from external process event to
This work presents a robotic implementation of Christmas gift wrapping. Handling paper is a challenging task for an industrial robot as it easily tears and folds in unexpected ways. In this application, a dual-arm industrial robot with simple two-finger grippers was used, and the robot was programmed using a standard position-based approach. The wrapping was accomplished with the help of plastic s
High motion performance, stiffness, and accuracy are crucial for industrial robot applications, but these requirements are in practice contradictory. Using a novel type of robot, the so called Gantry Tau, new combinations of stiffness and accuracy are in principle possible, except for the backlash in the drive-trains of each joint. Existing techniques for backlash reduction are either mechanicall
