April 2019 arXiv papers — page 67

Zihan Ye, Fan Lyu, Linyan Li, Qiming Fu

The existing Zero-Shot learning (ZSL) methods may suffer from the vague class attributes that are highly overlapped for different classes. Unlike these methods that ignore the discrimination among classes, in this paper, we propose to classify unseen image by rectifying the semantic space guided by the visual space. First, we pre-train a Semantic Rectifying

Ireneusz Szcześniak, Bożena Woźna-Szcześniak

We present an optimal and efficient algorithm for finding a shortest path in an elastic optical network. The algorithm is an adaptation of the Dijkstra shortest path algorithm, where we take into account the spectrum continuity and contiguity constraints, and a limit on the path length. The adaptation redefines the node label in the Dijkstra algorithm, allow

Haoyang Ye, Yuying Chen, Ming Liu

Ego-motion estimation is a fundamental requirement for most mobile robotic applications. By sensor fusion, we can compensate the deficiencies of stand-alone sensors and provide more reliable estimations. We introduce a tightly coupled lidar-IMU fusion method in this paper. By jointly minimizing the cost derived from lidar and IMU measurements, the lidar-IMU

Pascal Lefèvre, Daniel Li, Hervé Queffélec, Luis Rodriguez-Piazza

We study when multiplication by a weight can turn a non-compact composition operator on H 2 into a compact operator, and when it can be in Schatten classes. The q-summing case in H p is considered. We also study when this multiplication can turn a compact composition operator into a non-compact one. MSC 2010 primary: 47B33 ; secondary: 46B28

David Svoboda, Felix J. Rudolph

We give a concise summary of the para-Hermitian geometry that describes a doubled target space fit for a covariant description of T-duality in string theory. This provides a generalized differentiable structure on the doubled space and leads to a kinematical setup which allows for the recovery of the physical spacetime. The picture can be enhanced to a Born

Peng Gao

In this paper, we evaluate the sum $\sum_{m,n}\leg {m}{n}d(n)$, where $\leg {m}{n}$ is the Kronecker symbol and $d(n)$ is the divisor function.

A. F. Vasil'ev, T. I. Vasil'eva, A. G. Melchenko

