July 2019 arXiv papers — page 28

Hui Kong, Ezio Bartocci, Yu Jiang, Thomas A. Henzinger

Piecewise Barrier Tubes (PBT) is a new technique for flowpipe overapproximation for nonlinear systems with polynomial dynamics, which leverages a combination of barrier certificates. PBT has advantages over traditional time-step based methods in dealing with those nonlinear dynamical systems in which there is a large difference in speed between trajectories,

Yoshimasa Matsuno

We consider three novel PDEs associated with the integrable generalizations of the short pulse equation classified recently by Hone {\it et al} (2018 {\it Lett. Math. Phys.} {\bf 108} 927-947). In particular, we obtain a variety of exact solutions by means of a direct method analogous to that used for solving the short pulse equation. The main results report

Giovanni Fantuzzi, David Goluskin

We study a convex optimization framework for bounding extreme events in nonlinear dynamical systems governed by ordinary or partial differential equations (ODEs or PDEs). This framework bounds from above the largest value of an observable along trajectories that start from a chosen set and evolve over a finite or infinite time interval. The approach needs no

Ali Reza Ashrafi, Ali Ghalavand, Marzieh Pourbabaee

Suppose $G$ is a simple graph with edge set $E(G)$. The Randi\'{c} index $R(G)$ is defined as $R(G)=\sum_{uv\in E(G)}\frac{1}{\sqrt{deg_{G}(u)deg_{G}(v)}}$, where $deg_G(u)$ denotes the vertex degree of $u$ in $G$. In this paper, the first and second maximum of Randi\'{c} index among all $n-$vertex $k-$cyclic graphs were computed.

Zekun Ren, Felipe Oviedo, Muang Thway, Siyu I. P. Tian

Process optimization of photovoltaic devices is a time-intensive, trial and error endeavor, without full transparency of the underlying physics, and with user-imposed constraints that may or may not lead to a global optimum. Herein, we demonstrate that embedding physics domain knowledge into a Bayesian network enables an optimization approach that identifies

Maria Hügle, Gabriel Kalweit, Branka Mirchevska, Moritz Werling

In many real-world decision making problems, reaching an optimal decision requires taking into account a variable number of objects around the agent. Autonomous driving is a domain in which this is especially relevant, since the number of cars surrounding the agent varies considerably over time and affects the optimal action to be taken. Classical methods th

Beatrice van Amsterdam, Hirenkumar Nakawala, Elena De Momi, Danail Stoyanov

Kinematic trajectories recorded from surgical robots contain information about surgical gestures and potentially encode cues about surgeon's skill levels. Automatic segmentation of these trajectories into meaningful action units could help to develop new metrics for surgical skill assessment as well as to simplify surgical automation. State-of-the-art method

Qing Zhang, Yongwei Nie, Lei Zhu, Chunxia Xiao

Although remarkable progress has been made, existing methods for enhancing underexposed photos tend to produce visually unpleasing results due to the existence of visual artifacts (e.g., color distortion, loss of details and uneven exposure). We observed that this is because they fail to ensure the perceptual consistency of visual information between the sou

Charalambos D. Charalambous, Christos Kourtellaris, Sergey Loyka

The capacity of additive Gaussian noise (AGN) channels, $Y_t=X_t+V_t, t=1, \ldots, n$, $\frac{1}{n} {\bf E}\big\{\sum_{t=1}^n |X_t|^2 \big\}\leq \kappa, \kappa \in [0,\infty)$, with time-invariant channel input feedback strategies, is characterized and conditions are identified for entropy rates, and limit of average power to exist, when the noise is describ

K. A. Barantsev, T. Zanon-Willette, A. N. Litvinov

In this work, the peculiarities of Ramsey resonance and its sensitivity to the light shift from an optically dense medium of cold atoms are investigated. We considered different composite pulse protocols for clock spectroscopy such as hyper-Ramsey, modified and generalized hyper-Ramsey schemes. Shapes of resonances and error signals changes significantly due

Shengxian Wang, Xiaojie Chen, Attila Szolnoki

Prosocial incentive can promote cooperation, but providing incentive is costly. Institutions in human society may prefer to use an incentive strategy which is able to promote cooperation at a reasonable cost. However, thus far few works have explored the optimal institutional incentives which minimize related cost for the benefit of public cooperation. In th

S. C. Maree, T. Alderliesten, P. A. N. Bosman

