## Transmit Covariance and Waveform Optimization for Non orthogonal CP FBMA System

Filter bank multiple access (FBMA) without subbands orthogonality has been proposed as a new candidate waveform to better meet the requirements of future wireless communication systems and scenarios . CP-FBMA can furtherimprove the peak-to-average power ratio and bit error rate performance while reducing the length of filters .…

## Learning to Decode Reinforcement Learning for Decoding of Sparse Graph Based Channel Codes

Low-density parity check (LDPC) codes have been standardized in the context of 5G cellular communications systems . These codes are typically decoded via belief propagation iterative decoding on the corresponding bipartite (Tanner) graph of the code via flooding . In contrast, we utilize a sequential update policy which selects the optimumcheck node (CN) scheduling in order to improve decoding performance .…

## Neural Representations in Hybrid Recommender Systems Prediction versus Regularization

Autoencoder-based hybrid recommender systems have become popular recently . They can learn user and item representations by reconstructing various information sources . But existing systems still use matrix factorization (MF) to predict the rating, while using representations learned by neural networks as the regularizer .…

## Continuous Safety Verification of Neural Networks

Deploying deep neural networks (DNNs) as core functions in autonomous drivingcreates unique verification and validation challenges . This paper considersapproaches to transfer results established in the previous DNN safetyverification problem to the modified problem setting . The overall concept is evaluated in a$1/10$-scaled vehicle that equips a DNN controller to determine the visualwaypoint from the perceived image .…

## A compact high order gas kinetic scheme on unstructured mesh for acoustic and shock wave computations

In this paper an even higher-order compact GKS up to sixth order of accuracy will be constructed for the shock and acoustic wave computation on unstructuredmesh . The compactness is defined by the physical domain of dependence for anunstructured triangular cell, which may involve the closest neighbors ofneighboring cells .…

## Efficient high order accurate Fresnel diffraction via areal quadrature and the nonuniform FFT

We present a fast algorithm for computing the diffracted field from arbitrarybinary (hard-edged) planar apertures and occulters in the scalar Fresnelapproximation . It combines the high accuracy of edge integral methods with the high speedof Fourier methods . It is roughly $10^4\times$ faster than the state of the art in accurately computing the set oftelescope pupil wavefronts .…

## Computation of the Complex Error Function using Modified Trapezoidal Rules

