Transfer Learning for Human & AI

An ethical AI must be capable of inferring unspoken rules, interpreting nuance and context, possess and be able to infer intent, and explain not just its actions but its intent . It can learn what is meant by a sentence and infer the intent of others in terms of its own experiences .…

The Light-Up puzzle, also known as the AKARI puzzle, has never been solved using modern artificial intelligence (AI) methods . This project is an effort to apply new AI techniques for solving the Light-up puzzle faster and more computationallyefficient . The algorithms explored for producing optimal solutions include hillclimbing, simulated annealing, feed-forward neural network (FNN), and CNN, and an evolutionary theory algorithm .…

Low-rank tensor decomposition generalizes low-rank matrix approximation and is a powerful technique for discovering low-dimensional structure in high-dimensional data . We study Tucker decompositions and usetools from randomized numerical linear algebra called ridge leverage scores toaccelerate the core tensor update step in the widely-used alternating leastsquares (ALS) algorithm .…

This paper specifies an extensive form as a 5-ary relation (i.e. set ofquintuples) which satisfies certain abstract axioms . Each quintuple is understood to list a player, a situation (e.g. information set), a decisionnode, a decision node, an action, and a successor node .…

Linear codes in projective space $mathbb{P}_q(n)$ were first considered by Braun,Etzion and Vardy . We establish that the normalizedminimum distance of a linear code is maximum if and only if it is equidistant . We prove that the upper bound on the size of such class of linear codes is $2^n$ when $q=2$ as conjectured by Braun et al.…

“Bad” data has a direct impact on 88% of companies, with the average company losing 12% of its revenue due to it . Duplicates – multiple but different representations of the same real-world entities – are among the main reasons for poor data quality .…

Artificial intelligence chatbots are the vanguard in technology-based intervention to change people’s behavior . To develop intervention chatbots, the first step is to understand natural language conversation strategies in humanconversation . This work lays the foundation for developing a personalized physical activity intervention bot .…

We study the problem of recovering an atomic measure on the unit 2-sphere $\mathbb{S}^2$ given finitely many moments with respect to spherical harmonics . We construct a dual certificate using a kernel given in an explicit form and make a concrete analysis of the interpolation problem .…

Maximally Recoverable (MR) TensorCodes, introduced by Gopalan et al., are tensor codes which can correct everyerasure pattern that is theoretically possible to correct . Tensor codes are useful in distributed storage because a single erasure can be correctedquickly either by reading its row or column .…

Autonomous vehicles require large Deep-Learning (DL) models and powerful hardware platforms to operate reliably in real-time . SAGE: a methodology for selectively offloading the key energy-consuming modules of DL architectures to the cloud to optimize edge energy usage while meeting latency constraints .…

Many current micro-assembly methods are serial in nature, resulting in unfeasibly low throughput . Alternatively, parallel self-assembly ordirected-assembly techniques can be employed by utilizing forces dominant atthe micro and nano scales such as electro-kinetic, thermal, and capillaryforces . However, these forces are governed by complex equations and often act on microparts simultaneously and competitively, making modeling and simulation difficult .…

In a self-interested setting, agents may strategically hide some connections to make themselves seem to be more important . In this paper, we study the incentive compatible (IC) selectionmechanism to prevent such manipulations . We propose the Geometric Mechanism, which selects an agent with at least 1/2 of the optimal progeny in expectation under the properties of incentive compatibility and fairness .…

Guessing Random Additive Noise Decoding (GRAND) is a recently proposed method searching for the error pattern applied to the transmittedcodeword . We propose an improved error pattern schedule that can improve the performance ofORBGRAND of 0.5dB at a block error rate (BLER) of $10^{-5}$, with increasinggains as the BLER decreases .…

Set similarity search is a problem of central interest to a wide variety of applications such as data cleaning and web search . Past approaches on setsimilarity search utilize either heavy indexing structures, incurring largesearch costs or indexes that produce large candidate sets .…

We are interested in learning the directed acyclic graph (DAG) when data are generated from a linear structural equation model (SEM) and thecausal structure can be characterized by a polytree . We also study the errorrate for the estimation of the inverse correlation matrix under such models .…

$d-logics have not previously been studied in the framework of dynamical systems, which are pairs of a topological space $X$ equipped with a continuous function$f\colon X\to X$. We introduce the logics $wK4C$ and $GLC$ and show that they all have the finite Kripke model property and are sound and complete withrespect to the $d$-semantics in this dynamical setting .…

We define cooperative games on general graphs and generalize Lloyd S.Shapley’s celebrated allocation formula for those games in terms of stochasticpath integral driven by the associated Markov chain on each graph . We then show that the value allocation operator, one for each player defined by thestochastic path integral, coincides with the player’s component game which is the solution to the least squares (or Poisson’s) equation .…

