Filetype
Programming is a cognitively demanding exercise. In particular, today’s software development requires a collective effort of programmers and the orchestration of a complex programming infrastructure. As disruptive technologies emerge, e.g., AI and quantum computing, the programming practice is undergoing a change, facing an uncertain future that we may not be able to accurately predict but can env
In this paper we present the concept for a teleoperation system for semi-autonomous robotic boats using virtual reality. This system can be used for monitoring autonomous driving as well as for direct manual control. The integration of live sensor data is possible as well as the integration of past measurement results and their correct registration within the virtual representation. Initial field
In this paper, we investigate a class of braided convolutional codes (BCCs), where the component codes are convolutional self-orthogonal codes (CSOCs), called braided convolutional self-orthogonal codes. Compared to conventional BCCs, the advantages of braided CSOCs include the availability of several low-complexity decoding methods and the relative ease of extending these methods to high rates Mo
Dataflow is a Model of Computation (MoC) that describes applications as networks of actors. The CAL Actor Language (CAL) is one of the programming languages for describing such actors. A downside to CAL is that the actors and their networks are rigidly defined - it is not possible to have a parametric number of ports or actions in an actor. This makes it difficult to define flexible applications o
Reconfigurable intelligent surfaces (RISs) are promising to improve energy efficiency and coverage for 6G [1]. In this paper, we aim to optimize the deployment of BSs and RISs for enhanced coverage in terms of received power. Specifically, an active RIS structure [2] with tuneable power amplification is applied, and a framework of mixed integer linear programming (MILP) is proposed for the optimiz
Static analysis tools play a crucial role in software development by detecting bugs and vulnerabilities. However, running these tools separately from the code editing process often causes developers to switch contexts, which can reduce productivity. Previous work has shown how Reference Attribute Grammars (RAGs) can be used for declarative implementation of competitive tooling for intraprocedural
Formal models for the safety validation of autonomous vehicles have become increasingly important. To this end, we present a safety framework for longitudinal automated driving. This framework enables the calculation of minimum safe inter-vehicular distances for arbitrary ego vehicle control policies in a computationally efficient manner. We use this framework to enhance and generalize the Respons
Several tests of human conscious knee proprioception have been described, but there is no consensus or reference standard established. Difficulties remain in the separation of information originating from muscles, tendons, and joints, and the tests cannot discriminate between loss of afferent signals or altered activity in the remaining receptors. There is convincing evidence from several descript
Many full-reference objective metrics require that the original and the degraded video contain the same number of frames. Most codecs are not able to decode the video properly when the video is subject to packet losses and produce incomplete video files with lower number of frames than the original video. In this paper we present a simple method to reconstruct the degraded videos so that it has th
MIMO technology has facilitated tremendous performance improvements in wireless communications, allowing the data rate to increase linearly with the number of antennas used, at no additional expense in transmit power or spectrum. However, the tremendous performance gain can only be achieved by multi-antenna designs that provide low coupling and correlation, as well as high total efficiency. Such d
Video content constitutes a large share of residential Internet traffic. The major source of video content as of today is YouTube. In this paper, we analyse the user demand patterns for YouTube in two metropolitan access networks with more than 1 million requests over three consecutive weeks in the first network and more than 600,000 requests over four consecutive weeks in the second network. In p
In this paper an approach for improving robot machining accuracy through simulation-assisted path planning within Computer-Aided Manufacturing (CAM) tools is investigated. The method comprises modeling of dynamic robot behaviour under influence of process forces and a subsequent simulation of the robot motion which results in an offline prediction of deflection errors during the machining task. Th
This article describes results of the work on knowledge representation techniques chosen for use in the European project SIARAS (Skill-Based Inspection and Assembly for Reconfigurable Automation Systems). Its goal was to create intelligent support system for reconfiguration and adaptation of robot-based manufacturing cells. Declarative knowledge is represented first of all in an ontology expressed
Recently, the multiplexing efficiency metric is proposed for characterizing the MIMO performance of terminal antennas. Here, we show that it can also provide useful insights into the impact of user on MIMO terminal performance. In particular, the impact of user hand and head on the efficiency and correlation of a MIMO antenna can be conveniently quantified using the multiplexing efficiency metric.
Video-on-Demand (VoD) and video sharing services account for a large percentage of the total downstream Internet traffic. In order to provide a better understanding of the load on these services, we analyze and model a workload trace from a VoD service provided by a major Swedish TV broadcaster. The trace contains over half a million requests generated by more than 20000 unique users. Among other
The diversity of different life-forms, their conquest of virtually all available habitats, and their seemingly limitless ability to adapt to new ecological challenges show that structural and physiological specializations of a few basic building plans uniquely match plants and animals to the specific lives they lead.
This paper presents a receiver architecture for intraband dual-carrier reception as specified for the upcoming releases of 3GPP WCDMA and LTE standards. It is based on a time-discrete harmonic rejection complex-IF mixer to limit the bandwidth requirements on the ADCs to that of a single carrier. The mixer has been designed and fabricated together with a 3rd order continuous-time (CT) delta-sigma A
