The paper addresses the problem of how to make a human-machine interaction user-friendlier within a problem-solving environment. Two different projection modalities – virtual reality and desktop solution are compared in respect to interaction capabilities provided by the Virtual Radiology Explorer (VRE) – case study of this research. The VRE is a problem-solving environment for vascular reconst...

While the algorithmic drawing of static trees is well-understood and well-supported by software tools, creating animations depicting how a tree changes over time is currently difficult: software support, if available at all, is not integrated into a document production workflow and algorithmic approaches only rarely take temporal information into consideration. During the production of a presen...

When using downlink beamforming at the base station of a cellular system, care must be taken to assure that all users satisfy the given SINR requirements. Generally, this leads to a computationally prohibitive joint optimization problem, therefore decoupled techniques based on eigenvalue decomposition of the spatial covariance have been proposed. However, these techniques require additional pow...

The new cloud computing concept delivers an adaptable service to many users. This is due to the fact that cloud computing offers an economic solution based on pay-per use idea. At the same time, digital forensics is a relatively new discipline born out due to the growing use of computing and digital solution. Digital forensics in cloud computing brings new technical and legal challenges (e.g. t...

Flexibility will be one of the key features in future manufacturing systems because the environments that surround manufacturing systems are rapidly changing from day to day. To satisfy this requirement, the hierarchical systems used in previous manufacturing systems are not enough because they cannot deal effectively with unexpected situations. Moreover, a lot of software modules have to be mo...

The GM-MDS conjecture of Dau et al. (ISIT 2014) speculates that the MDS condition, which guarantees the existence of MDS matrices with a prescribed set of zeros over large fields, is in fact sufficient for existence of such matrices over small fields. We prove this conjecture.

The relative differentiation architecture does not require per-flow state at the network core or edges, nor admission control, but it can only provide higher classes with better service than lower classes. A central premise in this context is that users with absolute QoS requirements should dynamically search for an appropriate class. We investigate this Dynamic Class Selection (DCS) framework,...

Synthesis is the automated construction of a system from its specification. The system has to satisfy its specification in all possible environments. Modern systems often interact with other systems, or agents. Many times these agents have objectives of their own, other than to fail the system. Thus, it makes sense to model system environments not as hostile, but as composed of rational agents;...

Envisioning a common tax system in India 2017, GSTN is relatively new concept, and businesses rural areas of the country need to study adoption using Technology Acceptance Model UTAUT variables. Rural near Lucknow, Uttar Pradesh, were studied exploratorily conclusively. The findings suggest keeping GSTN's interface structure simple so users can use it easily. website user-friendly designed for ...