Transfer Learning for Human & AI

VideoMoCo is effective for unsupervised image representation learning . We adapt MoCo to learn videorepresentations without empirically designing pretext tasks . By empowering thetemporal robustness of the encoder and modeling the temporal decay of the keys, we improve MoCo temporally based on contrastive learning .…

Advances in reinforcement learning (RL) have resulted in recent breakthroughs in the application of artificial intelligence (AI) We introduce the AI Arena: a scalable framework with flexible abstractions for distributedmulti-agent reinforcement learning . The AI Arena extends the OpenAI Gyminterface to allow greater flexibility in learning control policies across multiple agents with heterogeneous learning strategies and localized views of the environment .…

This paper mainly looks at the polynomials of double cyclic codes . We show the generating matrices of them . Meanwhile, we get quantitative information about them by the matrix forms . We investigate the relationship between the generators and the duals of their duals .…

Goal recognition methods must be fast to run in real time and make accurate inferences . As autonomous driving is safety-critical, it is important to have methods which are humaninterpretable and for which safety can be formally verified . We propose GoalRecognition with Interpretable Trees (GRIT), a goal recognition system for autonomous vehicles .…

In this paper, we study the cross-modal image retrieval, where the inputscontain a source image plus some text that describes certain modifications to this image and the desired image . We adopt the contrastive self-supervised learning method Deep InforMax to our approach to our .…

Random mesh FEM (RM-FEM) introduces a probability measure on standard piecewise linear FEM . Wepresent a posteriori error estimators based uniquely on probabilisticinformation . A series of numerical experiments illustrates the potential of the RM FEM for error estimation and validates our analysis .…

We present a subsampling strategy for the offline stage of the Reduced Basis Method . The approach is aimed at bringing down the considerable offline costs associated with using a finely-sampled training set . The proposed algorithmexploits the potential of the pivoted QR decomposition and the discrete empirical interpolation method to identify important parameter samples .…

In this letter, we study the resource allocation for a multiuser intelligentreflecting surface (IRS)-aided simultaneous wireless information and powertransfer (SWIPT) system . A multi-antenna base station (BS)transmits energy and information signals simultaneously to multiple energyharvesting receivers (EHRs) and information decoding receivers (IDRs) assisted by an IRS .…

We study approximation classes for adaptive time-stepping finite elementmethods for Partial Differential Equations (PDE) We measure theapproximation error in $L_2[0,T)\times\Omega) and consider the approximationwith discontinuous finite elements in time and continuous finite elements inspace .…

Collaborative Filtering (CF) based recommendation methods have been widelystudied . Representation learning tries to learn a common low dimensionalspace for the representations of users and items . Matchingfunction learning attempts to directly learn the complex matching function thatmaps user-item pairs to matching scores .…

Cross-modal RS image-voice retrieval provides a new insight . The proposed SCRL method consists of two main steps: 1) semantics encoding and 2)semantics-consistent representation learning . The main novelty is that the proposed method takes the pairwise, intra-modality, and non-paired intermodality relationships into account simultaneously, thereby improving the semantic consistency of the learned representations for the RS image .…

Regular omnidirectional video encoding technics use map projection to flattena scene from a spherical shape into one or several 2D shapes . Common projectionmethods including equirectangular and cubic projection have varying levels ofpolation that create a large number of non-information-carrying pixelsthat lead to wasted bitrate .…

The research is motivated by the limitations and drawbacks of state-of-the-art algorithms, such as the Reduced Basis method . It is based on the use of deep autoencoders, which we employ for encoding and decoding a high fidelity approximation of the solution manifold .…

A spatialattention-based perceptual quality prediction network for non-reference qualityassessment on ODIs (SAP-net) The network can adaptivelyestimate human perceptual quality on impaired ODIs through a self-attentionmanner, which significantly promotes the prediction performance of quality scores . Extensive experiments validate that our network outperforms 9 state-of-the-art methods for quality assessment on ODI .…

Wave propagation problems are notoriously difficult to solve . Time-harmonic problems are especially challenging in mid and high frequency regimes . The main challenge remains the significant kernel in curl-conforming spaces, an issue that impacts on the design of robust preconditioners .…

SocialInteractionGAN builds on a recurrentencoder-decoder generator network and a dual-stream discriminator . Predictions of human actions in social interactions have important applications in the design of social robots or artificial avatars . The distribution of generated sequences is shown to approach closely that of real data.…

Industrial Internet of Things (IIoT) revolutionizes the future manufacturingfacilities . With the deployment of massive IIoT devices, it is difficult for the wireless network to support the ubiquitous connections with diversequality-of-service (QoS) requirements . Machine learning is regarded as a powerful data-driven tool to optimize wireless network .…