Let $π$ be a set of primes and $\mathfrak{F}$ be a formation. In this article a properties of the class ${\rm w}^{*}_π\mathfrak{F}$ of all groups $G$, such that $π(G)\subseteq π(\mathfrak{F})$ and the normalizers of all Sylow $p$-subgroups of $G$ are $\mathfrak{F}$-subnormal in $G$ for every $p\inπ\capπ(G)$ are investigated. It is established that ${\rm w}^{

Dharmraj Kotekar-Patil, Jie Deng, Swee Liang Wong, Kuan Eng Johnson Goh

Confinement in two-dimensional transition metal dichalcogenides is an attractive platform for trapping single charge and spins for quantum information processing. Here, we present low temperature electron transport through etched 50-70nm MoS2 nanoribbons showing current oscillations as a function of gate voltage. On further investigations current through the

Denis Antipov, Benjamin Doerr, Quentin Yang

Understanding when evolutionary algorithms are efficient or not, and how they efficiently solve problems, is one of the central research tasks in evolutionary computation. In this work, we make progress in understanding the interplay between parent and offspring population size of the $(μ,λ)$ EA. Previous works, roughly speaking, indicate that for $λ\ge (1+\

Pierre-Philippe Crépin, Romain Guérout, Serge Reynaud

We study the effective range expansion of scattering on a real Casimir-Polder potential. We use Liouville transformations which transform the potential landscape while preserving the reflection and transmission amplitudes. We decompose the scattering calculation in two more elementary problems, one for the homogeneous 1/z^4 potential and the other one for th

Stefan Landmann, Andreas Engel

Systems of random linear equations may or may not have solutions with all components being non-negative. The question is, e.g., of relevance when the unknowns are concentrations or population sizes. In the present paper we show that if such systems are large the transition between these two possibilities occurs at a sharp value of the ratio between the numbe

Ali Jalilvand, Behzad Akbari, Fatemeh Zare Mirakabad, Foad Ghaderi

Sequencing large number of candidate disease genes which cause diseases in order to identify the relationship between them is an expensive and time-consuming task. To handle these challenges, different computational approaches have been developed. Based on the observation that genes associated with similar diseases have a higher likelihood of interaction, a

Faizal Hafiz, Akshya Swain, Chirag Naik, Nitish Patel

A novel two-dimensional (2D) learning framework has been proposed to address the feature selection problem in Power Quality (PQ) events. Unlike the existing feature selection approaches, the proposed 2D learning explicitly incorporates the information about the subset cardinality (i.e., the number of features) as an additional learning dimension to effective

Nikolay Burlutskiy, Nicolas Pinchaud, Feng Gu, Daniel Hägg

Gleason grading specified in ISUP 2014 is the clinical standard in staging prostate cancer and the most important part of the treatment decision. However, the grading is subjective and suffers from high intra and inter-user variability. To improve the consistency and objectivity in the grading, we introduced glandular tissue WithOut Basal cells (WOB) as the

Arnab Laha, Harsh K. Gandhi, Sibnath Dey, Sayan Bhattacherjee

We investigate the astonishing physical aspects of Exceptional Points (EPs) in a 1D planar few-mode optical waveguide. The waveguide hosts four quasi-guided modes. Here interactions between the selected pair of modes are modulated by a spatial distribution of inhomogeneous gain-loss profile. Both the coupled pairs approach two different second-order EPs in p

Jens-Kristian Krogager, Johan P. U. Fynbo, Palle Møller, Pasquier Noterdaeme

We present a systematic study of the impact of a dust bias on samples of damped Lyman-$α$ absorbers (DLAs). This bias arises as an effect of the magnitude and colour criteria utilized in the Sloan Digital Sky Survey (SDSS) quasar target selection up until data release 7 (DR7). The bias has previously been quantified assuming only a contribution from the dust

Vassili Kovalev, Dmitry Voynov

In this paper, we study dependence of the success rate of adversarial attacks to the Deep Neural Networks on the biomedical image type, control parameters, and image dataset size. With this work, we are going to contribute towards accumulation of experimental results on adversarial attacks for the community dealing with biomedical images. The white-box Proje

Manohar Kuse, Shaojie Shen

We present a real-time stereo visual-inertial-SLAM system which is able to recover from complicatedkidnap scenarios and failures online in realtime. We propose to learn the whole-image-descriptorin a weakly supervised manner based on NetVLAD and decoupled convolutions. We analyse thetraining difficulties in using standard loss formulations and propose an all

Mischa Schmidt, Shahd Safarani, Julia Gastinger, Tobias Jacobs

Automated hyperparameter tuning aspires to facilitate the application of machine learning for non-experts. In the literature, different optimization approaches are applied for that purpose. This paper investigates the performance of Differential Evolution for tuning hyperparameters of supervised learning algorithms for classification tasks. This empirical st

Xiangrong Wang, Alberto Aleta, Dan Lu, Yamir Moreno

The study of how diseases spread has greatly benefited from advances in network modeling. Recently, a class of networks known as multilayer graphs has been shown to describe more accurately many real systems, making it possible to address more complex scenarios in epidemiology such as the interaction between different pathogens or multiple strains of the sam

Yujin Guo, Xiaoyu Zeng

It is known that ground states of the pseudo-relativistic Boson stars exist if and only if the stellar mass $N>0$ satisfies $N<N^*$, where the finite constant $N^*$ is called the critical stellar mass. Lieb and Yau conjecture in [Comm. Math. Phys., 1987] that ground states of the pseudo-relativistic Boson stars are unique for each $N<N^*$. In this paper, we

Bensingh Dhas, Arun R Srinivasa, Debasish Roy

We seek a rational route to large-deformation, thermo-mechanical modeling of solids with metrical defects. It assumes the reference and deformed geometries to be of the Weyl type and introduces the Weyl one-form -- an additional set of degrees of freedom that determine ratios of lengths in different tangent spaces. The Weyl one-form prevents the metric from

Wojciech Broniowski, Martin Rohrmoser

We present a semi-analytic approach to forward-backward multiplicity correlations in ultra-relativistic nuclear collisions, based on particle emission from strings with fluctuating end-points. We show that with the constraints from rapidity spectra, one can obtain bounds for the magnitude of the standard measures of the forward-backward fluctuations. The met

Bernd Zimmermann, Gustav Bihlmayer, Marie Böttcher, Mohammed Bouhassoune

We compare three distinct computational approaches based on first-principles calculations within density functional theory to explore the magnetic exchange and the Dzyaloshinskii-Moriya interactions (DMI) of a Co monolayer on Pt(111), namely (i) the method of infinitesimal rotations of magnetic moments based on the Korringa-Kohn-Rostoker (KKR) Green function

Ruiyang Cai, Fudong Ge, YangQuan Chen, Chunhai Kou

This paper investigates the regional gradient controllability for ultra-slow diffusion processes governed by the time fractional diffusion systems with a Hadamard-Caputo time fractional derivative. Some necessary and sufficient conditions on regional gradient exact and approximate controllability are first given and proved in detail. Secondly, we propose an

G. Hurier

Galaxy cluster number count has been proven to be a powerful cosmological probe. However, cosmological constraints established with galaxy cluster number count are highly dependent on the calibration of the mass-observable relations. Thanks to its nearly mass independence the specific mass accretion rate of galaxy clusters is nearly insensitive to the calibr

Mayukh Das, Yang Yu, Devendra Singh Dhami, Gautam Kunapuli

Recently, deep models have been successfully applied in several applications, especially with low-level representations. However, sparse, noisy samples and structured domains (with multiple objects and interactions) are some of the open challenges in most deep models. Column Networks, a deep architecture, can succinctly capture such domain structure and inte

Jiadong Wu, Chengye Zhao

In this paper, we investigate the prison&#39;s dilemma game with monte carlo rule in the view of the idea of the classic Monte Carlo method on the grid. Monte carlo rule is an organic combination of the current dynamic rules of individual policy adjustment, which not only makes full use of information but also reflects the individual&#39;s bounded rational b

Erik W. Lentz, Thomas R. Quinn, Leslie J Rosenberg

The first paper in this series showed that QCD axion dark matter, as a highly-correlated Bose fluid, contains extra-classical physics on cosmological scales. The nature of the derived extra-classical physics is exchange-correlation interactions induced by the constraints of symmetric particle exchange and inter-axion correlations from self-gravitation. The p

Fikret Aliev, M. Mutallimov

A new algorithm for solving the solution of the linear-quadratic optimization problem (LQP) with unseparated boundary conditions in the continuous case is given. Using the properties of symmetry of the corresponding Hamiltonian matrix, the Euler-Lagrange equations, it is shown that linear algebraic equations for determining the missing initial data of the sy

Christopher J. Fewster

We propose and develop a measurement scheme for quantum field theory (QFT) in curved spacetimes, in which the QFT of interest, the &#34;system&#34;, is dynamically coupled to another, the &#34;probe&#34;, in a compact spacetime region. Measurements of observables in the probe system then serve as proxy measurements of observables in the system, under a corre

Vanessa Glenny, Jonathan Tuke, Nigel Bean, Lewis Mitchell

In the Humanities and Social Sciences, there is increasing interest in approaches to information extraction, prediction, intelligent linkage, and dimension reduction applicable to large text corpora. With approaches in these fields being grounded in traditional statistical techniques, the need arises for frameworks whereby advanced NLP techniques such as top

Myeongju Chae, Kyungkeun Kang, Jihoon Lee

We consider generalized models on coral broadcast spawning phenomena involving diffusion, advection, chemotaxis, and reactions when egg and sperm densities are different. We prove the global-in-time existence of the regular solutions of the models as well as their temporal decays in two and three dimensions. We also show that the total masses of egg and sper

Dmitry A. Bykov, Evgeni A. Bezus, Leonid L. Doskolovich

Photonic bound states in the continuum (BICs) are eigenmodes with an infinite lifetime, which coexist with a continuous spectrum of radiating waves. BICs are not only of great theoretical interest, but have a wide range of practical applications, e.g. in the design of optical resonators. Here, we study this phenomenon in a new integrated nanophotonic element

Laura Humphrey, Bettina Könighofer, Robert Könighofer, Ufuk Topcu

Shield synthesis is an approach to enforce a set of safety-critical properties of a reactive system at runtime. A shield monitors the system and corrects any erroneous output values instantaneously. The shield deviates from the given outputs as little as it can and recovers to hand back control to the system as soon as possible. This paper takes its inspirat

M. Naritsuka, S. Nakamura, Y. Kasahara, T. Terashima

To study the mutual interaction between unconventional superconductivity and magnetic order through an interface, we fabricate Kondo superlattices consisting of alternating layers of heavy-fermion superconductor CeCoIn$_5$ and antiferromagnetic (AFM) heavy-fermion metal CeIn$_3$. The strength of the AFM fluctuations is tuned by applying hydrostatic pressure

Genki Shibukawa

We obtain new elliptic function identities, which are an elliptic analogue of Fukuhara&#39;s trigonometric identities. We show that the coefficients of Laurent expansions at $z=0$ of our elliptic identities give rise to some reciprocity laws for elliptic Dedekind sums.

Fernando Sancho de Salas, Juan Francisco Torres Sancho

We obtain some fundamental results, as Bokstedt-Neeman Theorem and Grothendieck duality, about the derived category of modules on a finite ringed space. Then we see how these results are transfered to schemes in a simple way and generalized to other ringed spaces.

C. M. Petrache, P. M. Walker, S. Guo, Q. B. Chen

Several new bands have been identified in 130Ba, among which there is one with band-head spin 8+. Its properties are in agreement with the Fermi-aligned νh11/2^2 , 7/2+[523] \otimes 9/2-[514] Nilsson configuration. This is the first observation of a two-quasiparticle t-band in the A=130 mass region. The t-band is fed by a dipole band involving two additional

Yang Zhou

We study mixed anomaly between $G_1$ and $G_2$ of one-form finite symmetry $G_1\times G_2$ in $3d$ Chern-Simons theories. We assign a quantum entanglement structure to two linked $G$-symmetry lines (Wilson loops) and compute the entanglement entropy $S[G]$. We find a measure of the mixed anomaly by computing $S[G_1\times G_2]-S[G_1]-S[G_2]$.

Mohamed Laradji, Marni Mishna, Karen Yeats

Double triangle expansion is an operation on $4$-regular graphs with at least one triangle which replaces a triangle with two triangles in a particular way. We study the class of graphs which can be obtained by repeated double triangle expansion beginning with the complete graph $K_5$. These are called double triangle descendants of $K_5$. We enumerate, with

Jean Christoph Jung, Fabio Papacchini, Frank Wolter, Michael Zakharyaschev

Horn description logics are syntactically defined fragments of standard description logics that fall within the Horn fragment of first-order logic and for which ontology-mediated query answering is in PTime for data complexity. They were independently introduced in modal logic to capture the intersection of Horn first-order logic with modal logic. In this pa

Giovanni Perin, Christophe Gadea, Massimo Rosa, Simone Sanna

Gd0.2Ce0.8O1.9/Y0.16Zr0.84O1.92 (GDC/YSZ) nanocomposite is synthesized by a novel hybrid chemical route, where colloidal crystalline GDC nanoparticles from continuous hydrothermal synthesis are dispersed into a metalorganic YSZ matrix precursor. The result is a mixture of metal oxides in which GDC nanoparticles are finely distributed in a continuous metalorg

Rajani K. V., C. L. Ahmed Rizwan, A. Naveena Kumara, Deepak Vaid

We investigate the thermodynamic phase transitions and heat engine efficiency in regular Bardeen AdS black hole. Interpreting cosmological constant as thermodynamic pressure, we study the thermodynamics using T S and P v plots. Specific heat studies also carried out in detail. A first order phase transition in evident from these studies. These are followed b

Antonino Flachi, Vincenzo Vitagliano

Recent work has analysed how deformations due to the insertion of a defect in a flat hexagonal lattice affect the ground state structure of an interacting fermion field theory. Such modifications result in an increase of the order parameter in the vicinity of the defect and can be explained by a kirigami effect, that is the combined effect of the curvature,

Chuanming Zong

This paper characterizes all the convex domains which can form six-fold lattice tilings of the Euclidean plane. They are parallelograms, centrally symmetric hexagons, one type of centrally symmetric octagons and two types of decagons.

Olivier Bonaventure, Quentin De Coninck, Fabien Duchene, Mathieu Jadin

To reflect the key role played in our society by the network technologies, the networking courses have moved to Bachelor degrees where they are taught to large classes. We report our experience in developing an open-source ebook that targets those introductory networking courses and a series of open educational resources that complement the ebook.

Yiqing Liu, Eric W. Peng, Andrés Jordán, John P. Blakeslee

The globular cluster (GC) specific frequency ($S_N$), defined as the number of GCs per unit galactic luminosity, represents the efficiency of GC formation (and survival) compared to field stars. Despite the naive expectation that star cluster formation should scale directly with star formation, this efficiency varies widely across galaxies. To explore this v

Artur Nicolau, Pascal J. Thomas

Let $\mathcal{N}$ be the Nevanlinna class and let $B$ be a Blaschke product. It is shown that the natural invertibility criterion in the quotient algebra $\mathcal{N} / B \mathcal{N}$, that is, $|f| \ge e^{-H} $ on the set $B^{-1}\{0\}$ for some positive harmonic function $H$, holds if and only if the function $- \log |B|$ has a harmonic majorant on the set

Michał Ławniczak, Jiří Lipovský, Leszek Sirko

One of the most important characteristics of a quantum graph is the average density of resonances, $ρ= \frac{\mathcal{L}}π$, where $\mathcal{L}$ denotes the length of the graph. This is a very robust measure. It does not depend on the number of vertices in a graph and holds also for most of the boundary conditions at the vertices. Graphs obeying this charact

Séverine Rigot

Several quantitative notions of rectifiability in the Heisenberg groups have emerged in the recent literature. In this paper we study the relationship between two of them, the big pieces of intrinsic Lipschitz graphs (BPiLG) condition and the bilateral weak geometric lemma (BWGL), and show that sets with BPiLG satisfy the BWGL.

Xiangyu Xu, Muchen Li, Wenxiu Sun

Most of the classical denoising methods restore clear results by selecting and averaging pixels in the noisy input. Instead of relying on hand-crafted selecting and averaging strategies, we propose to explicitly learn this process with deep neural networks. Specifically, we propose deformable 2D kernels for image denoising where the sampling locations and ke

Si-Yu Li, Yu Zhang, Long-Jing Yin, Lin He

A number of quantum Hall isospin ferromagnetic (QHIFM) states have been predicted in the relativistic zero Landau level (LL) of graphene monolayer. These states, especially the states at LL filling factor v = 0 of charge-neutral graphene, have been extensively explored in experiment. To date, identification of these high-field broken-symmetry states has most

Xiao-Bo Hu, Bo-Zhao, Zhi-Han Zhu, Wei Gao

Laser remote sensing represents a powerful tool that enables the accurate measurement of the speed of moving targets. Crucially, most sensing techniques are 2-Dimensional and only enable direct determination of the speed along the line of sight. A disadvantage that is very often overcome using two-dimensional techniques that in many cases are hard to impleme

S. Davtyan, D. Novoa, Y. Chen, M. H. Frosz

Broadband-tunable sources of circularly-polarized light are crucial in fields such as laser science, biomedicine and spectroscopy. Conventional sources rely on nonlinear wavelength conversion and polarization control using standard optical components, and are limited by the availability of suitably transparent crystals and glasses. Although gas-filled hollow

Ivan Homoliak, Sarad Venugopalan, Qingze Hum, Pawel Szalachowski

Due to their interesting features, blockchains have become popular in recent years. They are full-stack systems where security is a critical factor for their success. The main focus of this work is to systematize knowledge about security and privacy issues of blockchains. To this end, we propose a security reference architecture based on models that demonstr

Hwankyung Sung, Michael S. Bessell, Inseok Song

We present optical photometric, spectroscopic data for the stars in the high Galactic latitude molecular cloud MBM 110. For the complete membership selection of MBM 110, we also analyze WISE mid-infrared data and Gaia astrometric data. Membership of individual stars is critically evaluated using the data mentioned above. The Gaia parallax of stars in MBM 110

Christopher E. Patrick, Julie B. Staunton

We present a method of calculating crystal field coefficients of rare-earth/transition-metal (RE-TM) magnets within density-functional theory (DFT). The principal idea of the method is to calculate the crystal field potential of the yttrium analogue (&#34;Y-analogue&#34;) of the RE-TM magnet, i.e. the material where the lanthanide elements have been substitu

Muhammad Ali Siddiqi, Christos Strydis

Modern Implantable Medical Devices (IMDs) feature wireless connectivity, which makes them vulnerable to security attacks. Particular to IMDs is the battery Denial-of-Service attack whereby attackers aim to fully deplete the battery by occupying the IMD with continuous authentication requests. Zero-Power Defense (ZPD) based on energy harvesting is known to be

Chen Liang, Weihong Wang, Zhenghua Liu, Chao Lai

In this paper, we present a novel guidance scheme based on model-based deep reinforcement learning (RL) technique. With model-based deep RL method, a deep neural network is trained as a predictive model of guidance dynamics which is incorporated into a model predictive path integral (MPPI) control framework. However the traditional MPPI framework assumes the

Tomohito Tanaka, Angus J. Wilkinson

Pattern matching between target electron backscatter patterns (EBSPs) and dynamically simulated EBSPs was used to determine the pattern centre (PC) and crystal orientation, using a global optimisation algorithm. Systematic analysis of error and precision with this approach was carried out using dynamically simulated target EBSPs with known PC positions and o

Dennis Eschweiler, Johannes Stegmaier

The presented algorithms for segmentation and tracking follow a 3-step approach where we detect, track and finally segment nuclei. In the preprocessing phase, we detect centroids of the cell nuclei using a convolutional neural network (CNN) for the 2D images and a Laplacian-of-Gaussian Scale Space Maximum Projection approach for the 3D data sets. Tracking wa

Franziska Flegel, Martin Heida

We study a general class of discrete $p$-Laplace operators in the random conductance model with long-range jumps and ergodic weights. Using a variational formulation of the problem, we show that under the assumption of bounded first moments and a suitable lower moment condition on the weights, the homogenized limit operator is a fractional $p$-Laplace operat

Philippe Monnier, Nguyen Tien Zung

In this paper we introduce the notion of deformation cohomology for singular foliations and related objects (namely integrable differential forms and Nambu structures), and study it in the local case, i.e., in the neighborhood of a point.

Minsung Hyun, Junyoung Choi, Nojun Kwak

In reinforcement learning (RL), temporal abstraction still remains as an important and unsolved problem. The options framework provided clues to temporal abstraction in the RL, and the option-critic architecture elegantly solved the two problems of finding options and learning RL agents in an end-to-end manner. However, it is necessary to examine whether the

Alexander Alexandrov, Hisayoshi Muraki, Chaiho Rim

We investigated the relation between the two-dimensional minimal gravity (Lee-Yang series) with boundaries and open intersection theory. It is noted that the minimal gravity with boundaries is defined in terms of boundary cosmological constant $μ_B$ and the open intersection theory in terms of boundary marked point generating parameter $s$. Based on the conj

L. Khitri-Kazi-Tani, H. Dib

In this paper, we construct the fractional extended nabla operator as fractional power of linear spline of backward difference operator. Then we prove the strong convergence of this operator to fractional derivative in a Hölder space setting. Finally numerical examples are presented.

Neeru Bala, Marianna Pepona, Ilya Karlin, Halim Kusumaatmaja

We extend a recently proposed ternary free energy lattice Boltzmann model with high density contrast, by incorporating wetting boundaries at solid walls. The approaches are based on forcing and geometric schemes, with implementations optimised for ternary (and more generally higher order multicomponent) models. Advantages and disadvantages of each method are

Francisco Cruz, Sven Magg, Yukie Nagai, Stefan Wermter

Interactive reinforcement learning has become an important apprenticeship approach to speed up convergence in classic reinforcement learning problems. In this regard, a variant of interactive reinforcement learning is policy shaping which uses a parent-like trainer to propose the next action to be performed and by doing so reduces the search space by advice.

John F. Kielkopf, Rhodes Hart, Bradley D. Carter, Stephen C. Marsden

We report the observation on UT 2017.07.01 of an unusually powerful flare detected in near-infrared continuum photometry of Proxima Centauri. During a campaign monitoring the star for possible exoplanet transits, we identified an increase in Sloan i&#39; flux leading to an observed peak at BJD 2457935.996 that was at least 10\% over pre-flare flux in this ba

Yu. A. Fadeyev

Evolutionary calculations of population II stars with chemical composition of the globular cluster M3 were carried out under various assumptions about the initial stellar mass ($0.809M_\odot\le M_\mathrm{ZAMS} \le 0.83M_\odot$) and the mass loss rate parameter in the Reimers formula ($0.45\leη_\mathrm{R}\le 0.55$). In general, 30 evolutionary tracks of the h

S. A. Obadero, Y. Yamane, C. A. Akosa, G. Tatara

We present a theoretical study on nucleation and propagation of antiferromagnetic skyrmionium induced by spin current injection. A skyrmionium, also known as 2π skyrmion, is a vortex-like magnetic structure characterized by a topological charge, the so-called skyrmion number, being zero. We find that an antiferromagnetic skyrmionium can be generated via a lo

Amar Deep Sarkar, Kaushal Verma

The purpose of this note is to use the scaling principle to study the boundary behaviour of some conformal invariants on planar domains. The focus is on the Aumann--Carathéodory rigidity constant, the higher order curvatures of the Carathéodory metric and two conformal metrics that have been recently defined.

Slawomir Prucnal, Viton Heera, René Hübner, Mao Wang

Superconductivity in group IV semiconductors is desired for hybrid devices combining both semiconducting and superconducting properties. Following boron doped diamond and Si, superconductivity has been observed in gallium doped Ge, however the obtained specimen is in polycrystalline form [Herrmannsdörfer et al., Phys. Rev. Lett. 102, 217003 (2009)]. Here, we

Junlong Gao, Shiqi Wang, Shanshe Wang, Siwei Ma

Existing methods for image captioning are usually trained by cross entropy loss, which leads to exposure bias and the inconsistency between the optimizing function and evaluation metrics. Recently it has been shown that these two issues can be addressed by incorporating techniques from reinforcement learning, where one of the popular techniques is the advant

Debasmita Ghose, Shasvat Mukeshkumar Desai, Sneha Bhattacharya, Deep Chakraborty

Thermal images are mainly used to detect the presence of people at night or in bad lighting conditions, but perform poorly at daytime. To solve this problem, most state-of-the-art techniques employ a fusion network that uses features from paired thermal and color images. Instead, we propose to augment thermal images with their saliency maps, to serve as an a

Yûsuke Okuyama, Gabriel Vigny

For every $m\in\mathbb{N}$, we establish the equidistribution of the sequence of the averaged pull-backs of a Dirac measure at any given value in $\mathbb{C}\setminus\{0\}$ under the $m$-th order derivatives of the iterates of a polynomials $f\in \mathbb{C}[z]$ of degree $d>1$ towards the harmonic measure of the filled-in Julia set of $f$ with pole at $\inft

Tsuyoshi Miyatsu, Koichi Saito

Using the quark-meson coupling model with the cloudy bag, we construct the equation of state for neutron stars with hyperons in SU(3) flavor symmetry. The hyperfine interaction due to the gluon exchange and the pion-cloud effect inside a baryon is taken into account in vacuum and nuclear matter. We investigate how the quark degrees of freedom and the exchang

Juha Honkonen

Foundations of the analysis of scaling in randomly stirred compressible fluid with the aid of stochastic differential equations are discussed in the example of perfect gas. The structure of the stress tensor with nonnegative shear and bulk viscosities is determined in $d$-dimensional space. It is argued that the steady cascade picture of energy transfer is c

S. L. Breen, A. M. Sobolev, J. F. Kaczmarek, S. P. Ellingsen

We present the unambiguous discovery of six new class II methanol maser transitions, three of which are torsionally excited (vt=1). The newly discovered 6.18-GHz 17_-2 -> 18_-3 E (vt=1), 7.68-GHz 12_4 -> 13_3 A- (vt=0), 7.83-GHz 12_4 -> 13_3 A+ (vt = 0), 20.9-GHz 10_1 -> 11_2 A+ (vt=1), 44.9-GHz 2_0 -> 3_1 E (vt=1) and 45.8-GHz 9_3 -> 10_2 E (vt=0) methanol

Tobias Vogl, Marcus W. Doherty, Ben C. Buchler, Yuerui Lu

The recent discovery of single-photon emitting defects hosted by the two-dimensional wide band gap semiconductor hexagonal boron nitride (hBN) has inspired a great number of experiments. Key characteristics of these quantum emitters are their capability to operate at room temperature with a high luminosity. In spite of large theoretical and experimental rese

Carlos Olarte, Valeria de Paiva, Elaine Pimentel, Giselle Reis

Benchmarking automated theorem proving (ATP) systems using standardized problem sets is a well-established method for measuring their performance. However, the availability of such libraries for non-classical logics is very limited. In this work we propose a library for benchmarking Girard&#39;s (propositional) intuitionistic linear logic. For a quick bootst

Lê Thành Dũng Nguyen, Thomas Seiller

We introduce the notion of coherent graphs, and show how those can be used to define dynamic semantics for Multiplicative Linear Logic (MLL) extended with non-determinism. Thanks to the use of a coherence relation rather than mere formal sums of non-deterministic possibilities, our model enjoys some finiteness and sparsity properties. We also show how studyi

Wen Kokke, Fabrizio Montesi, Marco Peressotti

Process calculi based on logic, such as $π$DILL and CP, provide a foundation for deadlock-free concurrent programming. However, in previous work, there is a mismatch between the rules for constructing proofs and the term constructors of the $π$-calculus: the fundamental operator for parallel composition does not correspond to any rule of linear logic. Kokke

Jiaming Jiang, Harley Eades, Valeria de Paiva

In this paper we introduce Commutative/Non-Commutative Logic (CNC logic) and two categorical models for CNC logic. This work abstracts Benton&#39;s Linear/Non-Linear Logic by removing the existence of the exchange structural rule. One should view this logic as composed of two logics; one sitting to the left of the other. On the left, there is intuitionistic

Masahito Hasegawa

We present a translation from Multiplicative Exponential Linear Logic to a simply-typed lambda calculus with cyclic sharing. This translation is derived from a simple observation on the Int-construction on traced monoidal categories. It turns out that the translation is a mixture of the call-by-name CPS translation and the Geometry of Interaction-based inter

Giulio Guerrieri, Giulio Manzonetto

We study the two Girard&#39;s translations of intuitionistic implication into linear logic by exploiting the bang calculus, a paradigmatic functional language with an explicit box-operator that allows both call-by-name and call-by-value lambda-calculi to be encoded in. We investigate how the bang calculus subsumes both call-by-name and call-by-value lambda-c

Iliano Cervesato, Sharjeel Khan, Giselle Reis, Dragiša Žunić

We present a declarative and modular specification of an automated trading system (ATS) in the concurrent linear framework CLF. We implemented it in Celf, a CLF type checker which also supports executing CLF specifications. We outline the verification of two representative properties of trading systems using generative grammars, an approach to reasoning abou

Jiti Gao, Guangming Pan, Yanrong Yang, Bo Zhang

Accurate estimation for extent of cross{sectional dependence in large panel data analysis is paramount to further statistical analysis on the data under study. Grouping more data with weak relations (cross{sectional dependence) together often results in less efficient dimension reduction and worse forecasting. This paper describes cross-sectional dependence

Fanghui Liu, Chen Gong, Xiaolin Huang, Tao Zhou

In this paper, we propose a novel matching based tracker by investigating the relationship between template matching and the recent popular correlation filter based trackers (CFTs). Compared to the correlation operation in CFTs, a sophisticated similarity metric termed &#34;mutual buddies similarity&#34; (MBS) is proposed to exploit the relationship of multi

Akanksha Kapahtia, Pravabati Chingangbam, Stephen Appleby

We use morphological descriptors, Betti numbers and Contour Minkowski Tensor (CMT) on 21cm brightness temperature excursion sets, to study the ionization and heating history of the intergalactic medium (IGM) during and before the Epoch of Reionization (EoR). The ratio of eigenvalues of the CMT denoted by $β$, gives shape information while it&#39;s trace give

Ali Ataie, Borna Kanaanian, Babak H. Khalaj

In this paper, we consider the problem of minimizing the uplink delays of users in a 5G cellular network. Such cellular network is based on a Cloud Radio Access Network (CRAN) architecture with limited fronthaul capacity, where our goal is to minimize delays of all users through an optimal resource allocation. Earlier works minimize average delay of each use

Belle Collaboration, Y. -T. Lai, I. Adachi, H. Aihara

We report a measurement of the branching fraction and final-state asymmetry for the $\bar{B}^{0}\to K^{0}_{S}K^{\mp}π^{\pm}$ decays. The analysis is based on a data sample of 711 $\rm{fb}^{-1}$ collected at the $Υ(4S)$ resonance with the Belle detector at the KEKB asymmetric-energy $e^{+}e^{-}$ collider. We obtain a branching fraction of $(3.60\pm0.33\pm0.15

Kartik Goyal, Chris Dyer, Taylor Berg-Kirkpatrick

Globally normalized neural sequence models are considered superior to their locally normalized equivalents because they may ameliorate the effects of label bias. However, when considering high-capacity neural parametrizations that condition on the whole input sequence, both model classes are theoretically equivalent in terms of the distributions they are cap

Sang Won Bae

In this paper, we study the problem of computing a minimum-width axis-aligned cubic shell that encloses a given set of $n$ points in a three-dimensional space. A cubic shell is a closed volume between two concentric and face-parallel cubes. Prior to this work, there was no known algorithm for this problem in the literature. We present the first nontrivial al

Sang Won Bae

In this paper, we address the minimum-area rectangular and square annulus problem, which asks a rectangular or square annulus of minimum area, either in a fixed orientation or over all orientations, that encloses a set $P$ of $n$ input points in the plane. To our best knowledge, no nontrivial results on the problem have been discussed in the literature, whil

Samarth Brahmbhatt, Cusuh Ham, Charles C. Kemp, James Hays

Grasping and manipulating objects is an important human skill. Since hand-object contact is fundamental to grasping, capturing it can lead to important insights. However, observing contact through external sensors is challenging because of occlusion and the complexity of the human hand. We present ContactDB, a novel dataset of contact maps for household obje

Muslum Ozgur Ozmen, Rouzbeh Behnia, Attila A. Yavuz

Internet of Drones (IoD) is expected to play a central role in many civilian and military applications, that require sensitive and mission-critical information to be processed. It is therefore vital to ensure the security and privacy of IoD. However, unlike traditional networks, IoD has a broader attack surface and is highly energy-constrained, which hinder

He He, Nanyun Peng, Percy Liang

We tackle the problem of generating a pun sentence given a pair of homophones (e.g., &#34;died&#34; and &#34;dyed&#34;). Supervised text generation is inappropriate due to the lack of a large corpus of puns, and even if such a corpus existed, mimicry is at odds with generating novel content. In this paper, we propose an unsupervised approach to pun generatio

Senthil Purushwalkam, Abhinav Gupta, Danny M. Kaufman, Bryan Russell

We introduce an approach to model surface properties governing bounces in everyday scenes. Our model learns end-to-end, starting from sensor inputs, to predict post-bounce trajectories and infer two underlying physical properties that govern bouncing - restitution and effective collision normals. Our model, Bounce and Learn, comprises two modules -- a Physic