Satellite networks are expected to support global connectivity and servicesvia future integrated 6G space-terrestrial networks . In the past few years, many such private constellations have been launched or are in planning, e.g.SpaceX and OneWeb to name a few . We show that the link capacity, delay, and handover rate vary across the constellation, so the optimal handover strategydepends on the constellation design .…

In this work we show that high dimensional expansion implies locally testablecode . We define a notion that we callhigh-dimensional-expanding-system (HDE-system) We show that a code that can be modelled over HDE-system islocally testable . This implies that high-dimensional expansion phenomenon solely implies local testability of codes .…

Motivated by the need to provide differentiated quality-of-service (QoS) ingrant-free uplink transmissions in 5G networks and beyond, we extend theprobabilistic analysis of coded Poisson receivers (CPR) to the setting with multiple classes of users and receivers . For such a CPR system, we prove (undercertain technical conditions) that there is a region, called the stabilityregion in this paper .…

This paper presents a framework for modeling failure in quasi-brittlegeomaterials under different loading conditions . A micromechanics-based model is proposed in which the field variables are linked to physical mechanisms atthe microcrack level . Damage is related to the growth of microcracks, while plasticity is related .…

Under assumptions about the data-generative process, the causal graph can often be identified up to anequivalence class . Proposing new realistic assumptions to circumscribe suchequivalence classes is an active field of research . In this work, we propose anew set of assumptions that constrain possible causal relationships based on the nature of the variables .…

The current dominance of deep neural networks in natural language processing is based on contextual embeddings such as ELMo, BERT, and BERT derivatives . Most existing work focuses on English; in contrast, we present here the firstmultilingual empirical comparison of two ELMo and several monolingual and multilingual BERT models using 14 tasks in nine languages .…

Image-based computer simulation of cardiac function can be used to probe themechanisms of (patho)physiology, and guide diagnosis and personalized treatment of cardiac diseases . This paradigm requires constructing simulation-readymeshes of cardiac structures from medical image data . We propose a novel deep learning approach to reconstruct whole heart meshes from volumetricimage data .…

Genomic selection (GS) is a technique that plant breeders use to select individuals to mate and produce new generations of species . Allocation of resources is a key factor in GS . Inspired by recent advances in reinforcement learning forAI problems, we develop a reinforcement learning-based algorithm .…

Learning the structure of a causal graphical model using both observationaland interventional data is a fundamental problem in many scientific fields . ENCO formulates the graph search as an optimization of independent edge likelihoods, with the edge orientation being modeled as aseparate parameter .…

Computational approaches have access to the information about thetypicality of entire events and situations described in language . The evaluation of these models was performed incomparison with SDM, a framework specifically designed to integrate events insentence meaning representations . Our results show that TLMs can reach performances that are comparable to those achieved by SDM .…

Location-based services (LBS) are increasingly used in recent years, and a large amount of location traces are accumulating in a datacenter . The disclosure of these traces raises serious privacy concerns, especially for long traces . To address this issue, we have designed and held a location trace anonymization contest that deals with along trace (400 events per user) and fine-grained locations (1024 regions) Inour contest, each team anonymizes her original traces, and then the other teams perform privacy attacks against the anonymized traces .…

In multi-dimensional time series analysis, a task is to conductevolutionary subspace clustering, aiming at clustering temporal data according to their evolving low-dimensional subspace structures . We demonstrate that this method can not onlyinterpolate data at any time step, but also achieve higher accuracy than other state-of-the-art evolutionarysubspace-cluing methods .…

We study a continuous and infinite time horizon counterpart to the classic prophet inequality problem . Buyers arrive similarly and make take-it-or-leave-it offers for unsold items . The objective is to maximize the (infinite) time average revenue of the seller .…

Measuring meaning is a central problem in cultural sociology and word embeddings may offer powerful new tools to do so . But like any tool, they buildon and exert theoretical assumptions . In certain ways, word embedding methods are vulnerable to the same, enduring critiques of these premises .…

Abstract reasoning, i.e., inferring complicated patterns from givenobservations, is a central building block of artificial general intelligence . We propose logic-guided generation (LoGe), a novelgenerative DNN framework that reduces abstract reasoning as an optimization problem in propositional logic . LoGe is composed of three steps: extractpropositional variables from images, reason the answer variables with a logiclayer, and reconstruct the answer image from the variables .…

The general adwords problem has remained largely unresolved . We define asubcase called $k-TYPICAL, $k \in \Zplus$ as follows: the total budgetof all the bidders is sufficient to buy $k$ bids for each bidder . We also giverandomized online algorithms for other special cases of adwords .…

In this paper, an experimental testbed and associated psychophysical paradigmare presented for understanding how people discriminate torsional stiffness . Participants explored virtual virtualtorsion springs by rotating their forearms . The discrimination results will inform futureinvestigation into understanding how stiffness percepts vary .…

