April 2019 arXiv papers — page 33

Daniel Tesfay, Pingyuan Wei, Yayun Zheng, Jinqiao Duan

In this work, we study the impact of non-Gaussian alpha-stable Levy motion on transitions between metastable equilibrium states (or attractors) in a stochastic Stommel two-box model for thermohaline circulation (THC). By maximizing the probability density of the solution process associated with a nonlocal Fokker-Planck equation, we compute maximal likely pat

Fulvio Melia

The emergence of a highly improbable coincidence in cosmological observations speaks to a remarkably simple cosmic expansion. Compelling evidence now suggests that the Universe's gravitational horizon, coincident with the better known Hubble sphere, has a radius improbably equal to the distance light could have travelled since the Big Bang. The confirmat

Youshan Zhang

The Corticospinal Tract (CST) is a part of pyramidal tract (PT), and it can innervate the voluntary movement of skeletal muscle through spinal interneurons (the 4th layer of the Rexed gray board layers), and anterior horn motorneurons (which control trunk and proximal limb muscles). Spinal cord injury (SCI) is a highly disabling disease often caused by traff

Mahmoud Alageli, Aissa Ikhlef, Fahad Alsifiany, Mohammed A. M. Abdullah

This paper considers secure simultaneous wireless information and power transfer (SWIPT) in cell-free massive multiple-input multiple-output (MIMO) systems. The system consists of a large number of randomly (Poisson-distributed) located access points (APs) serving multiple information users (IUs) and an information-untrusted dual-antenna active energy harves

Cui Zhu, Yu-bin Wang, Xia Zhou

R-mode oscillations have been identified as viable and promising targets for continuous gravitational wave searches, meanwhile, it would allow us to probe the interior of compact stars directly. As well as emitting gravitational wave, r-modes would strongly affect the thermal and spin evolution of compact stars. In this paper, we reviewed the theory behind t

Dario Piga, Marco Forgione, Simone Formentin, Alberto Bemporad

Model Predictive Control (MPC) is an enabling technology in applications requiring controlling physical processes in an optimized way under constraints on inputs and outputs. However, in MPC closed-loop performance is pushed to the limits only if the plant under control is accurately modeled; otherwise, robust architectures need to be employed, at the price

Giulio Guerrieri

We investigate the possibility of a semantic account of the execution time (i.e. the number of beta-steps leading to the normal form, if any) for the shuffling calculus, an extension of Plotkin's call-by-value lambda-calculus. For this purpose, we use a linear logic based denotational model that can be seen as a non-idempotent intersection type system: r

Dmitry Kerner

We consider matrices with entries in a local ring, Mat(R). Fix a group action, G on Mat(R), and a subset of allowed deformations, Σ. The traditional objects of study in Singularity Theory and Algebraic Geometry are the tangent spaces T_{(Σ,A)}, T_{(GA,A)}, and their quotient, the tangent module to the miniversal deformation, T^1_{(Σ,G,A)}. This module plays

Michelle Guo, Albert Haque, Prateek Verma

In this paper, we address the task of spoken language understanding. We present a method for translating spoken sentences from one language into spoken sentences in another language. Given spectrogram-spectrogram pairs, our model can be trained completely from scratch to translate unseen sentences. Our method consists of a pyramidal-bidirectional recurrent n

Yan Liu, Minggen Lu, Christopher S. McMahan

Current status data are commonly encountered in medical and epidemiological studies in which the failure time for study units is the outcome variable of interest. Data of this form are characterized by the fact that the failure time is not directly observed but rather is known relative to an observation time; i.e., the failure times are either left- or right

Hasan Manzour, Simge Küçükyavuz, Ali Shojaie

Learning directed acyclic graphs (DAGs) from data is a challenging task both in theory and in practice, because the number of possible DAGs scales superexponentially with the number of nodes. In this paper, we study the problem of learning an optimal DAG from continuous observational data. We cast this problem in the form of a mathematical programming model

Chin-Fei Lee, Claudio Codella, Zhi-Yun Li, Sheng-Yuan Liu

HH 212 is one of the well-studied protostellar systems, showing the first vertically resolved disk with a warm atmosphere around the central protostar. Here we report a detection of 9 organic molecules (including newly detected ketene, formic acid, deuterated acetonitrile, methyl formate, and ethanol) in the disk atmosphere, confirming that the disk atmosphe

Jesse Michael Han, Floris van Doorn

