Transfer Learning for Human & AI

Remote Direct Memory Access(RDMA) NICs (RNICs) are one such device, allowing applications to offloadremote memory accesses . RDMA still requires CPU intervention for complex offloads, beyond simple remote memory access . RedN can outperform one and two-sided RDMA implementations by up to 3x and 7.8x for key-value get operations and .performance…

This paper presents OpenCV2X, the first publicly available, open-sourcesimulation model of the Third Generation Partnership Project (3GPP) Release 14Cellular Vehicle to Everything (C-V2X) sidelink) This model forms the basis for 5GNR Mode 2 under later releases . We show how the currentsidelink scheduling mechanism performs poorly when scheduling applications with highly aperiodic communication characteristics, such as ETSI CooperativeAwareness Messages .…

Many existing simulators arebased on compartment models that divide people into a few subsets and simulatethe dynamics among those subsets using hypothesized differential equations . In this work, we introduce a simulator software capable of modeling a populationstructure and controlling the disease’s propagation at an individualisticlevel .…

We present a message passing algorithm for localization and tracking inmultipath-prone environments . The proposed adaptive probabilistic data association algorithminfers the position of a mobile agent using multiple anchors . The algorithm adapts in an online manner to both, the time-varyingsignal-to-noise-ratio and line-of-sight (LOS) existence probability of eachanchor .…

Mobile applications (apps) often suffer from failure nowadays . Developers pay more attention to the failure that is perceived by users andcompromises the user experience . By leveraging the frontend user traces, our approach first builds an app page model, and applies an unsupervised detection algorithm to detect whether a user has perceived failure .…

The study of the prophet inequality problem in the limited information regimewas initiated by Azar et al. [SODA’14] in the pursuit of prior-independentposted-price mechanisms . As they show, $O(1)$-competitive policies areachievable using only a single sample from the distribution of each agent .…

The finite-time convergence of off-policy TD learning has been studied recently, but such a type of convergence has not been well established for multi-agent learning in the multi-agents setting . This work develops two decentralized TD with correction (TDC) algorithms formulti-agent off-Policy TD learning under Markovian sampling .…

In cellular networks, the densification of connected devices and basestations engender the ever-growing traffic intensity . We propose the allocation ofdownlink data transmission capacity according to the cases of requestedcontents which are either cached or non-cached in nearby nodes . The throughput and delay of the allocationsystem are derived based on the approximated sojourn time of the DiscriminatoryProcessor Sharing (DPS) queue .…

SCHeMa is an open-source platform that facilitates the execution and reproducibility of computational analysis on heterogeneous clusters . It uses containerization, experiment packaging, workflow management, and machine learning technologies . SCMa is the latest open source platform to combine these technologies with machine learning and containerization to facilitate the work of scientists in this direction .…