MFGNet aims to boost the message communication between visible and thermaldata by adaptively adjusting the convolutional kernels for various input images . To address issues caused by heavy occlusion, fast motion, and out-of-view, we propose to conduct a joint local and global search byexploiting a new direction-aware target-driven attention mechanism .…

In order to apply the recent successes of automated plant phenotyping and machine learning on a large scale, efficient and general algorithms must be bedesigned to intelligently split crop fields into small, yet actionable,portions that can then be processed by more complex algorithms .…

The ever-evolving internet of things (IoT) has led to the growth of numerous wireless sensors, communicating through the internet infrastructure . For extending the lifetime of thesesensors, radio frequency energy harvesting (RFEH) technology has proved to be promising . In this paper, we propose CURE, a novel framework for RFEH that combines the benefits of cell-free massive MIMO (CFmMIMO), unmannedaerial vehicles (UAVs), and reconfigurable intelligent surfaces (RISs) toprovide seamless energy harvesting to IoT devices .…

This paper specifies an extensive form as a 5-ary relation (i.e. set ofquintuples) which satisfies certain abstract axioms . Each quintuple is understood to list a player, a situation (e.g. information set), a decisionnode, a decision node, an action, and a successor node .…

The widely used domain invariant feature learning (IFL) methods relies on aligning the marginal concept shift w.r.t. $p(x|y)$ and the marginal label shift . In this work, we propose a domain generalization (DG) approach to learn on several labeled source domains and transfer knowledge to a target domain that is inaccessible in training .…

The widely used domain invariant feature learning (IFL) methods relies on aligning the marginal concept shift w.r.t. $p(x|y)$ and the marginal label shift . In this work, we propose a domain generalization (DG) approach to learn on several labeled source domains and transfer knowledge to a target domain that is inaccessible in training .…

Automatic metrics are commonly used as the exclusive tool for declaring thesuperiority of one machine translation system’s quality over another . We investigate which metrics have the highest accuracy to makesystem-level quality rankings for pairs of systems . We show that the sole use of BLEUnegatively affected the past development of improved models.…

The surge in the number of books published makes the manual evaluation methods difficult to efficiently evaluate books . The use of books’ citationsand alternative evaluation metrics can assist manual evaluation and reduce the cost of evaluation . However, relying on a single resource for book assessment may lead to the risk that theevaluation results cannot be obtained due to the lack of the evaluation data, especially for newly published books .…

Motivated by the need to provide differentiated quality-of-service (QoS) ingrant-free uplink transmissions in 5G networks and beyond, we extend theprobabilistic analysis of coded Poisson receivers (CPR) to the setting with multiple classes of users and receivers . For such a CPR system, we prove (undercertain technical conditions) that there is a region, called the stabilityregion in this paper .…

Riesz potentials are well known objects of study in the theory of singularintegrals . They have been the subject of recent interest from thenumerical analysis community due to their connections with fractional Laplaceproblems and proposed use in certain domain decomposition methods .…

Sound event localization and detection (SELD) aims to unify the tasks of sound event detection and direction-of-arrivalestimation . SELD inherits the challenges of both tasks, such as noise, reverberation, interference, polyphony, and non-stationarity of soundsources . Experimental results indicate polyphony as the main challenge in SELD, due to the difficulty in detecting all sound events of interest .…

Optimal-order uniform-in-time $H^1$-norm error estimates are given for semi-and full discretizations of mean curvature flow of surfaces in arbitrarily high codimension . This numerical method admits a convergence analysis in the case of finiteelements of polynomial degree at least two and backward difference formulae oforders two to five .…

Avirtual codeathon activity, as part of this learning scheme, was conducted for180 undergraduate students to focus on analysis and design of solutions to real-world problems in the Covid-19 pandemic situation . Activity-based learning helps students to learn through participation, AvVirtual Codeathon activity was conducted by students .…

Transformer-based encoder-decoder models produce a fused token-wiserepresentation after every encoder layer . We investigate the effects of allowing the encoder to preserve and explore alternative hypotheses, combined at the end of the encoding process . We design and examine a $\textit{Multi-stream Transformer}$ architecture and find that splitting theTransformer encoder into multiple encoder streams and allowing the model to merge multiple representational hypotheses improves performance .…

Zero-resource named entity recognition (NER) severely suffers from datascarcity in a specific domain or language . Most studies on zero-resource NERtransfer knowledge from various data by fine-tuning on different auxiliary tasks . In this paper, we tackle the problem by transferring knowledge from three aspects, i.e.,…

New method called localactive subspaces (LAS) combines clustering techniques with a more efficient dimension reduction in the parameter space for the design of accurate response surfaces . The drawback of this approach is the possible scarcity of data in some applications, but in those, where a quantityof data, moderately abundant is available, partitioned or localstudies are beneficial .…