We describe a formalization of forcing using Boolean-valued models in the Lean 3 theorem prover, including the fundamental theorem of forcing and a deep embedding of first-order logic with a Boolean-valued soundness theorem. As an application of our framework, we specialize our construction to the Boolean algebra of regular opens of the Cantor space $2^{ω_2

Frank Uhlig

Zhang Neural Networks rely on convergent 1-step ahead finite difference formulas of which very few are known. Those which are known have been constructed in ad-hoc ways and suffer from low truncation error orders. This paper develops a constructive method to find convergent look-ahead finite difference schemes of higher truncation error orders. The method co

Frank Uhlig

In this paper a new and different neural network, called Zhang Neural Network (ZNN) is appropriated from discrete time-varying matrix problems and applied to the angle parameter-varying matrix field of values (FoV) problem. This problem acts as a test bed for newly discovered convergent 1-step ahead finite difference formulas of high truncation orders. The Z

Ermal Rrapaj, Andre Sieverding, Yong-Zhong Qian

We calculate the rate of production of dark photons from electron-positron pair annihilation in hot and dense matter characteristic of supernova progenitors. Given the non-linear dependence of the emission rate on the dark photon mass and current astrophysical constraints on the dark photon parameter space, we focus on the mass range of 1--10 MeV. For the co

Frank Uhlig, Yunong Zhang

This paper adapts look-ahead and backward finite difference formulas to compute future eigenvectors and eigenvalues of piecewise smooth time-varying symmetric matrix flows $A(t)$. It is based on the Zhang Neural Network (ZNN) model for time-varying problems and uses the associated error function $E(t) = A(t)V(t) - V(t) D(t)$ or $e_i(t) = A(t)v_i(t) -\la_i(t)

Arman Roohi, Ronald F DeMara

Energy-harvesting-powered computing offers intriguing and vast opportunities to dramatically transform the landscape of the Internet of Things (IoT) devices by utilizing ambient sources of energy to achieve battery-free computing. In order to operate within the restricted energy capacity and intermittency profile, it is proposed to innovate Intermittent Robu

Philippe Ben-Abdallah

We demonstrate the existence of a thermal analog of Coulomb drag in many-body systems which is driven by thermal photons. We show that this frictional effect can either be positive or negative depending on the separation distances within the system. Also we highlight that the persistent heat currents flowing in non-reciprocal systems at equilibrium are subje

V. Lora, E. K. Grebel, S. Schmeja, A. Koch

Dwarf spheroidal galaxies (dSph) orbiting the Milky Way are complex objects often with complicated star formation histories and internal dynamics. In this work, we search for stellar substructures in four of the classical dSph satellites of the Milky Way: Sextans, Carina, Leo I, and Leo II. We apply two methods to search for stellar substructure: the minimum

N. I. Walsh, J. T. Barker, N. S. Bowden, K. J. Brewster

We provide a quantitative description of a method to measure neutron-induced fission cross sections in ratio to elastic hydrogen scattering in a white-source neutron beam with the fission Time Projection Chamber. This detector has measured precision fission cross section ratios using actinide references such as $^{235}$U(n,f) and $^{238}$U(n,f). However, by

Pantelis Sopasakis, Haralambos Sarimveis, Panos Macheras, Aristides Dokoumetzidis

We are witnessing the birth of a new variety of pharmacokinetics where non-integer-order differential equations are employed to study the time course of drugs in the body: this is dubbed "fractional pharmacokinetics." The presence of fractional kinetics has important clinical implications such as the lack of a half-life, observed, for example with th

Meher Bouhani

We give some properties on the index of seaweed subalgebras of the complex Lie algebra $\mathfrak{gl}(n)$ which allow to obtain formulas for the index of some interesting classes of this family and to give new families of Frobenius Lie algebras.

Arjun Pakrashi, Brian Mac Namee

Multi-label classification is an approach which allows a datapoint to be labelled with more than one class at the same time. A common but trivial approach is to train individual binary classifiers per label, but the performance can be improved by considering associations within the labels. Like with any machine learning algorithm, hyperparameter tuning is im

Nello Blaser, Morten Brun

Topological data analysis combines machine learning with methods from algebraic topology. Persistent homology, a method to characterize topological features occurring in data at multiple scales is of particular interest. A major obstacle to the wide-spread use of persistent homology is its computational complexity. In order to be able to calculate persistent

A. A. Chrimes, A. J. Levan, E. R. Stanway, J. D. Lyman

We present a study of 21 dark gamma-ray burst (GRB) host galaxies, predominantly using X-ray afterglows obtained with the Chandra X-Ray Observatory (CXO) to precisely locate the burst in deep Hubble Space Telescope (HST) imaging of the burst region. The host galaxies are well-detected in F160W in all but one case and in F606W imaging in approx 60 per cent of

Pantelis Sopasakis, Ajay K. Sampathirao, Alberto Bemporad, Panagiotis Patrinos

We present an open-source solution for the operational control of drinking water distribution networks which accounts for the inherent uncertainty in water demand and electricity prices in the day-ahead market of a volatile deregulated economy. As increasingly more energy markets adopt this trading scheme, the operation of drinking water networks requires un

Ajay Sathya, Pantelis Sopasakis, Ruben Van Parys, Andreas Themelis

We employ the proximal averaged Newton-type method for optimal control (PANOC) to solve obstacle avoidance problems in real time. We introduce a novel modeling framework for obstacle avoidance which allows us to easily account for generic, possibly nonconvex, obstacles involving polytopes, ellipsoids, semialgebraic sets and generic sets described by a set of

P. -H. Chu, Y. J. Kim, I. Savukov

In the recent work arXiv:1809.02446, the authors proposed a new method measuring the electron oscillating electric dipole moment (eOEDM) using atomic magnetomaters. This eOEDM is induced by the interaction between the electron magnetic dipole moment, electric field and axion field. The result is sensitive to the axion-photon coupling according to [Hill, PRD

J. E. Quinsey

This is a study of S. Kripke's notion of fulfilment. Motivated by Paris-Harrington statement, Kripke was looking for a proof of Gödel's Incompleteness Theorem which was model-theoretic, natural (without self-reference), and easy. Fulfilment gives a versatile tool for both Proof and Model Theory. We begin with short proofs to a number of classical res

Davide Barbieri, Eugenio Hernandez, Carolina A. Mosquera

We prove a necessary and sufficient condition for a principal shift invariant space of $L^2(\mathbb{R})$ to be invariant under translations by the subgroup $\frac{1}{N} \mathbb{Z}, N>1$. This condition is given in terms of the Zak transform of the group $\frac{1}{N} \mathbb{Z}.$ This result is extended to principal shift invariant spaces generated by a latti

Maria Jose Carreño, Jonathan Sepúlveda, Silvia Tecpan, Carla Hernández

It has become increasingly common for high-school students to see media reports on the importance of quantum mechanics in the development of next-generation industries such as drug development and secure communication, but few of them have been exposed to fundamental quantum mechanical concepts in a meaningful classroom activity. In order to bridge this gap,

Michael Guggemos, Milena Guevara-Bertsch, Daniel Heinrich, Óscar Andrey Herrera-Sancho

We perform quantum logic spectroscopy with a $^{27}$Al$^{+}$/$^{40}$Ca$^{+}$ mixed ion crystal in a linear Paul trap for a measurement of the $(3s^{2})\,^{1}\mathrm{S}_{0} \leftrightarrow \, (3s3p)\,^{3}\mathrm{P}_{1}, F=7/2$ intercombination transition in $^{27}$Al$^{+}$. Towards this end, Ramsey spectroscopy is used for probing the transition in $^{27}$Al$

Luana N. O. Vilela, Klaus Capelle, Luiz N. Oliveira, Vivaldo L. Campo

We generalize the linear discrete dimensional scaling approach for the repulsive Hubbard model to obtain a nonlinear scaling relation that yields accurate approximations to the ground-state energy in both two and three dimensions, as judged by comparison to auxiliary-field quantum Monte Carlo (QMC) data. Predictions are made for the per-site ground-state ene

H. E. S. S. Collaboration, :, H. Abdalla, F. Aharonian

Young core-collapse supernovae with dense-wind progenitors may be able to accelerate cosmic-ray hadrons beyond the knee of the cosmic-ray spectrum, and this may result in measurable gamma-ray emission. We searched for gamma-ray emission from ten supernovae observed with the High Energy Stereoscopic System (H.E.S.S.) within a year of the supernova event. Nine

Mehran Shakarami, Kasra Esfandiari, Amir Aboulfazl Suratgar, Heidar Ali Talebi

This paper deals with the design of a model-based rapid fault detection and isolation strategy using sliding mode observers. To address this problem, a new scheme is proposed by adaptively combining the information provided by a bank of observers. In this regard, a new structure for sliding mode observers is considered. Then, the well-known recursive least s

Huan V. Doan, Asel Sartbaeva, Jean-Charles Eloi, Sean Davis

Introducing hierarchical pore structure to microporous materials such as metal-organic frameworks (MOFs) can be beneficial for reactions where the rate of reaction is limited by low rates of diffusion or high pressure drop. This advantageous pore structure can be obtained by defect formation, mostly via post-synthetic acid etching, which has been studied ext

Johannes Mendil, Morgan Trassin, Quingquing Bu, Manfred Fiebig

We report on the switching of the in-plane magnetization of thin yttrium iron garnet (YIG)/Pt bilayers induced by an electrical current. The switching is either field-induced and assisted by a dc current, or current-induced and assisted by a static magnetic field. The reversal of the magnetization occurs at a current density as low as $10^5$~A/cm$^{2}$ and m

Wlodzimierz Lenski

We essentially extend and improve the classical result of G. H. Hardy and J. E. Littlewood on strong summability of Fourier series. We will present an estimation of the generalized strong mean (H; Phi) as an approximation version of the Totik type generalization of the result of G. H. Hardy, J. E. Littlewood, in case of integrable functions from L^{Psi}. As

Nicholas Luber, J. H. van Gorkom, Kelley M. Hess, D. J. Pisano

We demonstrate that the Discrete Persistent Source Extractor (DisPerSE) can be used with spectroscopic redshifts to define the cosmic web and its distance to galaxies in small area deepfields. Here we analyze the use of DisPerSE to identify structure in observational data. We apply DisPerSE to the distribution of galaxies in the COSMOS field and find the bes

Qiuyue Liang, Jeremy Sakstein, Mark Trodden

We study baryogenesis in effective field theories where a $\mathrm{U}(1)_{ B-L}$-charged scalar couples to gravity via curvature invariants. We analyze the general possibilities in such models, noting the relationships between some of them and existing models, such as Affleck-Dine baryogenesis. We then identify a novel mechanism in which $\mathrm{U}(1)_{ B-L

Rewon Child, Scott Gray, Alec Radford, Ilya Sutskever

Transformers are powerful sequence models, but require time and memory that grows quadratically with the sequence length. In this paper we introduce sparse factorizations of the attention matrix which reduce this to $O(n \sqrt{n})$. We also introduce a) a variation on architecture and initialization to train deeper networks, b) the recomputation of attention

Cihan Dogan, Aimore Dutra, Adam Gara, Alfredo Gemma

Fine-grained Named Entity Recognition is a task whereby we detect and classify entity mentions to a large set of types. These types can span diverse domains such as finance, healthcare, and politics. We observe that when the type set spans several domains the accuracy of the entity detection becomes a limitation for supervised learning models. The primary re

M. Marques Alves, Jonathan Eckstein, Marina Geremia, Jefferson Melo

This paper derives new inexact variants of the Douglas-Rachford splitting method for maximal monotone operators and the alternating direction method of multipliers (ADMM) for convex optimization. The analysis is based on a new inexact version of the proximal point algorithm that includes both an inertial step and overrelaxation. We apply our new inexact ADMM

Eda Okur, Shachi H Kumar, Saurav Sahay, Asli Arslan Esme

Understanding passenger intents and extracting relevant slots are important building blocks towards developing contextual dialogue systems for natural interactions in autonomous vehicles (AV). In this work, we explored AMIE (Automated-vehicle Multi-modal In-cabin Experience), the in-cabin agent responsible for handling certain passenger-vehicle interactions.

Alejandro C. Frery, Juliana Gambini

The $\mathcal{G}^0$ distribution is widely used for monopolarized SAR image modeling because it can characterize regions with different degree of texture accurately. It is indexed by three parameters: the number of looks (which can be estimated for the whole image), a scale parameter and a texture parameter. This paper presents a new proposal for comparing s

S. Realini, C. Franceschet, A. Mennella

We present the electromagnetic model of a dual circular polarization antenna-feed system, consisting of a corrugated feedhorn, a polarizer and an orthomode transducer. This model was developed for the passive front-end implemented in the Q-band receivers of the STRIP instrument of the Large Scale Polarization Explorer experiment. Its applicability, however,

Jin-Yi Cai, Tianyu Liu

We study the approximation complexity of the partition function of the eight-vertex model on general 4-regular graphs. For the first time, we relate the approximability of the eight-vertex model to the complexity of approximately counting perfect matchings, a central open problem in this field. Our results extend those in arXiv:1811.03126 [cs.CC]. In a regio

Benjamin F. Williams, Tristan J. Hillis, William P. Blair, Knox S. Long

We determine the ages of the young, resolved stellar populations at the locations of 237 optically-identified supernova remnants in M83. These age distributions put constraints on the progenitor masses of the supernovae that produced 199 of the remnants. The other 38 show no evidence for having a young progenitor and are therefore good Type Ia SNR candidates

P. Mészáros

I discuss some aspects of the evolution of the standard GRB model, emphasizing various theoretical developments in the last decade, and review the impact of some of the most recent observational discoveries and the new challenges they pose in the expanding realm of multi-messenger astrophysics.

Neeraj Bhauryal, Ujjwal Koley, Guy Vallet

In this article, we explore some of the main mathematical problems connected to multidimensional fractional conservation laws driven by Lévy processes. Making use of an adapted entropy formulation, a result of existence and uniqueness of a solution is established. Moreover, using bounded variation (BV) estimates for vanishing viscosity approximations, we der

Peter Adshead, Lauren Pearce, Marco Peloso, Michael A. Roberts

We present analytic results for the gravitational wave power spectrum induced in models where the inflaton is coupled to a fermionic pseudocurrent. We show that although such a coupling creates helically polarized fermions, the polarized component of the resulting gravitational waves is parametrically suppressed with respect to the non-polarized one. We also

Akbar Safari, Robert Fickler, Enno Giese, Omar S. Magaña-Loaiza

Scattering processes have played a crucial role in the development of quantum theory. In the field of optics, scattering phase shifts have been utilized to unveil interesting forms of light-matter interactions. Here, we investigate the mode-coupling phase of single photons to surface plasmon polaritons in a quantum plasmonic tritter. We observe that the coup

Julian Dörfler, Marc Roth, Johannes Schmitt, Philip Wellnitz

We study the problem #IndSub(P) of counting all induced subgraphs of size k in a graph G that satisfy the property P. This problem was introduced by Jerrum and Meeks and shown to be #W[1]-hard when parameterized by k for some families of properties P including, among others, connectivity [JCSS 15] and even- or oddness of the number of edges [Combinatorica 17

Thea Kozakis, Lisa Kaltenegger

During the post-main sequence phase of stellar evolution the orbital distance of the habitable zone, which allows for liquid surface water on terrestrial planets, moves out past the system's original frost line, providing an opportunity for outer planetary system surface habitability. We use a 1D coupled climate/photochemistry code to study the impact of

J. M. Tranquada

Superconductivity in cuprates is achieved by doping holes into a correlated charge-transfer insulator. While the correlated character of the parent insulator is now understood, there is no accepted theory for the "normal" state of the doped insulator. I present a mostly empirical analysis of a large range of experimental characterizations, making the

Sahil Gulania, James Daniel Whitfield

Quantum chemistry often considers atoms and molecules with non-zero spin. In such cases, the need for proper spin functions results in the theory of configuration state functions. Here, we consider the construction of such wavefunctions using the symmetric group and more specifically Young projectors. We discuss the formalism and detail an example to illustr

Matthew W. L. Smith, Christopher J. R. Clark, Ilse De Looze, Isabella Lamperti

We present the SCUBA-2 850 $μm$ component of JINGLE, the new JCMT large survey for dust and gas in nearby galaxies, which with 193 galaxies is the largest targeted survey of nearby galaxies at 850 $μm$. We provide details of our SCUBA-2 data reduction pipeline, optimised for slightly extended sources, and including a calibration model adjusted to match conve

A. Ron, E. Zoghlin, L. Balents, S. D. Wilson

Magneto-elastic distortions are commonly detected across magnetic long-range ordering (LRO) transitions. In principle, they are also induced by the magnetic short-range ordering (SRO) that precedes a LRO transition, which contains information about short-range correlations and energetics that are essential for understanding how LRO is established. However th

Gerardo Perez-Villalon

We study the bounded endomorphisms of $\ell_{N}^2(G)=\ell^2(G)\times \dots \times\ell^2(G)$ that commute with translations, where $G$ is a discrete abelian group. It is shown that they form a C*-algebra isomorphic to the C*-algebra of $N\times N$ matrices with entries in $L^\infty(\widehat{G})$, where $\widehat{G}$ is the dual space of $G$. Characterizations

Ya-Hui Zhang, Hoi Chun Po, T. Senthil

The degeneracy of Landau levels flanking charge neutrality in twisted bilayer graphene is known to change from eight-fold to four-fold when the twist angle is reduced to values near the magic angle of $\approx 1.05^\circ$. This degeneracy lifting has been reproduced in experiments by multiple groups, and is known to occur even in devices which do not harbor

Lijiang Guo

Multimodal learning has been lacking principled ways of combining information from different modalities and learning a low-dimensional manifold of meaningful representations. We study multimodal learning and sensor fusion from a latent variable perspective. We first present a regularized recurrent attention filter for sensor fusion. This algorithm can dynami

Ankur Jain, Arohi Gupta, Ashutosh Gupta, Dewang Gedia

Organizations face a challenge of accurately analyzing network data and providing automated action based on the observed trend. This trend-based analytics is beneficial to minimize the downtime and improve the performance of the network services, but organizations use different network management tools to understand and visualize the network traffic with lim

Jason Chou, Gautam Hathi

The variational autoencoder (VAE) framework remains a popular option for training unsupervised generative models, especially for discrete data where generative adversarial networks (GANs) require workaround to create gradient for the generator. In our work modeling US postal addresses, we show that our discrete VAE with tree recursive architecture demonstrat

Matthew R Whiteway, Karolina Socha, Vincent Bonin, Daniel A Butts

Sensory neurons often have variable responses to repeated presentations of the same stimulus, which can significantly degrade the stimulus information contained in those responses. This information can in principle be preserved if variability is shared across many neurons, but depends on the structure of the shared variability and its relationship to sensory

P. Capak, J-C. Cuillandre, F. Bernardeau, F. Castander

This white paper is the result of the Tri-Agency Working Group (TAG) appointed to develop synergies between missions and is intended to clarify what LSST observations are needed in order to maximally enhance the combined science output of LSST and Euclid. To facilitate LSST planning we provide a range of possible LSST surveys with clear metrics based on the

P. Capak, D. Sconlic, J-C. Cuillandre, F. Castander

We propose an extension of the LSST survey to cover the northern sky to DEC < +30 (accessible at airmass <1.8). This survey will increase the LSST sky coverage by ~9,600 square degrees from 18,900 to 28,500 square degrees (a 50% increase) but use only 0.6-2.5% of the time depending on the synergies with other surveys. This increased area addresses a wide ran

Alexandre Ern, Martin Vohralík, Mohammad Zakerzadeh

We propose a reconstruction-based a posteriori error estimate for linear advection problems in one space dimension. In our framework, a stable variational ultra-weak formulation is adopted, and the equivalence of the $L_2$-norm of the error with the dual graph norm of the residual is established. This dual norm is showed to be localizable over vertex-based p

Rahul-Vigneswaran K, Neethu Mohan, Soman KP

This paper proposes a data-driven approach for computing elasticity by means of a non-parametric regression approach rather than an optimization approach. The Chebyshev approximation is utilized for tackling the material data-sets non-linearity of the elasticity. Also, additional efforts have been taken to compare the results with several other state-of-the-

Asaf Ferber, Vishesh Jain, Kyle Luh, Wojciech Samotij

Let $ε_1, \dotsc, ε_n$ be i.i.d. Rademacher random variables taking values $\pm 1$ with probability $1/2$ each. Given an integer vector $\boldsymbol{a} = (a_1, \dotsc, a_n)$, its concentration probability is the quantity $ρ(\boldsymbol{a}):=\sup_{x\in \mathbb{Z}}\Pr(ε_1 a_1+\dots+ε_n a_n = x)$. The Littlewood-Offord problem asks for bounds on $ρ(\boldsymbol{

Kamber R. Schwarz, Edwin A. Bergin, L. Ilsedore Cleeves, Ke Zhang

CO is thought to be the main reservoir of volatile carbon in protoplanetary disks, and thus the primary initial source of carbon in the atmospheres of forming giant planets. However, recent observations of protoplanetary disks point towards low volatile carbon abundances in many systems, including at radii interior to the CO snowline. One potential explanati

Daniel Schmand, Marc Schröder, Alexander Skopalik

We study a two-sided network investment game consisting of two sets of players, called providers and users. The game is set in two stages. In the first stage, providers aim to maximize their profit by investing in bandwidth of cloud computing services. The investments of the providers yield a set of usable services for the users. In the second stage, each us

Haozhe Zhang, Dan Nettleton, Zhengyuan Zhu

Random forest (RF) methodology is one of the most popular machine learning techniques for prediction problems. In this article, we discuss some cases where random forests may suffer and propose a novel generalized RF method, namely regression-enhanced random forests (RERFs), that can improve on RFs by borrowing the strength of penalized parametric regression

Michael Kohlhase

We present the Theorem Prover Museum, and initiative to conserve -- and make publicly available -- the sources and source-related artefacts of automated reasoning systems. Theorem provers have been at the forefront of Artificial Intelligence, stretching the limits of computation, and incubating many innovations we take for granted today. Without the systems

Bolun Cai, Xiangmin Xu, Xiaofen Xing, Kui Jia

Visual tracking is challenging due to image variations caused by various factors, such as object deformation, scale change, illumination change and occlusion. Given the superior tracking performance of human visual system (HVS), an ideal design of biologically inspired model is expected to improve computer visual tracking. This is however a difficult task du

Mikica Kocic

A new kind of diagrams is presented, showing the causal structure of bimetric interactions.

Kostiantyn Khabarlak, Larysa Koriashkina

Neural networks are now actively being used for computer vision tasks in security critical areas such as robotics, face recognition, autonomous vehicles yet their safety is under question after the discovery of adversarial attacks. In this paper we develop simplified adversarial attack algorithms based on a scoping idea, which enables execution of fast adver

Johannes Partzsch, Christian Mayr, Massimiliano Giulioni, Marko Noack

Real-time coupling of cell cultures to neuromorphic circuits necessitates a neuromorphic network that replicates biological behaviour both on a per-neuron and on a population basis, with a network size comparable to the culture. We present a large neuromorphic system composed of 9 chips, with overall 2880 neurons and 144M conductance-based synapses. As they

Kevin Beanland, Hung Viet Chu

The $λ$-property and the uniform $λ$-property were first introduced by R. Aron and R. Lohman in 1987 as geometric properties of Banach spaces. In 1989, Th. Shura and D. Trautman showed that the Schreier space possesses the $λ$-property and asked if it has the uniform $λ$-property. In this paper, we show that Schreier space does not have the uniform $λ$-prope

Feng Huang, Peter Balazs

We propose harmonic-aligned frame mask for speech signals using non-stationary Gabor transform (NSGT). A frame mask operates on the transfer coefficients of a signal and consequently converts the signal into a counterpart signal. It depicts the difference between the two signals. In preceding studies, frame masks based on regular Gabor transform were applied

Anslyn J. John, Chris Z. Stevens

The Johannsen-Psaltis spacetime describes a rotating black hole with parametric deviations from the Kerr metric. By construction this spacetime explicitly violates the no-hair theorems. Rotating black hole solutions in any modified theory of gravity could be written in terms of the Johannsen-Psaltis metric. We examined the accretion of gas onto a black hole

Helena Pais, Francesca Gulminelli, Constança Providência, Gerd Röpke

Light and heavy clusters are calculated for asymmetric warm nuclear matter in a relativistic mean-field approach. In-medium effects, introduced via a universal cluster-meson coupling, and a binding energy shift contribution, calculated in a Thomas-Fermi approximation, were taken into account. This work considers, besides the standard lightest bound clusters

Bao Yuan Sun, Zhi Wei Liu, Ruo Yu Xing

Comparing with a wide range of covariant energy density functional models based on the finite-range meson-exchange representation, the relativistic mean-field models with the zero-range contact interaction, namely the relativistic point-coupling models, are still infrequent to be utilized in establishing nuclear equation of state (EoS) and investigating neut

Graziano Crasta, Annalisa Malusa

We prove existence of radially symmetric solutions and validity of Euler-Lagrange necessary conditions for a class of variational problems such that neither direct methods nor indirect methods of Calculus of Variations apply. We obtain existence and qualitative properties of the solutions by means of ad-hoc superlinear perturbations of the functional having

Jose F Rodrigues, Larisa Florea, Maria C F de Oliveira, Dermot Diamond

Herein we review aspects of leading-edge research and innovation in chemistry which exploits big data and machine learning (ML), two computer science fields that combine to yield machine intelligence. ML can accelerate the solution of intricate chemical problems and even solve problems that otherwise would not be tractable. But the potential benefits of ML c

Francesco Giacosa

When an unstable ordinary quark-antiquark state couples strongly to other low-mass mesons (such as pions, kaons, $D$-mesons, etc.), the quantum fluctuations generated by the decay products dress the bare `seed&#39; $\bar{q}q$ state and modify its spectral functions. The state is associated to a pole on the complex plane. When the coupling to the decay produc

Stefano Catani, Daniel de Florian, Massimiliano Grazzini

We consider the extension of the CMW soft-gluon effective coupling in the context of soft-gluon resummation for QCD hard-scattering observables beyond the next-to-leading logarithmic accuracy. We present two proposals of a soft-gluon effective coupling that extend the CMW coupling to all perturbative orders in the \ms\ coupling $\as$. Although both effective

A. I. Nikitchenko, N. A. Pertsev

A charge flow through a magnetic tunnel junction (MTJ) leads to the generation of a spin-polarized current which exerts a spin-transfer torque (STT) on the magnetization. When the density of applied direct current exceeds some critical value, the STT excites high-frequency magnetization precession in the &#34;free&#34; electrode of MTJ. Such precession gives

Tomislav Šebrek, Jan Tomljanović, Josip Krapac, Mile Šikić

In this paper, we propose a semi-supervised deep learning method for detecting the specific types of reads that impede the de novo genome assembly process. Instead of dealing directly with sequenced reads, we analyze their coverage graphs converted to 1D-signals. We noticed that specific signal patterns occur in each relevant class of reads. Semi-supervised

Xing-Wang Jiang, Csaba Sandor, Quan-Hui Yang

For a set $A$ of nonnegative integers, let $R_2(A,n)$ and $R_3(A,n)$ denote the number of solutions to $n=a+a&#39;$ with $a,a&#39;\in A$, $a<a&#39;$ and $a\leq a&#39;$, respectively. In this paper, we prove that, if $A\subseteq \mathbb{N}$ and $N$ is a positive integer such that $R_2(A,n)=R_2(\mathbb{N}\setminus A,n)$ for all $n\geq2N-1$, then for any $θ$ wi

Shashank Kotyan, Nishant Kumar, Pankaj Kumar Sahu, Venkanna Udutalapally

Today, many of the aid systems deployed for visually impaired people are mostly made for a single purpose. Be it navigation, object detection, or distance perceiving. Also, most of the deployed aid systems use indoor navigation which requires a pre-knowledge of the environment. These aid systems often fail to help visually impaired people in the unfamiliar s

M. D. Gray, J. Baggott, J. Westlake, S. Etoka

We investigated, through numerical models, the flaring variability that may arise from the rotation of maser clouds of approximately spheroidal geometry, ranging from strongly oblate to strongly prolate examples. Inversion solutions were obtained for each of these examples over a range of saturation levels from unsaturated to highly saturated. Formal solutio

Friedrich Pillichshammer

The theory of digital sequences is a fundamental topic in QMC theory. Digital sequences are prototypes of sequences with low discrepancy. First examples were given by Il&#39;ya Meerovich Sobol&#39; and by Henri Faure with their famous constructions. The unifying theory was developed later by Harald Niederreiter. Nowadays there is a magnitude of examples of d

Jon Arni Steingrimsson

This manuscripts develops a new class of deep learning algorithms for outcomes that are potentially censored. To account for censoring, the unobservable loss function used in the absence of censoring is replaced by a censoring unbiased transformation. The resulting class of algorithms can be used to estimate both survival probabilities and restricted mean su

V. I. Tokar

A self-consistent renormalization scheme suitable for the calculation of non-universal quantities in $n$-vector models with pair spin interactions of arbitrary extent has been suggested. The method has been based on the elimination of the fluctuating field components within the layers defined by the layer-cake representation of the propagator. The non-pertur

Qiufan Chen, Jianzhi Han

In this paper, we study a class of non-weight modules over the affine-Virasoro algebra of type $A_1$, which are free modules of rank one when restricted to the Cartan subalgebra (modulo center). We give the classification of such modules. Moreover, the simplicity and the isomorphism classes of these modules are determined.

Adrián M. González-Pérez

We define Hölder classes $Λ_α$ associated with a Markovian semigroup and prove that, when the semigroup satisfies the $Γ^2 \geq 0$ condition, the Riesz transforms are bounded between the Hölder classes. As a consequence, this bound holds in manifolds with nonnegative Ricci curvature. We also show, without the need for extra assumptions on the semigroup, that

Pascal Moyal, Ohad Perry

The fundamental problem in the study of parallel-server systems is that of finding and analyzing `good&#39; routing policies of arriving jobs to the servers. It is well known that, if full information regarding the workload process is available to a central dispatcher, then the {\em join the shortest workload} (JSW) policy, which assigns jobs to the server w

Alain Tchagang, Julio Valdés

In machine learning and molecular design, there exist two approaches: discriminative and generative. In the discriminative approach dubbed forward design, the goal is to map a set of features/molecules to their respective electronics properties. In the generative approach dubbed inverse design, a set of electronics properties is given and the goal is to find

Marzieh Gheisari, Teddy Furon, Laurent Amsaleg

When convoking privacy, group membership verification checks if a biometric trait corresponds to one member of a group without revealing the identity of that member. Similarly, group membership identification states which group the individual belongs to, without knowing his/her identity. A recent contribution provides privacy and security for group membershi