March 2020 arXiv papers — page 74

Yiming Li, Baoyuan Wu, Yan Feng, Yanbo Fan

Adversarial examples have been shown to be the severe threat to deep neural networks (DNNs). One of the most effective adversarial defense methods is adversarial training (AT) through minimizing the adversarial risk $R_{adv}$, which encourages both the benign example $x$ and its adversarially perturbed neighborhoods within the $\ell_{p}$-ball to be predicted

Avgoustinos Vouros, Eleni Vasilaki

We consider the problem of data clustering with unidentified feature quality and when a small amount of labelled data is provided. An unsupervised sparse clustering method can be employed in order to detect the subgroup of features necessary for clustering and a semi-supervised method can use the labelled data to create constraints and enhance the clustering

Deepan Muthirayan, Masood Parvania, Pramod P. Khargonekar

This paper proposes online algorithms for dynamic matching markets in power distribution systems, which at any real-time operation instance decides about matching -- or delaying the supply of -- flexible loads with available renewable generation with the objective of maximizing the social welfare of the exchange in the system. More specifically, two online m

Abigail Hsu, Ryan Kaufman, James Glimm

We formulate multifractal models for velocity differences and gradients which describe the full range of length scales in turbulent flow, namely: laminar, dissipation, inertial, and stirring ranges. The models subsume existing models of inertial range turbulence. In the localized ranges of length scales in which the turbulence is only partially developed, we

Francesco Casella

This paper studies if and to which extent COVID-19 epidemics can be controlled by authorities taking decisions on public health measures on the basis of daily reports of swab test results, active cases and total cases. A suitably simplified process model is derived to support the controllability analysis, highlighting the presence of very significant time de

Edgar Santos-Fernandez, Kerrie Mengersen

So-called 'citizen science' data elicited from crowds has become increasingly popular in many fields including ecology. However, the quality of this information is being frequently debated by many within the scientific community. Therefore, modern citizen science implementations require measures of the users' proficiency that account for the diff

Dor Gabay

A generalized uncertainty principle is obtained from a conformally transformed action containing a scalar field and a unique constraint. The constraint's Lagrange multiplier is found to obey a relativistic diffusion equation transforming the internal coordinates of the scalar field, via the shift theorem. For an approximately conserved Noether current, t

Andrew J. Taylor, Pio Ong, Jorge Cortes, Aaron D. Ames

The efficient utilization of available resources while simultaneously achieving control objectives is a primary motivation in the event-triggered control paradigm. In many modern control applications, one such objective is enforcing the safety of a system. The goal of this paper is to carry out this vision by combining event-triggered and safety-critical con

José Madrid, João P. G. Ramos

We study autocorrelation inequalities, in the spirit of Barnard and Steinerberger's work. In particular, we obtain improvements on the sharp constants in some of the inequalities previously considered by these authors, and also prove existence of extremizers to these inequalities in certain specific settings. Our methods consist of relating the inequalities

Pei Xu, Ioannis Karamouzas

Data-driven methods for physics-based character control using reinforcement learning have been successfully applied to generate high-quality motions. However, existing approaches typically rely on Gaussian distributions to represent the action policy, which can prematurely commit to suboptimal actions when solving high-dimensional continuous control problems

Apostolos Mastichiadis, Ioulia Florou, Elina Kefala, Stella S. Boula

Hadronic supercriticalities are radiative instabilities that appear when large amounts of energy are stored in relativistic protons. When the proton energy density exceeds some critical value, a runaway process is initiated resulting in the explosive transfer of the proton energy into electron-positron pairs and radiation. The runaway also leads to an increa

Ibrahim Dakaou, Abdoulaye Soumana Hima

In this paper, we consider forward-backward stochastic differential equation driven by $G$-Brownian motion ($G$-FBSDEs in short) with small parameter $\varepsilon > 0$. We study the asymptotic behavior of the solution of the backward equation and establish a large deviation principle for the corresponding process.

Peter Benner, Sara Grundel, Petar Mlinarić

Clustering by projection has been proposed as a way to preserve network structure in linear multi-agent systems. Here, we extend this approach to a class of nonlinear network systems. Additionally, we generalize our clustering method which restores the network structure in an arbitrary reduced-order model obtained by projection. We demonstrate this method on

Natasha Jarus, Antonio Sabatini, Pratik Maheshwari, Sahra Sedigh Sarvestani

