Transfer Learning for Human & AI

Forecasting the behavior of other agents is an integral part of the modernrobotic autonomy stack, especially in safety-critical scenarios with human-robot interaction, such as autonomous driving . Common to all works is theuse of the same few accuracy-based evaluation metrics, e.g.,…

Wireless Sensor Networks (WSNs) have recently attracted greater attention due to their practicality in monitoring, communicating, and reportingspecific physical phenomena . The data collected by WSNs is often inaccurate as a result of unavoidable environmental factors, which may include noise, signalweakness, or intrusion attacks depending on the specific situation .…

Event Extraction (EE) seeks to derive information about specific incidents and their actors from the text . EE is useful in many domains such as building a knowledge base,information retrieval, summarization and online monitoring systems . COfEE consists of twohierarchy levels (event types and event sub-types) that include new categoriesrelating to environmental issues, cyberspace, criminal activity and natural disasters .…

This paper characterizes self-disclosures ofdissonance about QAnon, a conspiracy theory initiated by a mysterious leader Qand popularized by their followers, anons in conspiracy theory subreddits . We use these social imaginaries to create acomputational framework for distinguishing belief and dissonance from generaldiscussion .…

Unmanned aerial vehicles (UAVs) and Terahertz (THz) technology are envisioned to play paramount roles in next-generation wireless communications . We present a secure two-phase transmission strategy with cooperative jamming . We assume that the UAV-mounted relay may act, besides providing services, as a potential adversary called the untrusted UAV relay.…

Ambient radio frequency (RF) energy harvesting (EH) technology is key to realizing self-sustainable, always-on, low-power, massive Internet of Thingsnetworks . We introduce a dynamic RF combining architecture for ambientRF EH use cases . Among the proposed mechanisms, brute force (BF) demands the highest power consumption, while CB requires the highest-resolution phase shifters .…

Audio captioning aims to automatically generate a natural languaged description of an audio clip . Most captioning models follow an encoder-decoderarchitecture, where the decoder predicts words based on the audio featuresextracted by the encoder . Convolutional neural networks (CNNs) and recurrentneural networks (RNNs) are often used as the audio encoder.…

The support for ultra-reliable communication is a key distinction betweentoday’s and tomorrow’s mobile networks, enabling emergingcritical-communication services such as factory automation, remote-controlledvessels, mobile cloud computing, and yet-to-come applications . We consider two network design assets, bandwidthand network density, and network models by the 3GPP .…

Reconfigurable intelligent surfaces (RISs) have been recently considered as apromising candidate for energy-efficient solutions in future wireless networks . Their dynamic and lowpower configuration enables coverage extension, massiveconnectivity, and low-latency communications . Due to a large number of unknownvariables referring to the RIS unit elements and the transmitted signals,channel estimation and signal recovery in RIS-based systems are the ones of themost critical technical challenges .…

The search for extraterrestrial intelligence (SETI) struggles with indeterminacy in what data to look for and when to do so . We show that electromagnetic signaling for detection requires much less power than for communication . We also show that detection as a function of power can be non-linear, andthat much of the analysis in this framework may be addressed usingcomputationally efficient optimization problems .…

This work studies the automated refactoring of legacy ES5 code to ES6 modules . The focus is on reducing the coupling of refactored modules through destructuring exported module objects to fine-grained modulefeatures and enhancing module dependencies by leveraging the ES6 syntax .…

Machine learning algorithms can predict device reliability with high accuracy . Device reliability is a major concern during operation under extreme environments . We have tested 224 power devices from 10 different manufacturers to train the models . We describe a method to process the data formodeling purposes.…

We describe our approach to create and deliver a custom voice for aconversational AI use-case . Our proposed cloudarchitecture enables for fast voice delivery, making it possible to talk to the digital version of Albert Einstein in real-time . We use a custom dictionary for selected words to ensure their proper pronunciation .…

A deterministic method for synthesizing the interconnect topologies optimized for the required properties is proposed . The method is based on the originaldescription of graphs by projections, on establishing the bijectivecorrespondence of the required . properties and the projection properties of the initial graph, on postulating the corresponding restrictions of modified .…

In this study, we investigated the effectiveness and user acceptance of threeexternal interaction modalities (i.e., visual, auditory, and visual+auditory) in promoting communications between automated vehicle systems (AVS) and pedestrians at a crosswalk . We alsotested different visual and auditory interaction methods, and found that”Pedestrian silhouette on the front of the vehicle” was the best preferredoption .…

The multi-period dynamics of energy storage (ES), intermittent renewablegeneration and uncontrollable power loads make the optimization of powersystem operation (PSO) challenging . The proposed Meth-od is computationally effective for mainly two reasons. The proposed strategic sampling significantly improvesthe computational efficiency of the scenario-based approach for solving the chance-constrained optimal PSO problem .…

