April 2020 arXiv papers — page 19

Mihyun Kang, Michael Missethan

Let $A(n,m)$ be a graph chosen uniformly at random from the class of all vertex-labelled outerplanar graphs with $n$ vertices and $m$ edges. We consider $A(n,m)$ in the sparse regime when $m=n/2+s$ for $s=o(n)$. We show that with high probability the giant component in $A(n,m)$ emerges at $m=n/2+O\left(n^{2/3}\right)$ and determine the typical order of the 2

D. S. Ryan, S. Domínguez, S. A. Ross, N. Nigam

In this study we reproduced this compression-induced reduction in muscle force through the use of a three-dimensional finite element model of contracting muscle. The model used the principle of minimum total energy and allowed for the redistribution of energy through different strain energy-densities; this allowed us to determine the importance of the strain

Jiangsheng Hu, Dongdong Zhang, Tiwei Zhao, Panyue Zhou

Let $(\mathcal{C},\mathbb{E},\mathfrak{s})$ be an extriangulated category with a proper class $\xi$ of $\mathbb{E}$-triangles. In this paper, we study the balance of complete cohomology in $(\mathcal{C},\mathbb{E},\mathfrak{s})$, which is motivated by a result of Nucinkis that complete cohomology of modules is not balanced in the way the absolute cohomology

Jiangbin Lyu, Rui Zhang

Intelligent reflecting surface (IRS) is a new and promising paradigm to substantially improve the spectral and energy efficiency of wireless networks, by constructing favorable communication channels via tuning massive low-cost passive reflecting elements. Despite recent advances in the link-level performance optimization for various IRS-aided wireless syste

Hang Zhang, Dayiheng Liu, Jiancheng Lv, Cheng Luo

The generation of humor is an under-explored and challenging problem. Previous works mainly utilize templates or replace phrases to generate humor. However, few works focus on freer forms and the background knowledge of humor. The linguistic theory of humor defines the structure of a humor sentence as set-up and punchline. In this paper, we explore how to ge

Xue Yang, Junchi Yan, Wenlong Liao, Xiaokang Yang

Small and cluttered objects are common in real-world which are challenging for detection. The difficulty is further pronounced when the objects are rotated, as traditional detectors often routinely locate the objects in horizontal bounding box such that the region of interest is contaminated with background or nearby interleaved objects. In this paper, we fi

Benjamin Beeker, Nir Lazarovich

We classify the boundaries of hyperbolic groups that have enough quasiconvex codimension-1 surface subgroups with trivial or cyclic intersections.

Hamed Majidifard, Yaw Adu-Gyamfi, William G. Buttlar

Automated pavement distress detection via road images is still a challenging issue among pavement researchers and computer-vision community. In recent years, advancement in deep learning has enabled researchers to develop robust tools for analyzing pavement images at unprecedented accuracies. Nevertheless, deep learning models necessitate a big ground truth

Luyu Gao, Zhuyun Dai, Jamie Callan

Recent innovations in Transformer-based ranking models have advanced the state-of-the-art in information retrieval. However, these Transformers are computationally expensive, and their opaque hidden states make it hard to understand the ranking process. In this work, we modularize the Transformer ranker into separate modules for text representation and inter

Kiran Gopinathan, Ilya Sergey

Approximate Membership Query structures (AMQs) rely on randomisation for time- and space-efficiency, while introducing a possibility of false positive and false negative answers. Correctness proofs of such structures involve subtle reasoning about bounds on probabilities of getting certain outcomes. Because of these subtleties, a number of unsound arguments

Nisha Godani, Gauranga C. Samanta

The present paper is aimed at the study of traversable wormholes in $f(R)$ gravity with a viable $f(R)$ function defined as $f(R)=R-\mu R_c\Big(\frac{R}{R_c}\Big)^p$, where $R$ is scalar curvature, $\mu$, $R_c$ and $p$ are constants with $\mu, R_c>0$ and $0<p<1$ \citep{Amendola}. The metric of wormhole is dependent on shape function $b(r)$ and redshift funct

F. Sukochev, K. Tulenov, D. Zanin

We fix a gap in the proof of a result in our earlier paper arXiv:1908.09548

Liang Ding, Longyue Wang, Dacheng Tao

Position encoding (PE), an essential part of self-attention networks (SANs), is used to preserve the word order information for natural language processing tasks, generating fixed position indices for input sequences. However, in cross-lingual scenarios, e.g. machine translation, the PEs of source and target sentences are modeled independently. Due to word o

