total 634took 0.13s

Learning Deep Features for Discriminative LocalizationDec 14 2015In this work, we revisit the global average pooling layer proposed in [13], and shed light on how it explicitly enables the convolutional neural network to have remarkable localization ability despite being trained on image-level labels. While this technique ... More

Moments in Time Dataset: one million videos for event understandingJan 09 2018Feb 16 2019We present the Moments in Time Dataset, a large-scale human-annotated collection of one million short videos corresponding to dynamic events unfolding within three seconds. Modeling the spatial-audio-temporal dynamics even for actions occurring in 3 second ... More

Temporal Relational Reasoning in VideosNov 22 2017Jul 25 2018Temporal relational reasoning, the ability to link meaningful transformations of objects or entities over time, is a fundamental property of intelligent species. In this paper, we introduce an effective and interpretable network module, the Temporal Relation ... More

Network Dissection: Quantifying Interpretability of Deep Visual RepresentationsApr 19 2017We propose a general framework called Network Dissection for quantifying the interpretability of latent representations of CNNs by evaluating the alignment between individual hidden units and a set of semantic concepts. Given any CNN model, the proposed ... More

Places: An Image Database for Deep Scene UnderstandingOct 06 2016The rise of multi-million-item dataset initiatives has enabled data-hungry machine learning algorithms to reach near-human semantic classification at tasks such as object and scene recognition. Here we describe the Places Database, a repository of 10 ... More

Object Detectors Emerge in Deep Scene CNNsDec 22 2014Apr 15 2015With the success of new computational architectures for visual processing, such as convolutional neural networks (CNN) and access to image databases with millions of labeled examples (e.g., ImageNet, Places), the state of the art in computer vision is ... More

Learning visual biases from human imaginationOct 17 2014Nov 16 2015Although the human visual system can recognize many concepts under challenging conditions, it still has some biases. In this paper, we investigate whether we can extract these biases and transfer them into a machine recognition system. We introduce a ... More

Interpreting Deep Visual Representations via Network DissectionNov 15 2017Jun 26 2018The success of recent deep convolutional neural networks (CNNs) depends on learning hidden representations that can summarize the important factors of variation behind the data. However, CNNs often criticized as being black boxes that lack interpretability, ... More

What do different evaluation metrics tell us about saliency models?Apr 12 2016How best to evaluate a saliency model's ability to predict where humans look in images is an open research question. The choice of evaluation metric depends on how saliency is defined and how the ground truth is represented. Metrics differ in how they ... More

Internal migration and education: A cross-national comparisonDec 21 2018Migration the main process shaping patterns of human settlement within and between countries. It is widely acknowledged to be integral to the process of human development as it plays a significant role in enhancing educational outcomes. At regional and ... More

Some properties of coarse Lipschitz maps between Banach spacesDec 05 2016Dec 11 2018We study the structure of the space of coarse Lipschitz maps between Banach spaces. In particular we introduce the notion of norm attaining coarse Lipschitz maps. We extend to the case of norm attaining coarse Lipschitz equivalences, a result of G. Godefroy ... More

On local convergence of the method of alternating projectionsDec 19 2013Sep 28 2014The method of alternating projections is a classical tool to solve feasibility problems. Here we prove local convergence of alternating projections between subanalytic sets $A,B$ under a mild regularity hypothesis on one of the sets. We show that the ... More

Transform-Invariant Non-Parametric Clustering of Covariance Matrices and its Application to Unsupervised Joint Segmentation and Action DiscoveryOct 27 2017In this work, we tackle the problem of transform-invariant unsupervised learning in the space of Covariance matrices and applications thereof. We begin by introducing the Spectral Polytope Covariance Matrix (SPCM) Similarity function; a similarity function ... More