The effectiveness of the code review is that it ensures the quality of software and makes it updated . Code review is the best process that helps the developers to develop asystem errorless . This report contains two different code review papers to beevaluated and find the influences that can affect the code reviewing process .…

There is an ongoing debate in computer science how algorithms should best bestudied . We take the empirical nature of algorithm engineering as a starting point . Our theoretical framework builds on threeareas discussed in the philosophy of science: ontology, epistemology andmethodology .…

The motivation of this paper is to introduce a cell-free adaptation of the strongest-user collision resolution (SUCRe) protocol . The SUCRe protocol was originally proposed forcellular massive multiple-input multiple- input multiple-output (MIMO) networks . The goal with this adaptation is to show that a cell free network can better handle the attempts of users’ equipment (UEs) due to the augmented macro-diversity brought by the disposition of access points (APs) over the coverage area .…

Fixed-point iterations are at the heart of numerical computing and are often a computational bottleneck in real-time applications that typically need a fast solution of moderate accuracy . We present neural fixed-point acceleration which combines ideas from meta-learning and classical acceleration methods .…

A value of a CSP instance is typically defined as a fraction of constraintsthat can be simultaneously met . We show that, for purely combinatorial reasons, a value of anunsolvable instance is bounded away from one . We also show that the gap theorem implies NP-hardness of a gap version of theLayered Label Cover Problem .…

Business process management systems from various vendors are used by companies around the globe . Most of these systems allow for the full or partialautomation of business processes by ensuring that tasks and data are presented to the right person at the right time during process execution .…

We present a conditional text generation framework that posits sententialexpressions of possible causes and effects . This framework depends on a very large-scale collection of English sentences expressing causal patterns CausalBank . We extend prior work in lexically-constrained decoding to support disjunctive positive constraints .…

The matrix formation associated to high-order discretizations is known to benumerically demanding . We design a multiscale assembly procedure to reduce the exorbitant assembly time in the context of isogeometric linear elasticity of complexmicrostructured geometries modeled via spline compositions . The strategy turns out to be of great interest not only to form finite elementoperators but also to compute other quantities in a fast manner as for instancesensitivity analyses commonly used in design optimization .…

Causal relations (e.g., If A, then B) are prevalent in functional requirements . For various applications of AI4RE, automatically extracting such causal statements are a basic necessity . We lack an approach that is able to extract causal relations from natural language requirements in fine-grainedform .…

Ticket Tagger is a GitHub app that analyzes the issue title and description through machine learning techniquesto automatically recognize the types of reports submitted on GitHub and assign labels to each issue accordingly . We empirically evaluated the tool’s performance on about 30,000 GitHub issues .…

Due to power consumption and high circuit cost in antenna arrays, thepractical application of massive multiple input multiple-input multiple-output (MIMO) in thesixth generation (6G) and future wireless networks is still challenging . Employing lowresolution analog-to-digital converters (ADCs) and hybrid analogand digital (HAD) structure is two low-cost choice with acceptable performanceloss .…

This volume constitutes the pre-proceedings of the 31st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2021) LOPSTR will be held on 7-8th September 2021 as a hybrid (blended) meeting, both in-person (atthe Teachers’ House in Tallinn, Estonia) and virtual .…

Canned patterns (i.e. small subgraph patterns) in visual graph queryinterfaces (a.k.a GUI) facilitate efficient query formulation by enablingpattern-at-a-time construction mode . TATTOO takes a data-driven approach to automaticallyselecting canned patterns for a . GUI from large networks . It first decomposes the underlying network into truss-infested and truss .oblivious…

This work provides a probabilistic approach to calculate safetyenvelopes under perception uncertainty . It limits the cumulative probability that the actual safety envelope in a fully observable environment is larger than an applied envelope . The approach extends non-probabilistic envelopes – in this work, theResponsibility-Sensitive Safety (RSS) – to handle uncertainties .…

Parent selection algorithms steer populations through a problem’s search space, often trading off between exploitation and exploration . We introduce an “exploration diagnostic” that diagnoses a selection scheme’scapacity for search space exploration . Findings provide hypotheses for further exploration and actionable insights and recommendations for using lexicase selection, we say .…

The effectiveness of the code review is that it ensures the quality of software and makes it updated . Code review is the best process that helps the developers to develop asystem errorless . This report contains two different code review papers to beevaluated and find the influences that can affect the code reviewing process .…

