Filetype
The semantics of programming languages comprise many concepts that are alternatives to each other, such as by-reference and by-value parameter passing. To help teach these concepts, Diwan et al. introduced the programming language Mystery, with fixed syntax but configurable semantics, and described how this language enables new approaches to teaching programming languages concepts. In this paper,
The Learning with Errors (LWE) problem is one of the main mathematical foundations of post-quantum cryptography. One of the main groups of algorithms for solving LWE is the Blum-Kalai-Wasserman (BKW) algorithm. This paper presents new improvements for BKW-style algorithms for solving LWE instances. We target minimum concrete complexity and we introduce a new reduction step where we partially reduc
Cryptography as it is used today relies on a foundational level on the assumptionthat either the Integer Factoring Problem (IFP) or the DiscreteLogarithm Problem (DLP) is computationally intractable. In the 1990s PeterShor developed a quantum algorithm that solves both problems in polynomialtime. Since then alternative foundational mathematical problems to replace IFPand DLP have been suggested. T
Archaeological collections are crucial in heritage studies and are used every day for training archaeologists and cultural heritage specialists. The recent developments in 3D acquisition and visualization technology has contributed to the rapid emergence of a large number of 3D collections, whose production is often justified as the democratization of data and knowledge production. Despite the fac
With the advancement of the next generation of cellular systems, flexible mechanisms for Discontinuous Reception (DRX) are needed in order to save energy. 5G will bring heterogeneous packet sizes and traffic types, as well as an increasing need for energy efficiency. The current static DRX mechanism is inadequate to meet these needs. In this paper we exploit channel prediction to develop integer p
In this paper we present fully decentralized methods for calculating an approximate zero- forzing (ZF) equalizer in a large intelligent surface (LIS). A LIS is intended for wireless communication and facilitates unprecedented MU- MIMO performance, far superior to that of Massive MIMO. Antenna modules in the grid connect to their neighbors to exchange messages of information needed for interference
This paper presents the architecture and the corresponding simulation results for a very low power half-rate extended Hamming (8,4) decoder implemented in analog integrated circuitry. TI’s 65nm low power CMOS design library was used to simulate the complete decoder including an input interface, an analog decoding core and an output interface. The simulated bit error rate (BER) performance of the d
User generated content (UGC) makes up a significant portion of Internet traffic. As opposed to other content, UGC has so far been left outside over-the-top providing network operators content distribution networks (telco-CDN) due to the difficulty in determining optimised placement of such content. The side effect of this is that UGC content is not placed close to end users and therefore occupy un
First responders to cardiac arrest depend on cardiopulmonary resuscitation to keep patients alive. A new ventilation method, phase-controlled intermittent insufflation of oxygen, was previously shown to improve heart perfusion during cardiopulmonary resuscitation in a large-animal study, outperforming the best currently known ventilation method. This paper investigates whether the advantage of the
Just like current software systems, conceptual models are characterised by increasing complexity and rate of change. Yet, these models only become useful if they can be continuously evaluated, validated and serialized. To achieve sufficiently low response times for large models, incremental analysis is required. Reference Attribute Grammars (RAGs) offer mechanisms to perform incremental analysis e
Algorithms for Massive MIMO uplink detection and downlink precoding typically rely on a centralized approach, by which baseband data from all antenna modules are routed to a central node in order to be processed. In the case of Massive MIMO, where hundreds or thousands of antennas are expected in the base-station, said routing becomes a bottleneck since interconnection throughput is limited. This
A key enabler for Industry 4.0 is Fifth Generation Wireless Specifications (5G), within which network slicing is a promising technique to ensure customized quality of service for specific end-user groups in industrial scenarios. Massive Multiple Input Multiple Output (MIMO) plays a significant role in 5G but network slicing for massive MIMO has not yet been addressed. In this paper, we propose a n
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
It is well known that load balancing in data centers can lead to unnecessary energy usage if all servers are kept active. Usingdynamic server provisioning, the number of servers that serve requests can be reduced by turning off idle servers and thereby savingenergy. However, such a scheme, usually increases the risk of instability of server queues. In this work, we analyze the trade-offbetween ene
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
Grain-128AEAD is a stream cipher supporting authenticated encryptionwith associated data, and it is currently in round 2 of the NIST lightweight cryptostandardization process. In this paper we present and benchmark software implementations of the cipher, targeting constrained processors. The processors chosen arethe 8-bit (AVR) and 16-bit (MSP) processors used in the FELICS-AEAD framework.Both hig
The market of connected devices, IoT devices in particular, is hotter than ever. Today, lightweight IoT devices are used in several sectors, such as smart cities, smart homes, healthcare, and the manufacturing industry.IoT solutions help increase productivity by predictive maintenance and resource management in the industry. Devices with voice interfaces are spreading rapidly in the home automatio