Observing, understanding, and mitigating the effects of failure in embedded systems is essential for building dependable control systems. We develop a software-based monitoring methodology to further this goal. This methodology can be applied to any embedded system peripheral and allows the system to operate normally while the monitoring software is running.

Alexander E. Khudozhitkov, Sergei S. Arzumanov, Daniil I. Kolokolov, Alexander G. Stepanov

We present a detailed $^{2}$H NMR characterization of molecular mobility of 1-butene and n-butane propagating through the microporous ZIF-8, a zeolitic imidazolate framework renowned for its outstandingly high stability and separation selectivity of various. The experimental characterization of n-butane and 1-butene diffusivity in ZIF-8 on the molecular scal

Svenja Lohmann, Anna Niggas, Vincent Charnay, Radek Holeňák

We present a method to measure the kinetic energy of electrons emitted upon ion impact via their time-of-flight. Pulsed beams of H$^{+}$, D$_2^{+}$, He$^{+}$ and Ne$^{+}$ ions with velocities between 0.4 and 3.5 a.u. are transmitted through thin, self-supporting carbon and gold foils. Transmitted ions and secondary electrons are detected with a position-sens

Sharif Abuadbba, Kyuyeon Kim, Minki Kim, Chandra Thapa

A new collaborative learning, called split learning, was recently introduced, aiming to protect user data privacy without revealing raw input data to a server. It collaboratively runs a deep neural network model where the model is split into two parts, one for the client and the other for the server. Therefore, the server has no direct access to raw data pro

Maryam R. Al Shehhi, Abdullah Kaya

Managing the quality of water for present and future generations of coastal regions should be a central concern of both citizens and public officials. Remote sensing can contribute to the management and monitoring of coastal water and pollutants. Algal blooms are a coastal pollutant that is a cause of concern. Many satellite data, such as MODIS, have been us

Harish Tayyar Madabushi, Elena Kochkina, Michael Castelle

The automatic identification of propaganda has gained significance in recent years due to technological and social changes in the way news is generated and consumed. That this task can be addressed effectively using BERT, a powerful new architecture which can be fine-tuned for text classification tasks, is not surprising. However, propaganda detection, like

Antonio Petraglia, Carmina Sirignano, Raffaele Buompane, Antonio D'Onofrio

The present work concerns data of three campaigns carried out during the last twenty years in the plain of the Garigliano river surrounding the Garigliano Nuclear Power Plant (GNPP), which is located in Southern Italy and shut down in 1979. Moreover, some data from surveys held in the eighties, across the Chernobyl accident, have been taken in account. The r

E. Alhassan, D. Rochman, A. Vasiliev, M. Wohlmuther

In this work, we explore the use of an iterative Bayesian Monte Carlo (IBM) procedure for nuclear data evaluation within a Talys Evaluated Nuclear data Library (TENDL) framework. In order to identify the model and parameter combinations that reproduce selected experimental data, different physical models implemented within the TALYS code, were sampled and va

Nitish Nag

Life's most valuable asset is health. Continuously understanding the state of our health and modeling how it evolves is essential if we wish to improve it. Given the opportunity that people live with more data about their life today than any other time in history, the challenge rests in interweaving this data with the growing body of knowledge to compute

Anirban Chatterjee, Subhadip Paul, Uddipto Dutta, Smaranya Dey

Time Series Forecasting is at the core of many practical applications such as sales forecasting for business, rainfall forecasting for agriculture and many others. Though this problem has been extensively studied for years, it is still considered a challenging problem due to complex and evolving nature of time series data. Typical methods proposed for time s

Çağlar Seylan, Özgür Saygın Bican, Fatih Semiz

The importance of area coverage with unmanned vehicles, in other words, traveling an area with an unmanned vehicle such as a robot or a UAV completely or partially with minimum cost, is increasing with the increase in usage of such vehicles today. Area coverage with unmanned vehicles is used today in the exploration of an area with UAVs, sweeping mines with

Sohrab Hossain, Dhiman Sarma, Rana Joyti Chakma, Wahidul Alam

The coronary artery disease (CAD) involves narrowing and damaging the major blood vessels has become the most life threating disease in the world especially in south Asian reason. Although outstanding medical facilities are available in Singapore and India for CAD patients, early detection of CAD stages are necessary to minimize the patients' sufferings

M. Hamed Mozaffari, Won-Sook Lee

One usage of medical ultrasound imaging is to visualize and characterize human tongue shape and motion during a real-time speech to study healthy or impaired speech production. Due to the low-contrast characteristic and noisy nature of ultrasound images, it might require expertise for non-expert users to recognize tongue gestures in applications such as visu