David E. Couch, Daniel D. Hickstein, David G. Winters, Sterling J. Backus

Vacuum ultraviolet (VUV) light is critical for the study of molecules and materials, but the generation of femtosecond pulses in the VUV region at high repetition rates has proven difficult. Here, we demonstrate the efficient generation of VUV light at MHz repetition rates using highly cascaded four-wave mixing processes in a negative-curvature hollow-core f

Liang Chen, Thomas W. Kephart

We model clusters of axions with spherically symmetric momentum but arbitrary spatial distributions and study the directional profile of photos produced in their evolution through spontaneous and stimulated decay of axions via the process $a \rightarrow \gamma + \gamma$. Several specific examples are presented.

Y. L. Tuo, L. Ji, S. S. Tsygankov, T. Mihara

We use the In data collected during the 2019 outburst from X-ray pulsar 4U 1901+03 to complement the orbital parameters reported by Fermi/GBM. Using the Insight-HXMT, we examine the correlation between the derivative of the intrinsic spin frequency and bolometric flux based on accretion torque models. It was found that the pulse profiles significantly evolve

Nikolaos S. Papageorgiou, Vicenţiu D. Rădulescu, Dušan D. Repovš

We consider a double phase problem driven by the sum of the $p$-Laplace operator and a weighted $q$-Laplacian ($q<p$), with a weight function which is not bounded away from zero. The reaction term is $(p-1)$-superlinear. Employing the Nehari method, we show that the equation has a ground state solution of constant sign and a nodal (sign-changing) solution.

Katharina Kann, Ophélie Lacroix, Anders Søgaard

Part-of-speech (POS) taggers for low-resource languages which are exclusively based on various forms of weak supervision - e.g., cross-lingual transfer, type-level supervision, or a combination thereof - have been reported to perform almost as well as supervised ones. However, weakly supervised POS taggers are commonly only evaluated on languages that are ve

Katharina Kann, Samuel R. Bowman, Kyunghyun Cho

We propose to cast the task of morphological inflection - mapping a lemma to an indicated inflected form - for resource-poor languages as a meta-learning problem. Treating each language as a separate task, we use data from high-resource source languages to learn a set of model parameters that can serve as a strong initialization point for fine-tuning on a re

Joey Tianyi Zhou, Xi Peng, Yew-Soon Ong

The real-world data usually exhibits heterogeneous properties such as modalities, views, or resources, which brings some unique challenges wherein the key is Heterogeneous Representation Learning (HRL) termed in this paper. This brief survey covers the topic of HRL, centered around several major learning settings and real-world applications. First of all, fr

Deepanshu Kush, Benjamin Rossman