The rapid growth of blockchain systems leads to increasing interest in understanding and comparing blockchain performance at scale . In this paper, we focus on analyzing the performance of Hyperledger Fabric v1.1 – one of the most popular permissioned blockchain systems .…

Interdisciplinary application fields show an increasing need for reliable andresilient wireless communication even under high load conditions . We propose STING, a spatially distributed traffic and interference generation framework . STING is evaluated in a remote control test case of an Unmanned Ground Vehicle that serves as a scout in Search and Rescue missions .…

Symbolic music generation has attracted increasing attention . Generating long music calls for effective expression of the coherentmusic structure . Self-attention based models can generate music sequences (up to 100 bars) with interpretablestructures . The generated 3,000sets of music is uploaded as supplemental material.…

In this paper, we proposed a multi-objective approach for the EEG InverseProblem . This formulation does not need unknown parameters that involveempirical procedures . Due to the combinatorial characteristics of the problem, this alternative included evolutionary strategies to resolve it .…

Speed advisory systems for connected vehicles rely on estimation of green(or red) light duration at signalized intersections . A particular challenge is to predict the signal phases of semi- and fully-actuated traffic lights . Simulation results show 95% prediction accuracy, which yields up to 30% reduction in fuel consumption when used in a driver-assistance system .…

The effectiveness of the code review is that it ensures the quality of software and makes it updated . Code review is the best process that helps the developers to develop asystem errorless . This report contains two different code review papers to beevaluated and find the influences that can affect the code reviewing process .…

We develop lower bounds on communication in the memory hierarchy or betweenprocessors for nested bilinear algorithms . We build on a previous framework that establishescommunication lower bounds by use of the rank expansion of a matrix . We apply the rankexpansion lower bounds to obtain novel communication lower bounds for nestedToom-Cook convolution, Strassen’s algorithm, and fast algorithms for partiallysymmetric contractions .…

We construct a computationally inexpensive 3D extension of Andrew’s plots . We consider linear isometries from a Euclidean data space to infinite dimensional spaces of 2D curves . Weparametrize the linear isometry that produces (on average) optimally smoothcurves over a given dataset .…

The problem of coordinating the charging of electric vehicles gains more importance as the number of such vehicles grows . In order to train the controllers, we use the idea of imitation learning . The method is evaluated on realistic data and shows improved performance and training speed compared to similar controllers trained using evolutionary algorithms .…

Multilingual pre-trained contextual embedding models (Devlin et al., 2019) have achieved impressive performance on zero-shot cross-lingual transfer tasks . We propose a novel meta-optimizer tosoft-select which layers of the pre-training model to freeze during fine-tuning . We train the meta-Optimizer by simulating the zero-shoot transfer scenario .…

There is a growing trend towards the execution of compute-intensive FaaS functions that run for several seconds . The optimization of these functions can improve performance by 12.8x (geometricmean) and save costs by 73.4% on average for the three functions .…

A mass-conservative Lagrange–Galerkin scheme of second order in time for convection-diffusion problems is presented . The convergence with optimal errorestimates is proved in the framework of $L^2$-theory . The mass-conservationproperty is achieved by the Jacobian multiplication technique introduced by Rui and Tabata in 2010 .…

A priori-estimates on the unknownsare obtained, and along with a topological degree argument they lead to theexistence of a solution of the discrete scheme at each time step . We conclude the proof of the convergence of the scheme toward the continuous problem as mesh size and time step tend toward zero with the limit of the sequence ofdiscrete solutions being a solution to the weak formulation of the problem .…

The effectiveness of the code review is that it ensures the quality of software and makes it updated . Code review is the best process that helps the developers to develop asystem errorless . This report contains two different code review papers to beevaluated and find the influences that can affect the code reviewing process .…

We present a short survey of ways in which existing scientific knowledge are included when constructing models with neural networks . The inclusion of domain-knowledge is of special interest not just to constructing scientificassistants, but also, many other areas that involve understanding data using human-machine collaboration .…

We describe our approach to create and deliver a custom voice for aconversational AI use-case . Our proposed cloudarchitecture enables for fast voice delivery, making it possible to talk to the digital version of Albert Einstein in real-time . We use a custom dictionary for selected words to ensure their proper pronunciation .…

This paper examines the cluster consensus problem of multi-agent systems onmatrix-weighted switching networks . Necessary and/or sufficient conditions under which cluster consensus can be achieved are obtained . Thesteady-state of the system lies in the intersection of the null space of the matrix-valued Laplacians corresponding to all switching networks.…

Generic reinforcement learning agents could betrained to behave altruistically towards others by rewarding them for benefiting other agents in agiven situations . Such an approach assumes that other agents’ goals are known sothat the altruistic agent can cooperate in achieving those goals .…