Cankun Qiu, Zhi Luo, Xia Wu, Huidong Yang

The light scattering of multilayer nanoparticles can be solved by Maxwell equations. However, it is difficult to solve the inverse design of multilayer nanoparticles by using the traditional trial-and-error method. Here, we present a method for forward simulation and inverse design of multilayer nanoparticles. We combine the global search ability of genetic

Xuge Fan, Fredrik Forsberg, Anderson D. Smith, Stephan Schröder

Graphene is an atomically thin material that features unique electrical and mechanical properties, which makes it an extremely promising material for future nanoelectromechanical systems (NEMS). Recently, basic NEMS accelerometer functionality has been demonstrated by utilizing piezoresistive graphene ribbons with suspended silicon proof masses. However, the

Zhenyu Liang, Yunfan Li, Zhongwei Wan

Estimation of distribution algorithms (EDA) are stochastic optimization algorithms. EDA establishes a probability model to describe the distribution of solution from the perspective of population macroscopically by statistical learning method, and then randomly samples the probability model to generate a new population. EDA can better solve multi-objective o

Ali-akbar Agha-mohammadi, Andrea Tagliabue, Stephanie Schneider, Benjamin Morrell

In this report for the Nasa NIAC Phase I study, we present a mission architecture and a robotic platform, the Shapeshifter, that allow multi-domain and redundant mobility on Saturn's moon Titan, and potentially other bodies with atmospheres. The Shapeshifter is a collection of simple and affordable robotic units, called Cobots, comparable to personal pal

Aritro Pathak

We generalize the well known Glaisher partition bijection result. For given positive integers n, d, both greater than 1, we provide a rich family of bijections between the set of partitions of n where at least one part is divisible by d, and the set of partitions where at least one part appears d or more times.

Arjeh Kurzweil, Erez Sheiner

In this short paper we show that with a small change of the common ruler and compass construction of the regular pentadecagon, we can produce more regular polygons

Hui-Jie Han, Xiao-Ping Lu, Ya-Zhou Yang, Hao Zhang

The absorption features of olivine in visible and near-infrared (VNIR) reflectance spectra are the key spectral parameters in its mineralogical studies. Generally, these spectral parameters can be obtained by exploiting the Modified Gaussian Model (MGM) with a proper continuum removal. However, different continua may change the deconvolution results of these

Peter Schenzel

Let $\check{C}_{\underline{x}}$ denote the Čech complex with respect to a system of elements $\underline{x} = x_1,\ldots,x_r$ of a commutative ring $R$. We construct a bounded complex $\mathcal{L}_{\underline{x}}$ of free $R$-modules and a quasi-isomorphism $\mathcal{L}_{\underline{x}} \stackrel{\sim}{\longrightarrow} \check{C}_{\underline{x}}$ and isomorphi

E. Sánchez-Burillo, D. Porras, A. González-Tudela

The exchange of off-resonant propagating photons between distant quantum emitters induces coherent interactions among them. The range of such interactions, and whether they are accompanied by dissipation, depends on the photonic energy dispersion, its dimensionality, and/or the light-matter couplings. In this manuscript, we characterize the limits of photon-

Meng Chen, Xiaohui Yu, Yang Liu

The wide spread use of positioning and photographing devices gives rise to a deluge of traffic trajectory data (e.g., vehicle passage records and taxi trajectory data), with each record having at least three attributes: object ID, location ID, and time-stamp. In this paper, we propose a novel mobility pattern embedding model called MPE to shed the light on p

Qingjie Liu, Yixuan Zuo, Xiaohui Yu, Meng Chen

Next location prediction is of great importance for many location-based applications and provides essential intelligence to business and governments. In existing studies, a common approach to next location prediction is to learn the sequential transitions with massive historical trajectories based on conditional probability. Unfortunately, due to the time an

Meng Chen, Xiaohui Yu, Yang Liu

The widespread use of positioning devices (e.g., GPS) has given rise to a vast body of human movement data, often in the form of trajectories. Understanding human mobility patterns could benefit many location-based applications. In this paper, we propose a novel generative model called TraLFM via latent factor modeling to mine human mobility patterns underly

Xiaoquan Xu

In this paper, we provide a uniform approach to $d$-spaces, sober spaces and well-filtered spaces, and develop a general framework for dealing with all these spaces. For a subset system H, the theory of H-sober spaces and super H-sober spaces is established, and a direct construction of the H-sobrifcations and super H-sobrifications of $T_0$ spaces is given.