This report presents benchmarking results of the Hill-Valley Evolutionary Algorithm version 2019 (HillVallEA19) on the CEC2013 niching benchmark suite under the restrictions of the GECCO 2019 niching competition on multimodal optimization. Performance is compared to algorithms that participated in previous editions of the niching competition.

V. Ziemann

This primer provides a basic introduction to beam optics concepts that are commonly used to describe charged particle accelerators.

Xiao-Hua Fan, Xin-le Shang, Jian-Min Dong, Wei Zuo

The self-energy effect on the neutron-proton (np) pairing gap is investigated up to the third order within the framework of the extend Bruecker-Hartree-Fock (BHF) approach combined with the BCS theory. The self-energy up to the second-order contribution turns out to reduce strongly the effective energy gap, while the \emph{renormalization} term enhances it s

R. Gobat, E. Daddi, R. T. Coogan, A. M. C. Le Brun

We present Atacama Large Millimetre Array and Atacama Compact Array observations of the Sunyaev-Zel'dovich effect in the z = 2 galaxy cluster Cl J1449+0856, an X-ray-detected progenitor of typical massive clusters in the present day Universe. While in a cleaned but otherwise untouched 92 GHz map of this cluster, little to no negative signal is visible, caref

Kentaro Sumigawa, Sankardeep Chakraborty, Kunihiko Sadakane, Srinivasa Rao Satti

We consider the range mode problem where given a sequence and a query range in it, we want to find items with maximum frequency in the range. We give time- and space- efficient algorithms for this problem. Our algorithms are efficient for small maximum frequency cases. We also consider a natural generalization of the problem: the range mode enumeration probl

Yu Terada, Yoshiyuki Y Yamaguchi

We develop a linear response theory by computing the asymptotic value of the order parameter from the linearized equation of continuity around the nonsynchronized reference state using the Laplace transform in time. The proposed theory is applicable to a wide class of coupled phase oscillator systems and allows for any coupling functions, any natural frequen

Zeju Li, Konstantinos Kamnitsas, Ben Glocker

Overfitting in deep learning has been the focus of a number of recent works, yet its exact impact on the behavior of neural networks is not well understood. This study analyzes overfitting by examining how the distribution of logits alters in relation to how much the model overfits. Specifically, we find that when training with few data samples, the distribu

Kohei Kikuta, Genki Ouchi, Atsushi Takahashi

We study relations between the Serre dimension defined as the growth of entropy of the Serre functor and the global dimension of Bridgeland stability conditions due to Ikeda-Qiu. A fundamental inequality between the Serre dimension and the infimum of the global dimensions is proved. Moreover, we characterize Gepner type stability conditions on fractional Cal

Daniel J. M. Hodgson, Michiel Hermes, Elena Blanco, Wilson C. K. Poon

Mixing a small amount of liquid into a powder can give rise to dry-looking granules; increasing the amount of liquid eventually produces a flowing suspension. We perform experiments on these phenomena using Spheriglass, an industrially-realistic model powder. Drawing on recent advances in understanding friction-induced shear thickening and jamming in suspens

Juan Guzmán-Iñigo, Markus Sodar, George Papadakis

We apply a data-based, linear dynamic estimator to reconstruct the velocity field from measurements at a single sensor point in the wake of an aerofoil. In particular, we consider a NACA0012 airfoil at $Re=600$ and $16^{\deg}$ angle of attack. Under these conditions, the flow exhibits a vortex shedding limit cycle. A reduced order model (ROM) of the flow fie

Nikolas Lessmann, Jelmer M. Wolterink, Majd Zreik, Max A. Viergever

Thin-plate splines can be used for interpolation of image values, but can also be used to represent a smooth surface, such as the boundary between two structures. We present a method for partitioning vertebra segmentation masks into two substructures, the vertebral body and the posterior elements, using a convolutional neural network that predicts the bounda

Z. X. Yang, X. L. Shang, G. C. Yong, W. Zuo

Nucleon momentum distributions at various densities and isospin-asymmetries for nuclear matter are investigated systematically within the extended Bruecker-Hartree-Fock approach.The shapes of the normalized momentum distributions varying with $k/k_{F}$ are practically identical, while the density and isospin dependent magnitude of the distribution is directl

Jordi Cortés Martínez, Moisès Gómez Mateu, KyungMann Kim, Guadalupe Gómez Melis

The hazard ratio is routinely used as a summary measure to assess the treatment effect in clinical trials with time-to-event endpoints. It is frequently assumed as constant over time although this assumption often does not hold. When the hazard ratio deviates considerably from being constant, the average of its plausible values is not a valid measure of the