A new method for simulation of a binary homogeneous Markov process using aquantum computer was proposed . The IBM’sYorktown ‘bow-tie’ back-end performs quite better than the 5-qubit T-shaped and 14-quinst Melbourne quantum processors in terms of quantum fidelity . The creation of a quantum controlled n-throot of X gate using only the existing basic quantum logic gates at the available cloud platforms is possible, although the hardware devices are still too noisy, which results in a significant measurement error increase.…

Connecting multi microgrid to adistribution power grid can facilitate a more robust and reliable operation . The proposed model consists of three layers, smart grid layer, independent system operator (ISO) layer and power grid layer . Each layer aims to maximise its benefit.…

Splitting methods allow one to divide complicatedpartial differential equations into simpler parts that are solved by tailored numerical schemes . The new approach also improves the accuracy compared to the splitting method and it reduces oscillations. The numericalmethod is designed to be highly parallelisable and therefore takes full advantage of modern computer hardware.…

This work proposes a tractable estimation of the maximum a posteriori (MAP)threshold of various families of sparse-graph code ensembles . We estimate the MAP threshold by applying the Maxwellconstruction to the obtained approximate EBP-GEXIT charts . We also explore where the spatially-coupledbelief propagation (BP) threshold is located with respect to the previouslycomputed MAP threshold .…

Contact tracing with mobile applications is an attractive approach for manygovernments and industry initiatives to address the Covid-19 pandemic . Many approaches today have severe privacy and security issues, and many of them fail to offer a sustainable contact tracing infrastructure due to thedemanding energy consumption .…

In this paper we introduce our vision of a Cognitive Computing Continuum to address the changing IT service provisioning towards a distributed,opportunistic, self-managed collaboration between heterogeneous devices . The focal point of this continuum are cognitive devices, which have to make decisions autonomously using their on-board computation and storage capacity based on information sensed from their environment .…

The system uses a 3D ConvNet to generate a multi-sphere images (MSI)representation that can be experienced in 6-DoF VR . The system utilizes conventional VR camera footage directly without the need for adepth map or segmentation mask . By using a newlydesigned weighted sphere sweep volume (WSSV) fusing technique, our approach is compatible with most panoramic VR camera setups .…

Dysarthria is a condition which hampers the ability of an individual tocontrol the muscles that play a major role in speech delivery . The loss of finecontrol over muscles that assist the movement of lips, vocal chords, tongue anddiaphragm results in abnormal speech delivery.…

The flow-analyzer aids in identifying possible misuse of the information in sequential PyX programs corresponding to a given informationflow policy (IFP) Pifthon has distinct advantages like reduced labelling overhead that ameliorates usability . The proposed flow analysis is proved to be soundunder the classical non-interference property.…

Symmetric Monoidal Categories (SMCs) are pervasive algebraic structures . We provide a method to evaluate linear functions to their own representation as a morphism in a SMC . We believe this method is well-suited as a basis for embedding domain specific languages whose computational model can be framed as an instance of SMC.…

PLBART is pre-trained on an extensive collection of Java and Python functions and associated NL text viadenoising autoencoding . The model outperforms or rivals state-of-the-art models . Analysis reveals that PLBart learns program syntax,style (e.g., identifier naming convention) and logical flow that are crucial to programsemantics and thus excels even with limited annotations .…

Anonymous peer review is used by the great majority of computer science conferences . The paper, (meta) reviews, rebuttals, and final decisions are all released to public . We collect 5,527 submissions and their 16,853reviews from the OpenReview platform . We also collect these submissions’ citation data from Google Scholar and their non-peer-reviewed versions fromarXiv.org…

Paper considers the generalized continuation Newton method and thetrust-region updating strategy for the underdetermined system of nonlinearequations . New method uses a switching updating technique of the Jacobian matrix to improve its computational efficiency . The computational speed of thenew method is about eight to fifty times as fast as that of fsolve.m…

Stateflow models are complex software models, often used as part of safety-critical software solutions designed with Matlab Simulink . They incorporate design principles that are typically very hard to verify formally . The Stateflow language lacks a formal semantics, which hinders the formal analysis .…

Koopman operator theory allows us to represent a nonlinear system as alinear system in an infinite-dimensional space of observables . But exactlinearization is guaranteed only for autonomous systems with no input, and finding effective observable functions for approximation with a low-order linear system remains an open question .…

A multilayer network depicts different types of interactions among the sameset of nodes . Different layers represent distinct types of experimentally confirmedmolecule interactions among proteins . In some researches theco-expression layer is in turn represented as a multilayered network . We propose a maximum a posteriori estimation-based algorithm .…