Infrared instrumentation for large telescopes: an alternative approachSep 06 1999I very briefly describe the latest generation near infrared (1-2.5 micron) instruments which are available on, or under development for `large' (D>=3.5 m) telescopes. Most of the imagers under construction are limited to relatively small fields, while ... More

A disproof of the Riemann Hypothesis via the Nicolas CriterionJul 14 2018Sep 05 2018The achievement of this paper is a confutation of the inequality addressed by the Nicolas criterion for the Riemann Hypothesis, carried out after establishing properties of two related sequences. One of them is the product $\prod_{k=1}^n(1-1/p_k)$, rewritten ... More

All the solutions of the form M2(warped)xΣ(d-2) for Lovelock gravity in vacuum in the Chern-Simons caseOct 15 2012In this note we classify a certain family of solutions of Lovelock gravity in the Chern-Simons (CS) case, in arbitrary (odd) dimension greater than four. The spacetime is characterized by admitting a metric that is a warped product of a two-dimensional ... More

Regularizing effect of absorption terms in singular problemsOct 31 2018We prove existence of solutions to problems whose model is $$\begin{cases} \displaystyle -\Delta_p u + u^q = \frac{f}{u^\gamma} & \text{in}\ \Omega, \newline u\ge0 &\text{in}\ \Omega,\newline u=0 &\text{on}\ \partial\Omega, \end{cases}$$ where $\Omega$ ... More

The scientific use and productivity of the Telescopio Nazionale Galileo (TNG)Dec 11 2008This paper reviews the scientific use of the TNG from the beginning of regular observations till the end of 2007. Statistics are given for the time request, use and productivity of the telescope and its focal plane instruments. Information on the down-times ... More

Proceedings Fifth International Workshop on Classical Logic and ComputationSep 09 2014Classical Logic and Computation (CL&C) 2014 is the fifth edition of this workshop series. The workshop series intends to cover all work aiming to explore computational aspects of classical logic and mathematics. Its focus is on the exploration of the ... More

Project G.N.O.S.I.S.: Geographical Network Of Synoptic Information SystemNov 03 2012Everybody knows how much synoptic maps are useful today. An excellent example above all is Google Earth: its simplicity and friendly interface allows every user to have the Earth maps ready in just one simple layout; nevertheless a crucial dimension is ... More

Bi-Sobolev homeomorphisms $f$ with $Df$ and $Df^{-1}$ of low rank using laminatesJul 11 2016Let $\Omega\subset \mathbb{R}^{n}$ be a bounded open set. Given $1\leq m_1,m_2\leq n-2$, we construct a homeomorphism $f :\Omega\to \Omega$ that is H\"older continuous, $f$ is the identity on $\partial \Omega$, the derivative $D f$ has rank $m_1$ a.e.\ ... More

Deep Neural Networks predict Hierarchical Spatio-temporal Cortical Dynamics of Human Visual Object RecognitionJan 12 2016The complex multi-stage architecture of cortical visual pathways provides the neural basis for efficient visual object recognition in humans. However, the stage-wise computations therein remain poorly understood. Here, we compared temporal (magnetoencephalography) ... More

Understanding Infographics through Textual and Visual Tag PredictionSep 26 2017We introduce the problem of visual hashtag discovery for infographics: extracting visual elements from an infographic that are diagnostic of its topic. Given an infographic as input, our computational approach automatically outputs textual and visual ... More

Nernst effect in semi-metals: the meritorious heaviness of electronsNov 06 2006Feb 21 2007We present a study of electric, thermal and thermoelectric transport in elemental Bismuth, which presents a Nernst coefficient much larger than what was found in correlated metals. We argue that this is due to the combination of an exceptionally low carrier ... More

Double real radiation corrections to $t\bar{t}$ production at the LHC: the $gg\rightarrow t\bar{t}q\bar{q}$ channelJul 27 2012Nov 01 2012We present the double real radiation contributions to the $t \bar t$ hadronic production cross section stemming from the partonic process $gg\rightarrow t\bar{t}q\bar{q}$. We explicitly construct the antenna subtraction terms for this gluon-gluon initiated ... More

Double real radiation corrections to $t\bar{t}$ production at the LHC: the all-fermion processesDec 20 2011We present the double real radiation corrections to the hadronic $t \bar{t}$ production stemming from partonic processes with fermions only. For this purpose, we extend the NNLO antenna subtraction formalism developed originally for the computation of ... More

Antenna subtraction for the production of heavy particles at hadron collidersFeb 11 2011Apr 04 2011The antenna subtraction method developed originally for the computation of higher order corrections to jet observables from a colourless initial state is extended for hadron collider processes involving a pair of massive particles and jets in the final ... More

A macroscopic crowd motion model of gradient flow typeFeb 03 2010A simple model to handle the flow of people in emergency evacuation situations is considered: at every point x, the velocity U(x) that individuals at x would like to realize is given. Yet, the incompressibility constraint prevents this velocity field ... More

Light fermionic NNLO QCD corrections to top-antitop production in the quark-antiquark channelSep 10 2014Dec 04 2014We present the NNLO corrections to top pair production in the quark-antiquark channel proportional to the number of light quark flavors $N_l$. While the double real corrections were derived previously, here we compute the real-virtual and virtual-virtual ... More

BubbleView: an interface for crowdsourcing image importance maps and tracking visual attentionFeb 16 2017Aug 09 2017In this paper, we present BubbleView, an alternative methodology for eye tracking using discrete mouse clicks to measure which information people consciously choose to examine. BubbleView is a mouse-contingent, moving-window interface in which participants ... More

Synthetically Trained Icon Proposals for Parsing and Summarizing InfographicsJul 27 2018Widely used in news, business, and educational media, infographics are handcrafted to effectively communicate messages about complex and often abstract topics including `ways to conserve the environment' and `understanding the financial crisis'. Composed ... More

