February 2019 arXiv papers — page 17

Omid Rezaei, Mohammad Mahdi Naghsh, Zahra Rezaei, Rui Zhang

This paper studies a general multi-user wireless powered interference channel (IFC) under the harvest-then-transmit protocol, where the communication in channel coherence time consists of two phases, namely wireless energy transfer (WET) and wireless information transfer (WIT). In the first phase, all energy transmitters (ETs) transmit energy signals to info

Jinyu Yang, Bo Zhang

This study provides a systematic review of the recent advances in designing the intelligent tutoring robot (ITR), and summarises the status quo of applying artificial intelligence (AI) techniques. We first analyse the environment of the ITR and propose a relationship model for describing interactions of ITR with the students, the social milieu and the curric

Zehao Yu, Jia Zheng, Dongze Lian, Zihan Zhou

Single-image piece-wise planar 3D reconstruction aims to simultaneously segment plane instances and recover 3D plane parameters from an image. Most recent approaches leverage convolutional neural networks (CNNs) and achieve promising results. However, these methods are limited to detecting a fixed number of planes with certain learned order. To tackle this p

Suresh Bishnoi, Sourabh Singh, R. Ravinder, Mathieu Bauchy

Machine learning (ML) methods are becoming popular tools for the prediction and design of novel materials. In particular, neural network (NN) is a promising ML method, which can be used to identify hidden trends in the data. However, these methods rely on large datasets and often exhibit overfitting when used with sparse dataset. Further, assessing the uncer

Jonathan Walg, Anatoly Rodnianski, Itzhak Orion

Radioactive sources presented annual periodical half-life changes in several accurate measurements, although customary practice claims that radioactive decay should be a physical constant for each radionuclide. Besides that, the Purdue measurements of Mn-54 decay-rates indicated response to solar X-ray flare events in 2006. The Mn-54 source emits neutrino fr

Dmytro Oliinychenko, Volker Koch

We present a sampling method for the transition from relativistic hydrodynamics to particle transport, commonly referred to as particlization, which preserves the local event-by-event conservation of energy, momentum, baryon number, strangeness, and electric charge. The proposed method is essential for studying fluctuations and correlations by means of stoch

Dalu Guo, Chang Xu, Dacheng Tao

The image, question (combined with the history for de-referencing), and the corresponding answer are three vital components of visual dialog. Classical visual dialog systems integrate the image, question, and history to search for or generate the best matched answer, and so, this approach significantly ignores the role of the answer. In this paper, we devise

I. K. Hong, C. S. Kim

By using complex quaternion, which is the system of quaternion representation extended to complex numbers, we show that the laws of electromagnetism can be expressed much more simply and concisely. We also derive the quaternion representation of rotations and boosts from the spinor representation of Lorentz group. It is suggested that the imaginary 'i' shoul

Zhouping Xin, Qian Yuan, Yuan Yuan

This paper studies the asymptotic stability of shock profiles and rarefaction waves under space-periodic perturbations for one-dimensional convex scalar viscous conservation laws. For the shock profile, we show that the solution approaches the background shock profile with a constant shift in the $ L^\infty(\mathbb{R}) $ norm at exponential rates. The new ph

Dinakar Muthiah, Alex Weekes

