Filtyp
Integration of machine learning (ML) components in critical applications introduces novel challenges for software certification and verification. New safety standards and technical guidelines are under development to support the safety of ML-based systems, e.g., ISO 21448 SOTIF for the automotive domain and the Assurance of Machine Learning for use in Autonomous Systems (AMLAS) framework. SOTIF an
We study construction problems where multiple robots rearrange stacks of prefabricated blocks to build stable structures. These problems are challenging due to ramifications of actions, true concurrency, and requirements of supportedness of blocks by a surface or a robot and stability of the overall structure at all times. We propose a general elaboration tolerant method to solve a wide range of c
This paper studies the problem of coordinating a group of nth-order integrator systems. As for the well-studied conventional consensus problem, we consider linear and distributed control with only local and relative measurements. We propose a closed-loop dynamic that we call serial consensus and prove it achieves nth order consensus regardless of model order and underlying network graph. This alle
In recent years, the combination of the digitization of the field of pathology and increased computational power has led to a big increase in research of computer-aided diagnostics using systems based on artificial intelligence (AI). This includes detection and classification of prostate cancer, where several studies have shown great promise in automated prostate cancer grading using deep learning
Objective: The purpose of this paper is to identify the largest cognitive challenges faced by novices, developing software in teams, using distributed cognition as an observational filter.Paradigm: Design science Epistemology: Pragmatist Methodology: Case studyMethod: Using grounded theory, ethnography and multi method data collection, we conducted an observational study for two months following f
The number of degrees of freedom is a crucial parameter in many electromagnetic problems. In for example modern communication systems spatial diversity is often employed through multiple beams to enhance capacity and reliability. However, while the degrees of freedom can be computed, their connection to physical quantities is not as easily understood. To address this issue, this paper proposes a s
Statistics are part of any empirical science, and performance analysis is no exception. However, for non-statisticians, picking the right statistical tool to answer a research question can be challenging; each statistical tool comes with a set of assumptions, and it is not clear to researchers what happens when those assumptions are violated. Bayesian statistics offers a framework with more flexib
Artificial intelligence (AI)-assisted code generation is everywhere these days. Undoubtedly, AI will help near-future developers substantially by providing code suggestions and automation. In this application, explainability will be a key quality attribute.
Stored energies of radiating systems have generated research interest for several decades due to their relationship with Q-factor and fractional bandwidth. In this paper material derivatives are used to provide a new interpretation of widely used stored energy expressions. This provides a fundamental relationship between stored energies of radiating systems and their electromagnetic material prope
Smart contracts are programs with data (mutable state); stored on and executed by blockchain platforms. The transactions (or function invocations) dispatched to smart contracts often change their state. In the Ethereum blockchain, nodes (aka miners/validators) can schedule a set of transactions in any order in a block. Multiple transactions in a single block operating on a contract's shared state
Control theory allows one to design controllers that are robust to external disturbances, model simplification, and modelling inaccuracy. Researchers have investigated whether the robustness carries on to the controller’s digital implementation, mostly looking at how the controller reacts to either communication or computational problems. Communication problems are typically modelled using random
The Paris Agreement sets the goal of a complete global phase-out of fossil fuel use by the end of the 21st century and an 80-95% reduction of carbon emissions in affluent countries by 2050. Obviously, efficiency gains alone cannot deliver the required reductions (Alfredsson et al. 2018), due to rebound effects (York, Adua, and Clark 2022) and the increasing pace of growth (Hickel 2020). It is sugg
This paper presents a stabilized scheme that solves the wave propagation problem in a general bianisotropic, stratified medium. The method utilizes the concept of propagators, i.e., the wave propagation operators that map the total tangential electric and magnetic fields from one plane in the slab to another. The scheme transforms the propagator approach into a scattering matrix form, where a spec
In April, 2019, the author discovered that Archbishop Erling Eidem’s sermons and speeches, since 1966/1978, have been kept in the University library of Uppsala. This has been overlooked by all authors earlier dealing with Eidem, only using shortened summaries. In Lützen, on November 6, 1942, Eidem stated that »our Gustavus-Adolphuscelebration may not be characterized by national self-sufficiency a
In increasingly digitalised societies, government initiatives to ensure that public services remain accessible for everyone typically focus on the digital inclusion of older adults. However, by solely viewing older adults as passive recipients or consumers of services, digital inclusion strategies under-emphasise the concept of digital participation. Highlighting the importance of older adults as
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
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
