Search results

While software is becoming more complex everyday, the requirements on its behavior are not getting any easier to satisfy. An application should offer a certain quality of service, adapt to the current environmental conditions and withstand runtime variations that were simply unpredictable during the design phase. To tackle this complexity, control theory has been proposed as a technique for managi

Despite widely acknowledged problems of aggression, presumptions on its constructive and destructive possibilities, aggression still remains scarcely explored phenomenon. The aim of this paper is to propose closer look at the subjective motivation of aggression in women. The study consisted of two stages and embraced 24 participants. As the analysis of semi-structured interviews and projective mat

We discuss the results of Gibson and Sailor (Boundary-Layer Meteorol 145:399–406, 2012)who suggest several corrections to themathematical formulation of the Lagrangianparticle dispersion model of Rotach et al. (Q J R Meteorol Soc 122:367–389, 1996). Whilemost of the suggested corrections had already been implemented in the 1990s, one suggestedcorrection raises a valid point, but results in a viola

The ever increasing number of connected devices has lead to a metoric rise in the amount data to be processed. This has caused computation to be moved to the edge of the cloud increasing the importance of efficiency in the whole of cloud. The use of this fog computing for time-critical control applications is on the rise and requires robust guarantees on transmission times of the packets in the ne

For decades, enhancement of ice concentrations above those of active ice nucleus aerosols was observed in deep clouds with tops too warm for homogeneous freezing, indicating fragmentation of ice (multiplication). Several possible mechanisms of fragmentation have been suggested from laboratory studies, and one of these involves fragmentation in ice-ice collisions. In this two-part paper, the role o

Oceans dominate emissions of dimethyl sulfide (DMS), the major natural sulfur source. DMS is important for the formation of non-sea salt sulfate (nss-SO42−) aerosols and secondary particulate matter over oceans and thus, significantly influence global climate. The mechanism of DMS oxidation has accordingly been investigated in several different model studies in the past. However, these studies had

Modern software should satisfy multiple goals simultaneously: it should provide predictable performance, be robust to failures, handle peak loads and deal seamlessly with unexpected conditions and changes in the execution environment. For this to happen, software designs should account for the possibility of runtime changes and provide formal guarantees of the software's behavior. Control theory i

Smart cameras are increasingly used in surveillance solutions in public spaces. Contemporary computer vision applications can be used to recognize events that require intervention by emergency services. Smart cameras can be mounted in locations where citizens feel particularly unsafe, e.g., pathways and underpasses with a history of incidents. One promising approach for smart cameras is edge AI, i

This paper discusses the problem of testing the performance of the adaptation layer in a self-adaptive system. The problem is notoriously hard, due to the high degree of uncertainty and variability inherent in an adaptive software application. In particular, providing any type of formal guarantee for this problem is extremely difficult. In this paper we propose the use of a rigorous probabilistic

The contribution of host genetic and nongenetic factors to immunological differences in humans remains largely undefined. Here, we generated bacterial-, fungal-, and viral-induced immune transcriptional profiles in an age- and sex-balanced cohort of 1,000 healthy individuals and searched for the determinants of immune response variation. We found that age and sex affected the transcriptional respo

Closed-loop controlled drug dosing has the potential of revolutionizing clinical anesthesia. However, interpatient variability in drug sensitivity poses a central challenge to the synthesis of safe controllers. Identifying a full individual pharmacokinetic–pharmacodynamic (PKPD) model for this synthesis is clinically infeasible due to limited excitation of PKPD dynamics and presence of unmodeled d

Various emerging technologies, such as autonomous vehicles and fully autonomous flying, require precision positioning. This work presents a localization and tracking method based on joint direction of arrival (DOA), time delay, and range estimation using the SAGE algorithm. The proposed method does not rely on external sources of information such as global navigation satellite systems (GNSS). The

Moving toward the open innovation (OI) model requires multifaceted transformations within companies. It often involves giving away the tools for product development or sharing future product directions with open tools ecosystems. Moving from the traditional closed innovation model toward an OI model for software development tools shows the potential to increase software development competence and

We propose an anti-windup scheme for a class of control problems. This class, includes networked systems, where each node contains a subsystem and each edge comprise a control action. The networked anti-windup control system is proposed to address the issues caused by integrator state saturation. We show that the suggested control scheme is input-output stable. Furthermore, we provide a numerical

Presents the introductory welcome message from the conference proceedings. May include the conference officers' congratulations to all involved with the conference event and publication of the proceedings record.

Maturity models are widely used in process improvement. The users of a maturity model should be confident that the weak points of the assessed processes can be found, and that the most valuable changes are introduced. Therefore, the evaluation of maturity models is an important activity. In this paper, a mapping study of the literature on the evaluation of maturity models is presented. Two databas