The generalized affine Grassmannian slices $\overline{\mathcal{W}}_\mu^\lambda$ are algebraic varieties introduced by Braverman, Finkelberg, and Nakajima in their study of Coulomb branches of $3d$ $\mathcal{N}=4$ quiver gauge theories. We prove a conjecture of theirs by showing that the dense open subset $\mathcal{W}_\mu^\lambda \subseteq \overline{\mathcal{

Ryo Matsumoto, Hiroshi Hara, Zhufeng Hou, Shintaro Adachi

Candidates compounds for new thermoelectric and superconducting materials, which have narrow band gap and flat bands near band edges, were exhaustively searched by a high-throughput first-principles calculation from an inorganic materials database named AtomWork. We focused on AgIn$_{5}$Se$_{8}$ which has high density of state near the Fermi level. AgIn$_{5}

Andreas Finke

The applicability of a linearized perturbed FLRW metric to the late, lumpy universe has been subject to debate. We consider in an elementary way the Newtonian limit of the Einstein equations with this ansatz for the case of structure formation in late-time cosmology, on small and large scales, and argue that linearizing the Einstein tensor produces only a sm

Dorit Aharonov, Zvika Brakerski, Kai-Min Chung, Ayal Green

In (single-server) Private Information Retrieval (PIR), a server holds a large database $DB$ of size $n$, and a client holds an index $i \in [n]$ and wishes to retrieve $DB[i]$ without revealing $i$ to the server. It is well known that information theoretic privacy even against an `honest but curious' server requires $\Omega(n)$ communication complexity. Thi

S. A. Turakulov, E. M. Tursunov

The reaction rates of the direct astrophysical capture processes $^{3}{\rm He}(\alpha, \gamma)^{7}{\rm Be}$ and $^{3}{\rm H}(\alpha,\gamma)^{7}{\rm Li}$, as well as the abundance of the $^{7}{\rm Li}$ element are estimated in the framework of a two-body potential model. The estimated $^{7}{\rm Li/H}$ abundance ratio of $^{7}{\rm Li/H}=(5.07\pm 0.14 )\times 1

Liu Hong, Hong Qian, Lowell F. Thompson

Radon-Nikodym (RN) derivative between two measures arises naturally in the affine structure of the space of probability measures with densities. Entropy, free energy, relative entropy, and entropy production as mathematical concepts associated with RN derivatives are introduced. We identify a simple equation that connects two measures with densities as a pos

Anshul Thakur, Padmanabhan Rajan

This paper proposes a data-efficient, semi-supervised, two-pass framework for segmenting bird vocalizations. The framework utilizes a binary classification model to categorize frames of an input audio recording into the background or bird vocalization. The first pass of the framework automatically generates training labels from the input recording itself, wh

E. M. Tursunov, Daniel Baye, S. A. Turakulov

At the long-wavelength approximation, electric dipole transitions are forbidden between isospin-zero states. In an $\alpha+n+p$ model with $T = 1$ contributions, the $\alpha(d,\gamma)^6$Li astrophysical $S$-factor is in agreement with the experimental data of the LUNA collaboration, without adjustable parameter. The exact-masses prescription used to avoid th

Beni Yoshida

Recently we pointed out that the black hole interior operators can be reconstructed by using the Hayden-Preskill recovery protocols. Building on this observation, we propose a resolution of the firewall problem by presenting a state-independent reconstruction of interior operators. Our construction avoids the non-locality problem which plagued the "$A=R_{B}$

M. Sedaghat, B. Bidabad

Here, an axiom of spheres in Finsler geometry is proposed and it is proved that if a Finslerian manifold satisfies the axiom of spheres then it is of constant flag curvature.

M. H. N. Assadi, S. Li, R. K. Zheng, S. P. Ringer

We theoretically investigated the electronic, electrochemical and magnetic properties of Sb doped $Na_xCoO_2$ ($x = 1, 0.75$ and $0.50$). $Sb_{Co}$ dopants adopt +5 oxidation state in $Na_xCoO_2$ host lattice for all Na concentrations ($x$). Due to high oxidation states, $Sb^{5+}$ strongly repels Na ions and therefore it decreases the electrochemical potenti

Shuai Wang, Minghua Xia, Yik-Chung Wu

While backscatter communication emerges as a promising solution to reduce power consumption at IoT devices, the transmission range of backscatter communication is short. To this end, this work integrates unmanned ground vehicles (UGVs) into the backscatter system. With such a scheme, the UGV could facilitate the communication by approaching various IoT devic

Mingshang Hu, Shaolin Ji, Xiaole Xue

This paper is concerned with optimal control of stochastic fully coupled forward-backward linear quadratic (FBLQ) problems with indefinite control weight costs. In order to obtain the state feedback representation of the optimal control, we propose a new decoupling technique and obtain one kind of non-Riccati-type ordinary differential equations (ODEs). By a

Fuxing Hong, Dongbo Huang, Ge Chen

Factorization Machine (FM) is a widely used supervised learning approach by effectively modeling of feature interactions. Despite the successful application of FM and its many deep learning variants, treating every feature interaction fairly may degrade the performance. For example, the interactions of a useless feature may introduce noises; the importance o

M. Ablikim, M. N. Achasov, P. Adlarson, S. Ahmed

Using a data sample of $4.48\times10^{8}$ $\psip$ events collected with the BESIII detector, we present a first observation of $\psi(3686)\to p\bar{p}\phi$, and we measure its branching fraction to be $[6.06\pm0.38 ($stat.$) \pm 0.48 ($syst.$)]\times10^{-6}$. In contrast to the earlier discovery of a threshold enhancement in the $p\bar{p}$-mass spectrum of t

Kazu Akiba, Martin van Beuzekom, Henk Boterenbrood, Emma Buchanan

The LHCb VELO Timepix3 telescope is a silicon pixel tracking system constructed initially to evaluate the performance of LHCb VELO Upgrade prototypes. The telesope consists of eight hybrid pixel silicon sensor planes equipped with the Timepix3 ASIC. The planes provide excellent charge measurement, timestamping and spatial resolution and the system can functi

Ziyu Wang, Tongzheng Ren, Jun Zhu, Bo Zhang

While Bayesian neural networks (BNNs) have drawn increasing attention, their posterior inference remains challenging, due to the high-dimensional and over-parameterized nature. To address this issue, several highly flexible and scalable variational inference procedures based on the idea of particle optimization have been proposed. These methods directly opti

Z. Fathi, B. Bidabad, M. Najafpour

In the present work, control of time-optimal trajectory for a Dubins airplane in presence of moving and fixed obstacles is obtained. We show that for a Dubins airplane with an initial position, the control variable can be obtained using the exact penalty function method so that the airplane reaches the end position in the shortest time in the presence of obs

Aleksey Ogulenko

This paper aims to improve existing results about using averaging method for analysis of dynamic systems on time scales. We obtain a more accurate estimate for proximity between solutions of original and averaged systems regarding $\Delta$-periodic and $\Delta$-quasiperiodic systems, which are introduced for the first time. To illustrate the application of t

Manjun Ma, Peng Xia, Qifeng Zhang, Matti Vuorinen

We investigate the structure and stability of the steady states for a bacterial colony model with density-suppressed motility. We treat the growth rate of bacteria as a bifurcation parameter to explore the local and global structure of the steady states. Relying on asymptotic analysis and the theory of Fredholm solvability, we derive the second-order approxi

Michelle Wang, Cooper Doyle, Bryn Bell, Matthew J. Collins

Entangled multiphoton states lie at the heart of quantum information, computing, and communications. In recent years, topology has risen as a new avenue to robustly transport quantum states in the presence of fabrication defects, disorder and other noise sources. Whereas topological protection of single photons and correlated photons has been recently demons

Taryn Bipat, Maarten Willem Bos, Rajan Vaish, Andrés Monroy-Hernández

Camera glasses enable people to capture point-of-view videos using a common accessory, hands-free. In this paper, we investigate how, when, and why people used one such product: Spectacles. We conducted 39 semi-structured interviews and surveys with 191 owners of Spectacles. We found that the form factor elicits sustained usage behaviors, and opens opportuni

Arindam Banerjee, Dipankar Ghosh, S. Selvaraja

Let $ X $ be an $ m \times n $ matrix of distinct indeterminates over a field $ K $, where $ m \le n $. Set the polynomial ring $ K[X] := K[X_{ij} : 1 \le i \le m, 1 \le j \le n] $. Let $ 1 \le k < l \le n $ be such that $ l - k + 1 \ge m $. Consider the submatrix $ Y_{kl} $ of consecutive columns of $ X $ from $ k $th column to $ l $th column. Let $ J_{kl}

Zi Cai, Yizhen huang, W. Vincent Liu

Spontaneous symmetry breaking is responsible for rich quantum phenomena from crystalline structures to superconductivity. This concept was boldly extended to the breaking of time translation, opening an avenue to finding exotic phases of quantum matter with collective time modulation and correlation. Here we report that a thermally open quantum ensemble mani

Silvia M. Lobmaier, Alexander Mueller, Camilla Zelgert, Chao Shen

Objective: We hypothesized that prenatal stress (PS) exerts lasting impact on fetal heart rate (fHR). We sought to validate the presence of such PS signature in fHR by measuring coupling between maternal HR (mHR) and fHR. Study design: Prospective observational cohort study in stressed group (SG) mothers with controls matched for gestational age during scree

Inon Peled, Kelvin Lee, Yu Jiang, Justin Dauwels

This study develops an online predictive optimization framework for dynamically operating a transit service in an area of crowd movements. The proposed framework integrates demand prediction and supply optimization to periodically redesign the service routes based on recently observed demand. To predict demand for the service, we use Quantile Regression to e

Tanweer Alam

The smart devices are extremely useful devices that are making our lives easier than before. A smart device is facilitated us to establish a connection with another smart device in a wireless network with a decentralized approach. The mobile ad hoc network (MANET) is a novel methodology that discovers neighborhood devices and establishes connection among the

S. Cobzaş

We prove versions of Ekeland, Takahashi and Caristi principles in sequentially right $K$-complete quasi-pseudometric spaces (meaning asymmetric pseudometric spaces), the equivalence between these principles, as well as their equivalence to the completeness of the underlying quasi-pseudometric space. The key tools are Picard sequences for some special set-val

Jeremy Morton, Freddie D Witherden, Mykel J Kochenderfer

Koopman theory asserts that a nonlinear dynamical system can be mapped to a linear system, where the Koopman operator advances observations of the state forward in time. However, the observable functions that map states to observations are generally unknown. We introduce the Deep Variational Koopman (DVK) model, a method for inferring distributions over obse

Nicolau Saldanha, Boris Shapiro, Michael Shapiro

In this paper we settle a special case of the Grassmann convexity conjecture formulated earlier by B.and M.Shapiro. We present a conjectural formula for the maximal total number of real zeros of the consecutive Wronskians of an arbitrary fundamental solution to a disconjugate linear ordinary differential equation with real time. We show that this formula giv

Jingrun Chen, Cheng Wang, Changjian Xie

The numerical approximation for the Landau-Lifshitz equation, the dynamics of magnetization in a ferromagnetic material, is taken into consideration. This highly nonlinear equation, with a non-convex constraint, has several equivalent forms, and involves solving an auxiliary problem in the infinite domain. All these features have posed interesting challenges

Mirela Kohr, Sergey E. Mikhailov, Wolfgang L. Wendland

We obtain well-posedness results in $L_p$-based weighted Sobolev spaces for a transmission problem for anisotropic Stokes and Navier-Stokes systems with $L_{\infty}$ strongly elliptic coefficient tensor, in complementary Lipschitz domains of ${\mathbb R}^n$, $n\ge 3$. The strong ellipticity allows to explore the associated pseudostress setting. First, we use

Peiliang Li, Xiaozhi Chen, Shaojie Shen

We propose a 3D object detection method for autonomous driving by fully exploiting the sparse and dense, semantic and geometry information in stereo imagery. Our method, called Stereo R-CNN, extends Faster R-CNN for stereo inputs to simultaneously detect and associate object in left and right images. We add extra branches after stereo Region Proposal Network

Guang-He Lee, Wengong Jin, David Alvarez-Melis, Tommi S. Jaakkola

We provide a new approach to training neural models to exhibit transparency in a well-defined, functional manner. Our approach naturally operates over structured data and tailors the predictor, functionally, towards a chosen family of (local) witnesses. The estimation problem is setup as a co-operative game between an unrestricted predictor such as a neural

Estia J. Eichten, Chris Quigg

The $B_c ^+$ family of $(c\bar{b})$ mesons with beauty and charm is of special interest among heavy quarkonium systems. The $B_c ^+$ mesons are intermediate between $(c\bar{c})$ and $(b\bar{b})$ states both in mass and size, so many features of the $(c\bar{b})$ spectrum can be inferred from what we know of the charmonium and bottomonium systems. The unequal

Yi-Zhi Huang

We introduce and study twist vertex operators for a (lower-bounded generalized) twisted modules for a grading-restricted vertex (super)algebra. We prove duality, weak associativity, a Jacobi identity, a generalized commutator formula, generalized weak commutativity, and convergence and commutativity for products of more than two operators involving twist ver

Qiaosong Wang

We present a near real-time solution for 3D reconstruction from aerial images captured by consumer UAVs. Our core idea is to simplify the multi-view stereo problem into a series of two-view stereo matching problems. Our method applies to UAVs equipped with only one camera and does not require special stereo capturing setups. We found that the neighboring two

Alexandru Chirvasitu, Debashish Goswami

We prove the existence of a quantum isometry groups for new classes of metric spaces: (i) geodesic metrics for compact connected Riemannian manifolds (possibly with boundary) and (ii) metric spaces admitting a uniformly distributed probability measure. In the former case it also follows from recent results of the second author that the quantum isometry group

Tyler W. Hughes, R. Joel England, Shanhui Fan

Dielectric laser acceleration (DLA) represents a promising approach to building miniature particle accelerators on a chip. However, similar to conventional RF accelerators, an automatic and reconfigurable control mechanism is needed to scale DLA technology towards high energy gains and practical applications. We present a system providing control of the lase

Sk Noor Alam

By studying the balance functions of several hadronic species, one can gain insight into the chem-ical evolution of the Quark \textendash Gluon Plasma and radial flow. In a picture of early hadronisation,pairs of particles and anti-particles (created at the same space \textendash time point) are separated furtherin rapidity due to the higher initial temperat

Jinhan Kim, Gabin An, Robert Feldt, Shin Yoo

Mutation analysis can effectively capture the dependency between source code and test results. This has been exploited by Mutation Based Fault Localisation (MBFL) techniques. However, MBFL techniques suffer from the need to expend the high cost of mutation analysis after the observation of failures, which may present a challenge for its practical adoption. W

Xiaorui Wu, Hong Xu, Honglin Zhang, Huaming Chen

Production recommendation systems rely on embedding methods to represent various features. An impeding challenge in practice is that the large embedding matrix incurs substantial memory footprint in serving as the number of features grows over time. We propose a similarity-aware embedding matrix compression method called Saec to address this challenge. Saec

O. I. Chashchina, A. Sen, Z. K. Silagadze

Several quantum gravity and string theory thought experiments indicate that the Heisenberg uncertainty relations get modified at the Planck scale so that a minimal length do arises. This modification may imply a modification of the canonical commutation relations and hence quantum mechanics at the Planck scale. The corresponding modification of classical mec

Rui Zhang, Tomas Pfister, Jia Li

The recent direction of unpaired image-to-image translation is on one hand very exciting as it alleviates the big burden in obtaining label-intensive pixel-to-pixel supervision, but it is on the other hand not fully satisfactory due to the presence of artifacts and degenerated transformations. In this paper, we take a manifold view of the problem by introduc

Tanmay Chavan, Sangya Dutta, Nihar R. Mohapatra, Udayan Ganguly

The human brain comprises about a hundred billion neurons connected through quadrillion synapses. Spiking Neural Networks (SNNs) take inspiration from the brain to model complex cognitive and learning tasks. Neuromorphic engineering implements SNNs in hardware, aspiring to mimic the brain at scale (i.e., 100 billion neurons) with biological area and energy e

Alexander Matt Turner, Dylan Hadfield-Menell, Prasad Tadepalli

Reward functions are easy to misspecify; although designers can make corrections after observing mistakes, an agent pursuing a misspecified reward function can irreversibly change the state of its environment. If that change precludes optimization of the correctly specified reward function, then correction is futile. For example, a robotic factory assistant

Henry Chai, Jean-Francois Ton, Roman Garnett, Michael A. Osborne

We present a novel technique for tailoring Bayesian quadrature (BQ) to model selection. The state-of-the-art for comparing the evidence of multiple models relies on Monte Carlo methods, which converge slowly and are unreliable for computationally expensive models. Previous research has shown that BQ offers sample efficiency superior to Monte Carlo in computi

Fereshteh Jafariakinabad, Sansiri Tarnpradab, Kien A. Hua

Writing style is a combination of consistent decisions at different levels of language production including lexical, syntactic, and structural associated to a specific author (or author groups). While lexical-based models have been widely explored in style-based text classification, relying on content makes the model less scalable when dealing with heterogen

Tatsuya Shiraishi, Tam Le, Hisashi Kashima, Makoto Yamada

Finding an optimal parameter of a black-box function is important for searching stable material structures and finding optimal neural network structures, and Bayesian optimization algorithms are widely used for the purpose. However, most of existing Bayesian optimization algorithms can only handle vector data and cannot handle complex structured data. In thi

Maiia Popel

The special issue contains a monograph by M. Popel, in which the methodical foundations of the formation of professional competences of mathematics teachers in institutions of higher education of Ukraine are considered; the place of cloud service CoCalc in the system of teaching mathematical disciplines is specified; the features of CoCalc use in teaching ma

M. V. Boev, V. M. Kovalev, I. G. Savenko

We develop a microscopic theory of the Coulomb drag effect in a hybrid system consisting of spatially separated two-dimensional quantum gases of degenerate electrons and dipolar excitons. We consider both the normal-phase and condensate regimes of the exciton subsystem and investigate the cross-mobility of the system being the kinetic coefficient, which coup

Thibaut Durand, Nazanin Mehrasa, Greg Mori

Deep ConvNets have shown great performance for single-label image classification (e.g. ImageNet), but it is necessary to move beyond the single-label classification task because pictures of everyday life are inherently multi-label. Multi-label classification is a more difficult task than single-label classification because both the input images and output la

Leilei Sun, P. Ioannidis, Shenghong Gu, J. H. M. M. Schmitt

We present a detailed characterization of the Kepler-411 system (KOI 1781). This system was previously known to host two transiting planets: one with a period of 3 days ($R=2.4R_\oplus$; Kepler-411b) and one with a period of 7.8 days ($R=4.4R_\oplus$; Kepler-411c), as well as a transiting planetary candidate with a 58-day period ($R=3.3R_\oplus$; KOI 1781.03

Rosdyana Mangir Irawan Kusuma, Trang-Thi Ho, Wei-Chun Kao, Yu-Yen Ou

Stock market prediction is still a challenging problem because there are many factors effect to the stock market price such as company news and performance, industry performance, investor sentiment, social media sentiment and economic factors. This work explores the predictability in the stock market using Deep Convolutional Network and candlestick charts. T

Hironori Washizaki, Nobukazu Yoshioka, Atsuo Hazeyama, Takehisa Kato

Patterns are encapsulations of problems and solutions under specific contexts. As the industry is realizing many successes (and failures) in IoT systems development and operations, many IoT patterns have been published such as IoT design patterns and IoT architecture patterns. Because these patterns are not well classified, their adoption does not live up to

Bo Dai, Chung-I Ho, Tian-Jun Li

Let $M$ be a closed, oriented, smooth $4-$manifold with intersection form $\Gamma$, $A(\Gamma)$ the automorphism group of $\Gamma$ and $D(M)$ the subgroup induced by orientation-preserving diffeomorphisms of $M$. In this note we study the question when $D(M)$ is of infinite index in $A(\Gamma)$ for a symplectic 4-manifold.

Hong-Li Liu, Ze-Tian Xu, Zhi-Yu Ma, Wen-Zhe Wei

We perform quantum logic spectroscopy (QLS) on $^{27}$Al$^+$ ion $^1$S$_0$ - $^3$P$_1$ transition, which is an important step toward the QLS based $^{27}$Al$^+$ ion optical clock. As a precondition of QLS, both the stretch (STR) mode and the common (COM) mode of the $^{27}$Al$^+$ and $^{25}$Mg$^+$ ions pair are cooled to the vibrational ground state by Raman

Yi Li, Tomas Polakovic, Yong-Lei Wang, Jing Xu

We demonstrate strong magnon-photon coupling of a thin-film permalloy device fabricated on a coplanar superconducting resonator. A coupling strength of 0.152 GHz and a cooperativity of 68 are found for a 30-nm-thick permalloy stripe. The coupling strength is tunable by rotating the biasing magnetic field or changing the volume of permalloy. We also observe a

Zhiyi Zhang, Yingdi Yu, Sanjeev Kaushik Ramani, Alex Afanasyev

In this paper we present the design of Name-based Access Control (NAC) scheme, which supports data confidentiality and access control in Named Data Networking (NDN) architecture by encrypting content at the time of production, and by automating the distribution of encryption and decryption keys. NAC achieves the above design goals by leveraging specially cra

Sindri Magnússon, Hossein Shokri-Ghadikolaei, Na Li

In distributed optimization and machine learning, multiple nodes coordinate to solve large problems. To do this, the nodes need to compress important algorithm information to bits so that it can be communicated over a digital channel. The communication time of these algorithms follows a complex interplay between a) the algorithm's convergence properties, b)

Khalil Mrini, Claudiu Musat, Michael Baeriswyl, Martin Jaggi

We propose a method to create document representations that reflect their internal structure. We modify Tree-LSTMs to hierarchically merge basic elements such as words and sentences into blocks of increasing complexity. Our Structure Tree-LSTM implements a hierarchical attention mechanism over individual components and combinations thereof. We thus emphasize

Wenbo Sun

We formulate the generalized Sarnak's M\"obius disjointness conjecture for an arbitrary number field $K$, and prove a quantitative disjointness result between polynomial nilsequences $(\Phi(g(n)\Gamma))_{n\in\mathbb{Z}^{D}}$ and aperiodic multiplicative functions on $\mathcal{O}_{K}$, the ring of integers of $K$. Here $D=[K\colon\mathbb{Q}]$, $X=G/\Gamma$ is

Jing Nathan Yan, Oliver Schulte, Jiannan Wang, Reynold Cheng

A powerful approach to detecting erroneous data is to check which potentially dirty data records are incompatible with a user's domain knowledge. Previous approaches allow the user to specify domain knowledge in the form of logical constraints (e.g., functional dependency and denial constraints). We extend the constraint-based approach by introducing a novel

Caleb I. Cañas, Gudmundur Stefansson, Andrew J. Monson, Johanna K. Teske

We report the detection of a hot Jupiter ($M_{p}=1.75_{-0.17}^{+0.14}\ M_{J}$, $R_{p}=1.38\pm0.04\ R_{J}$) orbiting a middle-aged star ($\log g=4.152^{+0.030}_{-0.043}$) in the Transiting Exoplanet Survey Satellite (TESS) southern continuous viewing zone ($\beta=-79.59^{\circ}$). We confirm the planetary nature of the candidate TOI-150.01 using radial veloci

Jintao Wang, Longzhuang He, Jian Song

The combination of millimeter wave (mmWave) multiple-input multiple-output (MIMO) systems and index modulation (IM) technique has recently constituted a novel form of mmWave hybrid beamforming. Lots of studies have been conducted to show that such system has the potential to outperform conventional mmWave-MIMOs with respect to spectral efficiency (SE). Most

Xiyang Li, Shilei Zhang, Hang Li, Diego Alba Venero

A biskyrmion consists of two bound, topologically stable skyrmion spin textures. These coffee-bean-shaped objects have been observed in real-space in thin plates using Lorentz transmission electron microscopy (LTEM). From LTEM imaging alone, it is not clear whether biskyrmions are surface-confined objects, or, analogously to skyrmions in non-centrosymmetric

Qunliang Xing, Zhenyu Guan, Mai Xu, Ren Yang

The past few years have witnessed great success in applying deep learning to enhance the quality of compressed image/video. The existing approaches mainly focus on enhancing the quality of a single frame, not considering the similarity between consecutive frames. Since heavy fluctuation exists across compressed video frames as investigated in this paper, fra

Yamin Hu, Wenjian Luo, Junteng Wang

It is crucial to generate crafted SAT formulas with predefined solutions for the testing and development of SAT solvers since many SAT formulas from real-world applications have solutions. Although some generating algorithms have been proposed to generate SAT formulas with predefined solutions, community structures of SAT formulas are not considered. We prop

Giovanni Saponaro, Lorenzo Jamone, Alexandre Bernardino, Giampiero Salvi

We propose a developmental approach that allows a robot to interpret and describe the actions of human agents by reusing previous experience. The robot first learns the association between words and object affordances by manipulating the objects in its environment. It then uses this information to learn a mapping between its own actions and those performed b

Doried Ghader, Antoine Khater

Antiferromagnetic two-dimensional (2D) materials are currently under intensive theoretical and experimental investigations in view of their potential applications in antiferromagnet-based magnonic and spintronic devices. Recent experimental studies revealed the importance of magnetic anisotropy and Dzyaloshinskii-Moriya interactions (DMI) on the ordered grou

Ilkay Altintas, Kyle Marcus, Isaac Nealey, Scott L. Sellars

The advances in data, computing and networking over the last two decades led to a shift in many application domains that includes machine learning on big data as a part of the scientific process, requiring new capabilities for integrated and distributed hardware and software infrastructure. This paper contributes a workflow-driven approach for dynamic data-d

Kevin Cummiskey, Chanmin Kim, Christine Choirat, Lucas R. F. Henneman

There is increasing focus on whether air pollution originating from different sources has different health implications. In particular, recent evidence suggests that fine particulate matter (PM2.5) with chemical tracers suggesting coal combustion origins is especially harmful. Augmenting this knowledge with estimates from causal inference methods to identify

Gecia Bravo-Hermsdorff, Lee M. Gunderson

How might one "reduce" a graph? That is, generate a smaller graph that preserves the global structure at the expense of discarding local details? There has been extensive work on both graph sparsification (removing edges) and graph coarsening (merging nodes, often by edge contraction); however, these operations are currently treated separately. Interestingly

Pedro Savarese, Michael Maire

We introduce a parameter sharing scheme, in which different layers of a convolutional neural network (CNN) are defined by a learned linear combination of parameter tensors from a global bank of templates. Restricting the number of templates yields a flexible hybridization of traditional CNNs and recurrent networks. Compared to traditional CNNs, we demonstrat

Ryoma Sato, Makoto Yamada, Hisashi Kashima

Hard instances, which require a long time for a specific algorithm to solve, help (1) analyze the algorithm for accelerating it and (2) build a good benchmark for evaluating the performance of algorithms. There exist several efforts for automatic generation of hard instances. For example, evolutionary algorithms have been utilized to generate hard instances.

Bas Peters, Felix J. Herrmann

We propose algorithms and software for computing projections onto the intersection of multiple convex and non-convex constraint sets. The software package, called SetIntersectionProjection, is intended for the regularization of inverse problems in physical parameter estimation and image processing. The primary design criterion is working with multiple sets,

Ankit Raj, Yuqi Li, Yoram Bresler

A Generative Adversarial Network (GAN) with generator $G$ trained to model the prior of images has been shown to perform better than sparsity-based regularizers in ill-posed inverse problems. Here, we propose a new method of deploying a GAN-based prior to solve linear inverse problems using projected gradient descent (PGD). Our method learns a network-based

Phoebe Mulcaire, Jungo Kasai, Noah A. Smith

We introduce Rosita, a method to produce multilingual contextual word representations by training a single language model on text from multiple languages. Our method combines the advantages of contextual word representations with those of multilingual representation learning. We produce language models from dissimilar language pairs (English/Arabic and Engli

Nguyen Van Huynh, Dinh Thai Hoang, Diep N. Nguyen, Eryk Dutkiewicz

Effective network slicing requires an infrastructure/network provider to deal with the uncertain demand and real-time dynamics of network resource requests. Another challenge is the combinatorial optimization of numerous resources, e.g., radio, computing, and storage. This article develops an optimal and fast real-time resource slicing framework that maximiz

Hangyu Mao, Zhibo Gong, Zhengchao Zhang, Zhen Xiao

Communication is an important factor for the big multi-agent world to stay organized and productive. Recently, the AI community has applied the Deep Reinforcement Learning (DRL) to learn the communication strategy and the control policy for multiple agents. However, when implementing the communication for real-world multi-agent applications, there is a more

Yue Yu, Behçet Açıkmeşe

Bregman parallel direction method of multipliers (BPDMM) efficiently solves distributed optimization over a network, which arises in a wide spectrum of collaborative multi-agent learning applications. In this paper, we generalize BPDMM to stochastic BPDMM, where each iteration only solves local optimization on a randomly selected subset of nodes rather than

Shahin Boluki, Siamak Zamani Dadaneh, Xiaoning Qian, Edward R. Dougherty

Missing values frequently arise in modern biomedical studies due to various reasons, including missing tests or complex profiling technologies for different omics measurements. Missing values can complicate the application of clustering algorithms, whose goals are to group points based on some similarity criterion. A common practice for dealing with missing

Satoshi Matsuoka

In this paper, we give a new linear time correctness condition for proof nets of Multiplicative Linear Logic without units. Our approach is based on a rewriting system over trees. We have only three rewrite rules. Compared with previous linear time correctness conditions, our system is surprisingly simple and intuitively appealing.

Hassan Ataeian, Shahriar Esmaeili, Saeideh Roshanfekr, Neda Maleki Khas

In the area of data classification, the different classifiers have been developed by their own strengths and weaknesses. Among these classifiers, we propose a method that is based on the maximum margin between two classes. One of the main challenges in this area is dealt with noisy data. In this paper, our aim is to optimize the method of large margin classi

Fei Li, Fu-Zhong Yang

For D-brane system with three D-branes on compact Calabi-Yau threefolds, the dual F-theory fourfolds for parallel/complete coincident/part coincident D-brane system is constructed by the type II/F-theory duality. Complete coincident means that the three D-branes coincide and part coincident represents the coincident of two of the three D branes. The low ener

Xu Kang, Bin Song, Jie Guo, Xiaojiang Du

In recent years, with the development of the marine industry, navigation environment becomes more complicated. Some artificial intelligence technologies, such as computer vision, can recognize, track and count the sailing ships to ensure the maritime security and facilitates the management for Smart Ocean System. Aiming at the scaling problem and boundary ef

Bo Chang, Minmin Chen, Eldad Haber, Ed H. Chi

Recurrent neural networks have gained widespread use in modeling sequential data. Learning long-term dependencies using these models remains difficult though, due to exploding or vanishing gradients. In this paper, we draw connections between recurrent networks and ordinary differential equations. A special form of recurrent networks called the Antisymmetric

Jonas R. F. Lima, Luiz Felipe C. Pereira, Anderson L. R. Barbosa

We investigate the propagation of electronic waves described by the Dirac equation subject to a L\'evy-type disorder distribution. Our numerical calculations, based on the transfer matrix method, in a system with a distribution of potential barriers show that it presents a phase transition from anomalous to standard to anomalous localization as the incidence

Dan Wang, Wei Zhang, Bin Song, Xiaojiang Du

The ever-increasingly urban populations and their material demands have brought unprecedented burdens to cities. Smart cities leverage emerging technologies like the Internet of Things (IoT), Cognitive Radio Wireless Sensor Network (CR-WSN) to provide better QoE and QoS for all citizens. However, resource scarcity is an important challenge in CR-WSN. General

Chuangyi Gui, Long Zheng, Bingsheng He, Cheng Liu

Graph is a well known data structure to represent the associated relationships in a variety of applications, e.g., data science and machine learning. Despite a wealth of existing efforts on developing graph processing systems for improving the performance and/or energy efficiency on traditional architectures, dedicated hardware solutions, also referred to as

Isaac Oscar Gariano, Marco Servetto, Alex Potanin, Hrshikesh Arora

Static verification relying on an automated theorem prover can be very slow and brittle: since static verification is undecidable, correct code may not pass a particular static verifier. In this work we use metaprogramming to generate code that is correct by construction. A theorem prover is used only to verify initial "traits": units of code that can be use