July 2019 arXiv papers — page 98

Stefan Schael, Alexander Atanasyan, Javier Berdugo, Thomas Bretz

The next generation magnetic spectrometer in space, AMS-100, is designed to have a geometrical acceptance of $100\,\mathrm{m}^2\,\mathrm{sr}$ and to be operated for at least ten years at the Sun-Earth Lagrange Point 2. Compared to existing experiments, it will improve the sensitivity for the observation of new phenomena in cosmic rays, and in particular in c

N. Atanov, V. Baranov, L. Baldini, J. Budagov

The Mu2e electromagnetic calorimeter is made of two disks of un-doped parallelepiped CsI crystals readout by SiPM. There are 674 crystals in one disk and each crystal is readout by an array of two SiPM. The readout electronics is composed of two types of modules: 1) the front-end module hosts the shaping amplifier and the high voltage linear regulator; since

Yasushi Kawase, Atsushi Iwasaki

This paper focuses on two-sided matching where one side (a hospital or firm) is matched to the other side (a doctor or worker) so as to maximize a cardinal objective under general feasibility constraints. In a standard model, even though multiple doctors can be matched to a single hospital, a hospital has a responsive preference and a maximum quota. However,

Irmina Czarna, Adam Kaszubowski

In this paper we investigate an optimal dividend problem with transaction costs, where the surplus process is modelled by a refracted Lévy process and the ruin time is considered with Parisian delay. Presence of the transaction costs implies that one need to consider the impulse control problem as a control strategy in such model. An impulse policy $(c_1,c_2

Dieter Lust, Eran Palti

In this brief note we consider the interaction between high spin excitations in string theory along the Regge trajectory and the Higuchi bound in de Sitter space. There is always a point along the Regge trajectory where the Higuchi bound is violated. However, this point precisely coincides with a string whose length is of order the de Sitter Hubble scale. St

N. Joshi

Many of the competitive neural network consists of spatially arranged neurons. The weigh matrix that connects cells represents local excitation and long-range inhibition. They are known as soft-winner-take-all networks and shown to exhibit desirable information-processing. The local excitatory connections are many times predefined hand-wired based depending

François Lamoline, Joseph J. Winkin

Stochastic port-Hamiltonian systems on infinite-dimensional spaces governed by Itô stochastic differential equations (SDEs) are introduced and some properties of this new class of systems are studied. They are an extension of stochastic port-Hamiltonian systems defined on a finite-dimensional state space. The concept of well-posedness in the sense of Weiss a

Bernhard Thaler, Miriam Meyer, Pascal Heim, Markus Koch

Much of our knowledge about dynamics and functionality of molecular systems has been achieved with femtosecond time-resolved spectroscopy. Despite extensive technical developments over the past decades, some classes of systems have eluded dynamical studies so far. Here, we demonstrate that superfluid helium nanodroplets, acting as thermal bath of 0.4 K tempe

Chong Peng, Zhao Kang, Chenglizhao Chen, Qiang Cheng

Existing nonnegative matrix factorization methods focus on learning global structure of the data to construct basis and coefficient matrices, which ignores the local structure that commonly exists among data. In this paper, we propose a new type of nonnegative matrix factorization method, which learns local similarity and clustering in a mutually enhancing w

James S Milne

For an abelian variety over a finite field, Clozel (1999) showed that l-homological equivalence coincides with numerical equivalence for infinitely many l, and the author (1999) gave a criterion for the Tate conjecture to follow from Tate's theorem on divisors. We generalize both statements to motives, and apply them to other varieties including K3 surfa

Sachin Kadam, Sesha Vivek Y., P. Hari Prasad, Rajesh Kumar

Machine-to-Machine (M2M) networks are an emerging technology with applications in various fields, including smart grids, healthcare, vehicular telematics and smart cities. Heterogeneous M2M networks contain different types of nodes, e.g., nodes that send emergency, periodic, and normal type data. An important problem is to rapidly estimate the number of acti

Svein Høgemo, Jan Arne Telle, Erlend Raa Vågset

We provide an $O(n \log n)$ algorithm computing the linear maximum induced matching width of a tree and an optimal layout.

Alberto Lastra, Stéphane Malek

Analytic solutions and their formal asymptotic expansions for a family of the singularly perturbed $q-$difference-differential equations in the complex domain are constructed. They stand for a $q-$analog of the singularly perturbed partial differential equations considered in our recent work [A. Lastra, S. Malek, Boundary layer expansions for initial value p

Volodymyr Mazorchuk, Rafael Mrđen

Using translation from the regular block, we construct and analyze properties of BGG complexes in singular blocks of BGG category ${\mathcal{O}}$. We provide criteria, in terms of the Kazhdan-Lusztig-Vogan polynomials, for such complexes to be exact. In the Koszul dual picture, exactness of BGG complexes is expressed as a certain condition on a generalized V

Thomas Berger, Anna-Lena Rauert

We consider the problem of vehicle following, where a safety distance to the leader vehicle is guaranteed at all times and a favourite velocity is reached as far as possible. We introduce the funnel cruise controller as a novel universal adaptive cruise control mechanism which is model-free and achieves the aforementioned control objectives. The controller c

Arnaud Munch, Carlos Castro

The Petrowsky type equation $y_{tt}^\eps+\eps y_{xxxx}^\eps - y_{xx}^\eps=0$, $\eps>0$ encountered in linear beams theory is null controllable through Neumann boundary controls. Due to the boundary layer of size of order $\sqrt{\eps}$ occurring at the extremities, these boundary controls get singular as $\eps$ goes to $0$. Using the matched asymptotic method

Jan Glaubitz

A main disadvantage of many high-order methods for hyperbolic conservation laws lies in the famous Gibbs-Wilbraham phenomenon, once discontinuities appear in the solution. Due to the Gibbs-Wilbraham phenomenon, the numerical approximation will be polluted by spurious oscillations, which produce unphysical numerical solutions and might finally blow up the com

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

We propose and theoretically and numerically investigate narrowband integrated filters consisting of identical resonant dielectric ridges on the surface of a single-mode dielectric slab waveguide. The proposed composite structures operate near a bound state in the continuum (BIC) and enable spectral filtering of transverse-electric-polarized guided modes pro

Katarína Furmanová, Adam Jurčík, Barbora Kozlíková, Helwig Hauser

When studying multi-body protein complexes, biochemists use computational tools that can suggest hundreds or thousands of their possible spatial configurations. However, it is not feasible to experimentally verify more than only a very small subset of them. In this paper, we propose a novel multiscale visual drilldown approach that was designed in tight coll

Danil Krotkov

In this work we continue to study the properties of polynomials of binomial type and their canonical continuations to the complex index by exploring the properties of transformation T:=1/dlog which acts on formal power series $f(x)$ of the form $x+x^2\mathbb{C}[[x]]$.

Vivian S. Silva, André Freitas, Siegfried Handschuh

Artificial Intelligence models are becoming increasingly more powerful and accurate, supporting or even replacing humans' decision making. But with increased power and accuracy also comes higher complexity, making it hard for users to understand how the model works and what the reasons behind its predictions are. Humans must explain and justify their dec

Pavel Rojtberg

For building a Augmented Reality (AR) pipeline, the most crucial step is the camera calibration as overall quality heavily depends on it. In turn camera calibration itself is influenced most by the choice of camera-to-pattern poses - yet currently there is only little research on guiding the user to a specific pose. We build upon our novel camera calibration

Junming Huang, Alexander J. Gates, Roberta Sinatra, Albert-Laszlo Barabasi

There is extensive, yet fragmented, evidence of gender differences in academia suggesting that women are under-represented in most scientific disciplines, publish fewer articles throughout a career, and their work acquires fewer citations. Here, we offer a comprehensive picture of longitudinal gender discrepancies in performance through a bibliometric analys

Christian Wachinger, Benjamin Gutierrez Becker, Anna Rieckmann, Sebastian Pölsterl

Neuroimaging datasets keep growing in size to address increasingly complex medical questions. However, even the largest datasets today alone are too small for training complex machine learning models. A potential solution is to increase sample size by pooling scans from several datasets. In this work, we combine 12,207 MRI scans from 15 studies and show that

Brooke E. Husic, Frank Noé

The output of molecular dynamics simulations is high-dimensional, and the degrees of freedom among the atoms are related in intricate ways. Therefore, a variety of analysis frameworks have been introduced in order to distill complex motions into lower-dimensional representations that model the system dynamics. These dynamical models have been developed to op

Simon D. Duque Anton, Daniel Fraunholz, Hans Dieter Schotten

Until two decades ago, industrial networks were deemed secure due to physical separation from public networks. An abundance of successful attacks proved that assumption wrong. Intrusion detection solutions for industrial application need to meet certain requirements that differ from home- and office-environments, such as working without feedback to the proce

Farzaneh Nasresfahani, Mohammad Reza Eslahchi

The main target of this paper is to present a new and efficient method to solve a nonlinear free boundary mathematical model of atherosclerosis. This model consists of three parabolics, one elliptic and one ordinary differential equations that are coupled together and describe the growth of a plaque in the artery. We start our discussion by using the front f

Pavel Rojtberg, Arjan Kuijper

The choice of poses for camera calibration with planar patterns is only rarely considered - yet the calibration precision heavily depends on it. This work presents a pose selection method that finds a compact and robust set of calibration poses and is suitable for interactive calibration. Consequently, singular poses that would lead to an unreliable solution

Robert Vrabel

In this paper we derive new criterion for uniform stability assessment of the linear periodic time-varying systems $\dot x=A(t)x,$ $A(t+T)=A(t).$ As a corollary, the lower and upper bounds for the Floquet characteristic exponents are established. The approach is based on the use of logarithmic norm of the system matrix $A(t).$ Finally we analyze the robustne

Hao Chang

Let $\mathscr{B}_0(\mathcal{G})\subseteq k\mathcal{G}$ be the principal block algebra of the group algebra $k\mathcal{G}$ of an infinitesimal group scheme $\mathcal{G}$ over an algebraically closed field $k$ of characteristic ${\rm char}(k)=:p\geq 3$. We calculate the restricted Lie algebra structure of the first Hochschild cohomology $\mathcal{L}:={\rm H}^1

Chunsheng Liu, Hong Shan, Chunlei Chen

In this paper, a new definition of tensor p-shrinkage nuclear norm (p-TNN) is proposed based on tensor singular value decomposition (t-SVD). In particular, it can be proved that p-TNN is a better approximation of the tensor average rank than the tensor nuclear norm when p < 1. Therefore, by employing the p-shrinkage nuclear norm, a novel low-rank tensor comp

Raúl Murillo Montero, Alberto A. Del Barrio, Guillermo Botella

The posit number system is arguably the most promising and discussed topic in Arithmetic nowadays. The recent breakthroughs claimed by the format proposed by John L. Gustafson have put posits in the spotlight. In this work, we first describe an algorithm for multiplying two posit numbers, even when the number of exponent bits is zero. This configuration, sca

Subrata Das, Anal Bhowmik, Koushik Mukherjee, Sonjoy Majumder

In this paper, we have formulated a theory for the microscopic interaction of the asymmetric Laguerre-Gaussian (aLG) beam with the atomic Bose-Einstein condensate (BEC) in a harmonic trap. Here the asymmetry is introduced to an LG beam considering a complex-valued shift in the Cartesian plane keeping the axis of the beam and its vortex states co-axial to the

Danil Krotkov

In this work we introduce interesting infinite series, related to Ramanujan-Soldner constant. Our method uses general properties of polynomials of binomial type and Lagrange inversion theorem. Also we study properties of the operator 1/dlog, acting on formal power series. In addition, several properties of polynomials of binomial type associated to elementar

Soh Kumabe, Takanori Maehara

We consider min-max $r$-gather clustering problem and min-max $r$-gathering problem. In the min-max $r$-gather clustering problem, we are given a set of users and divide them into clusters with size at least $r$; the goal is to minimize the maximum diameter of clusters. In the min-max $r$-gathering problem, we are additionally given a set of facilities and a

Soh Kumabe, Takanori Maehara

r-gathering problem is a variant of facility location problems. In this problem, we are given a set of users and a set of facilities on same metric space. We open some of the facilities and assign each user to an open facility, so that at least r users are assigned to every open facility. We aim to minimize the maximum distance between user and assigned faci

Zhaojian Zhang, Junbo Yang, Wei Bai, Yunxin Han

We numerically propose an all-dielectric hybrid metamaterial (MM) to realize all-optical switch and logic gates in shortwave infrared (SWIR) band. Such MM consists of one silicon rod and one Ge2Sb2Te5 (GST) rod pair. Utilizing the transition from amorphous to crystalline state of GST, such MM can produce electromagnetically induced transparency (EIT) analogu

Kiran H. Kanekal, Tristan Bereau

Increasing the efficiency of materials design and discovery remains a significant challenge, especially given the prohibitively large size of chemical compound space. The use of a chemically transferable coarse-grained model enables different molecular fragments to map to the same bead type, while also reducing computational expense. These properties further

Hamidreza Khaleghzadeh, Muhammad Fahad, Arsalan Shahid, Ravi Reddy Manumachu

Performance and energy are the two most important objectives for optimisation on modern parallel platforms. Latest research demonstrated the importance of workload distribution as a decision variable in the bi-objective optimisation for performance and energy on homogeneous multicore clusters. We show in this work that bi-objective optimisation for performan

Kallol Paul, Ratul Dasgupta, Jürgen Horbach, Smarajit Karmakar

Amorphous solids, confined on the nano-scale, exhibit a wealth of novel phenomena yet to be explored. In particular, the response of such solids to a mechanical load is not well understood and, as has been demonstrated experimentally, it differs strongly from bulk samples made of the same materials. Failure patterns and mechanisms are strongly affected by th

A. D. Utyushev, I. L. Isaev, V. S. Gerasimov, A. E. Ershov

The interaction of non-monochromatic radiation with two types of arrays comprising both plasmonic and dielectric nanoparticles has been studied in detail. We have shown that dielectric nanoparticle arrays provide a complete selective reflection of an incident plane wave within a narrow spectral line of collective lattice resonance with a Q-factor of $10^3$ o

A. Banc, J. Pincemaille, S. Costanzo, E. Chauveau

We investigate by time-resolved Synchrotron ultra-small X-ray scattering the dynamics of liquid-liquid phase-separation (LLPS) of gluten protein suspensions following a temperature quench. Samples at a fixed concentration (237 mg/ml) but with different protein compositions are investigated. In our experimental conditions, we show that fluid viscoelastic samp

Marc-Antoine Lemonde, Vittorio Peano, Peter Rabl, Dimitris G. Angelakis

We propose a novel hybrid platform where solid-state spin qubits are coupled to the acoustic modes of a two-dimensional array of optomechanical nano cavities. Previous studies of coupled optomechanical cavities have shown that in the presence of strong optical driving fields, the interplay between the photon-phonon interaction and their respective inter-cavi

Udit Arora, William Scott Paka, Tanmoy Chakraborty

Online social media platforms have made the world more connected than ever before, thereby making it easier for everyone to spread their content across a wide variety of audiences. Twitter is one such popular platform where people publish tweets to spread their messages to everyone. Twitter allows users to Retweet other users&#39; tweets in order to broadcas

Davide Marchese, Marco Coraggio, S. John Hogan, Mario di Bernardo

The Painlevé paradox is a phenomenon that causes instability in mechanical systems subjects to unilateral constraints. While earlier studies were mostly focused on abstract theoretical settings, recent work confirmed the occurrence of the paradox in realistic set-ups. In this paper, we investigate the dynamics and presence of the Painlevé phenomenon in a two

Mohammad Abdulaziz, Kurt Mehlhorn, Tobias Nipkow

The goal of the LEDA project was to build an easy-to-use and extendable library of correct and efficient data structures, graph algorithms and geometric algorithms. We report on the use of formal program verification to achieve an even higher level of trustworthiness. Specifically, we report on an ongoing and largely finished verification of the blossom-shri

Jens Petersen, Paul F. Jäger, Fabian Isensee, Simon A. A. Kohl

Existing approaches to modeling the dynamics of brain tumor growth, specifically glioma, employ biologically inspired models of cell diffusion, using image data to estimate the associated parameters. In this work, we propose an alternative approach based on recent advances in probabilistic segmentation and representation learning that implicitly learns growt

Apostolos I. Rikos, Christoforos N. Hadjicostis

We consider the distributed weight balancing problem in networks of nodes that are interconnected via directed edges, each of which is able to admit a positive integer weight within a certain interval, captured by individual lower and upper limits. A digraph with positive integer weights on its (directed) edges is weight-balanced if, for each node, the sum o

Chandra Sekhar V., Anoushka Doctor, Prerana Mukherjee, Viswanath Pulabaigiri

The augmented usage of deep learning-based models for various AI related problems are as a result of modern architectures of deeper length and the availability of voluminous interpreted datasets. The models based on these architectures require huge training and storage cost, which makes them inefficient to use in critical applications like online signature v

Alpha Renner, Matthew Evanusa, Yulia Sandamirskaya

We present a fully event-driven vision and processing system for selective attention and tracking, realized on a neuromorphic processor Loihi interfaced to an event-based Dynamic Vision Sensor DAVIS. The attention mechanism is realized as a recurrent spiking neural network that implements attractor-dynamics of dynamic neural fields. We demonstrate capability

Peter O. Fasogbon

Depth from Small Motion (DfSM) (Ha et al., 2016) is particularly interesting for commercial handheld devices because it allows the possibility to get depth information with minimal user effort and cooperation. Due to speed and memory issue on these devices, the self calibration optimization of the method using Bundle Adjustment (BA) need as little as 10-15 i

Shoyu Nagaoka

Following the paper &#34;Note on theta series for Niemeier lattices&#34;, we study some congruence properties satisfied by the theta series associated with Niemeier lattices.

Domenico Cotroneo, Luigi De Simone, Pietro Liguori, Roberto Natella

Cloud management systems provide abstractions and APIs for programmatically configuring cloud infrastructures. Unfortunately, residual software bugs in these systems can potentially lead to high-severity failures, such as prolonged outages and data losses. In this paper, we investigate the impact of failures in the context widespread OpenStack cloud manageme

Daniele Gravina, Ahmed Khalifa, Antonios Liapis, Julian Togelius

Quality-diversity (QD) algorithms search for a set of good solutions which cover a space as defined by behavior metrics. This simultaneous focus on quality and diversity with explicit metrics sets QD algorithms apart from standard single- and multi-objective evolutionary algorithms, as well as from diversity preservation approaches such as niching. These pro

Qingyi Tao, Zongyuan Ge, Jianfei Cai, Jianxiong Yin

Lesion detection from computed tomography (CT) scans is challenging compared to natural object detection because of two major reasons: small lesion size and small inter-class variation. Firstly, the lesions usually only occupy a small region in the CT image. The feature of such small region may not be able to provide sufficient information due to its limited

Luca Ambrogioni, Umut Güçlü, Marcel van Gerven

Generative adversarial networks (GANs) are the state of the art in generative modeling. Unfortunately, most GAN methods are susceptible to mode collapse, meaning that they tend to capture only a subset of the modes of the true distribution. A possible way of dealing with this problem is to use an ensemble of GANs, where (ideally) each network models a single

Olegs Nikisins, Anjith George, Sebastien Marcel

While the performance of face recognition systems has improved significantly in the last decade, they are proved to be highly vulnerable to presentation attacks (spoofing). Most of the research in the field of face presentation attack detection (PAD), was focused on boosting the performance of the systems within a single database. Face PAD datasets are usual

Anjith George, Sebastien Marcel

Face recognition has evolved as a prominent biometric authentication modality. However, vulnerability to presentation attacks curtails its reliable deployment. Automatic detection of presentation attacks is essential for secure use of face recognition technology in unattended scenarios. In this work, we introduce a Convolutional Neural Network (CNN) based fr

Luis H. R. Alvarez E., Sören Christensen

We investigate the impact of Knightian uncertainty on the optimal timing policy of an ambiguity averse decision maker in the case where the underlying factor dynamics follow a multidimensional Brownian motion and the exercise payoff depends on either a linear combination of the factors or the radial part of the driving factor dynamics. We present a general c

S. Sofer, E. Strizhevsky, A. Schori, K. Tamasaku

We present the first experimental demonstration of quantum-enhanced detection at x-ray wavelengths. We show that x-ray pairs that are generated by spontaneous down-conversion can be used for the generation of heralded x-ray photons and measure directly the sub-Poissonian statistics of the single photons by using photon number resolving detectors. We utilize

Samuel Rosa

In clinical trials, the response of a given subject often depends on the selected treatment as well as on some covariates. We study optimal approximate designs of experiments in the models with treatment and covariate effects. We allow for the variances of the responses to depend on the chosen treatments, which introduces heteroscedasticity into the models.

Tuure Orell, Alexios A. Michailidis, Maksym Serbyn, Matti Silveri

Chains of superconducting circuit devices provide a natural platform for studies of synthetic bosonic quantum matter. Motivated by the recent experimental progress in realizing disordered and interacting chains of superconducting transmon devices, we study the bosonic many-body localization phase transition using the methods of exact diagonalization as well

Benjamin Kiessling, Daniel Stökl Ben Ezra, Matthew Thomas Miller

The application of handwritten text recognition to historical works is highly dependant on accurate text line retrieval. A number of systems utilizing a robust baseline detection paradigm have emerged recently but the advancement of layout analysis methods for challenging scripts is held back by the lack of well-established datasets including works in non-La

Tarak Karmakar, Pablo M. Piaggi, Michele Parrinello

A widely spread method of crystal preparation is to precipitate it from a supersaturated solution. In such a process, control of solution concentration is of paramount importance. Nucleation process, polymorph selection, and crystal habits depend crucially on this thermodynamic parameter. When performing simulations in the canonical ensemble as the crystalli

Bing-Shi Yu, Hai-Jun Wu, Hao-Ran Yang, Wei Gao

Characterization and analysis of spin-orbit coupled (SOC) states, as a measurement problem, play a vital role in research on the modern optics and photonics based on structured light. Here, we demonstrate determination of photonic SOC states via spatial-Stokes measurement, in which two spatial complex probability amplitudes of spin-dependent spatial modes wi

Teng Wang, Yonghui Ma, Wei Li, Jianan Chu

Gap symmetry and structure are crucial issues in understanding the superconducting mechanism of unconventional superconductors. Here we report an in-depth investigation on the out-of-plane lower critical field $H_{c1}^{c}$ of fluorine-based 1111 system superconductor CaFe$_{0.88}$Co$_{0.12}$AsF with $T_c$ = 21 K. A pronounced two-gap feature is revealed by t

Rodrigo Navarro Perez, Enrique Ruiz Arriola

Are chiral theories at present describing experimental NN scattering data satisfactorily ?. Will the chiral approach offer a framework where fitting and selecting the existing np and pp data can be done without theoretical bias ?. While predictive power in theoretical nuclear physics has been a major concern in the study of nuclear structure and reactions, t

Jianan Chu, Teng Wang, Yonghui Ma, Jiaxin Feng

Low-temperature specific heat (SH) is measured on the 1111-type CaFe_{0.88}Co_{0.12}AsF single crystals under different magnetic fields. A clear SH jump with the height ΔC/T|_Tc = 10.4 mJ/mol K^2 was observed at the superconducting transition temperature T_c. The electronic SH coefficient Δγ(B) increases linearly with the field below 5 T and a kink is observ

M. G. Guarcello, E. Flaccomio, G. Micela, C. Argiroffi

Pre-main sequence stars are variable sources. In diskless stars this variability is mainly due to the rotational modulation of dark photospheric spots and active regions, as in main sequence stars even if associated with a stronger magnetic activity. Aims. We aim at analyzing the simultaneous optical and X-ray variability in these stars to unveil how the act

Sean Bin Yang, Bin Yang

Modern navigation services often provide multiple paths connecting the same source and destination for users to select. Hence, ranking such paths becomes increasingly important, which directly affects the service quality. We present PathRank, a data-driven framework for ranking paths based on historical trajectories using multi-task learning. If a trajectory

E. Mediavilla, J. JimÉnez-Vicente, J. MejÍa-Restrepo, V. Motta

We test the recently proposed (Mediavilla et al. 2018) black hole mass scaling relationship based on the redshift {with respect to the quasar&#39;s rest frame} of the Fe III$λλ$2039-2113 line blend. To this end, we fit this feature in the spectra of a well suited sample of quasars, observed with X-shooter at the Very Large Telescope (VLT), whose masses have

Erwin Quiring, Matthias Kirchner, Konrad Rieck

Camera sensor noise is one of the most reliable device characteristics in digital image forensics, enabling the unique linkage of images to digital cameras. This so-called camera fingerprint gives rise to different applications, such as image forensics and authentication. However, if images are publicly available, an adversary can estimate the fingerprint fr

Steffen Löbrich, Markus Schwagenscheidt

We study rationality properties of geodesic cycle integrals of meromorphic modular forms associated to positive definite binary quadratic forms. In particular, we obtain finite rational formulas for the cycle integrals of suitable linear combinations of these meromorphic modular forms.

Oliver Farnan, Alexander Darer, Joss Wright

Anecdotal evidence suggests an increasing number of people are turning to VPN services for the properties of privacy, anonymity and free communication over the internet. Despite this, there is little research into what these services are actually being used for. We use DNS cache snooping to determine what domains people are accessing through VPNs. This techn

Yous van Halder, Benjamin Sanderse, Barry Koren

A novel refinement measure for non-intrusive surrogate modelling of partial differential equations (PDEs) with uncertain parameters is proposed. Our approach uses an empirical interpolation procedure, where the proposed refinement measure is based on a PDE residual and probability density function of the uncertain parameters, and excludes parts of the PDE so

P. Kritzer, F. Pillichshammer, L. Plaskota, G. W. Wasilkowski

It is known that for a $ρ$-weighted $L_q$-approximation of single variable functions $f$ with the $r$th derivatives in a $ψ$-weighted $L_p$ space, the minimal error of approximations that use $n$ samples of $f$ is proportional to $\|ω^{1/α}\|_{L_1}^α\|f^{(r)}ψ\|_{L_p}n^{-r+(1/p-1/q)_+},$ where $ω=ρ/ψ$ and $α=r-1/p+1/q.$ Moreover, the optimal sample points ar

Biswaroop Mukherjee, Buddhapriya Chakrabarti

Surface segregation of the low-molecular weight component in a polymeric mixture leads to degradation of industrial formulations. We report a simultaneous phase separation and surface migration phenomena in oligomer-polymer and oligomer-gel systems following a temperature quench. We compute equilibrium and time varying migrant density profiles and wetting la

Dang Van Hieu, Jean Jacques Strodiot, Le Dung Muu

In this paper an explicit algorithm is proposed for solving an equilibrium problem whose associated bifunction is pseudomonotone and satisfies a Lipschitz-type condition. Contrary to many algorithms, our algorithm is done without using explicitly the Lipschitz constants of bifunction although its convergence is obtained under such that condition. The introdu

Michele Coti Zelati, Michele Dolce

We deal with the problem of separation of time-scales and filamentation in a linear drift-diffusion problem posed on the whole space $\mathbb{R}^2$. The passive scalar considered is stirred by an incompressible flow with radial symmetry. We identify a time-scale, much faster than the diffusive one, at which mixing happens along the streamlines, as a result o

Peter Hviid Christiansen, Mikkel Fly Kragh, Yury Brodskiy, Henrik Karstoft

It is hard to create consistent ground truth data for interest points in natural images, since interest points are hard to define clearly and consistently for a human annotator. This makes interest point detectors non-trivial to build. In this work, we introduce an unsupervised deep learning-based interest point detector and descriptor. Using a self-supervis

Gauree Shanker, Sarita Rani

The study of curvature properties of homogeneous Finsler spaces with $(α, β)$-metrics is one of the central problems in Riemann-Finsler geometry. In the present paper, the existence of invariant vector fields on homogeneous Finsler spaces with square $(α, β)$-metric and Randers changed square $(α, β)$-metric is proved. Further, an explicit formula for $S$-cu

Nisar R. Ahmed

This work examines the problem of using finite Gaussian mixtures (GM) probability density functions in recursive Bayesian peer-to-peer decentralized data fusion (DDF). It is shown that algorithms for both exact and approximate GM DDF lead to the same problem of finding a suitable GM approximation to a posterior fusion pdf resulting from the division of a `na

G. Kashyap, G. Ambika

We investigate the effects of link deletion on a 1 - to - 1 transmission process occurring on various models of directed networks and characterize them in terms of the fraction of successful transmissions and average transmission time. We make intuitive arguments and numerically show that the probability of successful transmission depends, on an average, on

Ethan N. Evans, Marcus A. Pereira, George I. Boutselis, Evangelos A. Theodorou

Systems involving Partial Differential Equations (PDEs) have recently become more popular among the machine learning community. However prior methods usually treat infinite dimensional problems in finite dimensions with Reduced Order Models. This leads to committing to specific approximation schemes and subsequent derivation of control laws. Additionally, pr

Larissa A. Meinicke, Ian J. Hayes

The rely/guarantee approach of Jones extends Hoare logic with rely and guarantee conditions in order to allow compositional reasoning about shared-variable concurrent programs. This paper focuses on localisation in the context of rely/guarantee concurrency in order to support local variables. Because we allow the body of a local variable block to contain com

Anand Krishnamoorthy Subramanian, Nak Young Chong

Deep Neural Networks (DNNs) have begun to thrive in the field of automation systems, owing to the recent advancements in standardising various aspects such as architecture, optimization techniques, and regularization. In this paper, we take a step towards a better understanding of Spectral Normalization (SN) and its potential for standardizing regularization

Yury Zhauniarovich, Yazan Boshmaf, Husam Al Jawaheri, Mashael Al Sabah

Web-based hosting services for version control, such as GitHub, have made it easier for people to develop, share, and donate money to software repositories. In this paper, we study the use of Bitcoin to make donations to open source repositories on GitHub. In particular, we analyze the amount and volume of donations over time, in addition to its relationship

Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti

The proof of a program property can be reduced to the proof of satisfiability of a set of constrained Horn clauses (CHCs) which can be automatically generated from the program and the property. In this paper we have conducted a case study in Horn clause verification by considering several sorting programs with the aim of exploring the effectiveness of a tran

Daniel Dietsch, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz

We present Ultimate TreeAutomizer, a solver for satisfiability of sets of constrained Horn clauses. Constrained Horn clauses (CHC) are a fragment of first order logic with attractive properties in terms of expressiveness and accessibility to algorithmic solving. Ultimate TreeAutomizer is based on the techniques of trace abstraction, tree automata and tree in

Qi Zhou, David Heath, William Harris

Relational properties describe relationships that hold over multiple executions of one or more programs, such as functional equivalence. Conventional approaches for automatically verifying such properties typically rely on syntax-based, heuristic strategies for finding synchronization points among the input programs. These synchronization points are then ann

Mihai Herda, Michael Kirsten, Etienne Brunner, Joana Plewnia

Software verification is a tedious process that involves the analysis of multiple failed verification attempts, and adjustments of the program or specification. This is especially the case for complex requirements, e.g., regarding security or fairness, when one needs to compare multiple related runs of the same software. Verification tools often provide coun

Chien-Chun Ni, Yu-Yao Lin, Feng Luo, Jie Gao

Many complex networks in the real world have community structures -- groups of well-connected nodes with important functional roles. It has been well recognized that the identification of communities bears numerous practical applications. While existing approaches mainly apply statistical or graph theoretical/combinatorial methods for community detection, in

Vladimir Dotsenko

We use Giraudo&#39;s construction of combinatorial operads from monoids to offer a conceptual explanation of the origins of Hoffbeck&#39;s path sequences of shuffle trees, and use it to define new monomial orders of shuffle trees. One such order is utilised to exhibit a quadratic Gröbner basis of the Poisson operad.

Nilanjan Chaudhuri, Snigdha Ghosh, Sourav Sarkar, Pradip Roy

Employing a field dependent three-momentum cut-off regularization technique, we study the phase structure and mesonic masses using the $2$-flavour Nambu-Jona Lasinio model at finite temperature and density in presence of arbitrary external magnetic field. This approach is then applied to incorporate the effects of the anomalous magnetic moment(AMM) of quarks

J. Camacho, A. K. Smilde, E. Saccenti, J. A. Westerhuis

Sparse Principal Component Analysis (sPCA) is a popular matrix factorization approach based on Principal Component Analysis (PCA) that combines variance maximization and sparsity with the ultimate goal of improving data interpretation. When moving from PCA to sPCA, there are a number of implications that the practitioner needs to be aware of. A relevant one

I. Kar, Joydeep Chatterjee, Luminita Harnagea, Y. Kushnirenko

Using angle resolved photoemission spectroscopy (ARPES) and density functional theory (DFT) calculations we studied the low-energy electronic structure of bulk ZrTe$_2$. ARPES studies on ZrTe$_2$ demonstrate free charge carriers at the Fermi level, which is further confirmed by the DFT calculations. An equal number of hole and electron carrier density estima

Prachi Mohanty, Sourav Marik, C. Madhu, D. Singh

We report the structural, magnetic, exchange bias and magnetotransport effect in Sr$_{4}$Fe$_{3}$CoO$_{11}$. The material crystallizes in the orthorhombic $\textit{Cmmm}$ space group. It shows antiferromagnetic (G-type) transition (T$_{N}$ = 255 K) along with interesting temperature induced magnetization reversal (T$_{Comp.}$= 47 K measured at 100 Oe). The m

D. Singh, Sajilesh K. P, Sourav Marik, P. K. Biswas

Noncentrosymmetric superconductors can lead to a variety of exotic properties in the superconducting state such as line nodes, multigap behavior, and time-reversal symmetry breaking. In this paper, we report the properties of the new noncentrosymmetric superconductor TaOs, using muon spin relaxation and rotation measurements. It is shown using the zero-field

Chandreyee Roy, S. S. Manna

The brittle to quasibrittle transition has been studied for a compound of two different kinds of fibrous materials, having distinct difference in their breaking strengths under the framework of the fiber bundle model. A random fiber bundle model has been devised with a bimodal distribution of the breaking strengths of the individual fibers. The bimodal distr

Xunhua Dai, Chenxu Ke, Quan Quan, Kai-Yuan Cai

Electronic control systems are becoming more and more complicated, which makes it difficult to test them sufficiently only through experiments. Simulation is an efficient way in the development and testing of complex electronic systems, but the simulation results are always doubtful by people due to the lack of credible simulation platforms and assessment me