The bulk of Internet traffic uses TCP protocol for reliable transmission . But the standard TCP’s performance is very poor in High Speed Networks . This problem has roots in conservative nature of TCP, especially in its AIMD phase . To this end, this paper proposes analgorithm which considers packet loss and delay information jointly and employsa probabilistic approach to accurately estimation of congestion status in thenetwork .…

Sound Source Localization (SSL) are used to estimate the position of soundsources . Various methods have been used for detecting sound and itslocalization . This paper presents a system for stationary sound sourcelocalization by cubical microphone array . The computed azimuth and elevation angle of victimizedhuman voice are fed to embedded omni-directional drive system which navigates vehicle automatically towards the stationary sound sources .…

Ambisonics is an established framework to capture, process, and reproducespatial sound fields based on its spherical harmonics representation . Wepropose a generalization of conventional spherical ambisonics to the spheroidalcoordinate system . This framework is referred to asspheroidal ambisonic and a formulation for the case of prolate spheoidalcoordinates is presented .…

A “human-in-the-loop” driving simulator experiment was conducted to evaluate the impact of the proposed shared control takeover strategy under different disengagement conditions . Results of thirty-two drivers showed sharedcontrol takeover strategy could improve safety performance at the aggregatedlevel . For more urgentdisengagements caused by another vehicle’s sudden brake, a shared controlstrategy enlarges individual differences .…

Serializability is a well-understood concurrency control mechanism that easesreasoning about highly-concurrent database programs . Unfortunately, enforcingserializability has a high-performance cost, especially on geographically distributed database clusters . We present a sound andfully automated refactoring procedure that transforms a program’s datalayout to eliminate concurrency bugs .…

Research on the robustness of the Internet has gained critical importance inthe last decades because more and more individuals, societies and firms rely on this global network infrastructure for communication, knowledge transfer, business processes and e-commerce . The Internet has inspired several novel graph metrics for assessing important topological robustness features of large complex networks such as the Internet .…

We propose a linear-mapping based variational Ensemble Kalman filter for problems with generic observation models . The proposed method isformulated as to construct a linear mapping from the prior ensemble to theposterior one . The linear mapping is computed by minimizing theKullback-Leibler divergence between the transformed distribution and the actual posterior .…

Monte Carlo event generators are tuned on experimentalmeasurements by evaluating the goodness of fit between the data and the MCpredictions . The relative importance of each measurement is adjusted manually to meet different experimental needs . We introduce several optimization formulations and algorithms with new criteria for streamlining and automating this process .…

In this work we demonstrate the use of autoencoder networks for rapidextraction of the signal parameters of discretely sampled signals . We show that the achievable precision and accuracy of this method of analysis is similar to conventional, algorithm-based signal analysis methods .…

Predictive human models often need to adapt their parameters online from human data . This raises previously ignored safety-related questions for robots relying on these models . Key idea is to model therobot’s learning algorithm as a dynamical system where the state is the currentmodel parameter estimate and the control is the human data the robot observes .…

The Abstraction and Reasoning Corpus (ARC) is a challenging program inductiondataset that was recently proposed by Chollet (2019) Here, we report the first set of results collected from a behavioral study of humans solving a subset oftasks from ARC (40 out of 1000) Although this subset of tasks contains considerable variation, our results showed that humans were able to infer theunderlying program and generate the correct test output for a novel test input .…

A defocus blur severelydegrades the performance of vision systems . To tackle this problem, we propose a deep-learning-based framework estimating the kernel scale and orientation of the blur . Our pipeline utilizes 3D ConvNet for a variable number of input hypotheses to select the optimal slice from the input stack .…

Given a fixed physical process, we consider the entropy production (EP)incurred by some initial state $rho$ additional to the minimal EP incurred by the least-dissipative state $varphi$ We show that this additional EP has a universal information-theoretic form, given by contraction of the relativeentropy between the initial state and the least in time .…

An important tool in analyzing complex social and information networks is s-tsimple path counting, which is known to be #P-complete . In this paper, we studyefficient s-t simple path counting in directed graphs . For a given pair ofvertices s and t in a directed graph, first we propose a pruning technique that can efficiently and considerably reduce the search space .…

This chapter gives an overview of interaction techniques for mixed reality including augmented and virtual reality (AR/VR) Various modalities for input and output are discussed . Techniques for tangible and surface-based interaction include gesture-based, pen-based and gaze-based . Interaction with intelligent virtual agents is considered in the book .…

Telehealth frameworks are becoming more widely adopted in the context of long-term care (LTC) for older adults . This paper presents OpenTera, an open source telehealth framework, to facilitate prototyping of such solutions by software and roboticdesigners . The need to deal with the effects of the COVID-19 pandemic emphasizes the benefits of this approach, but also highlights new challenges for which robots could be interesting solutions to bedeployed in LTC facilities .…