The Algonauts Project: A Platform for Communication between the Sciences of Biological and Artificial IntelligenceMay 14 2019In the last decade, artificial intelligence (AI) models inspired by the brain have made unprecedented progress in performing real-world perceptual tasks like object classification and speech recognition. Recently, researchers of natural intelligence have ... More

Investigating the importance of edge-structure in the loss of H/H2 of PAH cations: the case of dibenzopyrene isomersNov 08 2017We present a detailed study of the main dehydrogenation processes of two dibenzopyrene cation (C24H14+) isomers, namely dibenzo(a,e)pyrene (AE+) and dibenzo(a,l)pyrene (AL+). First, action spectroscopy under VUV photons was performed using synchrotron ... More

A Complete framework for ambush avoidance in realistic environmentsAug 26 2014Operating vehicles in adversarial environments between a recurring origin-destination pair requires new planning techniques. A two players zero-sum game is introduced. The goal of the first player is to minimize the expected casualties undergone by a ... More

On the Influence of the Data Sampling Interval on Computer-Derived K-IndicesFeb 27 2012The K index was devised by Bartels et al. (1939) to provide an objective monitoring of irregular geomagnetic activity. The K index was then routinely used to monitor the magnetic activity at permanent magnetic observatories as well as at temporary stations. ... More

Characterization of metric spaces whose free space is isometric to $\ell_1$Feb 09 2015Dec 11 2015We characterize metric spaces whose Lipschitz free space is isometric to $\ell_1$. In particular, the Lipschitz free space over an ultrametric space is not isometric to $\ell_1(\Gamma)$ for any set $\Gamma$. We give a lower bound for the Banach-Mazur ... More

A Direct Proof of Schwichtenberg's Bar Recursion Closure TheoremJul 18 2016In 1979 Schwichtenberg showed that a rule-like version Spector's bar recursion of lowest type levels $0$ and $1$ is closed under system $\text{T}$. More precisely, if the functional $Y$ which controls the stopping condition of Spector's bar recursor is ... More

Crossing muons in Icecube at highest energy: Cornerstone to neutrino astronomyApr 23 2014Sep 09 2014Highest energy neutrino events (contained) in cubic km ICECUBE detector resulted in last three years to be as many as $37-2=35$ signals (two of those having been recently discharged); these tens-hundred TeV (32 energetic events) up to rarest (only 3) ... More