Andrey N. Pravdivtsev, Frank D. Sönnichsen, Jan-Bernd Hövener

Nuclear Magnetic Resonance (NMR) is an intriguing quantum-mechanical effect that is used for daily life medical diagnostics and chemical analysis alike. Numerous advancements have contributed to the success of the technique, including hyperpolarized contrast agents that enables real-time imaging of metabolism in vivo. In physics, hyperpolarization has enable

Matthias Pukrop, Stefan Schumacher, Xuekai Ma

Vortices are topological objects carrying quantized orbital angular momentum and have been widely studied in many physical systems for their applicability in information storage and processing. In systems with spin degree of freedom the elementary excitations are so called half-vortices, carrying a quantum rotation only in one of the two spin components. We

Kohei Kikuta

Motivated by the study of the autoequivalence group of triangulated categories via isometric actions on metric spaces, we consider curvature properties (CAT(0), Gromov hyperbolic) of the space of Bridgeland stability conditions with the canonical metric defined by Bridgeland. We then prove that the metric is neither CAT(0) nor hyperbolic, and the quotient me

Froilán M. Dopico, Silvia Marcaida, María C. Quintana, Paul Van Dooren

This paper presents a definition for local linearizations of rational matrices and studies their properties. This definition allows us to introduce matrix pencils associated to a rational matrix that preserve its structure of zeros and poles in subsets of any algebraically closed field and also at infinity. Moreover, such definition includes, as particular c

Guanying Chen, Kai Han, Kwan-Yee K. Wong

This paper addresses the problem of image matting for transparent objects. Existing approaches often require tedious capturing procedures and long processing time, which limit their practical use. In this paper, we formulate transparent object matting as a refractive flow estimation problem, and propose a deep learning framework, called TOM-Net, for learning

Artur Sterz, Lars Baumgärtner, Jonas höchst, Patrick Lampe

Computation offloading is often used in mobile cloud, edge, and/or fog computing to cope with resource limitations of mobile devices in terms of computational power, storage, and energy. Computation offloading is particularly challenging in situations where network connectivity is intermittent or error-prone. In this paper, we present OPPLOAD, a novel framew

François Charles, Giovanni Mongardi, Gianluca Pacienza

We study families of rational curves on irreducible holomorphic symplectic varieties. We give a necessary and sufficient condition for a sufficiently ample linear system on a holomorphic symplectic variety of $K3^{[n]}$-type to contain a uniruled divisor covered by rational curves of primitive class. In particular, for any fixed $n$, we show that there are o

Samuel W. F. Earp, Victor P. Debattista, Andrea V. Macciò, Liang Wang

The direction of the spin vectors of disk galaxies change over time. We present the tilting rate of a sample of galaxies in the NIHAO suite of cosmological hydrodynamical simulations. Galaxies in our sample have been selected to be isolated and to have well determined spins. We compare the tilting rates to the predicted observing limit of Gaia, finding that

Naime Demirtas

In this paper, the concept of neutrosophic soft filter and its basic properties are introduced. Later, we set up a neutrosophic soft topology with the help of a neutrosophic soft filter. We also give the notions of the greatest lower bound and the least upper bound of the family of neutrosophic soft filters, neutrosophic soft filter subbase and neutrosophic

Jodi Dianetti, Giorgio Ferrari, Markus Fischer, Max Nendel

We study mean field games with scalar It{\^o}-type dynamics and costs that are submodular with respect to a suitable order relation on the state and measure space. The submodularity assumption has a number of interesting consequences. Firstly, it allows us to prove existence of solutions via an application of Tarski's fixed point theorem, covering cases with

Tomasz Grzywalski, Riccardo Belluzzo, Szymon Drgas, Agnieszka Cwalinska

To perform a precise auscultation for the purposes of examination of respiratory system normally requires the presence of an experienced doctor. With most recent advances in machine learning and artificial intelligence, automatic detection of pathological breath phenomena in sounds recorded with stethoscope becomes a reality. But to perform a full auscultati

Peter Thalmeier, Alireza Akbari, Ryousuke Shiina

We review the cubic rare-earth boride series which displays diverse electronic states like localized 4f electron multiplets split by the crystal electric field (CEF), itinerant heavy-fermion quasiparticle bands of the Kondo lattice as well as gapped Kondo insulator or mixed-valent semiconductor states. Fairly exotic states may appear due to the 'hidden' orde

Haidar Sheikhahmadi, Abolhassan Mohammadi, Ali Aghamohammadi, Tiberiu Harko