Yuting Hu, Zhiling Long, Anirudha Sundaresan, Motaz Alfarraj

Tactile sensing or fabric hand plays a critical role in an individual's decision to buy a certain fabric from the range of available fabrics for a desired application. Therefore, textile and clothing manufacturers have long been in search of an objective method for assessing fabric hand, which can then be used to engineer fabrics with a desired hand. Rec

Roberto Fusco-Femiano

The relaxed galaxy cluster Zwicky 3146 is analyzed via the SuperModel, a tool already tested on many clusters since 2009. In particular, this analysis is focused on the intracluster medium X-ray temperature data measured by XMM-Newton up to r_{500}. A previous analysis was based on the temperature profile derived from the Sunyaev-Zeldovich effect pressure da

Stefanos Baros, Andrey Bernstein, Nikos Hatziargyriou

Operating modern power grids with stability guarantees is admittedly imperative. Classic stability methods are not well-suited for these dynamic systems as they involve centralized gathering of information and computation of the system's eigenvalues, processes which are oftentimes not privacy-preserving and computationally burdensome. System operators (S

Bas Peters, Eldad Haber, Keegan Lensink

The large spatial/frequency scale of hyperspectral and airborne magnetic and gravitational data causes memory issues when using convolutional neural networks for (sub-) surface characterization. Recently developed fully reversible networks can mostly avoid memory limitations by virtue of having a low and fixed memory requirement for storing network states, a

M. Lafarga, I. Ribas, C. Lovis, M. Perger

For years, the standard procedure to measure radial velocities (RVs) of spectral observations consisted in cross-correlating the spectra with a binary mask, that is, a simple stellar template that contains information on the position and strength of stellar absorption lines. The cross-correlation function (CCF) profiles also provide several indicators of ste

Philip Jones, Teng Zhang, Haixing Miao, Andreas Freise

The design of a complex instrument such as Einstein Telescope (ET) is based on a target sensitivity derived from an elaborate case for scientific exploration. At the same time it incorporates many trade-off decisions to maximise the scientific value by balancing the performance of the various subsystems against the cost of the installation and operation. In

Dongfang Xu, Xianghao Yu, Yan Sun, Derrick Wing Kwan Ng

In this paper, we investigate the resource allocation design for intelligent reflecting surface (IRS)-assisted full-duplex (FD) cognitive radio systems. In particular, a secondary network employs an FD base station (BS) for serving multiple half-duplex downlink (DL) and uplink (UL) users simultaneously. An IRS is deployed to enhance the performance of the se

Deepak Verma, Sean M. O. O Connell, Alexandra J. Feinberg, Swetha Erukala

Previous single-pulse extreme ultraviolet and X-ray coherent diffraction studies revealed that superfluid 4He droplets obtained in free jet expansion acquire sizable angular momentum, resulting in significant centrifugal distortion. Similar experiments with normal fluid 3He droplets may help elucidating the origin of the of the large degree of rotational exc

Antonia Saravanou, Giorgio Stefanoni, Edgar Meij

The volume of news content has increased significantly in recent years and systems to process and deliver this information in an automated fashion at scale are becoming increasingly prevalent. One critical component that is required in such systems is a method to automatically determine how notable a certain news story is, in order to prioritize these storie

Yican Chen, Zhi Luo, Xia Wu, Huidong Yang

Fourier ptychography is a recently explored imaging method for overcoming the diffraction limit of conventional cameras with applications in microscopy and yielding high-resolution images. In order to splice together low-resolution images taken under different illumination angles of coherent light source, an iterative phase retrieval algorithm is adopted. Ho

Anssi Yli-Jyrä, Josi Purhonen, Matti Liljeqvist, Arto Antturi

Twenty-five years ago, morphologically aligned Hebrew-Finnish and Greek-Finnish bitexts (texts accompanied by a translation) were constructed manually in order to create an analytical concordance (Luoto et al., 1997) for a Finnish Bible translation. The creators of the bitexts recently secured the publisher's permission to release its fine-grained alignm

Lei Chen, Kathryn Mann