For a fixed "pattern" graph $G$, the $\textit{colored $G$-subgraph isomorphism problem}$ (denoted $\mathrm{SUB}(G)$) asks, given an $n$-vertex graph $H$ and a coloring $V(H) \to V(G)$, whether $H$ contains a properly colored copy of $G$. The complexity of this problem is tied to parameterized versions of $\mathit{P}$ ${=}?$ $\mathit{NP}$ and $\mathit{L}$ ${=

Lujing Cen, Ryan Marcus, Hongzi Mao, Justin Gottschlich

Several programming languages use garbage collectors (GCs) to automatically manage memory for the programmer. Such collectors must decide when to look for unreachable objects to free, which can have a large performance impact on some applications. In this preliminary work, we propose a design for a learned garbage collector that autonomously learns over time

Pranay Gorantla, Ho Tat Lam

We study 3+1 dimensional $SU(N)$ Quantum Chromodynamics (QCD) with $N_f$ degenerate quarks that have a spatially varying complex mass. It leads to a network of interfaces connected by interface junctions. We use anomaly inflow to constrain these defects. Based on the chiral Lagrangian and the conjectures on the interfaces, characterized by a spatially varyin

Rodrigo Canaan, Xianbo Gao, Julian Togelius, Andy Nealen

Hanabi is a cooperative game that brings the problem of modeling other players to the forefront. In this game, coordinated groups of players can leverage pre-established conventions to great effect, but playing in an ad-hoc setting requires agents to adapt to its partner's strategies with no previous coordination. Evaluating an agent in this setting requires

T. Cinto, A. L. S. Gradvohl, G. P. Coelho, A. E. A. da Silva

Space weather events may cause damage to several fields, including aviation, satellites, oil and gas industries, and electrical systems, leading to economic and commercial losses. Solar flares are one of the most significant events, and refer to sudden radiation releases that can affect the Earth's atmosphere within a few hours or minutes. Therefore, it is w

A. K. Shafeeque Ali, M. Lakshmanan

We present a systematic investigation on the dynamics of a hollow Gaussian beam (HGB) in metamaterials. We predict self-trapped propagation of HGBs and evolution of the beam is highly influenced by dimensionless dispersion coefficient (k), which determines the strength of dispersion over diffraction. The evolutions of HGBs such as disappearance of single rin

Menglei Chai, Jian Ren, Sergey Tulyakov

In this paper, we propose a generic neural-based hair rendering pipeline that can synthesize photo-realistic images from virtual 3D hair models. Unlike existing supervised translation methods that require model-level similarity to preserve consistent structure representation for both real images and fake renderings, our method adopts an unsupervised solution

A. Bondar, E. Borisova, A. Buzulutskov, E. Frolov

Neutron veto detector based on liquid scintillator containing hydrogen atoms is an integral part of any underground experiment for dark matter search. So far, a flammable mixture of liquid hydrocarbons was used as a liquid scintillator in such detectors. A safe alternative might be a liquid scintillator based on liquid argon doped with methane. In this work,

Martin Péron, Christopher M. Baker, Barry D. Hughes, Iadine Chadès

Dual control denotes a class of control problems where the parameters governing the system are imperfectly known. The challenge is to find the optimal balance between probing, i.e. exciting the system to understand it more, and caution, i.e. selecting conservative controls based on current knowledge to achieve the control objective. Dynamic programming techn

Anjali Balagopal, Dan Nguyen, Howard Morgan, Yaochung Weng

In post-operative radiotherapy for prostate cancer, the cancerous prostate gland has been surgically removed, so the clinical target volume (CTV) to be irradiated encompasses the microscopic spread of tumor cells, which cannot be visualized in typical clinical images such as computed tomography or magnetic resonance imaging. In current clinical practice, phy

Ni Trieu, Kareem Shehata, Prateek Saxena, Reza Shokri

Contact tracing is an essential tool in containing infectious diseases such as COVID-19. Many countries and research groups have launched or announced mobile apps to facilitate contact tracing by recording contacts between users with some privacy considerations. Most of the focus has been on using random tokens, which are exchanged during encounters and stor

Antje Rogalla, Sascha Lehmann, Maximilian Neidhardt, Johanna Sprenger

In medicine, needles are frequently used to deliver treatments to subsurface targets or to take tissue samples from the inside of an organ. Current clinical practice is to insert needles under image guidance or haptic feedback, although that may involve reinsertions and adjustments since the needle and its interaction with the tissue during insertion cannot

Rodrigo Canaan, Xianbo Gao, Youjin Chung, Julian Togelius

Hanabi is a cooperative game that challenges exist-ing AI techniques due to its focus on modeling the mental states ofother players to interpret and predict their behavior. While thereare agents that can achieve near-perfect scores in the game byagreeing on some shared strategy, comparatively little progresshas been made in ad-hoc cooperation settings, where

Simon József Nagy, Bence Graics, Kristóf Marussy, András Vörös

Systems engineering approaches use high-level models to capture the architecture and behavior of the system. However, when safety engineers conduct safety and reliability analysis, they have to create formal models, such as fault-trees, according to the behavior described by the high-level engineering models and environmental/fault assumptions. Instead of cr

Radu Mateescu, Wendelin Serwe, Aymane Bouzafour, Marc Renaudin

Asynchronous circuits have several advantages for security applications, in particular their good resistance to attacks. In this paper, we report on experiments with modeling, at various abstraction levels, a patented asynchronous circuit for detecting physical attacks, such as cutting wires or producing short-circuits.

Lina Marsso

We present SCADE and Lustre models of the Message Authenticator Algorithm (MAA), which is one of the first cryptographic functions for computing a message authentication code. The MAA was adopted between 1987 and 2001, in international standards (ISO 8730 and ISO 8731-2), to ensure the authenticity and integrity of banking transactions. This paper discusses

Max J. Friese, Dirk Nowotka

Controller networks in today's automotive systems consist of more than 100 ECUs connected by various bus protocols. Seamless operation of the entire system requires a well-orchestrated interaction of these ECUs. Consequently, to ensure safety and comfort, a performance analysis is an inherent part of the engineering process. Conducting such an analysis manua

Clemens Dubslaff, Andrey Morozov, Christel Baier, Klaus Janschek

For the verification of systems using model-checking techniques, symbolic representations based on binary decision diagrams (BDDs) often help to tackle the well-known state-space explosion problem. Symbolic BDD-based representations have been also shown to be successful for the analysis of families of systems that arise, e.g., through configurable parameters

Jack Drury, Peter Höfner, Weiyou Wang

We present three formal models of the OSPF routing protocol. The first two are formalised in the timed process algebra T-AWN, which is not only tailored to routing protocols, but also specifies protocols in pseudo-code that is easily readable. The difference between the two models lies in the level of detail (level of abstraction). From the more abstract mod

Ryan Barry, Rob van Glabbeek, Peter Höfner

Routing protocol specifications are traditionally written in plain English. Often this yields ambiguities, inaccuracies or even contradictions. Formal methods techniques, such as process algebras, avoid these problems, thus leading to more precise and verifiable descriptions of protocols. In this paper we use the timed process algebra T-AWN for modelling the

Hugues Evrard

Consensus protocols are crucial for reliable distributed systems as they let them cope with network and server failures. For decades, most consensus protocols have been designed as variations of the seminal Paxos, yet in 2014 Raft was presented as a new, "understandable" protocol, meant to be easier to implement than the notoriously subtle Paxos family. Raft

Marc Bouissou, Shahid Khan, Joost-Pieter Katoen, Pavel Krcal

A Boolean logic driven Markov process (BDMP) is a dependability analysis model that defines a continuous-time Markov chain (CTMC). This formalism has high expressive power, yet it remains readable because its graphical representation stays close to standard fault trees. The size of a BDMP is roughly speaking proportional to the size of the system it models,

William La Cava, Jason H. Moore

Society has come to rely on algorithms like classifiers for important decision making, giving rise to the need for ethical guarantees such as fairness. Fairness is typically defined by asking that some statistic of a classifier be approximately equal over protected groups within a population. In this paper, current approaches to fairness are discussed and us

Takahiro Matsushita

The bounded degree complex $BD(G,\lambda)$ is a generalization of the matching complexes of a graph. In this paper, we show that the bounded degree complex of a forest is shellable, by using independence complexes of hypergraphs. We obtain a wedge decomposition result of bounded degree complexes when a graph $G$ has a leaf

Keonah Shin, Junseok Choe, Olga Gileva, Alain Iltis

COSINE-200 is the next phase of the ongoing COSINE-100 experiment. The main purpose of the experiment is the performance of an unambiguous verification of the annual modulation signals observed by the DAMA experiment. The success of the experiment critically depends on the production of a 200 kg array of ultra-pure NaI(Tl) crystal detectors that have lower b

Tao Zhu, Zu-Quan Zhang, Zhibin Gao, Jian-Sheng Wang

We present a general and convenient first principle method to study near-field radiative heat transfer. We show that the Landauer-like expression of heat flux can be expressed in terms of a frequency and wave-vector dependent macroscopic dielectric function which can be obtained from the linear response density functional theory. A random phase approximation

Yue Wang, Shafiq Joty, Michael R. Lyu, Irwin King

Visual dialog is a challenging vision-language task, where a dialog agent needs to answer a series of questions through reasoning on the image content and dialog history. Prior work has mostly focused on various attention mechanisms to model such intricate interactions. By contrast, in this work, we propose VD-BERT, a simple yet effective framework of unifie

Akira Matsui, Teruyoshi Kobayashi, Daisuke Moriwaki, Emilio Ferrara

Understanding consumer behavior is an important task, not only for developing marketing strategies but also for the management of economic policies. Detecting consumption patterns, however, is a high-dimensional problem in which various factors that would affect consumers' behavior need to be considered, such as consumers' demographics, circadian rhythm, sea

Micheal S. Berger, Zhi Liu

We study the quantum radiation from a curved background using scalar observables constructed from the (1+1) dimensional renormalized stress-energy tensor (RSET). We compute energy density $\cal U$, flux $\cal F$ and pressure $\cal P$ for an arbitrary collapse scenario and an arbitrary observer. The results show a clear structure: $\cal F - \cal U$ represents

I. G. Savenko, A. V. Kalameitsev, L. G. Mourokh, V. M. Kovalev

We study electron transport in two-dimensional materials with parabolic and linear (graphene) dispersions of the carriers in the presence of surface acoustic waves and an external magnetic field using semiclassical Boltzmann equations approach. We observe an oscillatory behavior of both the longitudinal and Hall electric currents as functions of the surface

Prasanta Bhattacharya, Raj Kumar Gupta, Yinping Yang

Emotional expressions form a key part of user behavior on today's digital platforms. While multimodal emotion recognition techniques are gaining research attention, there is a lack of deeper understanding on how visual and non-visual features can be used to better recognize emotions in certain contexts, but not others. This study analyzes the interplay betwe

Yuanhui Sun, Yawen Li, Tianshu Li, Koushik Biswas

The two-dimensional (2D) semiconductor indium selenide (InSe) has attracted significant interest due its unique electronic band structure, high electron mobility and wide tunability of its band gap energy achieved by varying the layer thickness. All these features make 2D InSe a potential candidate for advanced electronic and optoelectronic applications. Her

Amol Aggarwal

In this paper we consider the existence and uniqueness of pure states with some fixed slope $(s, t) \in [0, 1]^2$ for a general ferroelectric six-vertex model. First, we show there is an open subset $\mathfrak{H} \subset [0, 1]^2$, which is parameterized by the region between two explicit hyperbolas, such that there is no pure state for the ferroelectric six

Zhaohe Liao

In the current research of neural networks, the activation function is manually specified by human and not able to change themselves during training. This paper focus on how to make the activation function trainable for deep neural networks. We use series and linear combination of different activation functions make activation functions continuously variable

Shilin He, Xing Wang, Shuming Shi, Michael R. Lyu

Machine translation (MT) systems translate text between different languages by automatically learning in-depth knowledge of bilingual lexicons, grammar and semantics from the training examples. Although neural machine translation (NMT) has led the field of MT, we have a poor understanding on how and why it works. In this paper, we bridge the gap by assessing

Hui Zhao, MeiMing Zhang, Shao-Ming Fei, Naihuan Jing

We study the concurrence of arbitrary-dimensional multipartite quantum states. Analytical lower bounds of concurrence for tripartite quantum states are derived by projecting high-dimensional states to $2\otimes 2\otimes 2$ substates. The results are then generalized to arbitrary multipartite quantum systems. Furthermore, the scheme enables us obtain lower bo

Dougal Davis

In \cite{davis19}, the author constructed an elliptic version of the Grothendieck-Springer resolution for the stack $\mathrm{Bun}_G$ of principal bundles under a simply connected simple group $G$ on an elliptic curve $E$. This is a simultaneous log resolution of a map from $\mathrm{Bun}_G$ to the union of the coarse moduli space of semistable $G$-bundles and

T. Hotta, S. Higuchi, A. Ueda, K. Shinokita

Excitons, quasi particles composed of an electron and a hole, play an important role in optical responses in low-dimensional nanostructures. In this work, we have investigated exciton diffusion in a monolayer MoSe2 encapsulated between flakes of hexagonal boron nitrides (hBN/MoSe2/hBN). Through PL imaging and numerical solving the 2D diffusion equation, we r

Sean Symon, Simon J. Illingworth, Ivan Marusic

We analyse the inter-scale transfer of energy for two types of plane Poiseuille flow: the P4U exact coherent state of Park and Graham (2015) and turbulent flow in a minimal channel. For both flows, the dominant energy-producing modes are streamwise-constant streaks with a spanwise spacing of approximately 100 wall units. Since the viscous dissipation for the

Michelle Avataneo, Bertan Turhan

In many real-world matching applications, there are restrictions for institutions either on priorities of their slots or on the transferability of unfilled slots over others (or both). Motivated by the need in such real-life matching problems, this paper formulates a family of practical choice rules, slot-specific priorities with capacity transfers (SSPwCT).

Orhan Aygün, Bertan Turhan

Since 1950, India has been implementing the most comprehensive affirmative action program in the world. Vertical reservations are provided to members of historically discriminated Scheduled Castes (SC), Scheduled Tribes (ST), and Other Backward Classes (OBC). Horizontal reservations are provided for other disadvantaged groups, such as women and disabled peop

Alex Habeen Chang, Benjamin M. Case

Privacy preserving machine learning is an active area of research usually relying on techniques such as homomorphic encryption or secure multiparty computation. Recent novel encryption techniques for performing machine learning using deep neural nets on images have recently been proposed by Tanaka and Sirichotedumrong, Kinoshita, and Kiya. We present new cho

Matheesha Fernando, Nalin Asanka Gamagedara Arachchilage

Phishing is a way of stealing people's sensitive information such as username, password and banking details by disguising as a legitimate entity (i.e. email, website). Anti-phishing education considered to be vital in strengthening "human", the weakest link in information security. Previous research in anti-phishing education focuses on improving educational

Orhan Aygün, Bertan Turhan

Motivated by the need for real-world matching problems, this paper formulates a large class of practical choice rules, Generalized Lexicographic Choice Rules (GLCR), for institutions that consist of multiple divisions. Institutions fill their divisions sequentially, and each division is endowed with a sub-choice rule that satisfies classical substitutability

Mitsuhiro Okada, Mina Maruyama, Susumu Okada, Jamie H. Warner

Recent works have revealed that van der Waals (vdW) epitaxial growth of 2D materials on crystalline substrates, such as hexagonal boron nitride (hBN), leads to formation of self-aligned grains, which results in defect-free stitching between the grains. However, how the weak vdW interaction causes strong limitation on orientation of grains is still not unders

Xinyu Huang, Yuting Fang, Adam Noel, Nan Yang

This paper investigates the estimation of different parameters, e.g., propagation distance and flow velocity, by utilizing two fully-absorbing receivers (RXs) in a one-dimensional (1D) environment. The time-varying number of absorbed molecules at each RX and the number of absorbed molecules in a time interval as time approaches infinity are derived. Noisy mo

Andrés Cañas, Victor Marín, Héctor Pinedo

We introduce a theory of cyclic Kummer extensions of commutative rings for partial Galois extensions of finite groups, extending some of the well-known results of the theory of Kummer extensions of commutative rings developed by A. Z. Borevich. In particular, we provide necessary and sufficient conditions to determine when a partial $n$-kummerian extension i

Chen Zhao, Naihua Xiu, Hou-Duo Qi, Ziyan Luo

The sparse nonlinear programming (SNP) problem has wide applications in signal and image processing, machine learning, pattern recognition, finance and management, etc. However, the computational challenge posed by SNP has not yet been well resolved due to the nonconvex and discontinuous $\ell_0$-norm involved. In this paper, we resolve this numerical challe

Ze Wang

The human brain exhibits large-scale spontaneous fluctuations that account for most of its total energy metabolism. Independent of any overt function, this immense ongoing activity likely creates or maintains a potential functional brain reserve to facilitate normal brain function. An important property of spontaneous brain activity is the long-range tempora

Yau-Shian Wang, Hung-Yi Lee, Yun-Nung Chen

Learning continuous representations from unlabeled textual data has been increasingly studied for benefiting semi-supervised learning. Although it is relatively easier to interpret discrete representations, due to the difficulty of training, learning discrete representations for unlabeled textual data has not been widely explored. This work proposes TIGAN th

Martin Skrodzki

The JavaView visualization framework was designed at the end of the 1990s as a software that provides - among other services - easy, interactive geometry visualizations on web pages. We discuss how this and other design goals were met and present several applications to highlight the contemporary use-cases of the framework. However, as JavaView's easy web ex

Meenakshee Sharma, A. D. Patel, N. Ramasubramanian, Y. C. Saxena

Two magnetic configurations of Multi-cusp Plasma Device (MPD) have been explored to obtain high quiescence level, large uniform plasma region with nearly flat mean density and temperature profiles. In particular, properties of plasma in a six-pole six magnet (SPSM) and twelve pole six magnets (TPSM) cusp configurations are rigorously compared and reported he

S. Komarov, C. Reynolds, E. Churazov

We investigate how different magnetohydrodynamic models of propagation of a weak (Mach number ~1.2) shock in the core of a galaxy cluster affect its observational appearance, using the Perseus cluster as our fiducial model. In particular, we study how thermal conduction, both isotropic and anisotropic, and ion-electron temperature equilibration modify a weak

Aymen Hamrouni, Hakim Ghazzai, Mounir Frikha, Yehia Massoud

Mobile Crowdsourcing (MCS) photo-based is an arising field of interest and a trending topic in the domain of ubiquitous computing. It has recently drawn substantial attention of the smart cities and urban computing communities. In fact, the built-in cameras of mobile devices are becoming the most common way for visual logging techniques in our daily lives. M

Tushar Sikroria, Julio Soria, Richard Sandberg, Andrew Ooi

Motivated by the aero-acoustic feedback loop phenomenon in high speed free jets and impinging jets, a thorough examination of a POD (Proper Orthogonal Decomposition)-Galerkin method to determine the average convection velocity of coherent structures in the shear layer is presented in this paper. The technique is shown to be applicable to both time resolved a

Wentao Ma, Yiming Cui, Ting Liu, Dong Wang

Human conversations contain many types of information, e.g., knowledge, common sense, and language habits. In this paper, we propose a conversational word embedding method named PR-Embedding, which utilizes the conversation pairs $ \left\langle{post, reply} \right\rangle$ to learn word embedding. Different from previous works, PR-Embedding uses the vectors f

Tuhin Chakrabarty, Debanjan Ghosh, Smaranda Muresan, Nanyun Peng

We propose an unsupervised approach for sarcasm generation based on a non-sarcastic input sentence. Our method employs a retrieve-and-edit framework to instantiate two major characteristics of sarcasm: reversal of valence and semantic incongruity with the context which could include shared commonsense or world knowledge between the speaker and the listener.

Venkatesan Guruswami, Ray Li, Jonathan Mosheiff, Nicolas Resch

A family of error-correcting codes is list-decodable from error fraction $p$ if, for every code in the family, the number of codewords in any Hamming ball of fractional radius $p$ is less than some integer $L$ that is independent of the code length. It is said to be list-recoverable for input list size $\ell$ if for every sufficiently large subset of codewor

Chunle Huang

In this paper we study the extension of holomorphic canonical forms on complete d-bounded Kahler manifolds by using L2 analytic methods and L2 Hogde theory, which generalizes some classical results to noncompact cases.

Dai Hoang Tran, Quan Z. Sheng, Wei Emma Zhang, Salma Abdalla Hamad

In recent years, the emerging topics of recommender systems that take advantage of natural language processing techniques have attracted much attention, and one of their applications is the Conversational Recommender System (CRS). Unlike traditional recommender systems with content-based and collaborative filtering approaches, CRS learns and models user's pr

Slimane Adjerid, Ivo Babuska, Ruchi Guo, Tao Lin

This article presents and analyzes a $p^{th}$-degree immersed finite element (IFE) method for elliptic interface problems with nonhomogeneous jump conditions. In this method, jump conditions are approximated optimally by basic IFE and enrichment IFE piecewise polynomial functions constructed by solving local Cauchy problems on interface elements. The propose

Valentinus Galih Vidia Putra, Juliany Ningsih Mohamad

The application of differential equations is commonly used in mathematics and physics, as well as various other sciences to explain a phenomenon in a system. This paper explains the mathematical modeling in the analysis of the nCOVID-19 plague in Indonesia on March 3, 2020, to April 19, 2020, with the modification of the Bernoulli equation and the simulation

Cameron Allen, Michael Katz, Tim Klinger, George Konidaris

The difficulty of deterministic planning increases exponentially with search-tree depth. Black-box planning presents an even greater challenge, since planners must operate without an explicit model of the domain. Heuristics can make search more efficient, but goal-aware heuristics for black-box planning usually rely on goal counting, which is often quite uni

Emmi Meyer-Hofmeister, B. F. Liu, E. Qiao, Ronald E. Taam

Context: Cygnus X-1 is a black hole X-ray binary system in which the black hole captures and accretes gas from the strong stellar wind emitted by its supergiant O9.7 companion star. The irradiation of the supergiant star essentially determines the flow properties of the stellar wind and the X-ray luminosity from the system. The results of three-dimensional h

Heather Kaluna, Mailani Neal, Makana Silva, Tyler Trent

In the field of astronomy, Maunakea is known as a prestigious site for observing and science. In Native Hawaiian culture, Maunakea is revered as the connection between past, present, and future generations and their ancestral lands of Hawai'i. We have reached a juncture at which it is necessary to allow and enable Native Hawaiians to pursue careers in astron

M Saiful Bari, Tasnim Mohiuddin, Shafiq Joty

Transfer learning has yielded state-of-the-art (SoTA) results in many supervised NLP tasks. However, annotated data for every target task in every target language is rare, especially for low-resource languages. We propose UXLA, a novel unsupervised data augmentation framework for zero-resource transfer learning scenarios. In particular, UXLA aims to solve cr

Ralph Holz, Diego Perino, Matteo Varvello, Johanna Amann

In late 2017, a sudden proliferation of malicious JavaScript was reported on the Web: browser-based mining exploited the CPU time of website visitors to mine the cryptocurrency Monero. Several studies measured the deployment of such code and developed defenses. However, previous work did not establish how many users were really exposed to the identified mini

Mrityunjay Kothari, Tal Cohen

A recent study has demonstrated that phase separation in binary liquid mixtures is arrested in the presence of elastic networks and can lead to a nearly uniformly-sized distribution of the dilute-phase droplets. At longer timescales, these droplets exhibit a directional preference to migrate along elastic property gradients to form a front of dissolving drop

Leopoldo Bertossi

We propose answer-set programs that specify and compute counterfactual interventions as a basis for causality-based explanations to decisions produced by classification models. They can be applied with black-box models and models that can be specified as logic programs, such as rule-based classifiers. The main focus in on the specification and computation of

Huan Xiao

We study Campana points on biequivariant compactifications of the Heisenberg group and confirm the log Manin conjecture introduced by Pieropan, Smeets, Tanimoto and V\'{a}rilly-Alvarado.

Dung Nguyen, Duc Thanh Nguyen, Rui Zeng, Thanh Thi Nguyen

Multimodal dimensional emotion recognition has drawn a great attention from the affective computing community and numerous schemes have been extensively investigated, making a significant progress in this area. However, several questions still remain unanswered for most of existing approaches including: (i) how to simultaneously learn compact yet representat

Takaaki Koike, Yuri F. Saporito, Rodrigo S. Targino

This paper is concerned with the process of risk allocation for a generic multivariate model when the risk measure is chosen as the Value-at-Risk (VaR). We recast the traditional Euler contributions from an expectation conditional on an event of zero probability to a ratio involving conditional expectations whose conditioning events have strictly positive pr

Junyu Liu, Yuan Xin

Conformal truncation is a powerful numerical method for solving generic strongly-coupled quantum field theories based on purely field-theoretic technics without introducing lattice regularization. We discuss possible speedups for performing those computations using quantum devices, with the help of near-term and future quantum algorithms. We show that this c

Saurav Maji, Utsav Banerjee, Samuel H Fuller, Mohamed R Abdelhamid

This paper presents a dual-factor authentication protocol and its low-power implementation for security of implantable medical devices (IMDs). The protocol incorporates traditional cryptographic first-factor authentication using Datagram Transport Layer Security - Pre-Shared Key (DTLS-PSK) followed by the user's touch-based voluntary second-factor authentica

Shixiang Chen, Alfredo Garcia, Shahin Shahrampour

The stochastic subgradient method is a widely-used algorithm for solving large-scale optimization problems arising in machine learning. Often these problems are neither smooth nor convex. Recently, Davis et al. [1-2] characterized the convergence of the stochastic subgradient method for the weakly convex case, which encompasses many important applications (e

Roger Casals, Renato Vianna

This article introduces a new method to construct volume-filling symplectic embeddings of 4-dimensional ellipsoids by employing polytope mutations in toric and almost-toric varieties. The construction uniformly recovers the full sequences for the Fibonacci Staircase of McDuff-Schlenk, the Pell Staircase of Frenkel-Muller and the Cristofaro-Gardiner-Kleinman'

Scott Aaronson, Shalev Ben-David, Robin Kothari, Avishay Tal

Based on the recent breakthrough of Huang (2019), we show that for any total Boolean function $f$, the deterministic query complexity, $D(f)$, is at most quartic in the quantum query complexity, $Q(f)$: $D(f) = O(Q(f)^4)$. This matches the known separation (up to log factors) due to Ambainis, Balodis, Belovs, Lee, Santha, and Smotrovs (2017). We also use the

Marjan Albooyeh, Rishab Goel, Seyed Mehran Kazemi

Many important problems can be formulated as reasoning in knowledge graphs. Representation learning has proved extremely effective for transductive reasoning, in which one needs to make new predictions for already observed entities. This is true for both attributed graphs(where each entity has an initial feature vector) and non-attributed graphs (where the o

Chen Fei, Weiyin Fei, Xuerong Mao, Litan Yan

Based on the classical probability, the stability criteria for stochastic differential delay equations (SDDEs) where their coefficients are either linear or nonlinear but bounded by linear functions have been investigated intensively. Moreover, the dependent stability of the highly nonlinear hybrid stochastic differential equations is recently studied. In th

Taylor Dupuy, Anton Hilado

We show that Mochizuki's initial theta data is computable from an elliptic curve defined over $\mathbb{Q}$. We work out the case of initial theta data for the elliptic curve with Cremona label 11a1 in detail.