Search results

In this article, we revisit a classical optimization problem occurring in designing survivable multicommodity flow networks. The problem, referred to as FR, assumes flow restoration that takes advantage of the so-called stub release. As no compact linear programming (LP) formulation of FR is known and at the same time all known noncompact LP formulations of FR exhibit NP-hard dual separation, the

In many organisations a gap exists between IT management and emergency managemement. This paper illustrates how process improvement based on a maturity model can be used to help organisations to evaluate and improve the way they include IT dependability information in their emergency management. This paper presents the IDEM3 (IT Dependability in Emergency Management Maturity Model) process improve

Abstract in UndeterminedThe properties of the single-link multiple-input-multiple- output (MIMO) propagation channels have been analyzed in many studies based on extensive propagation measurements. In this letter, we extend the measurement-based analysis to dual-link MIMO propagation channels. Here, we examine interlink correlation by evaluating the correlation of eigenvectors obtained from multip

Completely analyzed and closed issue reports in software development projects, particularly in the development of safety-critical systems, often carry important information about issue-related change locations. These locations may be in the source code, as well as traces to test cases affected by the issue, and related design and requirements documents. In order to help developers analyze new issu

Numerous geometric problems in computer vision involve the solu- tion of systems of polynomial equations. This is particularly true for so called minimal problems, but also for finding stationary points for overdetermined prob- lems. The state-of-the-art is based on the use of numerical linear algebra on the large but sparse coefficient matrix that represents the original equations multi- plied wi

Radio links in wireless mesh networks (WMN) can select one of several modulation and coding schemes (MCS). A MCS assignment influences links data rates and their mutual interference, and therefore should be optimized. We consider joint optimization of link rate assignment and transmission scheduling in order to maximize the minimal flow in a WMN. One of the main difficulties stems from the require

As new technologies emerge such as wearables, it opens up for new challenges, especially related to security and privacy. One such recent technology is smart glasses. The use of glasses introduces security and privacy concerns for the general public but also for the user itself. In this paper we present ongoing theoretical work which focus on privacy of the user during authentication. We propose a

The application of robotic solutions to small-batch production is challenging: economical constraints tend to dramatically limit the time for setting up new batches. Organizing robot tasks into modular software components, called skills, and allowing the assignment of multiple concurrent tasks to a single robot is potentially game-changing. However, due to cycle time constraints, it may be necessa

Hematopoietic stem cells (HSCs) enable hematopoietic stem cell transplantation (HCT) through their ability to replenish the entire blood system. Proliferation of HSCs is linked to decreased reconstitution potential, and a precise regulation of actively dividing HSCs is thus essential to ensure long-term functionality. This regulation becomes important in the transplantation setting where HSCs unde

We present Clog, a declarative language for describing static code checkers for C. Unlike other extensible state-of-the-art checker frameworks, Clog enables powerful interprocedural checkers without exposing the underlying program representation: Clog checkers consist of Datalog-style recursive rules that access the program under analysis via syntactic pattern matching and control flow edges only.

Fundamental bounds on the performance of monochromatic scattering-cancellation and field-zeroing cloaks made of prescribed linear passive materials occupying a predefined design region are formulated by projecting field quantities onto a sub-sectional basis and applying quadratically constrained quadratic programming. Formulations are numerically tested revealing key physical trends as well as adv

A system has been developed to convert manual wheelchairs into electric wheelchairs, providing assistance to users through the implemented algorithm, which ensures safe driving and obstacle avoidance. While manual wheelchairs are typically controlled indoors based on user preferences, they do not guarantee safe driving in areas outside the user’s field of vision. The proposed model utilizes the dy

This paper generalizes a propagation graph model to polarized indoor wireless channels. In the original contribution, the channel is modeled as a propagation graph in which vertices represent transmitters, receivers, and scatterers, while edges represent the propagation conditions between vertices. Each edge is characterized by an edge transfer function accounting for the attenuation, delay spread

We present a simultaneous localization and mapping (SLAM) algorithm that is based on radio signals and the association of specular multipath components (MPCs) with geometric features. Especially in indoor scenarios, robust localization from radio signals is challenging due to diffuse multipath propagation, unknown MPC-feature association, and limited visibility of features. In our approach, specul

5G technologies present a new paradigm to provide connectivity to vehicles, in support of high data-rate services, complementing existing inter-vehicle communication standards based on IEEE 802.11p. As we argue, the specific signal characteristics of 5G communication turn out to be highly conducive for vehicle positioning. Hence, 5G can work in synergy with existing on-vehicle positioning and mapp

Background: Assessing and communicating software engineering research can be challenging. Design science is recognized as an appropriate research paradigm for applied research, but is rarely explicitly used as a way to present planned or achieved research contributions in software engineering. Applying the design science lens to software engineering research may improve the assessment and communic

Data-driven software is becoming prevalent, especially with the advent of machine learning and artificial intelligence. With data-driven systems come both challenges - to keep collecting and maintaining high quality data - and opportunities - open innovation by sharing data with others. We propose Open Data Collaboration (ODC) to describe pecuniary and non-pecuniary sharing of open data, similar t

Software developers use collection data structures extensively andare often faced with the task of picking which collection to use.Choosing an inappropriate collection can have major negativeimpact on runtime performance. However, choosing the right collectioncan be difficult since developers are faced with many possibilities,which often appear functionally equivalent. One approachto assist develo

Software engineers handle a lot of information intheir daily work. We explore how software engineers interact withinformation management systems/tools, and to what extent thesesystems expose users to increased cognitive load. We reviewed theliterature of cognitive aspects, relevant for software engineering,and performed an exploratory case study on how software engi-neers perceive information syst