In this paper we propose a method for computing the Faddeeva function $w(z):= e^{-z^2}\mathrm{erfc}(-i z)$ via truncated modified trapezoidal ruleapproximations to integrals on the real line . Our starting point is the method due to Matta and Reichel (Math. Comp. 25 (1971) and Hunter andRegan (1972), pp.…

## A Neurochaos Learning Architecture for Genome Classification

There has been empirical evidence of presence of non-linearity and chaos atthe level of single neurons in biological neural networks . The properties ofchaotic neurons inspires us to employ them in artificial learning systems . Here, we propose a Neurochaos Learning (NL) architecture, where the neurons used to extract features from data are 1D chaotic maps .…

## On Bivariate Fractal Interpolation for Countable Data and Associated Nonlinear Fractal Operator

We provide a framework to construct fractal interpolation surfaces for a prescribed countably infinite data set on a rectangular grid . We obtain a family of bivariate fractal functions simultaneously interpolating and approximating a prescribedbivariate continuous function . Some elementary properties of the associatednonlinear (not necessarily linear) fractal operator are established, therebyinitiating the interaction of the notion of fractal .…

## Quantitative stability and numerical analysis of Markovian quadratic BSDEs with reflection

We study the stability of the solutions to Markovian quadraticreflected BSDEs with bounded terminal data . We obtain the estimate of the variation of thesolutions in terms of the difference of the driven forward processes . Inaddition, we propose a truncated discrete-time numerical scheme for quadraticallyreflected BSDEs .…

## A Complete Approach to Loop Verification with Invariants and Summaries

Loop invariants characterize the partial result computed by a loop so far upto an intermediate state . Summaries, which characterize the remaining iterations of a loop, often lead to simpler correctness proofs . All theoretical results have immediate practical consequences for practical use and construction .…

## Towards Somaesthetics Inspired Games Exploring the Influence of a Mirror Effect on Self Presentation in a Public Setting

We report on an initial user study, which explores how players of anaugmented mirror game, self-style or self-present themselves when they are allowed to see themselves in the mirror compared to when they do not seethemselves . Ultimately, presenting a self-image to gamers in a social setting resulted in behavior change, which we argue could be utilized carefully from a Somaesthetics perspective as an experience design feature in futuregames.…

## An Elastic IoT Device Management Platform

An IoT testbed plays a vital role in aiding developers to test their applications without being deploying it to the target environment . This testbed would be best suited for testing applications which demand robust nature, remote monitoring and control, incorporation of .…

## Modeling and Analysis of Market Blockchain based Data Trading in NB IoT Networks

Mobile devices with embedded sensors for data collection and environmentalsensing create a basis for a cost-effective approach for data trading . The current approach for IoT data trading relies on a centralized third-partyentity to negotiate between data consumers and data providers .…

Flying ad hoc network (FANET) provides portable and flexible communication . It uses relative speed, signal strength, and energy of thenodes along with the geographic distance towards the destination using a forwarding angle . RLPR uses signal strength and relative speed of the nodes to achieve highconnectivity-level .…

## TUTOR Training Neural Networks Using Decision Rules as Model Priors

Deep neural networks (DNNs)generally need large amounts of data and computational resources for training . To address these challenges, we propose the TUTOR DNN synthesis framework . It synthesizes accurate DNN models with limited availableata, and reduced memory and computational requirements .…

## Power law dynamics in genealogical graphs

Several populational networks present complex topologies when implemented inevolutionary algorithms . A common feature of these topologies is the emergence of a power law . In genealogical networks, the power law can be observed by measuring the impact of individuals in the population, which can be calculated using the Event Takeover Value algorithm .…

## PATSQL Efficient Synthesis of SQL Queries from Example Tables with Quick Inference of Projected Columns

In this paper, we propose an efficient algorithm that synthesizes queries from I/O tables . We adopt a sketch-based synthesis algorithm and focus on the quick inference of the columns used in the projection operator . We implemented this algorithm in our tool PATSQLand evaluated it on 118 queries from prior benchmarks and Kaggle’s tutorials .As…

## The Greatest Teacher Failure is Using Reinforcement Learning for SFC Placement Based on Availability and Energy Consumption

Software defined networking (SDN) and network functions virtualisation (NFV)are making networks programmable and consequently much more flexible and agile . An availability- and energy-aware solution based on reinforcement learning (RL) is proposed for dynamic SFC placement . PPO2 generally outperformed A2Cand a greedy approach both in terms of acceptance rate and energy consumption .…

## FedAT A Communication Efficient Federated Learning Method with Asynchronous Tiers under Non IID Data

Federated learning involves training a model over massive distributevices, while keeping the training data localized . FedAT uses astraggler-aware, weighted aggregation heuristic to steer and balance the training for further accuracy improvement. FedAT compresses the uplink anddownlink communications using an efficient, polyline-encoding-based compressional algorithm, therefore minimizing the communication cost.…

## Multiparty Motion Coordination From Choreographies to Robotics Programs

We present a programming model and typing discipline for complex multi-robotcoordination programming . Our model encompasses synchronisation through message passing and continuous-time dynamic motion primitives in physical space . We specify global behaviour of programs in a\emph{choreographic} type system that extends multiparty session types .…

## Robots State Estimation and Observability Analysis Based on Statistical Motion Models

This paper presents a generic motion model to capture mobile robots’ dynamicbehaviors (translation and rotation) The model is based on statistical models driven by white random processes and is formulated into a full state estimational algorithm based on the error-state extended Kalman filtering framework (ESEKF) Major benefits of this method are its versatility, being applicable todifferent robotic systems without accurately modeling the robots’ specificynamics .…

## Preliminary Development of a Wearable Device to Help Children with Unilateral Cerebral Palsy Increase Their Consciousness of Their Upper Extremity

The prototype consists of an accelerometer, avibration motor and a microcontroller with an algorithm that detects movement of the limb . After a given period of inactivity, the watch starts vibrating toalert the user . The watch vibrates to remind children with unilateral cerebral palsy touse their most affected limb, and which increase sensory afferents to possibly influence brain plasticity .…

## DynamiTe Dynamic Termination and Non termination Proofs

There is growing interest in termination reasoning for non-linear programs . Recent dynamic strategies have shown they are able to inferinvariants for such challenging programs . In this paper, we exploit dynamic analysis and draw terminationand non-termination as well as static and dynamic strategies closer together .…

## Predicting Short term Mobile Internet Traffic from Internet Activity using Recurrent Neural Networks

Mobile network traffic prediction is an important input in to network capacity planning and optimization . Existing approaches may lack the speed and complexity to account for bursting, non-linear patterns or other correlations in time series mobile network data . Long Short-Term Memory (LSTM)and Gated Recurrent Unit (GRU) were effective in modeling Internet activity and seasonality, both within days and across two months .…

## Genetic Bi objective Optimization Approach to Habitability Score

Genetic Algorithm is a classic evolutionary algorithm used for solving optimization problems . It is based on Darwin’s theory of evolution, “Survival of the fittest” The Cobb-DouglasHabitability Function is formulated as a bi-objective as well as a single objective optimization problem to find the optimal values for a set of promising exoplanets to maximize their habitability score .…

## HiFi GAN Generative Adversarial Networks for Efficient and High Fidelity Speech Synthesis

HiFi-GAN generates high-fidelity audio 167.9 times faster than real-time on a single V100 GPU . A subjective human evaluation (mean opinion score,MOS) of a single speaker dataset indicates that our proposed methoddemonstrates similarity to human quality . We further show the generality of the method to the mel-spectrogram inversion ofunseen speakers and end-to-end speech synthesis .…

## Inverse Dynamics vs Forward Dynamics in Direct Transcription Formulations for Trajectory Optimization

Benchmarks of state-of-the-art rigid-body dynamics libraries have reported better performance for solving the inverse dynamics problem than the forward alternative . These results suggest inverse dynamics should be the preferred approach to enforcenonlinear system dynamics in simultaneous methods, such as direct transcription, authors say .…

## Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering A White Paper

This white paper argues that formal methods need to be better rooted in higher education curricula for computer science and software engineering programmes of study . It advocates (i) improved teaching of formal methods; (ii) systematic highlighting of formal . methods within existing,`classical’ computer science courses; and (iii) the inclusion of a compulsory .…

## A Generic Framework For Capturing Reliability in Cyber Physical Systems

Cyber Physical Systems solve complex problems through their tight integration between the physical and computational components . The reliability of a complex system is the most critical requirement for the cyber physical system . An unreliable system often leads to service disruption, propertydam-age, financial loses and sometimes lead to fatality .…

## Data Loss Detector Automatically Revealing Data Loss Bugs in Android Apps

Android apps must work correctly even if their execution is interrupted by external events . This behavior must be explicitly implemented by appdevelopers, who often miss to implement it properly . DLD has been able to reveal 75% of the faults in a benchmark of 54 Android app releases affected by 110 known dataloss faults.…

## CADET A Systematic Method For Debugging Misconfigurations using Counterfactual Reasoning

CADET (short for Causal Debugging Toolkit) enables users to identify, explain, and fix the root cause of non-functional faults early and in a principled fashion . CADET builds a causal model by observing the performance of the system under different configurations .…

## Conditioning Trick for Training Stable GANs

In this paper we propose a conditioning trick, called difference departurefrom normality, applied on the generator network in response to instability issues during GAN training . We force the generator to get closer to thedeparture from normality function of real samples computed in the spectral domain of Schur decomposition .…

## How the Far Right Polarises Twitter Highjacking Hashtags in Times of COVID 19

Political discourse on micro-blogging can become stronglypolarised by algorithmic enforcement of selective perception . Right-wing partisans are effectively polarising discourse by ‘hashjacking’ COVID-19related hashtags, like #CoronaVirusDE or #FlattenTheCurve . This polarisation strategy is dominated by the activity of a limited set of heavy users .…

## Probabilistic Social Learning Improves the Public s Detection of Misinformation

The digital spread of misinformation is one of the leading threats to democracy, public health, and the global economy . Popular strategies formitigating misinformation include crowdsourcing, machine learning, and medialiteracy programs that require social media users to classify news in binary terms as either true or false .…

## Escalation Prediction using Feature Engineering Addressing Support Ticket Escalations within IBM s Ecosystem

Large software organizations handle many customer support issues every day inthe form of bug reports, feature requests, and general misunderstandings assubmitted by customers . Escalation to management is time-consuming and expensive, especially for large organizations managinghundreds of customers and thousands of support tickets .…

## Modelling Memory for Individual Re identification in Decentralised Mobile Contact Tracing Applications

In 2020 the coronavirus outbreak changed the lives of people worldwide . De-centralised MCTA maysuffer from a novel kind of privacy attack, based on the memory of the humanbeings, which upon notification of the application can identify who is the positive individual responsible for the notification .…

## Using the Parameterized Quantum Circuit combined with Variational Quantum Eigensolver VQE to create an Intelligent social workers schedule problem solver

The social worker scheduling problem is a class of combinatorial optimization problems that combines scheduling with routing issues . We propose an adaptive and intelligence solution, which efficiently recalculates the schedules of social workers . The quantum feasibility of the algorithm will be modelled with docplex and tested on IBMQ computers .…

## Towards International Relations Data Science Mining the CIA World Factbook

The rise of the “Fourth Paradigm – Data Intensive Scientific Discovery” and the strengthening of data science offer an alternative: “ComputationalInternational Relations” The use of traditional and contemporary data-centered tools can help to update the field of IR by making it morerelevant to reality (Koutsoupias, Mikelis, 2020) The “wedding” between DataScience and IR is no panacea though.…

## How to Hijack Twitter Online Polarisation Strategies of Germany s Political Far Right

German far-right partyAlternative f\”ur Deutschland (AfD) use of a “hashjacking” strategy . Findings suggest right-wing politicians actively and effectively polarise the discourse not just using their own party hashtags, but also using the politicalparty hashtags of other established parties . The results underline the success of right wing parties, online and inelections, not entirely as a result of external effects (e.g.…

## Metrics for Evolution of Aspect Oriented Software

Aspect Oriented Software Development (AOSD) is a promising methodology which provides powerful techniques to improve the modularity of the software . Sinceevolution is a major requirement for the sustainability of any software, it is necessary to quantitatively measure its impact .…

## Designing a 9 channel location microphone from scratch

The design of a 9-channel microphone system for location recording of mainly atmosphere will be described . The key concept is matching the recording and recording andreproduction angles of the individual sectors . The rig is designed for theAURO-3D nine-channel playback system (4 height speakers) An analysis of thereproduction layout will be included, as well as recording concepts like theStereo Recording Angle (SRA) and Williams curves .…

## Activation function impact on Sparse Neural Networks

Sparse Evolutionary Training allows for significantly lower complexity when compared to fully connected models by reducing redundant connections . This research provides insights into the relationship between the activation function used and the network performance at various sparsity levels . The research was published in the journal Ars Arseneggio, a journal that focuses on computer science and computer science research at the University of Cambridge, England, in the US, Canada and Australia .…

## Teaching Quantum Computing through a Practical Software driven Approach Experience Report

Quantum computing harnesses quantum laws of nature to enable new types of algorithms, not efficiently possible on traditional computers, that may lead to breakthroughs in crucial areas like materials science and chemistry . There is a growing demand for a quantum workforce educated in the basics of quantum computing, in particular in quantum programming .…