Let $M$ be a manifold, $N$ a 1-dimensional manifold. Assuming $r \neq \dim(M)+1$, we show that any nontrivial homomorphism $ρ: \text{Diff}^r_c(M)\to \text{Homeo}(N)$ has a standard form: necessarily $M$ is $1$-dimensional, and there are countably many embeddings $ϕ_i: M\to N$ with disjoint images such that the action of $ρ$ is conjugate (via the product of t

Damon J. Binder, Daniel Z. Freedman, Silviu S. Pufu

We develop a new embedding-space formalism for AdS$_4$ and CFT$_3$ that is useful for evaluating Witten diagrams for operators with spin. The basic variables are Killing spinors for the bulk AdS$_4$ and conformal Killing spinors for the boundary CFT$_3$. The more conventional embedding space coordinates $X^I$ for the bulk and $P^I$ for the boundary are bilin

Noritaka Sakakibara, Yu Yu Phua, Tsuyohito Ito, Kazuo Terashima

Reddish coloration and color diversity among icy bodies in the outer solar system are one of the significant clues for understanding the status and history of the solar system. However, the origin of color distribution remains debatable. Here, we demonstrate reddish coloration that is stable only at cryogenic temperatures in a laboratory experiment. The redd

Shipra Malhotra, John Karanicolas

Over the past decade, random forest models have become widely used as a robust method for high-dimensional data regression tasks. In part, the popularity of these models arises from the fact that they require little hyperparameter tuning and are not very susceptible to overfitting. Random forest regression models are comprised of an ensemble of decision tree

Archisman Ghosh, Debayan Das, Shreyas Sen

Mathematically-secure cryptographic algorithms leak significant side channel information through their power supplies when implemented on a physical platform. These side channel leakages can be exploited by an attacker to extract the secret key of an embedded device. The existing state-of-the-art countermeasures mainly focus on the power balancing, gate-leve

Ualbai Umirbaev, Viktor Zhelyabin

We consider a skew-symmetric $n$-ary bracket on the polynomial algebra $K[x_1,\ldots,x_n,x_{n+1}]$ ($n\geq 2$) over a field $K$ of characteristic zero defined by $\{a_1,\ldots,a_n\}=J(a_1,\ldots,a_n,C)$, where $C$ is a fixed element of $K[x_1,\ldots,x_n,x_{n+1}]$ and $J$ is the Jacobian. If $n=2$ then this bracket is a Poisson bracket and if $n\geq 3$ then i

Christopher Baik, Zhongjun Jin, Michael Cafarella, H. V. Jagadish

Querying a relational database is difficult because it requires users to know both the SQL language and be familiar with the schema. On the other hand, many users possess enough domain familiarity or expertise to describe their desired queries by alternative means. For such users, two major alternatives to writing SQL are natural language interfaces (NLIs) a

I. D. Tokman, Qianfan Chen, I. A. Shereshevsky, V. I. Pozdnyakova

We report systematic theoretical studies of the inverse Faraday effect in materials with massless Dirac fermions, both in two dimensions such as graphene and surface states in topological insulators, and in three dimensions such as Dirac and Weyl semimetals. Both semiclassical and quantum theories are presented, with dissipation and finite size effects inclu

L. Herrera

We endeavour to illustrate the physical relevance of the Landauer principle applying it to different important issues concerning the theory of gravitation. We shall first analyze, in the context of general relativity, the consequences derived from the fact, implied by Landauer principle, that information has mass. Next, we shall analyze the role played by th

R. Baghran, M. M. Tehranchi, A. Phirouznia

Spin to pseudo-spin conversion by which spin population imbalance converts to non-equilibrium pseudo-spin density in Dirac systems has been investigated particularly for graphene and insulator phase of silicene. Calculations have been performed within the Kubo approach and by taking into account the vertex correction. Results indicate that spin converts to p

Lili Zheng, Garvesh Raskutti, Rebecca Willett, Benjamin Mark

High-dimensional autoregressive point processes model how current events trigger or inhibit future events, such as activity by one member of a social network can affect the future activity of his or her neighbors. While past work has focused on estimating the underlying network structure based solely on the times at which events occur on each node of the net

Shiladitya Bhattacharya, Siddharth Singh, Ritesh Kumar, Akanksha Bansal

In this paper, we discuss the development of a multilingual annotated corpus of misogyny and aggression in Indian English, Hindi, and Indian Bangla as part of a project on studying and automatically identifying misogyny and communalism on social media (the ComMA Project). The dataset is collected from comments on YouTube videos and currently contains a total

Shenghui Chen, Kayla Boggess, Lu Feng

Providing explanations of chosen robotic actions can help to increase the transparency of robotic planning and improve users' trust. Social sciences suggest that the best explanations are contrastive, explaining not just why one action is taken, but why one action is taken instead of another. We formalize the notion of contrastive explanations for roboti

E. R. Willis, R. T. Garrod, A. Belloche, H. S. P. Müller

We used the EMoCA survey data to search for isocyanides in Sgr B2(N2) and their corresponding cyanide analogs. We then used the coupled three-phase chemical kinetics code MAGICKAL to simulate their chemistry. Several new species, and over 100 new reactions have been added to the network. In addition, a new single-stage simultaneous collapse/warm-up model has

Alan T. Sherman, Erin Lanus, Moses Liskov, Edward Zieglar

We analyze the Secure Remote Password (SRP) protocol for structural weaknesses using the Cryptographic Protocol Shapes Analyzer (CPSA) in the first formal analysis of SRP (specifically, Version 3). SRP is a widely deployed Password Authenticated Key Exchange (PAKE) protocol used in 1Password, iCloud Keychain, and other products. As with many PAKE protocols,

Hamid Sanavandi, Shiran Bao, Yang Zhang, Ruben Keijzer

Cryogenic helium-4 has extremely small kinetic viscosity, which makes it a promising material for high Reynolds ($Re$) number turbulence research in compact laboratory apparatuses. In its superfluid phase (He II), helium has an extraordinary heat transfer capability and has been utilized in various scientific and engineering applications. In order to unlock

E. G. Drukarev, A. I. Mikhailov, Kh. Yu. Rakhimov, H. T. Yusupov

We study the photoionization of the $s$ states in the systems bound by sufficiently weak central fields $V(r)$ for the large photon energies corresponding to the relativistic photoelectrons. We demonstrate that the energy dependence of the photoionization cross section can be obtained without solving the wave equation. We show that the shape of the energy de

Sina Ghiassian, Banafsheh Rafiee, Yat Long Lo, Adam White

Reinforcement learning systems require good representations to work well. For decades practical success in reinforcement learning was limited to small domains. Deep reinforcement learning systems, on the other hand, are scalable, not dependent on domain specific prior knowledge and have been successfully used to play Atari, in 3D navigation from pixels, and

Takayuki Hibi, Kyouko Kimura, Kazunori Matsuda, Adam Van Tuyl

Fix an integer $n \geq 1$, and consider the set of all connected finite simple graphs on $n$ vertices. For each $G$ in this set, let $I(G)$ denote the edge ideal of $G$ in the polynomial ring $R = K[x_1,\ldots,x_n]$. We initiate a study of the set $\mathcal{RD}(n) \subseteq \mathbb{N}^2$ consisting of all the pairs $(r,d)$ where $r = {\rm reg}(R/I(G))$, the

Parastoo Alinia, Iman Mirzadeh, Hassan Ghasemzadeh

Sensor-based human activity recognition has become a critical component of many emerging applications ranging from behavioral medicine to gaming. However, an unprecedented increase in the diversity of sensor devices in the Internet-of-Things era has limited the adoption of activity recognition models for use across different domains. We propose ActiLabel a c

Sungho Shin, Qiugang Lu, Victor M. Zavala

This paper presents unifying results for subspace identification (SID) and dynamic mode decomposition (DMD) for autonomous dynamical systems. We observe that SID seeks to solve an optimization problem to estimate an extended observability matrix and a state sequence that minimizes the prediction error for the state-space model. Moreover, we observe that DMD

Dominik Klein, Ondrej Majer, Soroush Rafiee Rad

Belnap-Dunn logic (BD), sometimes also known as First Degree Entailment, is a four-valued propositional logic that complements the classical truth values of True and False with two non-classical truth values Neither and Both. The latter two are to account for the possibility of the available information being incomplete or providing contradictory evidence. I

Joshua Daniel Loyal, Yuguo Chen

The evolution of communities in dynamic (time-varying) network data is a prominent topic of interest. A popular approach to understanding these dynamic networks is to embed the dyadic relations into a latent metric space. While methods for clustering with this approach exist for dynamic networks, they all assume a static community structure. This paper prese

François Bergeron

This is the first in a series of papers in which we describe explicit structural properties of spaces of diagonal rectangular harmonic polynomials in $k$ sets of $n$ variables, both as $GL_k$-modules and $S_n$-modules, as well as some of there relations to areas such as Algebraic Combinatorics, Representation Theory, Algebraic Geometry, Knot Theory, and Theo

Jiacong Du, Jonathan Boss, Peisong Han, Lauren J Beesley

Penalized regression methods, such as lasso and elastic net, are used in many biomedical applications when simultaneous regression coefficient estimation and variable selection is desired. However, missing data complicates the implementation of these methods, particularly when missingness is handled using multiple imputation. Applying a variable selection al

Brandon C. Collins, Philip N. Brown

How does information regarding an adversary's intentions affect optimal system design? This paper addresses this question in the context of graphical coordination games where an adversary can indirectly influence the behavior of agents by modifying their payoffs. We study a situation in which a system operator must select a graph topology in anticipation

Utkarsh Goel, Moritz Steiner

Many websites import large JavaScript (JS) libraries to customize and enhance user experiences. Our data shows that many JS libraries are only partially utilized during a page load, and therefore, contain superfluous code that is never executed. Many top-ranked websites contain up to hundreds of kilobytes of compressed superfluous code and a JS resource on a

Thomas Dickerson

This work unifies insights from the systems and functional programming communities, in order to enable compositional reasoning about software which is nonetheless efficiently realizable in hardware. It exploits a correspondence between design goals for efficient concurrent data structures and efficient immutable persistent data structures, to produce novel i

Pablo Alonso-Jiménez, Dmitry Bogdanov, Jordi Pons, Xavier Serra

Essentia is a reference open-source C++/Python library for audio and music analysis. In this work, we present a set of algorithms that employ TensorFlow in Essentia, allow predictions with pre-trained deep learning models, and are designed to offer flexibility of use, easy extensibility, and real-time inference. To show the potential of this new interface wi

A. Mucciarelli, P. Bonifacio

We analysed red giant branch stars in 16 Galactic globular clusters, computing their atmospheric parameters both from the photometry and from excitation and ionisation balances. The spectroscopic parameters are lower than the photometric ones and this discrepancy increases decreasing the metallicity, reaching, at [Fe/H]~-2.5 dex, differences of ~350 K in eff

S. Demidov, D. Gorbunov, E. Kriukova

In a supersymmetric extension of the Standard Model of particle physics (SM) with low scale of supersymmetry breaking, sgoldstino of (sub)TeV mass can be observed at the Large Hadron Collider (LHC) as a peak in diboson mass spectra. Moreover, as a singlet with respect to the SM gauge group, scalar sgoldstino can mix with the SM-like Higgs boson and interfere

Antonio Riquelme, Laurence J. Bennett, Nicola E. Courtier, Matthew J. Wolf

Interpreting the impedance response of perovskite solar cells (PSC) is significantly more challenging than for most other photovoltaics. This is for a variety of reasons, of which the most significant are the mixed ionic-electronic conduction properties of metal halide perovskites and the difficulty in fabricating stable, and reproducible, devices. Experimen

Nikhil Krishnaswamy, James Pustejovsky

In this paper, we present an analysis of computationally generated mixed-modality definite referring expressions using combinations of gesture and linguistic descriptions. In doing so, we expose some striking formal semantic properties of the interactions between gesture and language, conditioned on the introduction of content into the common ground between

Michael Lienhardt, Ferruccio Damiani, Einar Broch Johnsen, Jacopo Mauro

Highly-configurable software systems can have thousands of interdependent configuration options across different subsystems. In the resulting configuration space, discovering a valid product configuration for some selected options can be complex and error prone. The configuration space can be organized using a feature model, fragmented into smaller interdepe

Ivan Garozzo, Noppadol Mekareeya, Matteo Sacchi, Gabi Zafrir

Gauge theories in four dimensions can exhibit interesting low energy phenomena, such as infrared enhancements of global symmetry. We explore a class of 4d N=1 gauge theories arising from a construction that is motivated by duality walls in 5d gauge theories. Their quiver descriptions bear a resemblance to 4d theories obtained by compactifying 6d N=(1,0) supe

Steven G. Parsons, Alexander J. Brown, Stuart P. Littlefair, Vikram S. Dhillon

White dwarfs are the burnt out cores of Sun-like stars and are the final fate of 97% of all stars in our Galaxy. The internal structure and composition of white dwarfs are hidden by their high gravities, which causes all elements, apart from the lightest ones, to settle out of their atmospheres. The most direct method to probe the inner structure of stars an

Vivian Lai, Samuel Carton, Chenhao Tan

Machine learning models are increasingly integrated into societally critical applications such as recidivism prediction and medical diagnosis, thanks to their superior predictive power. In these applications, however, full automation is often not desired due to ethical and legal concerns. The research community has thus ventured into developing interpretable

L. Bisigello, U. Kuchner, C. J. Conselice, S. Andreon

The Euclid mission will observe well over a billion galaxies out to $z\sim6$ and beyond. This will offer an unrivalled opportunity to investigate several key questions for understanding galaxy formation and evolution. The first step for many of these studies will be the selection of a sample of quiescent and star-forming galaxies, as is often done in the lit

Bing He

Since the study by Jacobi and Hecke, Hecke-type series have received a lot of attention. Unlike such series associated with indefinite quadratic forms, identities on Hecke-type series associated with definite quadratic forms are quite rare in the literature. Motivated by the works of Liu, we first establish many parameterized identities with two parameters b

Ameya Phalak, Vijay Badrinarayanan, Andrew Rabinovich

We introduce Scan2Plan, a novel approach for accurate estimation of a floorplan from a 3D scan of the structural elements of indoor environments. The proposed method incorporates a two-stage approach where the initial stage clusters an unordered point cloud representation of the scene into room instances and wall instances using a deep neural network based v

Vadim Dudnikov

Physical processes that determine the generation of ion beams with a high emission current density in electrohydrodynamic emitters are considered. Electrohydrodynamic effects, which are manifested in the features of ion emission, and the kinetics of ion interaction in high-density beams are discussed. The factors that determine the size of the emission zone,

Raphael Holzinger, David Plankensteiner, Laurin Ostermann, Helmut Ritsch

Generically, a laser is composed of an optical resonator coupled to a gain medium. If the light amplification via stimulated emission dominates the mirror losses, the emitted light is coherent. Recent studies have shown that sub-wavelength sized rings of quantum emitters possess subradiant eigenmodes which mimic high-Q optical resonators. We add a continuous

Tan Nhat Tran

Employing two models, we show that various counting functions of a random variable defined by restriction or contraction of a ranked set with multiplicity (e.g., classical and arithmetic matroids) have expectations given by the corresponding multivariate Tutte polynomial. The first model is based on a generalization of a convolution formula of Kung (2010), e

Rajendra Thapa, Bishal Bhattarai, M. N. Kozicki, Kashi N. Subedi

In this paper, we present ab initio computer models of Cu-doped amorphous Ta2O5 , a promising candidate for Conducting Bridge Random Access Memory (CBRAM) memory devices, and study the structural, electronic, charge transport and vibrational properties based on plane-wave density functional methods. We offer an atomistic picture of the process of phase segre

Shmuel Friedland, Lek-Heng Lim

We establish an analogue of the Grothendieck inequality where the rectangular matrix is replaced by a symmetric/Hermitian matrix and the bilinear form by a quadratic form. We call this the symmetric Grothendieck inequality; despite its name, it is a generalization -- the original Grothendieck inequality is a special case. While there are other proposals for

Karan Sikka, Andrew Silberfarb, John Byrnes, Indranil Sur

We introduce Deep Adaptive Semantic Logic (DASL), a novel framework for automating the generation of deep neural networks that incorporates user-provided formal knowledge to improve learning from data. We provide formal semantics that demonstrate that our knowledge representation captures all of first order logic and that finite sampling from infinite domain

Anna Weigandt

In their work on the infinite flag variety, Lam, Lee, and Shimozono (2018) introduced objects called bumpless pipe dreams and used them to give a formula for double Schubert polynomials. We extend this formula to the setting of K-theory, giving an expression for double Grothendieck polynomials as a sum over a larger class of bumpless pipe dreams. Our proof r

M. Ferhat Arslan, Sibel Tari

Shape complexity is a hard-to-quantify quality, mainly due to its relative nature. Biased by Euclidean thinking, circles are commonly considered as the simplest. However, their constructions as digital images are only approximations to the ideal form. Consequently, complexity orders computed in reference to circle are unstable. Unlike circles which lose thei

Yu-Jhe Li, Zhengyi Luo, Xinshuo Weng, Kris M. Kitani

Person re-identification (re-ID) aims to recognize instances of the same person contained in multiple images taken across different cameras. Existing methods for re-ID tend to rely heavily on the assumption that both query and gallery images of the same person have the same clothing. Unfortunately, this assumption may not hold for datasets captured over long

Adrian Kelly, Aidan O'Sullivan, Patrick de Mars, Antoine Marot

This paper presents the background material required for the Learning to Run Power Networks Challenge. The challenge is focused on using Reinforcement Learning to train an agent to manage the real-time operations of a power grid, balancing power flows and making interventions to maintain stability. We present an introduction to power systems targeted at the