We investigate warm inflationary scenario in which the accelerated expansion of the early Universe is driven by chameleon-like scalar fields. Due to the non-minimal coupling between the scalar field and the matter sector, the energy-momentum tensor of each fluid component is not conserved anymore, and the generalized balance equation is obtained. The new sou

Houdun Zeng, Dahai Yan

The attenuation produced by extragalactic background light (EBL) in $\gamma$-ray spectra of blazars has been used to constrain the Hubble constant ($H_0$) and matter density ($\Omega_{\rm m}$) of the Universe. We propose to estimate $H_0$ and $\Omega_{\rm m}$ using the well measured $>$10 GeV extragalactic $\gamma$-ray background (EGB). This suggestion is ba

Veronika Ertl, Kazuki Yamada

We give a new and very intuitive construction of Hyodo--Kato cohomology and the Hyodo--Kato map, based on logarithmic rigid cohomology. We show that it is independent of the choice of a uniformiser and study its dependence on the choice of a branch of the $p$-adic logarithm. Moreover, we show the compatibility with the classical construction of Hyodo--Kato c

Steffen Wolf, Marta Amaral, Maryse Lowinski, Francois Vallée

We here report on non-equilibrium targeted Molecular Dynamics simulations as tool for the estimation of protein-ligand unbinding kinetics. Correlating simulations with experimental data from SPR kinetics measurements and X-ray crystallography on two small molecule compound libraries bound to the N-terminal domain of the chaperone Hsp90, we show that the mean

H. A. Kierstead, Daqing Yang, Junjun Yi

The weak $r$-coloring numbers $wcol_r(G)$ of a graph $G$ were introduced by the first two authors as a generalization of the usual coloring number $col(G)$, and have since found interesting theoretical and algorithmic applications. This has motivated researchers to establish strong bounds on these parameters for various classes of graphs. Let $G^p$ denote th

Nick Pawlowski, Ben Glocker

Deep learning builds the foundation for many medical image analysis tasks where neuralnetworks are often designed to have a large receptive field to incorporate long spatialdependencies. Recent work has shown that large receptive fields are not always necessaryfor computer vision tasks on natural images. We explore whether this translates to certainmedical i

E. Tavabi, S. Koutchmy

To study motions and oscillations in the solar chromosphere and at the transition region (TR) level we analyze some extreme Doppler shifts observed off-limb with the Interface Region Imaging Spectrograph (IRIS). Raster scans and slit-jaw imaging observations performed in the near-ultraviolet (NUV) channels were used. Large transverse oscillations are reveale

Federico Belli, Amir Abdolvand, John C. Travers, Philip St. J. Russell

We report on a highly-efficient experimental scheme for the generation of deep-ultraviolet ultrashort light pulses using four-wave mixing in gas-filled kagom\'e-style photonic crystal fiber. By pumping with ultrashort, few $\mu$J, pulses centered at 400 nm, we generate an idler pulse at 266 nm, and amplify a seeded signal at 800 nm. We achieve remarkably hig

Mengyu Liu, Hujun Yin

In this paper, we address the semantic segmentation task with a deep network that combines contextual features and spatial information. The proposed Cross Attention Network is composed of two branches and a Feature Cross Attention (FCA) module. Specifically, a shallow branch is used to preserve low-level spatial information and a deep branch is employed to e

Thomas Koerber

Given an elliptic diffusion operator $L$ defined on a compact and connected manifold (possibly with a convex boundary in a suitable sense) with an $L$-invariant measure $m$, we introduce the non-linear $p-$operator $L_p$, generalizing the notion of the $p-$Laplacian. Using techniques of the intrinsic $\Gamma_2$-calculus, we prove the sharp estimate $\lambda\

Pierre Vuillemin, Charles Poussot-Vassal

An interpolation method for discretising continuous-time Linear Time Invariant (LTI) models is proposed in this paper. It consists first in using the Loewner interpolation framework on a specific set of frequency data and secondly to project the resulting model onto a stable subspace. The order of the discretised model may be chosen larger than the initial o

Vishesh Vatsal, C. Barath, J. Yogeshwaran, Deepana Gandhi

TeamIndus' lunar logistics vision includes multiple lunar missions to meet requirements of science, commercial and efforts towards global exploration. The first mission is slated for launch in 2020. The prime objective is to demonstrate autonomous precision lunar landing, and Surface Exploration Rover to collect data on the vicinity of the landing site. Team

Jamon D. Pennicott, Paul S. Cally

