Skip to content

April 2020 arXiv papers — page 24

Showing 2,3012,400 of 15,077 papers

  1. S. Sharma, G. Chaudhary, K. Sandeep, A. Singla

    The study of higher-order moments of a distribution and its cumulants constitute a sensitive tool to investigate the correlations between the particle produced in high energy interactions. In our previous work we have used the Tsallis $q$ statistics, NBD, Gamma and shifted Gamma distributions to describe the multiplicity distributions in $\pi ^-$ -nucleus an

  2. Jaroslav Kysela, Xiaoqin Gao, Borivoje Dakić

    Optical networks implementing single-qudit quantum computation gates may exhibit superior properties to those for qubits as each of the optical elements in the network can work in parallel on many optical modes simultaneously. We present an important class of such networks, that implements in a deterministic and efficient way the quantum Fourier transform (Q

  3. Chanchal Kundu

    In the recent information-theoretic literature, the concept of extropy has been studied for order statistics. In the present communication we consider a cumulative analogue of extropy in the same vein of cumulative residual (past) entropy and study it in context with extreme order statistics. A dynamic version of cumulative residual (past) extropy for smalle

  4. D. Andreou

    During the second LHC long shutdown (LS2) the Inner Tracking System (ITS) of ALICE (A Large Ion Collider Experiment) will be replaced by seven layers of CMOS Monolithic Active Pixel Sensors (MAPS). The latest innovations in silicon imaging technology allow for the construction of large, ultra-thin silicon wafers which can further improve the capabilities of

  5. R. Arouca, E. C. Marino

    We show that the resistivity in each phase of the High-Tc cuprates is a special case of a general expression derived from the Kubo formula. We obtain, in particular, the T-linear behavior in the strange metal (SM) and upper pseudogap (PG) phases, the pure $T^2$, Fermi liquid (FL) behavior observed in the strongly overdoped regime as well as the $T^{1+\delta}

  6. Martin Berggren, Linus Hägg

    All finite element methods, as well as much of the Hilbert-space theory for partial differential equations, rely on variational formulations, that is, problems of the type: find $u\in V$ such that $a(v,u) = l(v)$ for each $v\in L$, where $V, L$ are Sobolev spaces. However, for systems of Friedrichs type, there is a sharp disparity between established well-po

  7. Adrian Irles

    The highly granular silicon-tungsten electromagnetic calorimeter (SiW ECAL) is the reference design of the ECAL for the International Large Detector (ILD) concept, one of the two detector concepts proposed for the future International Linear Collider (ILC). Prototypes for this type of detector are developed within the CALICE Collaboration. This contribution

  8. Matthieu Dussaule

    This is the first of a series of two papers dealing with local limit theorems in relatively hyperbolic groups. In this first paper, we prove rough estimates for the Green function. Along the way, we introduce the notion of relative automaticity which will be useful in both papers and we show that relatively hyperbolic groups are relatively automatic. We also

  9. Konda Reddy Mopuri, Vaisakh Shaj, R. Venkatesh Babu

    Recent advancements in CNNs have shown remarkable achievements in various CV/AI applications. Though CNNs show near human or better than human performance in many critical tasks, they are quite vulnerable to adversarial attacks. These attacks are potentially dangerous in real-life deployments. Though there have been many adversarial attacks proposed in recen

  10. Cristobal Eyzaguirre, Alvaro Soto

    This paper presents a novel attention-based algorithm for achieving adaptive computation called DACT, which, unlike existing ones, is end-to-end differentiable. Our method can be used in conjunction with many networks; in particular, we study its application to the widely known MAC architecture, obtaining a significant reduction in the number of recurrent st

  11. Animesh Singh, Ritesh Sarkhel, Nibaran Das, Mahantapas Kundu

    Finding local invariant patterns in handwrit-ten characters and/or digits for optical character recognition is a difficult task. Variations in writing styles from one person to another make this task challenging. We have proposed a non-explicit feature extraction method using a multi-scale multi-column skip convolutional neural network in this work. Local an

  12. Maher Alharby, Roben Castagna Lunardi, Amjad Aldweesh, Aad van Moorsel

    In proof-of-work based blockchains such as Ethereum, verification of blocks is an integral part of establishing consensus across nodes. However, in Ethereum, miners do not receive a reward for verifying. This implies that miners face the Verifier's Dilemma: use resources for verification, or use them for the more lucrative mining of new blocks? We provide an

  13. Kavita Jain, Archana Devi

    We consider a biological population evolving under the joint action of selection, mutation and random genetic drift. The evolutionary dynamics are described by a one-dimensional Fokker-Planck equation whose eigenfunctions obey a confluent Heun equation. These eigenfunctions are expanded in an infinite series of orthogonal Jacobi polynomials and the expansion

  14. Nikolay Gagunashvili

    Parametric unfolding of a true distribution distorted due to finite resolution and limited efficiency for the registration of individual events is discussed. Details of the computational algorithm of the unfolding procedure are presented.

  15. Issa Annamoradnejad, Gohar Zoghi

    Automation of humor detection and rating has interesting use cases in modern technologies, such as humanoid robots, chatbots, and virtual assistants. In this paper, we propose a novel approach for detecting and rating humor in short texts based on a popular linguistic theory of humor. The proposed technical method initiates by separating sentences of the giv

  16. Mattia Samory, Indira Sen, Julian Kohne, Fabian Floeck

    Research has focused on automated methods to effectively detect sexism online. Although overt sexism seems easy to spot, its subtle forms and manifold expressions are not. In this paper, we outline the different dimensions of sexism by grounding them in their implementation in psychological scales. From the scales, we derive a codebook for sexism in social m

  17. Swarnadip Mukherjee, Bitan De, Bhaskaran Muralidharan

    A three terminal nanoscale refrigeration concept based on a vibron-coupled quantum dot hybrid system coupled to two electronic reservoirs and a phonon bath is proposed and analyzed in detail. While investigating the non-trivial role of electron-phonon interactions, we show that, although they are well known to be detrimental from a general refrigeration pers

  18. Marko Durasevic, Domagoj Jakobovic, Marcella Scoczynski Ribeiro Martins, Stjepan Picek

    Genetic programming is an often-used technique for symbolic regression: finding symbolic expressions that match data from an unknown function. To make the symbolic regression more efficient, one can also use dimensionally-aware genetic programming that constrains the physical units of the equation. Nevertheless, there is no formal analysis of how much dimens

  19. Dominic Verdon

    We study unitary pseudonatural transformations (UPTs) between fibre functors Rep(G) -> Hilb, where G is a compact quantum group. For fibre functors F_1, F_2 we show that the category of UPTs F_1 -> F_2 and modifications is isomorphic to the category of finite-dimensional *-representations of the corresponding bi-Hopf-Galois object. We give a constructive cla

  20. Dominic Verdon

    We suggest two approaches to a definition of unitarity for pseudonatural transformations between unitary pseudofunctors on pivotal dagger 2-categories. The first is to require that the 2-morphism components of the transformation be unitary. The second is to require that the dagger of the transformation be equal to its inverse. We show that the `inverse' maki

  21. Ragheed Alhyder, Xavier Leyronas, Frederic Chevy

    We present a variational calculation of the energy of an impurity immersed a double Fermi sea of non-interacting Fermions. We show that in the strong-coupling regime, the system undergoes a first order transition between polaronic and trimer states. Our result suggests that the smooth crossover predicted in previous literature for a superfluid background is

  22. A. Yu. Petrov

    This paper is a collection of lecture notes on modified gravity. Various modified gravity models formulated within the Riemannian formalism are discussed.

  23. Jung-Hoon Jung, Jae Dong Noh

    Exact diagonalization is a powerful numerical method to study isolated quantum many-body systems. This paper provides a review of numerical algorithms to diagonalize the Hamiltonian matrix. Symmetry and the conservation law help us perform the numerical study efficiently. We explain the method to block-diagonalize the Hamiltonian matrix by using particle num

  24. Yunxia Lin, Songcan Chen

    Like k-means and Gaussian Mixture Model (GMM), fuzzy c-means (FCM) with soft partition has also become a popular clustering algorithm and still is extensively studied. However, these algorithms and their variants still suffer from some difficulties such as determination of the optimal number of clusters which is a key factor for clustering quality. A common

  25. David C. Norris

    The commonplace description of phase 1 clinical trials in oncology as "primarily concerned with safety" is belied by their near universal adoption of dose-escalation practices which are inherently unsafe. In contrast with dose titration, cohort-wise dose escalation regards patients as exchangeable, an indefensible assumption in the face of widely appreciated

  26. Yanting Cheng, Zhe-Yu Shi

    Recent advances in optical Feshbach resonance technique have enabled the experimental investigation of atomic gases with time-dependent interaction. In this work, we study the many-body dynamics of weakly interacting bosons subject with an arbitrary time varying scattering length. By employing a variational ansatz, we derive an effective Hamiltonian that gov

  27. Petra Csomós, Matthias Ehrhardt, Bálint Farkas

    In this work we study operator splitting methods for a certain class of coupled abstract Cauchy problems, where the coupling is such that one of the problems prescribes a "boundary type" extra condition for the other one. The theory of one-sided coupled operator matrices provides an excellent framework to study the well-posedness of such problems. We show th

  28. Felix Pütz, Fuhui Shen, Markus Könemann, Sebastian Münstermann

    Many studies have examined the damage behaviour of dual-phase steels already. It is a topic of high interest, since understanding the mechanisms of damage during forming processes enables the production of steels with improved properties and damage tolerance. However, the focus was rarely on the comparison between representatives of this steel class, and the

  29. Richard Csaky, Gabor Recski

    Large datasets are essential for neural modeling of many NLP tasks. Current publicly available open-domain dialogue datasets offer a trade-off between quality (e.g., DailyDialog) and size (e.g., Opensubtitles). We narrow this gap by building a high-quality dataset of 14.8M utterances in English, and smaller datasets in German, Dutch, Spanish, Portuguese, Ita

  30. Maria Teresa Nowak Paweł Sobolewski Andrzej Sołtysiak

    Let $b$ be a nonextreme function in the unit ball of $H^{\infty}$ on the unit disk $\mathbb{D} $ and let $a$ be an outer $H^{\infty}$ function such that $|a|^2+|b|^2=1$ almost everywhere on $\partial \mathbb{D}$. The sufficient and necessary conditions for the orthogonal complement of $\mathcal{M}(a)$ in $\mathcal{H}(b)$ be finite dimensional has been given

  31. Mohamed El Yafrani, Marcella Scoczynski Ribeiro Martins, Inkyung Sung, Markus Wagner

    In this paper, we introduce a Model-based Algorithm Turning Engine, namely MATE, where the parameters of an algorithm are represented as expressions of the features of a target optimisation problem. In contrast to most static (feature-independent) algorithm tuning engines such as irace and SPOT, our approach aims to derive the best parameter configuration of

  32. Abraham Westerbaan, Bas Westerbaan, John van de Wetering

    A sequential effect algebra (SEA) is an effect algebra equipped with a sequential product operation modeled after the L\"uders product $(a,b)\mapsto \sqrt{a}b\sqrt{a}$ on C*-algebras. A SEA is called normal when it has all suprema of directed sets, and the sequential product interacts suitably with these suprema. The effects on a Hilbert space and the unit i

  33. A. del Olmo, P. Marziani, V. Ganci, M. D'Onofrio

    We analyze the optical properties of Radio-Loud quasars along the Main Sequence (MS) of quasars. A sample of 355 quasars selected on the basis of radio detection was obtained by cross-matching the FIRST survey at 20cm and the SDSS DR12 spectroscopic survey. We consider the nature of powerful emission at the high-FeII end of the MS. At variance with the class

  34. Rui Ma, Amal A. Alahmadi, Taisir E. H. El-Gorashi, Jaafar M. H. Elmirghani

    The rapid development of vehicles on-board units and the proliferation of autonomous vehicles in modern cities create a potential for a new fog computing paradigm, referred to as vehicular fog computing (VFC). In this paper, we propose an architecture that integrates a vehicular fog (VF) composed of vehicles clustered in a parking lot with a fixed fog node a

  35. Ki-Nam Joo, Erin Clark, Yanqi Zhang, Jonathan D. Ellis

    We present the design, bench-top setup, and experimental results of a compact heterodyne interferometer that achieves picometer-level displacement sensitivities in air over frequencies above 100 mHz. The optical configuration with spatially separated beams prevents frequency and polarization mixing, and therefore eliminates periodic errors. The interferomete

  36. Nicco Mietzsch

    In the full quantum theory, the energy of a many-body quantum system with a given one-body density is described by the Levy-Lieb functional. It is exact, but very complicated to compute. For practical computations, it is useful to introduce the Local Density Approximation which is based on the local energy of constant densities. The aim of this paper is to m

  37. Costas Yiallourides, Patrick A. Naylor

    Objective: In this work the potential of non-invasive detection of knee osteoarthritis is investigated using the sounds generated by the knee joint during walking. Methods: The information contained in the time-frequency domain of these signals and its compressed representations is exploited and their discriminant properties are studied. Their efficacy for t

  38. Maria P McGee, Michael Morykwas, Mary Kerns, Anirudh Vashisht

    Dehydration and brain interstitial fluid alterations associate to cognitive dysfunction. We now explore whether changes in matrix hydration are a possible common signal for modulation of water-transfer rates and neuron function.

  39. Angela Fan, Claire Gardent, Chloe Braud, Antoine Bordes

    Various machine learning tasks can benefit from access to external information of different modalities, such as text and images. Recent work has focused on learning architectures with large memories capable of storing this knowledge. We propose augmenting generative Transformer neural networks with KNN-based Information Fetching (KIF) modules. Each KIF modul

  40. Yao Lu, Pauli Virtanen, Tero T. Heikkilä

    Two dimensional topological superconductors (TS) host chiral Majorana modes (MMs) localized at the boundaries. In this work, within quasiclassical approximation we study the effect of disorder on the localization length of MMs in two dimensional spin-orbit (SO) coupled superconductors. We find nonmonotonic behavior of the Majorana localization length as a fu

  41. N. G. Sharma, M. Silarski, J. Chhokar, E. Czerwinski

    In this article, a new method for the reconstruction of hit-position and hit-time of photons in long scintillator detectors is investigated. This research is motivated by the recent development of the positron emission tomography scanners based on plastic scintillators. The proposed method constitutes a new way of signal processing in Multi-Voltage-Technique

  42. Takashi S. T. Tanaka

    On-farm experiments can provide farmers with information on more efficient crop management in their own fields. Developments in precision agricultural technologies, such as yield monitoring and variable-rate application technology, allow farmers to implement on-farm experiments. Research frameworks including the experimental design and the statistical analys

  43. Clemens Grabmayer, Wan Fokkink

    Robin Milner (1984) gave a sound proof system for bisimilarity of regular expressions interpreted as processes: Basic Process Algebra with unary Kleene star iteration, deadlock 0, successful termination 1, and a fixed-point rule. He asked whether this system is complete. Despite intensive research over the last 35 years, the problem is still open. This paper

  44. Samir Datta, Pankaj Kumar, Anish Mukherjee, Anuj Tawari

    In 2015, it was shown that reachability for arbitrary directed graphs can be updated by first-order formulas after inserting or deleting single edges. Later, in 2018, this was extended for changes of size $\frac{\log n}{\log \log n}$, where $n$ is the size of the graph. Changes of polylogarithmic size can be handled when also majority quantifiers may be used

  45. Dávid Csercsik

    In this article we propose a multi-zonal integrated energy-reserve market model. We assume that bidders may submit their demand and supply bids on the one hand in the form of conventional hourly step bids and block bids, which are cleared and paid according to market clearing prices (MCPs). On the other hand, suppliers may submit so called flexible productio

  46. Manuel Katzer, Willy Knorr, Regina Finsterhölzl, Alexander Carmele

    We study an open Heisenberg XXZ spin chain with long-range Ising-type interaction, which is incoherently driven at its boundaries and therefore a far-from-equilibrium steady state current is induced. Quantum Monte Carlo techniques make a regime accessible, where the system size is large enough to examine the transition from a diffusive to a ballistic transpo

  47. Tasnim Hamza, Andrea Cipriani, Toshi A. Furukawa, Matthias Egger

    Dose-response models express the effect of different dose or exposure levels on a specific outcome. In meta-analysis, where aggregated-level data is available, dose-response evidence is synthesized using either one-stage or two-stage models in a frequentist setting. We propose a hierarchical dose-response model implemented in a Bayesian framework. We present

  48. Peter Kevei, Lillian Oluoch, Laszlo Viharos

    Let denote $S_n(p) = k_n^{-1} \sum_{i=1}^{k_n} \left( \log (X_{n+1-i,n} / X_{n-k_n, n}) \right)^p$, where $p > 0$, $k_n \leq n$ is a sequence of integers such that $k_n \to \infty$ and $k_n / n \to 0$, and $X_{1,n} \leq \ldots \leq X_{n,n}$ is the order statistics of iid random variables with regularly varying upper tail. The estimator $\widehat \gamma(n) =

  49. Trang Ngoc Cao, Vahid Jamali, Nikola Zlatanov, Phee Lep Yeoh

    In this paper, we consider diffusive molecular communication (MC) systems affected by signal-dependent diffusive noise, inter-symbol interference, and external noise. We design linear and nonlinear fractionally-spaced equalization schemes and a detection scheme which combines decision feedback and sequence detection (DFSD). In contrast to the symbol-rate equ

  50. Yusuke Kawamoto

    We propose an epistemic approach to formalizing statistical properties of machine learning. Specifically, we introduce a formal model for supervised learning based on a Kripke model where each possible world corresponds to a possible dataset and modal operators are interpreted as transformation and testing on datasets. Then we formalize various notions of th

  51. Noemi Mauro, Liliana Ardissono, Federica Cena

    The suggestion of Points of Interest to people with Autism Spectrum Disorder (ASD) challenges recommender systems research because these users' perception of places is influenced by idiosyncratic sensory aversions which can mine their experience by causing stress and anxiety. Therefore, managing individual preferences is not enough to provide these people wi

  52. Tere Seara, Jianlu Zhang

    The restricted planar four body problem describes the motion of a massless body under the Newtonian gravitational force of other three bodies (the primaries), of which the motion gives us general solutions of the three body problem. A trajectory is called {\it oscillatory} if it goes arbitrarily faraway but returns infinitely many times to the same bounded r

  53. Youcheng Huang, Tangchen Wei, Jundong Zhou, Chunxin Yang

    From childhood to youth, human gradually come to know the world. But for neural networks, this growing process seems difficult. Trapped in catastrophic forgetting, current researchers feed data of all categories to a neural network which remains the same structure in the whole training process. We compare this training process with human learing patterns, an

  54. Yanmin Wu, Yunzhou Zhang, Delong Zhu, Yonghui Feng

    Object-level data association and pose estimation play a fundamental role in semantic SLAM, which remain unsolved due to the lack of robust and accurate algorithms. In this work, we propose an ensemble data associate strategy for integrating the parametric and nonparametric statistic tests. By exploiting the nature of different statistics, our method can eff

  55. Kilian Kleeberger, Marco F. Huber

    In this paper, we introduce a novel single shot approach for 6D object pose estimation of rigid objects based on depth images. For this purpose, a fully convolutional neural network is employed, where the 3D input data is spatially discretized and pose estimation is considered as a regression task that is solved locally on the resulting volume elements. With

  56. Vojtěch Patkóš, Vladimir A. Yerokhin, Krzysztof Pachucki

    Theoretical predictions for the Lamb shift in helium are limited by unknown quantum electrodynamic effects of the order $\alpha^7m$, where $\alpha$ is the fine-structure constant and $m$ is the electron mass. We make an important step towards the complete calculation of these effects by deriving the most challenging part, which is induced by the virtual phot

  57. Pinelopi Papalampidi, Frank Keller, Lea Frermann, Mirella Lapata

    Most general-purpose extractive summarization models are trained on news articles, which are short and present all important information upfront. As a result, such models are biased on position and often perform a smart selection of sentences from the beginning of the document. When summarizing long narratives, which have complex structure and present inform

  58. Kawin Ethayarajh, Dorsa Sadigh

    Evaluation is a bottleneck in the development of natural language generation (NLG) models. Automatic metrics such as BLEU rely on references, but for tasks such as open-ended generation, there are no references to draw upon. Although language diversity can be estimated using statistical measures such as perplexity, measuring language quality requires human e

  59. Yongjian Fu, Xintian Wu, Xi Li, Zhijie Pan

    Different from many other attributes, facial expression can change in a continuous way, and therefore, a slight semantic change of input should also lead to the output fluctuation limited in a small scale. This consistency is important. However, current Facial Expression Recognition (FER) datasets may have the extreme imbalance problem, as well as the lack o

  60. Teo Spadotto, Marco Toldo, Umberto Michieli, Pietro Zanuttigh

    Unsupervised Domain Adaptation (UDA) aims at improving the generalization capability of a model trained on a source domain to perform well on a target domain for which no labeled data is available. In this paper, we consider the semantic segmentation of urban scenes and we propose an approach to adapt a deep neural network trained on synthetic data to real s

  61. Alexis Saldivar, Nami F. Svaiter, Carlos A. D. Zarro

    We discuss modifications in the integral representation of the Riemann zeta-function that lead to generalizations of the Riemann functional equation that preserves the symmetry $s\to (1-s)$ in the critical strip. By modifying one integral representation of the zeta-function with a cut-off that does exhibit the symmetry $x\mapsto 1/x$, we obtain a generalized

  62. Lothar Bischoff, Nico Klingner, Paul Mazarov, Wolfgang Pilz

    Focused Ion Beam (FIB) processing has been established as a well-suited and promising technique in R&D in nearly all fields of nanotechnology for patterning and prototyping on the micro and nanometer scale and below. Among other concepts, liquid metal alloy ion sources (LMAIS) are one of the alternatives to conventional gallium beams to extend the FIB applic

  63. Luis Felipe Prieto-Martínez

    The first goal of this article is to provide an statement of the conditions for geometric continuity of order k, referred in the bibliography as beta-constraints, in terms of Riordan matrices. The second one is to see this new formulation in action to solve a theoretical cuestion about uniqueness of analytic solution for a general and classical problem in pl

  64. V. I. Yukalov, E. P. Yukalova

    Recently, a method of ultrafast polarization switching in ferroelectrics has been suggested. The basic idea of the method is to employ the effect of self-acceleration of polarization dynamics due to a resonator feedback field. This is the idea of principle whose efficiency is demonstrated by an Ising-type model in a transverse field. Of course, the practical

  65. Detlef Lohse

    The paper discussed the recent findings of Lydia Bourouiba and her group (MIT) on disease spreading, in the context of the Corona pandemic.

  66. Kevin Keiler, Simeon I. Mistakidis, Peter Schmelcher

    We investigate the ground state properties and the nonequilibrium dynamics of a lattice trapped bosonic mixture consisting of an impurity species and a finite-sized medium. For the case of one as well as two impurities we observe that, depending on the lattice depth and the interspecies interaction strength, a transition from a strongly delocalized to a loca

  67. Stephanie Wissel, Andrés Romero-Wolf, Harm Schoorlemmer, Washington R. Carvalho

    Tau neutrinos are expected to comprise roughly one third of both the astrophysical and cosmogenic neutrino flux, but currently the flavor ratio is poorly constrained and the expected flux at energies above $10^{17}$ eV is low. We present a detector concept aimed at measuring the diffuse flux of tau neutrinos in this energy range via a high-elevation mountain

  68. B. V. Rajarama Bhat, Anindya Ghatak, P. Santhosh Kumar

    Anar A. Dosiev in [Local operator spaces, unbounded operators and multinormed $C^*$-algebras, J. Funct. Anal. 255 (2008), 1724-1760], obtained a Stinespring's theorem for local completely positive maps (in short: local CP-maps) on locally $C^{\ast}$-algebras. In this article a suitable notion of minimality for this construction has been identified so as to e

  69. Rebecca Killick, Marina I. Knight, Guy P. Nason, Idris A. Eckley

    The classical regular and partial autocorrelation functions are powerful tools for stationary time series modelling and analysis. However, it is increasingly recognized that many time series are not stationary and the use of classical global autocorrelations can give misleading answers. This article introduces two estimators of the local partial autocorrelat

  70. Renaud Boussarie, Yoshitaka Hatta

    We propose a novel approach to compute the cross section of near-threshold $J/\psi$ and $\Upsilon$ production in electron-proton scattering at large photon virtualities $Q^2$ based on an operator product expansion. We show that the process can be used to extract the gluon part of the D-term gravitational form factor of the proton. At the subleading level, it

  71. Sandra Schluttenhofer, Jan Johannes

    In a circular convolution model, we aim to infer on the density of a circular random variable using observations contaminated by an additive measurement error. We highlight the interplay of the two problems: optimal testing and quadratic functional estimation. Under general regularity assumptions, we determine an upper bound for the minimax risk of estimatio

  72. Reynald Affeldt, Jacques Garrigue, Takafumi Saikawa

    Convex sets appear in various mathematical theories, and are used to define notions such as convex functions and hulls. As an abstraction from the usual definition of convex sets in vector spaces, we formalize in Coq an intrinsic axiomatization of convex sets, namely convex spaces, based on an operation taking barycenters of points. A convex space correspond

  73. Pankaj Jain, Anastasia Molchanova, Monika Singh, Sergey Vodopyanov

    We obtain a pointwise description of functions belonging to function spaces with the lattice property. In particular, it is valid for Banach function spaces provided that the Hardy-Littlewood maximal operator is bounded. We also study weighted grand Sobolev spaces, defined on arbitrary open sets (of finite or infinite measure), and provide pointwise descript

  74. Sarah V. White, Thomas M. O. Franzen, Chris J. Riseley, O. Ivy Wong

    The entire southern sky (Declination, $\delta <$ 30 deg) has been observed using the Murchison Widefield Array (MWA), which provides radio imaging of $\sim$2-arcmin resolution at low frequencies (72-231 MHz). This is the GaLactic and Extragalactic All-sky MWA (GLEAM) Survey, and we have previously used a combination of visual inspection, cross-checks against

  75. Alexey Kutalev

    Not so long ago, a method was discovered that successfully overcomes the catastrophic forgetting in neural networks. Although we know about the cases of using this method to preserve skills when adapting pre-trained networks to particular tasks, it has not obtained widespread distribution yet. In this paper, we would like to propose an alternative method of

  76. Hsin-Ku Chen

    We factorize three-dimensional terminal flops into a composition of divisorial contractions to points and blowing-up smooth curves.

  77. Andrei Pavlov, Iman Shames, Chris Manzie

    This paper introduces a novel Differential Dynamic Programming (DDP) algorithm for solving discrete-time finite-horizon optimal control problems with inequality constraints. Two variants, namely Feasible- and Infeasible-IPDDP algorithms, are developed using primal-dual interior-point methodology, and their local quadratic convergence properties are character

  78. Chunhua Jia, Lei Zhang, Hui Huang, Weiwei Cai

    Multi-label networks with branches are proved to perform well in both accuracy and speed, but lacks flexibility in providing dynamic extension onto new labels due to the low efficiency of re-work on annotating and training. For multi-label classification task, to cover new labels we need to annotate not only newly collected images, but also the previous whol

  79. Hartwig Anzt, Felix Bach, Stephan Druskat, Frank Löffler

    Research software has become a central asset in academic research. It optimizes existing and enables new research methods, implements and embeds research knowledge, and constitutes an essential research product in itself. Research software must be sustainable in order to understand, replicate, reproduce, and build upon existing research or conduct new resear

  80. S. P. Rajaguru, H. M. Antia

    A key component of solar interior dynamics is the meridional circulation (MC), whose poleward component in the surface layers has been well observed. Time-distance helioseismic studies of the deep structure of MC, however, have yielded conflicting inferences. Here, following a summary of existing results we show how a large center-to-limb systematics (CLS) i

  81. Hongjia H. Chen, Tristram J. Alexander, Diego F. M. Oliveira, Eduardo G. Altmann

    In this paper we quantify the statistical properties and dynamics of the frequency of hashtag use on Twitter. Hashtags are special words used in social media to attract attention and to organize content. Looking at the collection of all hashtags used in a period of time, we identify the scaling laws underpinning the hashtag frequency distribution (Zipf's law

  82. Francisco J. Salgado-Remacha, Benjamín Alonso, Helder Crespo, Crina Cojocaru

    We demonstrate a novel dispersion-scan (d-scan) scheme for single-shot temporal characterization of ultrashort laser pulses. The novelty of this method relies on the use of a highly dispersive crystal featuring antiparallel nonlinear domains with a random distribution and size. This crystal, capable of generating a transverse second-harmonic signal, acts sim

  83. Gianni Dal Maso, Luca Heltai

    We present a numerical implementation of a model of quasi-static crack growth in linearly elastic-perfectly plastic materials. We assume that the displacement is antiplane, and that the cracks and the plastic slips are localized on a prescribed path. We provide numerical evidence of the fact that the crack growth is intermittent, with jump characteristics th

  84. Liangming Pan, Yuxi Xie, Yansong Feng, Tat-Seng Chua

    This paper proposes the problem of Deep Question Generation (DQG), which aims to generate complex questions that require reasoning over multiple pieces of information of the input passage. In order to capture the global structure of the document and facilitate reasoning, we propose a novel framework which first constructs a semantic-level graph for the input

  85. Mikhail Kopeliovich, Konstantin Kalinin, Yuriy Mironenko, Mikhail Petrushan

    Problem of indirect assessment of heart rate in video is addressed. Several methods of indirect evaluations (adaptive baselines) were examined on Remote Physiological Signal Sensing challenge. Particularly, regression models of dependency of heart rate on estimated age and motion intensity were obtained on challenge's train set. Accounting both motion and ag

  86. Dipankar Chaki, Athman Bouguettaya, Sajib Mistry

    We propose a novel framework to detect conflicts among IoT services in a multi-resident smart home. A novel IoT conflict model is proposed considering the functional and non-functional properties of IoT services. We design a conflict ontology that formally represents different types of conflicts. A hybrid conflict detection algorithm is proposed by combining

  87. A. F. Santos, S. C. Ulhoa, Faqir C. Khanna

    This paper deals with quantum field theory in curved space-time using the Thermo Field Dynamics. The scalar field is coupled to the Schwarzschild space time and then thermalised. The Stefan-Boltzmann law is established at finite temperature and the entropy of the field is calculated. Then the Casimir energy and pressure are obtained at zero and finite temper

  88. Ranjith Dinakaran, Li Zhang, Richard Jiang

    In-vehicle human object identification plays an important role in vision-based automated vehicle driving systems while objects such as pedestrians and vehicles on roads or streets are the primary targets to protect from driverless vehicles. A challenge is the difficulty to detect objects in moving under the wild conditions, while illumination and image quali

  89. Mikhail R. Gadelha, Lucas C. Cordeiro, Denis A. Nicole

    We describe a new SMT bit-blasting API for floating-points and evaluate it using different out-of-the-shelf SMT solvers during the verification of several C programs. The new floating-point API is part of the SMT backend in ESBMC, a state-of-the-art bounded model checker for C and C++. For the evaluation, we compared our floating-point API against the native

  90. S. J. Rezvani, D. Di Gioacchino, S. Tofani, A. Darco

    We present here a small-scale liquid Helium (LHe) immersion cryostat with an innovative optical setup suitable to work in long wavelength radiation ranges and under applied magnetic field. The cryostat is a multi stage device with several shielding in addition to several optical stages. The system has been designed with an external liquid Nitrogen boiler to

  91. Junhua Sun, Zhou Zhang, Jie Zhang

    The wheel of the train is a 3D revolving geometrical structure. Reconstructing the normal section profile is an effective approach to determine the critical geometric parameter and wear of the wheel in the community of railway safety. The existing reconstruction methods typically require a sensor working in a constrained position and pose, suffering poor fle

  92. Shell Xu Hu, Pablo G. Moreno, Yang Xiao, Xi Shen

    We propose a meta-learning approach that learns from multiple tasks in a transductive setting, by leveraging the unlabeled query set in addition to the support set to generate a more powerful model for each task. To develop our framework, we revisit the empirical Bayes formulation for multi-task learning. The evidence lower bound of the marginal log-likeliho

  93. Yuriy Mironenko, Konstantin Kalinin, Mikhail Kopeliovich, Mikhail Petrushan

    Remote Photoplethysmography (rPPG) is a fast-growing technique of vital sign estimation by analyzing video of a person. Several major phenomena affecting rPPG signals have been studied (e.g. video compression, distance from person to camera, skin tone, head motions). However, to develop a highly accurate rPPG method, new, minor, factors should be investigate

  94. Tobias Graß, Bruno Juliá-Díaz, Niccolò Baldelli, Utso Bhattacharya

    The elementary excitations of a fractional quantum Hall liquid are quasiparticles or quasiholes which are neither bosons nor fermions, but so-called anyons. Here we study impurity particles immersed in a quantum Hall liquid which bind to the quasiholes via repulsive interactions with the liquid. We show that the angular momentum of an impurity is given by th

  95. Annalisa Grossi

    We classify nonsymplectic automorphisms of prime order on irreducible holomorphic symplectic manifolds of O'Grady's 6-dimensional defamation type. More precisely, we give a classification of the invariant and coinvariant sublattices of the second integral cohomology group.

  96. Lorenzo Massa

    Resistive Plate Chambers are used in the ATLAS experiment for the muon trigger and two coordinate measurements in the central region. In preparation for the coming years of LHC running at higher luminosity, besides the New Small Wheel project which is expected to complement the ATLAS muon spectrometer in the endcap regions, a smaller size project, known as B

  97. Ignasi Sau, Giannos Stamoulis, Dimitrios M. Thilikos

    Let ${\cal G}$ be a minor-closed graph class. We say that a graph $G$ is a $k$-apex of ${\cal G}$ if $G$ contains a set $S$ of at most $k$ vertices such that $G\setminus S$ belongs to ${\cal G}$. We denote by ${\cal A}_k ({\cal G})$ the set of all graphs that are $k$-apices of ${\cal G}.$ In the first paper of this series we obtained upper bounds on the size

  98. M. Hayes, N. H. Scott

    A combination $\mathbf{a}+\mathrm{i}\mathbf{b}$ where ${\mathrm i}^2=-1$ and $\mathbf{a}, \, \mathbf{b}$ are real vectors is called a bivector. Gibbs developed a theory of bivectors, in which he associated an ellipse with each bivector. He obtained results relating pairs of conjugate semi-diameters and in particular considered the implications of the scalar

  99. E. Paxon Frady, Garrick Orchard, David Florey, Nabil Imam

    Neuromorphic computing applies insights from neuroscience to uncover innovations in computing technology. In the brain, billions of interconnected neurons perform rapid computations at extremely low energy levels by leveraging properties that are foreign to conventional computing systems, such as temporal spiking codes and finely parallelized processing unit

  100. H. P. Laba, V. M. Tkachuk

    We derive continuity equation and exact expression for flow probability density in a space with arbitrary deformed algebra leading to minimal length. In coordinate representation the flow probability density is presented as infinite series over parameter of deformation which in momentum representation can be casted into exact closed form determined by deform