$C$ is a universal constant independent of both $N$ and $r$ . We show that such matrices are Bounded Orthonormal Systems (BOSs) with known upperbounds on their BOS constants . The new bounds provided herein on themaximum $ell^{\infty$-norms of their $\ell^2-normalized singular vectors allow for several previous Sigma-Delta quantization results to be generalized .…

We introduce an impartial combinatorial game on Steiner triple systems calledNofil . Players move alternately, choosing points of the triple system . If a player is forced to fill a block on their turn, they lose . The game Nofil can be thought of in terms of play on a corresponding hypergraph .…

The central challenge is how to securelydetect software exploits with minimal overhead . DIALED works in tandem with a companion CFA scheme to detect all (currently known) types of runtime software exploits at low-cost . Such attacks exploit softwarevulnerabilities to corrupt intermediate computation results stored in datamemory, changing neither the program code nor its control flow .…

DPDK (Data Plane Development Kit) is arguably today’s most employed framework for software packet processing . Its impressive performance however comes at thecost of precious CPU resources dedicated to continuously poll the NICs . Paper presents Metronome, an approach devised to replacethe continuous DPDk polling with a sleep&wake intermittent mode .…

This letter analyzes a class of information freshness metrics for large IoT systems in which terminals employ slotted ALOHA to access a common channel . The penalty function that follows a power law of the time elapsed sincethe last received update, generalizing the age of information metric .…

A reward-reinforced generativeadversarial network can be used as ageneric framework for multi-agent learning at the system level . We demonstrated our method isresilient and outperforms other conventional reinforcement learning methods . This method is also applied to a practical case study: maximising the number of user connections to autonomous airborne base stations in a mobile communication network .…

This paper is concerned with the design of a non-intrusive model orderreduction (MOR) for the system of parametric time-domain Maxwell equations . Atime- and parameter-independent reduced basis (RB) is constructed by using atwo-step proper orthogonal decomposition (POD) technique from a collection offull-order electromagnetic field solutions, which are generated via adiscontinuous Galerkin time- domain (DGTD) solver .…

We present an open-source space-and doubly-time-parallel implementation and evaluate its performance for twodifferent test problems . We use a collocationmethod of arbitrary order to add another level of parallelization in time . We derive an adaptive strategy to select a new $alpha$-circulantpreconditioner for each iteration during runtime for balancing convergencerates, round-off errors and inexactness in the individual time-steps .…

Reconfigurable intelligent surface (RIS) is a promising reflective radiotechnology for improving the coverage and rate of future wireless systems . The current work mainlyfocuses on the physical layer design of RIS . But enabling multiple devicesto communicate with the assistance of RIS is a crucial challenging problem .…

Neuromorphic computing systems such as DYNAPs and Loihi have recently been introduced to the computing community to improve performance and energyefficiency of machine learning programs . The role of a system software forneuromorphic systems is to cluster a large machine learning model (e.g.,…

We describe a complete theory for walk-based centrality indices in complexnetworks defined in terms of Mittag-Leffler functions . This overarching theoryincludes as special cases well-known centrality measures like subgraphcentrality and Katz centrality . The indices we introduce are parametrized by two numbers .…

We present first results showing that it is possible to automatically distinguish coughing sounds produced by patients with TB and those with other lung ailments . Our experiments are based on a dataset of cough recording in a real-world clinic setting from 16 patients confirmed to besuffering from TB and 33 patients that are suffering from respiratory conditions, confirmed as other than TB .…

Blow-up solutions of autonomous ordinary differentialequations (ODEs) which are unstable under perturbations of initial conditions are studied . They are obtained as trajectories on stable manifolds of hyperbolic (saddle) equilibria atinfinity . In this process, important features are obtained: smooth dependenceof blow-up times on initial points near blow-ups, level set distribution ofblow-upsolutions, singular behavior of blow- upsolutions, organization of the phase space via separatrices (stable manifolds) In particular, we show that unstable blow up solutions themselves canseparate initial conditions into two regions where solution trajectories are globally bounded or blow up, no matter how large initial points are…

In Cyber Physical Systems humans are often kept in the loop as operators or service users . Yet in many cases, humans and machines collaborate and provide services to each other . We propose a ServiceOriented Architecture (SOA) ontology model for the CPS environment as part of the Everything-as-a-Service paradigm .…

Controllable Image Captioning (CIC) has received unprecedented attention over the last few years . We propose a new control signal for CIC: Verb-specific Semantic Roles (VSR) VSR consistsof a verb and some semantic roles, which represents a targeted activity . Given a designated VSR, we firsttrain a grounded semantic role labeling (GSRL) model to identify and ground allentities for each role .…

We prove that the Newton product of efficient polynomial projectors is stillefficient . Efficient explicit new projectors are presented . We use Newton product projectors on spaces of holomorphic functions on a neighborhood of a regular compact set .…

The majority of bugs (69.6%) are semantic bugs . Memory and concurrency bugs do not occur as frequently as frequently (6.9%) and 8.8%), but they consume more time . Locating a bug is more difficult than producing and fixing it .…

The proliferation of social media platforms like Twitter has heightened theconsequences of the spread of misinformation . To understand and model thespread of misinformation, in this paper, we leveraged the SEIZ (Susceptible,Exposed, Infected, Skeptics) epidemiological model . Applying a mathematical model can help to understand the trends and dynamics of spread ofmisinformation on Twitter and ultimately help to develop techniques to quicklyidentify and control it .…

Conformance checking techniques allow us to quantify the correspondence of aprocess’s execution, captured in event data, w.r.t., a reference process model . For extensive event data and complex process models, the computation time of alignments is considerably high, hampering their practical use .…

In this paper, we study linear filters to process signals defined onsimplicial complexes . We propose a finite impulse response filter based on the HodgeLaplacian . We demonstrate how this filter can be designed to amplify orattenuate certain spectral components of simplicial signals .…

PSIMiner is a tool for processing PSI trees from the IntelliJ Platform . PSI Trees contain codesyntax trees as well as functions to work with them, and therefore can be used to enrich code representation using static analysis algorithms of modern IDEs .…

Previous studies have analyzed Dockerfiles that are used to create container images in order to better understand how to improve Docker tooling . In this paper, we revisit the findings of previous studies using the largest set of Dockerfiles known to date with over 9.4 million unique Dockerfiles found in the World of Code infrastructure spanning from 2013-2020 .…

Little work has been conducted on how often these variables are documented in code comments and what types of knowledge the comments provide about variables of primitive types . Primitive types are fundamental components available in any programminglanguage . We present an approach fordetecting primitive variables and their description in comments using lexicalmatching and advanced matching .…

With the growth of the Internet of Things and the rise of Big Data, dataprocessing and machine learning applications are being moved to cheap and lowsize, weight, and power (SWaP) devices at the edge . The field of Cyber-PhysicalMeasurements and Signature Intelligence (MASINT) makes use of these devices to exploit data in ways not otherwise possible .…

Software systems have been continuously evolved and delivered with highquality due to the widespread adoption of automated tests . A recurring issue is the presence of flaky tests, a test case that may passor fail non-deterministically . A promising, but yet lacking more empirical evidence, approach is to collect static data of automated test cases and use them topredict their flakiness .…

Clinical software has become a significant contribution to support clinical management and intra-hospital processes . The complexity of clinical services and the variety of clinicians involved in thoseservices make it challenging to elicit requirements . The D&I Framework translates clinical priorities into guidelines for eliciting softwarerequirements in the healthcare context .…

We obtain the first tight continuityestimate on the Shannon entropy of random variables with a countably infinitealphabet . The proof relies on a new mean-constrained Fano-type inequality and the notion of maximal coupling . The above scheme works only for Shannon- and von Neumann entropies .…

Modern scientific workflows are data-driven and are often executed on heterogeneous, high-performance computing infrastructures . X-FLASH incorporates novel hyperparameter tuning and data mining approaches for improving the performance of the machine learning algorithms to classify the anomalous TCP packets . The tool outperformed the existing approach up to 28\%, 29\%, and 40\% relatively for F-measure, G-score, and recall in less than30 evaluations .…

We present a type system for strategy languages that express programtransformations as compositions of rewrite rules . Our row-polymorphic typesystem assists compiler engineers to write correct strategies by . statically rejecting compositions of rewrites that otherwise would . otherwise would failduring rewriting at runtime .…

Compiler optimization is the most common source contributing to binarycode differences in syntax . We tailor search-basediterative compilation for the auto-tuning of binary code differences . We run BinTuner with GCC 10.2and LLVM 11.0 on SPEC benchmarks (CPU2006 & CPU2017), Coreutils, and OpenSSL .…

Open Source Software projects add labels to open issues to help contributors choose tasks . Current automatic approaches for creating labels are mostly limited to classifying issues as a bug/non-bug . We leverage the issues’ description and the project history to build prediction models, which resulted in precision up to82% and recall up to 97.8% .…

Automatic differentiation (AD) is a family of techniques to compute gradients of general programs directly . Here, we explore the use of AD in the context of time-driven agent-based simulations . In traffic signal timing optimization problems with high input dimension, the gradient-based method has substantially superior performance .…

This paper presents results from the MSR 2021 Hackathon . Thesesecurity vulnerabilities can potentially be propagated through code reuse . We utilizethe World of Code infrastructure to discover file-level duplication of codefrom a nearly complete collection of open source software. This paper describes a method and set of tools to find all open source projects that use knownvulnerable files and any previous revisions of those files.…

Multi-Agent Reinforcement Learning (MARL) algorithms show amazing performance in simulation in recent years . But placing MARL in real-world applications maysuffer safety problems . MARL with centralized shields was proposed and verifiedin safety games recently . We propose to combine MARLwith decentralized Control Barrier Function (CBF) shields based on available local information .…

Contact tracing via digital tracking applications installed on mobile phones is an important tool for controlling epidemic spreading . Our results are based on a combination of explicitsimulations and mean-field analysis . They indicate that there can be majordifferences in the epidemic size and epidemic probabilities which are equivalent in the normal SIR processes.…

Artificial Neural Networks (ANNs) became popular due to their successfulapplication difficult problems such as image and speech recognition . We propose a framework called AutoLR to automatically design Learning RateOptimizers . The results are competitive with the best state of the art methods, even outperforming them in some scenarios .…

We address the issue of point value reconstructions from cell averages in the context of third order finite volume schemes . In fact, most techniques known inthe literature rely on the creation of ghost cells outside the boundary and on extrapolation from the inside that, taking into account theboundary conditions, fills the ghost cells with appropriate values .…

A good joint training framework is very helpful to improve the performances of weakly supervised audio tagging (AT) and acoustic event detection (AED)simultaneously . In this study, we propose three methods to improve DCASE2019 Task 4 for both AT and AED tasks .…

We introduce a simple, accurate, and extremely efficient method fornumerically solving the multi-marginal optimal transport (MMOT) problems . The method relies on (i) the sparsity ofoptimal plans [for $N$ marginals discretized by $\ell$ gridpoints each] and ideas from machine learning .…

We evaluate the robustness of agents’ traffic equilibria in randomizedrouting games characterized by an uncertain network demand with a possiblyunknown probability distribution . We extend the so-called hosemodel by considering a traffic equilibrium model where the uncertain networkdemand configuration configuration belongs to a polyhedral set, whose shape is itself a-priori unknown .…

GISE-51 is a datasetspanning 51 isolated sound events belonging to a broad domain of event types . We also release a dataset of 5-second soundscapes with hard-labelled event boundaries synthesized from Gise-51 isolated sound . We conduct baseline sound event recognition (SER) experiments on the GISE51-Mixtures dataset, benchmarking prominent convolutional neural networks,and models trained with the dataset demonstrate strong transfer learning performance on existing audio recognition benchmarks .…