Shock waves are simulated passing through the Alfv\'en-acoustic equipartition layer in a stratified isothermal magneto-atmosphere. The recent ray-theoretic calculations of N\'u\~nez (2019) predicted smoothing of the shock through this layer, causing both the fast and slow components to emerge as continuous waves. However, it is found that the partial mode co

Andrew Cropper, Rolf Morel, Stephen H. Muggleton

A key feature of inductive logic programming (ILP) is its ability to learn first-order programs, which are intrinsically more expressive than propositional programs. In this paper, we introduce techniques to learn higher-order programs. Specifically, we extend meta-interpretive learning (MIL) to support learning higher-order programs by allowing for \emph{hi

Andrew Cropper, Sophie Tourret

Many forms of inductive logic programming (ILP) use \emph{metarules}, second-order Horn clauses, to define the structure of learnable programs and thus the hypothesis space. Deciding which metarules to use for a given learning task is a major open problem and is a trade-off between efficiency and expressivity: the hypothesis space grows given more metarules,

Gülin Ercan, İsmail Ş. Güloğlu

Let $G$ be a finite solvable group and $H$ be a subgroup of $Aut(G)$. Suppose that there exists an $H$-invariant Carter subgroup $F$ of $G$ such that the semidirect product $FH$ is a Frobenius group with kernel $F$. We prove that the terms of the Fitting series of $C_{G}(H)$ are obtained as the intersection of $C_{G}(H)$ with the corresponding terms of the F

Satoshi Ikeda, Emmanuel N. Saridakis, Panayiotis C. Stavrinos, Alkiviadis Triantafyllopoulos

We investigate the cosmological applications of scalar-tensor theories that arise effectively from the Lorentz fiber bundle of a Finsler-like geometry. We first show that the involved nonlinear connection induces a new scalar degree of freedom and eventually a scalar-tensor theory. Using both a holonomic and a nonholonomic basis, we show the appearance of an

Massimiliano Patacchiola, Patrick Fox-Roberts, Edward Rosten

In the last few years there have been important advancements in generative models with the two dominant approaches being Generative Adversarial Networks (GANs) and Variational Autoencoders (VAEs). However, standard Autoencoders (AEs) and closely related structures have remained popular because they are easy to train and adapt to different tasks. An interesti

François Gelis, Giuliano Giacalone, Pablo Guerrero-Rodríguez, Cyrille Marquet

We present a simple description of the energy density profile created in a nucleus-nucleus collision, motivated by high-energy QCD. The energy density is modeled as the sum of contributions coming from elementary collisions between localized charges and a smooth nucleus. Each of these interactions creates a sharply-peaked source of energy density falling off

A. N. Bender, A. J. Anderson, J. S. Avva, P. A. R. Ade

Frequency-domain multiplexing (fMux) is an established technique for the readout of large arrays of transition edge sensor (TES) bolometers. Each TES in a multiplexing module has a unique AC voltage bias that is selected by a resonant filter. This scheme enables the operation and readout of multiple bolometers on a single pair of wires, reducing thermal load

Archita Bhattacharyya, Supratik Pal

Dark Energy not only has background effects through its equation of state $w_{DE}$, but also it can cluster through its sound speed $c^2_{sDE}$, subject to certain conditions. As is well-known, for dynamical dark energy models, dark energy perturbations get sourced into matter perturbations through metric perturbations which is always accompanied by the term

Valeska Valdivia, Anaelle Maury, Robert Brauer, Patrick Hennebelle

How and when in the star formation sequence do dust grains start to grow into pebbles is a cornerstone question to both star and planet formation. We compute the polarized radiative transfer from a model solar-type protostellar core, using the POLARIS code, aligning the dust grains with the local magnetic field, following the radiative torques (RATs) theory.

Alexander Iomin

The dynamics of an initial wave packed affected by random noise is considered in the framework of a comb model. The model is relevant to a diffusion problem in neurons where the transport of ions can be accelerated by an external random field due to synapse fluctuations. In the present specific case, it acts as boundary conditions, which lead to a reaction t

Sagar Uprety, Shahram Dehdashti, Lauren Fell, Peter Bruza

Relevance is an underlying concept in the field of Information Science and Retrieval. It is a cognitive notion consisting of several different criteria or dimensions. Theoretical models of relevance allude to interdependence between these dimensions, where their interaction and fusion leads to the final inference of relevance. We study the interaction betwee

H. Weigel

We compute the vacuum polarization energies for a couple of soliton models in one space and one time dimensions. These solitons are mappings that connect different degenerate vacua. From the considered sample solitons we conjecture that the vacuum polarization contribution to the total energy leads to instabilities whenever degenerate vacua with different cu

Bernt Ivar Utstøl Nødland

We show that the pseudoeffective cone of $k$-cycles on a complete complexity one $T$-variety is rational polyhedral for any $k$, generated by classes of $T$-invariant subvarieties. When $X$ is also rational, we give a presentation of the Chow groups of $X$ in terms of generators and relations, coming from the combinatorial data defining $X$ as a $T$-variety.

Ziwen An, Leah F South, Christopher Drovandi

Bayesian synthetic likelihood (BSL) is a popular method for estimating the parameter posterior distribution for complex statistical models and stochastic processes that possess a computationally intractable likelihood function. Instead of evaluating the likelihood, BSL approximates the likelihood of a judiciously chosen summary statistic of the data via mode

A. T. Bajkova, V. V. Bobylev

Passing through the Galactic disk, a massive object such as a globular cluster, can trigger star formation process leading to the birth of open clusters. Here, we analyze such possible evolutionary relationship between globular and open clusters. To search for the closest rapprochement between objects we computed backwards the orbits of 150 Galactic globular

Pedro Sancho

We consider an unexplored aspect of the mass equivalence principle in the quantum realm, its connection with atomic stability. We show that if the gravitational mass were different from the inertial one, a Hydrogen atom placed in a constant gravitational field would become unstable in the long term. In contrast, independently of the relation between the two

Václav Rozhoň, Mohsen Ghaffari

We present a simple polylogarithmic-time deterministic distributed algorithm for network decomposition. This improves on a celebrated $2^{O(\sqrt{\log n})}$-time algorithm of Panconesi and Srinivasan [STOC'92] and settles a central and long-standing question in distributed graph algorithms. It also leads to the first polylogarithmic-time deterministic distri

Zhijie Zhang, Huazhu Fu, Hang Dai, Jianbing Shen

Segmentation is a fundamental task in medical image analysis. However, most existing methods focus on primary region extraction and ignore edge information, which is useful for obtaining accurate segmentation. In this paper, we propose a generic medical segmentation method, called Edge-aTtention guidance Network (ET-Net), which embeds edge-attention represen

Cristian Ivan

Convolutional Neural Networks (CNNs) are build specifically for computer vision tasks for which it is known that the input data is a hierarchical structure based on locally correlated elements. The question that naturally arises is what happens with the performance of CNNs if one of the basic properties of the data is removed, e.g. what happens if the image

J. -C. Tsai, M. -R. Chou, P. -C. Huang, H. -T. Fei

We study the responses of fluid-immersed soft hydrogel spheres that are sheared under controlled volume fractions. Slippery, deformable particles along with the density-matched interstitial fluid are sandwiched between two opposing rough cones, allowing studies for a wide range of volume fraction $\phi$ both above and below the jamming of granular suspension

Ercan Sönmez

We consider a version of continuum long-range percolation on finite boxes of $\mathbb{R}^d$ in which the vertex set is given by the points of a Poisson point process and each pair of two vertices at distance $r$ is connected with probability proportional to $r^{-s}$ for a certain constant $s$. We explore the graph-theoretical distance in this model. The aim

S. Hamidreza Kasaei

Nowadays service robots are leaving the structured and completely known environments and entering human-centric settings. For these robots, object perception and grasping are two challenging tasks due to the high demand for accurate and real-time responses. Although many problems have already been understood and solved successfully, many challenges still rem

Mattias P. Heinrich

Nonlinear image registration continues to be a fundamentally important tool in medical image analysis. Diagnostic tasks, image-guided surgery and radiotherapy as well as motion analysis all rely heavily on accurate intra-patient alignment. Furthermore, inter-patient registration enables atlas-based segmentation or landmark localisation and shape analysis. Wh

Hedayat Alghassi, Raouf Dridi, Sridhar Tayur

Inspired by the decomposition in the hybrid quantum-classical optimization algorithm we introduced in arXiv:1902.04215, we propose here a new (fully classical) approach to solving certain non-convex integer programs using Graver bases. This method is well suited when (a) the constraint matrix $A$ has a special structure so that its Graver basis can be comput

Benedykt R. Jany, Arkadiusz Janas, Franciszek Krok

Analysis of microscope images is a tedious work which requires patience and time, usually done manually by the microscopist after data collection. Here we introduce an approach of automatic image analysis, which is based on locally applied Fourier Transform and Machine Learning methods. In this approach, a whole image is scanned by a local moving window with

Xuanhua Wang, Jin Wang

We study the steady state entanglement and correlations of an open system comprised of two coupled fermions in the equilibrium or nonequilibrium environments and distill the nonequilibrium contribution to the quantum correlations. We show that in the equilibrium condition, the steady-state quantum correlations exhibit non-monotonic behavior, while in the non

Enza Pellegrino, Laura Pezza, Francesca Pitolli

We used a collocation method in refinable spline space to solve a linear dynamical system having fractional derivative in time. The method takes advantage of an explicit derivation rule for the B-spline basis that allows us to efficiently evaluate the collocation matrices appearing in the method. We proof the convergence of the method. Some numerical results

T. Feldker, H. Fürst, H. Hirzler, N. V. Ewald

Great advances in precision quantum measurement have been achieved with trapped ions and atomic gases at the lowest possible temperatures. These successes have inspired ideas to merge the two systems. In this way one can study the unique properties of ionic impurities inside a quantum fluid or explore buffer gas cooling of the trapped ion quantum computer. R

Wolfgang Faber, Michael Morak, Stefan Woltran

Epistemic Logic Programs (ELPs) extend Answer Set Programming (ASP) with epistemic negation and have received renewed interest in recent years. This led to the development of new research and efficient solving systems for ELPs. In practice, ELPs are often written in a modular way, where each module interacts with other modules by accepting sets of facts as i

Aymeric Merceron, Alban Sauret, Pierre Jop

We consider the rearrangements of a vertical twodimensional granular packing induced by the withdrawal of an intruder. Here, we focus on the influence of the size of the intruder on the reorganization process. The long term evolution of the granular packing is investigated as well as the avalanche dynamics that characterize the short term rearrangements arou

Stefano Ceci, Christian Seis

It is well-known that the dynamics of vortices in an ideal incompressible two-dimensional fluid contained in a bounded not necessarily simply connected smooth domain is described by the Kirchhoff--Routh point vortex system. In this paper, we revisit the classical problem of how well solutions to the Euler equations approximate these vortex dynamics and exten

Pierre Talbot

Search strategies are crucial to efficiently solve constraint satisfaction problems. However, programming search strategies in the existing constraint solvers is a daunting task and constraint-based languages usually have compositionality issues. We propose spacetime programming, a paradigm extending the synchronous language Esterel and timed concurrent cons

Zhi-Gang Wang

In this article, we construct the diquark-antidiquark type current operators to study the axialvector $B_c$-like tetraquark states with the QCD sum rules. In calculations, we take the energy scale formula as a powerful constraint to choose the ideal energy scales of the QCD spectral densities and add detailed discussions to illustrate why we take the energy

Roberto Camassa, Gregorio Falqui, Giovanni Ortenzi, Marco Pedroni

Self-similar solutions of the so called Airy equations, equivalent to the dispersionless nonlinear Schr\"odinger equation written in Madelung coordinates, are found and studied from the point of view of complete integrability and of their role in the recurrence relation from a bi-Hamiltonian structure for the equations. This class of solutions reduces the PD

Anatoly N. Kochubei

In an earlier paper (A. N. Kochubei, {\it Pacif. J. Math.} 269 (2014), 355--369), the author considered a restriction of Vladimirov's fractional differentiation operator $D^\alpha$, $\alpha >0$, to radial functions on a non-Archimedean field. In particular, it was found to possess such a right inverse $I^\alpha$ that the change of an unknown function $u=I^\a

María Alpuente, Demis Ballis, Santiago Escobar, Julia Sapiña

Concurrent functional languages that are endowed with symbolic reasoning capabilities such as Maude offer a high-level, elegant, and efficient approach to programming and analyzing complex, highly nondeterministic software systems. Maude's symbolic capabilities are based on equational unification and narrowing in rewrite theories, and provide Maude with adva

Alex Alvarado, Gabriele Liga, Yi Lei, Bin Chen

We review the recently introduced soft-aided bit-marking (SABM) algorithm and its suitability for product codes. Some aspects of the implementation of the SABM algorithm are discussed. The influence of suboptimal channel soft information is also analyzed.

Ben Nicholls, Chee Siang Ang, Eiman Kanjo, Panote Siriaraya

Mindless eating, or the lack of awareness of the food we are consuming, has been linked to health problems attributed to unhealthy eating behaviour, including obesity. Traditional approaches used to moderate eating behaviour often rely on inaccurate self-logging, manual observations or bulky equipment. Overall, there is a need for an intelligent and lightwei

Tijana Tomašević-Ilić, Djordje Jovanović, Igor Popov, Rajveer Fandan

Liquid phase exfoliation followed by Langmuir-Blodgett self-assembly (LBSA) is a promising method for scalable production of thin graphene films for transparent conductor applications. However, monolayer assembly into thin films often induces a high density of defects, resulting in a large sheet resistance that hinders practical use. We introduce UV/ozone as

Jiaolong Xu, Liang Xiao, Antonio M. Lopez

Recent progress of self-supervised visual representation learning has achieved remarkable success on many challenging computer vision benchmarks. However, whether these techniques can be used for domain adaptation has not been explored. In this work, we propose a generic method for self-supervised domain adaptation, using object recognition and semantic segm

Fernando Sáenz-Pérez

This paper proposes the use of Constraint Logic Programming (CLP) to model SQL queries in a data-independent abstract layer by focusing on some semantic properties for signalling possible errors in such queries. First, we define a translation from SQL to Datalog, and from Datalog to CLP, so that solving this CLP program will give information about inconsiste

A. Bazzani, M. Giovannozzi, E. H. Maclean

In this paper the experimental results of the recent dynamic aperture at top energy for the CERN Large Hadron Collider are analysed by means of a diffusion model whose novelty consists of deriving the functional form of the diffusion coefficient from Nekhoroshev theorem. This theorem provides an optimal estimate of the remainder of perturbative series for Ha

C. Pardanaud, A. Merlen, K Gratzer, O. Chuzel

We report on an alternative route based on nanomechanical folding induced by AFM tip to obtain weakly interacting multi-layer graphene (wi-MLG) from a chemical vapor deposition (CVD) grown single-layer graphene (SLG). The tip first cuts, then pushes and folds graphene during zigzag movements. The pushed graphene has been analyzed using various Raman microsco

Li Ma, Frederic Wiame, Vincent Maurice, Philippe Marcus

The durability of passivable metals and alloys is often limited by the stability of the surface oxide film, the passive film, providing self-protection against corrosion in aggressive environments. Improving this stability requires to develop a deeper understanding of the surface structure and initial surface reactivity at the nanometric or atomic scale. In

Assem Mussatayeva, Tolkynay Myrzakul, Gulgassyl Nugmanova, Kuralay Yesmakhanova

In the present paper, we investigate some geometrical properties of the Camass-Holm equation (CHE). We establish the geometrical equivalence between the CHE and the M-CIV equation using a link with the motion of curves. We also show that these two equations are gauge equivalent each to other.

Liviana Palmisano, Bertuel Tangue

We study circle maps with a flat interval where the critical exponents at the two boundary points of the flat spot might be different. The space of such systems is partitioned in two connected parts whose common boundary only depends on the critical exponents. At this boundary there is a phase transition in the geometry of the system. Differently from the pr

J. G. Che

To elucidate the physics underling magnetism observed in nominally nonmagnetic materials with only $sp$-electrons, we built an extreme model to simulate H-adsorption (in a straight-line form) on graphene. Our first principles calculations for the model produce a ferromagnetic ground state with a magnetic moment of one Bohr magneton per H atom and an estimate

Thomas Le Reun, Benjamin Favier, Michael Le Bars

In this paper, we present an experimental investigation of the turbulent saturation of the flow driven by parametric resonance of inertial waves in a rotating fluid. In our set-up, a half-meter wide ellipsoid filled with water is brought to solid body rotation, and then undergoes sustained harmonic modulation of its rotation rate. This triggers the exponenti

Adrien Le Coënt, Laurent Fribourg

We show that, for any spatially discretized system of reaction-diffusion, the approximate solution given by the explicit Euler time-discretization scheme converges to the exact time-continuous solution, provided that diffusion coefficient be sufficiently large. By "sufficiently large", we mean that the diffusion coefficient value makes the one-sided Lipschit

Gen Li, Yuantao Gu

Spectral Method is a commonly used scheme to cluster data points lying close to Union of Subspaces by first constructing a Random Geometry Graph, called Subspace Clustering. This paper establishes a theory to analyze this method. Based on this theory, we demonstrate the efficiency of Subspace Clustering in fairly broad conditions. The insights and analysis t

Shuxiao Chen, Edgar Dobriban, Jane H Lee

Data augmentation is a widely used trick when training deep neural networks: in addition to the original data, properly transformed data are also added to the training set. However, to the best of our knowledge, a clear mathematical framework to explain the performance benefits of data augmentation is not available. In this paper, we develop such a theoretic