Search results

The Learning with Errors problem (LWE) is one of the main candidates for post-quantum cryptography. At Asiacrypt 2017, coded-BKW with sieving, an algorithm combining the Blum-Kalai-Wasserman algorithm (BKW) with lattice sieving techniques, was proposed. In this paper, we improve that algorithm by using different reduction factors in different steps of the sieving part of the algorithm. In the Rege

In this paper we address the problem of resource allocation for alarm traffic in industrial Internet of Things networks using massive MIMO. We formulate the general problem of how to allocate pilot signals to alarm traffic such that delivery is guaranteed, while also minimising the number of pilots reserved for alarms, thus maximising the channel resources available for other traffic, such as indu

The digital twin is a rather new industrial control and automation systems concept. While the approach so far has gained interest mainly due to capabilities to make advanced simulations and optimizations, recently the possibilities for enhanced security have got attention within the research community. In this paper, we discuss how a digital twin replication model and cor

This work addresses two related problems for on-line services, namely poor resource utilization during regular operating conditions, and low throughput, long response times, or poor performance under periods of high system load. To address these problems, we introduce our notion of quality-elasticity as a manner of dynamically adapting response qualities from software services along a fine-grained

Objectives We compared the effectiveness of an intensive smoking cessation intervention among smokers with and without a severe mental disorder (SMD) and identified factors associated with successful quitting. The main hypothesis was that smokers with an SMD would be less likely to stay continuously smoke-free for 6 months. Design A prospective cohort study. Setting In all, 302 smoking cessation c

ExtendJ (formerly JastAddJ) is an extensible Java compiler, supporting full Java source-to-bytecode compilation. ExtendJ enables researchers and developers to easily build powerful language extensions, custom static analyses, and other tools for Java. ExtendJ is built with Reference Attribute Grammars and Aspect Oriented Programming, enabling easy extension development.

Just like current software systems, models are characterised by increasing complexity and rate of change. Yet, these models only become useful if they can be continuously evaluated and validated. To achieve sufficiently low response times for large models, incremental analysis is required. Reference Attribute Grammars (RAGs) offer mechanisms to perform an incremental analysis efficiently using dyn

Purpose: This study examines the influence of voice quality and multi-talker babble noise on processing and storage performance in a working memory task performed by children using cochlear implants (CI) and/or hearing aids (HA). Methods: Twenty-three children with a hearing impairment using CI and/or HA participated. Age range was between 6 and 13 years. The Competing Language Processing Task (CL

Searchable symmetric encryption (SSE) schemes are commonly proposed to enable search in a protected unstructured documents such as email archives or any set of sensitive text files. However, some SSE schemes have been recently proposed in order to protect relational databases. Most of the previous attacks on SSE schemes have only targeted its common use case, protecting unstructured data. In this

The evolution of Software-Defined Networking (SDN) has so far been predominantly geared towards defining and refining the abstractions on the forwarding and control planes. However, despite a maturing south-bound interface and a range of proposed network operating systems, the network management application layer is yet to be specified and standardized. It has currently poorly defined access contr

Software-Defined Networking (SDN) is a novel architectural model for cloud network infrastructure, improving resource utilization, scalability and administration. SDN deployments increasingly rely on virtual switches executing on commodity operating systems with large code bases, which are prime targets for adversaries attacking the network infrastructure. We describe and implement TruSDN, a frame

Knowing whether a software feature will be completed in its planned iteration can help with release planning decisions. However, existing research has focused on predictions of only low-level software tasks, like bug fixes. In this paper, we describe a mixed-method empirical study on three large IBM projects. We investigated the types of iteration changes that occur. We show that up to 54% of high

Background and objectives: The International Society of Blood Transfusion (ISBT) Working Party for Red Cell Immunogenetics and Blood Group Terminology meets in association with the ISBT congress and has met three times since the last report: at the international meetings held in Dubai, United Arab Emirates, September 2016 and Toronto, Canada, June 2018; and at a regional congress in Copenhagen, De

Multi-cell wireless systems usually encounter both intra-cell and inter-cell interference, which can be mitigated via coordinated multipoint (CoMP) transmission. Previous works on multi-cell analysis in the microwave band generally consider fully digital beamforming, requiring a complete radio-frequency chain behind each antenna. This is practically infeasible for millimeter-wave (mmWave) systems

Lens–based massive multiple–input multiple–output (MIMO) systems have considerable potential to reduce signal processing cost at millimeter–wave frequencies. As a result, they are able to lower the effective channel dimension via beam selection, realized with a network of radio–frequency (RF) switches. However, lens arrays suffer from the inherent quantization of the beamspace, as well as errors d

In this paper, we take a fundamental look at the interference characteristics of a lens-based millimeter-wave (mmWave) multiuser multiple-input multiple-output system (MU-MIMO) system. We consider a hybrid architecture, implemented via a bank of radio-frequency (RF) switches which perform beam selection followed by low-complexity uplink maximum-ratio combining (MRC) at baseband. Considering a Rotm

We consider a massive multiple-input multiple- output system with minimum-mean-squared-error processing on the uplink. A novel analytical framework is proposed to approximate the instantaneous signal-to-interference-plus-noise- ratio (SINR) of an arbitrary user terminal, as well as, the system sum spectral efficiency. Unlike previous studies, our methodology considers spatially correlated Ricean f

Spatial correlation across an antenna array is known to be detrimental to the terminal signal-to- interference-plus-noise-ratio (SINR) and system spectral efficiency. For a downlink multiuser multiple-input multiple-output system (MU-MIMO), we show that the widely used, yet overly simplified, correlation models which generate fixed correlation patterns for all terminals tend to underestimate the s