Sharp bounds for composition with quasiconformal mappings in Sobolev spacesDec 02 2016Let $\phi$ be a quasiconformal mapping, and let $T_\phi$ be the composition operator which maps $f$ to $f\circ\phi$. Since $\phi$ may not be bi-Lipschitz, the composition operator might not map Sobolev spaces to themselves. The study begins with the behavior ... More

Solar Oblateness from Archimedes to DickeJan 17 2005The non-spherical shape of the Sun has been invoked to explain the anomalous precession of Mercury. A brief history of some methods for measuring solar diameter is presented. Archimedes was the first to give upper and lower values for solar diameter in ... More

LIGO-VIRGO GWs events: blurred or sharp astronomy?Mar 31 2016Apr 04 2016The Gravitational Wave (GW) event GW150914 detected by LIGO was very probably a record of a vacuum Black Hole merging system (BH-BH); such kind of events will be mostly mute in gamma region and unobservable or, by best triangulation, widely smeared because ... More

A new cubic theory of gravity in five dimensions: Black hole, Birkhoff's theorem and C-functionMar 24 2010Sep 28 2010We present a new cubic theory of gravity in five dimensions which has second order traced field equations, analogous to BHT new massive gravity in three dimensions. Moreover, for static spherically symmetric spacetimes all the field equations are of second ... More

A Direct Proof of Schwichtenberg's Bar Recursion Closure TheoremJul 18 2016Aug 15 2017In 1979 Schwichtenberg showed that the System $\text{T}$ definable functionals are closed under a rule-like version Spector's bar recursion of lowest type levels $0$ and $1$. More precisely, if the functional $Y$ which controls the stopping condition ... More

Exact black strings and p-branes in general relativityAug 09 2017We present a new set of analytic solutions of general relativity with a negative cosmological constant, which describe black strings and black p-branes in arbitrary number of dimensions, $D$. The solutions are supported by minimally coupled, free scalar ... More

The structure of the environment and the complexity of rational choice proceduresSep 18 2018Sep 25 2018Beginning with Herbert Simon [10], the literature on bounded rationality has investigated in great detail how internal limitations affect an agent's choice process. The structure of the choice environment, deemed as important as internal limitations by ... More

Updated Z-Burst Neutrinos at HorizonsOct 31 2006Nov 06 2006Recent homogeneous and isotropic maps of UHECR, suggest an isotropic cosmic origin almost uncorrelated to nearby Local Universe prescribed by GZK (tens Mpc) cut-off. Z-Burst model based on UHE neutrino resonant scattering on light relic ones in nearby ... More

