Filetype
In embedded computing domains, including the automotive industry, complex functionalities are split across multiple tasks that form task chains. These tasks are functionally dependent and communicate partial computations through shared memory slots based on the Logical Execution Time (LET) paradigm. This paper introduces a model that captures the behavior of a producer-consumer pair of tasks in a
We are currently witnessing the second wave of cloud services that go beyond web storefronts and IT systems, aiming for digitalization of industrial systems. Automation and time-sensitive systems are now taking their first steps toward the cloud. The AORTA project aims to facilitate this transition by providing key technology components needed for real-time services running in the cloud. The ambit
The theme of this issue is infrastructure as code (IaC). This concept typically refers to the application of software engineering practices in managing deployment infrastructure. Moving from physical hardware to virtual machines using configuration files that are way more flexibleâ€Â"and they can be version controlled and distributed. As such, IaC paves the way for automation and DevOps. This col
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
As the number of antennas scales up, research efforts have been directed towards finding decentralized receiver solutions for multi-antenna architectures. In a recent paper, a novel matrix decomposition - the WAX decomposition - was proposed, which has direct bearing on characterizing the level of decentralization that is possible if the complexity of the decentralized processing is limited. Howev
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
Software corpora are crucial for evaluating research artifacts and ensuring repeatability of outcomes. Corpora such as DaCapo and Defects4J provide a collection of real-world open-source projects for evaluating the robustness and performance of software tools like static analysers. However, what do we know about these corpora? What do we know about their composition? Are they really suited for our
Programming robots for tasks involving force interaction is difficult, since both the knowledge of the task and the dynamics of the robots are necessary. An immersive haptic interface for task demonstration is proposed, where theoperator can sense and act through the robot. This is achieved by coupling two robotic systems with virtual constraints such that they have the same coordinates in the ope
Field delineation is important in bibliometrics. Particularly when measuring scientific performance, the demarcation of the area, to which a science actor belongs, is of the greatest importance. This paper present a method based on searches on Boolean combinations of medical subject headings (MeSH-terms) in a combined Web of Science (WoS) - Medline database. The construction of the MeSH area defin
Novel methods for the inference of radiation intensityfunctions defined over known surfaces are proposed, intendedfor use in surveying applications with mobile spectrometers.Previous approaches, based on the maximum likelihoodexpectation maximization (ML-EM) framework with Poissonlikelihoods, are extended to better handle spatially continuousintensity statistics using ideas from Gaussian filtering
To examine prevalence of verbal, physical and sexual abuses in young elite athletes, a cross sectional questionnaire-based survey was conducted during the World Athletics under 20 World Championships. This questionnaire aimed at distinguishing between abuses perpetrated in the context of Athletics from those which were unrelated to Athletics. Four hundred and eighty athletes (52.3%, male) from Nor
In spite of the fact that negation has been the focus of many studies, the way it is processed in human communication still eludes us. Previous studies of negation using event-related potentials (ERPs) have reported inconclusive results as to whether or not negation poses difficulties for processing. While some have found that negation is initially ignored and incongruities in negated sentences do
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
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
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
Introduction Knee muscles are commonly labeled as flexors or extensors and aptly stabilize the knee against sagittal plane loads. However, how these muscles stabilize the knee against adduction-abduction and rotational loads remains unclear. Our study sought 1) to classify muscle roles as they relate to joint stability by quantifying the relationship between individual muscle activation patterns a
The design of an adaptive controller with bounded L2-gain from disturbances to errors for linear time-invariant systems with uncertain parameters restricted to a finite set is investigated. The synthesis of the controller requires finding matrices satisfying non-convex matrix inequalities. We propose an approach for finding these matrices based on repeatedly linearizing the terms that cause the no
The manuscript is devoted to optimal control for a class of linear positive systems with linear objective function and linear constraints. The solution to the corresponding Bellman equation is a linear value function, which can be found by linear programming.
