Transfer Learning for Human & AI

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 .…

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 .…

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 .…

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 .…

Functions with low $c$-differential uniformity were proposed in $2020$ andattracted lots of attention . The objective of this paper is to studyP$c$N and AP$cN functions . As a consequence, we propose a class of P$c$.N functions by using the cyclotomictechnique and the switch method .…

Discriminatively localizing sounding objects in cocktail-party scenes is commonplace for humans, but still challenging for machines . We propose a two-stage learning framework to perform self-supervised class-aware sounding object localization . Code is available athttps://://://github.com/DTaoo/Discriminative-Sounding-Objects-Localization. The model is superior in filtering out silent objects and pointing out thelocation of sounding objects of different classes .…

Topology optimization (TopOpt) is a mathematical-driven design procedure torealize optimal material architectures . This procedure is often used toautomate the design of devices involving flow through porous media, such as micro-fluidic devices . Darcyequations are often used for model flow of fluids through pores .…

Most of the matrixpolynomials arising in applications are structured polynomials . The standard way to solve Polynomial Eigenvalue Problems is by means oflinearizations . The most frequently used linearizations belong to generalconstructions, known as companion linearizations . In this paper, we present, for the first time, a family of (generalized)companion $ell$-ifications that preserve any of these structures .…

We develop a privacy-preserving distributed projection least mean squares (LMS) strategy over linear multitask networks . Each agent is interested in not onlyimproving its local inference performance via in-network cooperation with neighbors, but also protecting its own individual task against privacyleakage .…

We consider classes of arbitrary (finite or infinite) graphs of boundedshrub-depth . We show that this class satisfies an extension of the L\”owenheim-Skolem property into the finite and for $MSO . This extension being a generalization of the small model property, we obtainthat the graphs of $p$-labeledarbitrary graphs are pseudo-finite .…

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 .…

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 .…

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.…

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 .…

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 .…

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 .…

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 .…

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 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 .…

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 .…

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 .…

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 .…

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…

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 .…

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.…

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 .…

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 .…

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 .…

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 .…

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 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 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 .…

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 .…

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 .…

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 .…

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 (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 .…

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 .…

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 .…

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 .…

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 .…

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 .…

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 .…

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.…

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.…

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 .…

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 .…

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 .…

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 .…