Fast 3C 279 gamma flares by a merging medium size black hole jet aligned to the AGN one by tidal torque?Aug 30 2016Oct 05 2016The shorter-than-Schwarzschild 3C 279 variability flare on June 2015 is very puzzling. Its nature cannot be due to any NS merging nor to a medium sized (hundred million solar mass) BH collapse. Our preliminary model is based on the long-life (a third ... More

Fast 3C 279 gamma flares by a merging medium size black hole jet aligned to the AGN one by tidal torque?Aug 30 2016Jan 22 2017The shorter-than-Schwarzschild 3C 279 variability flare on June 2015 is very puzzling. Its nature cannot be due to any NS merging nor to a medium sized (hundred million solar mass) BH collapse. Our preliminary model is based on the long-life (a third ... More

Production and acceleration of antinuclei in supernova shockwavesJul 21 2017Jul 27 2018We compute the energy spectra of antideuterons and antihelium in cosmic rays (CRs) in a scenario where hadronic interactions inside supernova remnants (SNRs) can produce a diffusively-shock-accelerated "source component" of secondary antinuclei. The key ... More

More on vacua of exotic massive 3D gravityJan 24 2019In a recent paper [arXiv:1806.06254], we explored the space of solutions of the exotic massive 3D gravity theory proposed in [arXiv:1806.04179]. We showed that the theory admits a rich space of vacua, including asymptotically Anti de-Sitter (AdS) geometries ... More

Birkhoff's Theorem in Higher Derivative Theories of GravityApr 06 2011Jul 08 2011In this paper we present a class of higher derivative theories of gravity which admit Birkhoff's theorem. In particular, we explicitly show that in this class of theories, although generically the field equations are of fourth order, under spherical (plane ... More

Classification of Six Derivative Lagrangians of Gravity and Static Spherically Symmetric SolutionsApr 05 2010Nov 15 2010We classify all the six derivative Lagrangians of gravity, whose traced field equations are of second or third order, in arbitrary dimensions. In the former case, the Lagrangian in dimensions greater than six, reduces to an arbitrary linear combination ... More

On Affine Logic and Łukasiewicz LogicApr 02 2014Aug 14 2014The multi-valued logic of {\L}ukasiewicz is a substructural logic that has been widely studied and has many interesting properties. It is classical, in the sense that it admits the axiom schema of double negation, [DNE]. However, our understanding of ... More

Data Driven Prognosis: A multi-physics approach verified via balloon burst experimentOct 31 2014A multi-physics formulation for Data Driven Prognosis (DDP) is developed. Unlike traditional predictive strategies that require controlled off-line measurements or training for determination of constitutive parameters to derive the transitional statistics, ... More

Sharp bounds for composition with quasiconformal mappings in Sobolev spacesDec 02 2016Dec 16 2016Let $\phi$ be a quasiconformal mapping, and let $T_\phi$ be the composition operator which maps $f$ to $f\circ\phi$. Since $\phi$ may not be bi-Lipschitz, the composition operator need not map Sobolev spaces to themselves. The study begins with the behavior ... More

A Curry-Howard Correspondence for the Minimal Fragment of Łukasiewicz LogicSep 12 2018In this paper we introduce a term calculus ${\cal B}$ which adds to the affine $\lambda$-calculus with pairing a new construct allowing for a restricted form of contraction. We obtain a Curry-Howard correspondence between ${\cal B}$ and the sub-structural ... More

Is the [CO] index an age indicator for star forming galaxies?Mar 09 2000The classical [CO] index, i.e. the strength of the CO first overtone absorption bands starting at 2.29 micron, is sometimes used to constrain the maximum age of star formation events in galaxies. In this paper we critically analyze - theoretical models ... More

A Constructive Interpretation of Ramsey's Theorem via the Product of Selection FunctionsApr 25 2012Jun 01 2012We use G\"{o}del's Dialectica interpretation to produce a computational version of the well known proof of Ramsey's theorem by Erd\H{o}s and Rado. Our proof makes use of the product of selection functions, which forms an intuitive alternative to Spector's ... More

Identification of Light Cosmic-Ray Nuclei with AMS-02Oct 30 2015AMS-02 is a wide acceptance (0.5 m2 sr) and long duration (up to 20 years) magnetic spectrometer operating onboard the International Space Station since May 2011. Its main scientific objectives are the indirect research of Dark Matter, searches of primitive ... More

Fast 3C 279 gamma flares by a merging medium size black hole jet aligned to the AGN one by tidal torque?Aug 30 2016The shorter-than-Schwarzschild 3C 279 variability flare on June 2015 is very puzzling. Its nature cannot naturally be due to a NS merging nor to a medium sized (a hundred solar masses) BH collapse onto the AGN. Our preliminary model is based on the long-life ... More

No Tau? No Astronomy!Jul 06 2017Jul 13 2017Since 2013 IceCube cascade showers sudden overabundance have shown a fast flavor change above 30-60 TeV up to PeV energy. This flavor change from dominant muon tracks at TeVs to shower events at higher energies, has been indebted to a new injection of ... More

Structures far below sub-Planck scale in quantum phase-space through superoscillationsApr 26 2017In 2001, Zurek derived the generic minimum scale $a_{Z}$ for the area of structures of Wigner's quantum phase distribution. Here we show by construction, using superoscillatory functions, that the Wigner distribution can locally show regular spotty structures ... More

The Herbrand Functional Interpretation of the Double Negation ShiftOct 16 2014Oct 19 2015This paper considers a generalisation of selection functions over an arbitrary strong monad $T$, as functionals of type $J^T_R X = (X \to R) \to T X$. It is assumed throughout that $R$ is a $T$-algebra. We show that $J^T_R$ is also a strong monad, and ... More

Observing future Solar Flare Neutrino in Hyper-KamioKande in Japan, Korea and in IceCubeJul 06 2017The largest Solar flare have been recorded in gamma flash and hard spectra up to tens GeV energy. The present building and upgrade of Hyper-Kamiokande (HK) and IceCube (as well as Deep Core, PINGU) neutrino detectors do offer a novel way to largest trace ... More

Solving the missing GRB neutrino and GRB-SN puzzlesApr 30 2016Aug 09 2016Every GRB model where the progenitor is assumed to be a highly relativistic hadronic jet whose pions, muons and electron pair secondaries are feeding the gamma jets engine, necessarily (except for very fine-tuned cases) leads to a high average neutrino ... More

Exact Hairy Black Holes and their Modification to the Universal Law of GravitationMay 28 2012Jun 06 2012In this paper two things are done. First, it is pointed out the existence of exact asymptotically flat, spherically symmetric black holes when a self interacting, minimally coupled scalar field is the source of the energy momentum of the Einstein equations ... More

Incomplete Analytic Hierarchy Process with Minimum Ordinal ViolationsApr 09 2019Pairwise comparisons offer a natural way of expressing the preferences of the decision makers. Complete and incomplete pairwise comparison matrices have been applied in multi-criteria decision making, as well as in scoring and ranking. Although ordinal ... More

Birkhoff's Theorem in Higher Derivative Theories of Gravity II: Asymptotically Lifshitz Black HolesJan 26 2012Sep 17 2012As a continuation of a previous work, here we examine the admittance of Birkhoff's theorem in a class of higher derivative theories of gravity. This class is contained in a larger class of theories which are characterized by the property that the trace ... More

Conformal couplings of a scalar field to higher curvature termsDec 18 2011Aug 20 2012We present a simple way of constructing conformal couplings of a scalar field to higher order Euler densities. This is done by constructing a four-rank tensor involving the curvature and derivatives of the field, which transforms covariantly under local ... More

Topological self-dual vacua of deformed gauge theoriesJun 10 2014We propose a deformation principle of gauge theories in three dimensions that can describe topologically stable self-dual gauge fields, i.e., vacua configurations that in spite of their masses do not deform the background geometry and are locally undetected ... More

Spector bar recursion over finite partial functionsOct 23 2014Aug 17 2015We introduce a new, demand-driven variant of Spector's bar recursion in the spirit of the Berardi-Bezem-Coquand functional. The recursion takes place over finite partial functions $u$, where the control parameter $\varphi$, used in Spector's bar recursion ... More

Bar Recursion and Products of Selection FunctionsJul 25 2014Aug 14 2014We show how two iterated products of selection functions can both be used in conjunction with system T to interpret, via the dialectica interpretation and modified realizability, full classical analysis. We also show that one iterated product is equivalent ... More

On Pocrims and HoopsApr 03 2014Oct 16 2014Pocrims and suitable specialisations thereof are structures that provide the natural algebraic semantics for a minimal affine logic and its extensions. Hoops comprise a special class of pocrims that provide algebraic semantics for what we view as an intuitionistic ... More

The choice environment, constraints, and rational proceduresJan 10 2018Sep 18 2018In decision theory a choice problem is abstractly represented as a set of alternatives. But when facing a concrete choice, an agent typically cannot access this set at once. For instance, when buying online, he needs to navigate a search result in multiple ... More

A Direct Proof of Schwichtenberg's Bar Recursion Closure TheoremJul 18 2016Oct 17 2016In 1979 Schwichtenberg showed that a rule-like version Spector's bar recursion of lowest type levels $0$ and $1$ is closed under system $\text{T}$. More precisely, if the functional $Y$ which controls the stopping condition of Spector's bar recursor is ... More

On Various Negative TranslationsJan 28 2011Several proof translations of classical mathematics into intuitionistic mathematics have been proposed in the literature over the past century. These are normally referred to as negative translations or double-negation translations. Among those, the most ... More

Secondary antinuclei from supernova remnants and background for dark matter searchesJul 21 2017Jul 27 2018We compute the spectra of cosmic-ray (CR) nuclei and antinuclei under a scenario where hadronic interaction processes inside supernova remnants (SNRs) can produce a diffusively-shock-accelerated "source component" of secondary particles. This scenario ... More

Tau NowFeb 10 2016UHECR and UHE neutrino map correlation seem to most inconclusive. We show here that a few peculiar UHECR narrow clustering might be connected to a first UHE muon neutrino tracks. Moreover we discuss the best filtered and amplified UHE neutrino astronomy ... More

A nonlinear parabolic problem with singular terms and nonregular dataJan 06 2019We study existence of nonnegative solutions to a nonlinear parabolic boundary value problem with a general singular lower order term and a nonnegative measure as nonhomogeneous datum, of the form $$ \begin{cases} \displaystyle u_t - \Delta_p u = h(u)f+\mu ... More

Dynamic shear suppression in quantum phase spaceAug 01 2017Jan 21 2019Classical phase space flow is inviscid. Here we show that in quantum phase space Wigner's probability current J can be effectively viscous. This results in shear suppression in quantum phase space dynamics which enforces Zurek's limit for the minimum ... More

Quantum Kerr oscillators' evolution in phase space: Wigner current, symmetries, shear suppression and special statesNov 07 2018Mar 19 2019The creation of quantum coherences requires a system to be anharmonic. The simplest such continuous 1D quantum system is the Kerr oscillator. It has a number of interesting symmetries we derive. Its quantum dynamics is best studied in phase space, using ... More

Production of cosmic-ray antinuclei in the Galaxy and background for dark matter searchesDec 08 2017Jul 27 2018Antimatter nuclei in cosmic rays (CR) represent a promising discovery channel for the indirect search of dark matter. We present astrophysical background calculations of CR antideuteron ($\overline{d}$) and antihelium ($\overline{He}$). These particles ... More

Four-dimensional Traversable Wormholes and Bouncing Cosmologies in VacuumNov 08 2018In this letter we point out the existence of solutions to General Relativity with a negative cosmological constant in four dimensions, which contain solitons as well as traversable wormholes. The latter connect two asymptotically locally AdS$_{4}$ spacetimes. ... More

Functional Interpretations of Intuitionistic Linear LogicDec 06 2010Mar 24 2011We present three different functional interpretations of intuitionistic linear logic ILL and show how these correspond to well-known functional interpretations of intuitionistic logic IL via embeddings of IL into ILL. The main difference from previous ... More

Semigroups of weighted composition operators in spaces of analytic functionsJun 27 2017We study the strong continuity of weighted composition semigroups of the form $T_tf=\varphi_t'\left(f\circ\varphi_t\right)$ in several spaces of analytic functions. First we give a general result on separable spaces and use it to prove that these semigroups ... More

Probabilistic Depth Image Registration incorporating Nonvisual InformationApr 29 2015May 01 2015In this paper, we derive a probabilistic registration algorithm for object modeling and tracking. In many robotics applications, such as manipulation tasks, nonvisual information about the movement of the object is available, which we will combine with ... More

NNLO QCD subtraction for top-antitop production in the $q\bar{q}$ channelApr 25 2014Aug 04 2014We present the computation of the double real and real-virtual contributions to top-antitop pair production in the quark-antiquark channel at leading colour. The $q \bar q \to t \bar{t} g$ amplitudes contributing to the real-virtual part are computed ... More

Sample Complexity of Sinkhorn divergencesOct 05 2018Feb 05 2019Optimal transport (OT) and maximum mean discrepancies (MMD) are now routinely used in machine learning to compare probability measures. We focus in this paper on \emph{Sinkhorn divergences} (SDs), a regularized variant of OT distances which can interpolate, ... More

Free Spaces over Countable Compact Metric SpacesJul 02 2013Apr 15 2014We prove that the Lipschitz-free space over a countable compact metric space is isometric to a dual space and has the metric approximation property.

Timelike Dipole-Antenna Showers with Massive FermionsAug 31 2011Nov 21 2018We present a complete formalism for final-state (timelike) dipole-antenna showers including fermion masses, but neglecting polarization and finite-width effects. We make several comparisons of tree-level expansions of this shower algorithm to fixed-order ... More

On the computation of classical, boolean and free cumulantsNov 20 2008This paper introduces a simple and computationally efficient algorithm for conversion formulae between moments and cumulants. The algorithm provides just one formula for classical, boolean and free cumulants. This is realized by using a suitable polynomial ... More

NNLO antenna subtraction with two hadronic initial statesJan 14 2010We discuss the extension of the antenna subtraction method to include two hadrons in the initial state (initial-initial antennae) at next-to-next-to-leading order. We sketch the construction of the subtraction terms and the required phase space transformations. ... More

Antenna subtraction at NNLO with hadronic initial states: double real initial-initial configurationsJul 24 2012The antenna subtraction method handles real radiation contributions in higher order corrections to jet observables. The method is based on antenna functions, which encapsulate all unresolved radiation between a pair of hard radiator partons. To apply ... More

Antenna subtraction at NNLO with hadronic initial states: double real radiation for initial-initial configurations with two quark flavoursNov 30 2010Feb 10 2011The antenna subtraction formalism allows to calculate QCD corrections to jet observables. Within this formalism, the subtraction terms are constructed using antenna functions describing all unresolved radiation between a pair of hard radiatior partons. ... More

A congestion model for cell migrationFeb 01 2011This paper deals with a class of macroscopic models for cell migration in a saturated medium for two-species mixtures. Those species tend to achieve some motion according to a desired velocity, and congestion forces them to adapt their velocity. This ... More

Multivariate Bernoulli and Euler polynomials via Lévy processesAug 08 2011Apr 03 2012By a symbolic method, we introduce multivariate Bernoulli and Euler polynomials as powers of polynomials whose coefficients involve multivariate L\'evy processes. Many properties of these polynomials are stated straightforwardly thanks to this representation, ... More

On some applications of a symbolic representation of non-centered Lévy processesOct 15 2013By using a symbolic technique known in the literature as the classical umbral calculus, we characterize two classes of polynomials related to L\'evy processes: the Kailath-Segall and the time-space harmonic polynomials. We provide the Kailath-Segall formula ... More

A new family of time-space harmonic polynomials with respect to Lévy processesAug 03 2011Apr 26 2012By means of a symbolic method, a new family of time-space harmonic polynomials with respect to L\'evy processes is given. The coefficients of these polynomials involve a formal expression of L\'evy processes by which many identities are stated. We show ... More

The Bose Gas Low Momentum Limit RevisitedAug 28 2006We discuss the standard approach to the problem of the low momentum limit of the spectrum for a weakly interacting Bose gas. The Bogoliubov's spectrum is shown to be obtained as a Goldstone mode thanks to the introduction of a chemical potential $\mu$. ... More

Meta-CurvatureFeb 09 2019We propose to learn curvature information for better generalization and fast model adaptation, called meta-curvature. Based on the model-agnostic meta-learner (MAML), we learn to transform the gradients in the inner optimization such that the transformed ... More