total 676took 0.13s

What do different evaluation metrics tell us about saliency models?Apr 12 2016Apr 06 2017How 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

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

Free spaces over some proper metric spacesApr 15 2014Dec 16 2014We prove that the Lipschitz-free space over a countable proper metric space is isometric to a dual space and has the metric approximation property. We also show that the Lipschitz-free space over a proper ultrametric space is isometric to the dual of ... More

GANalyze: Toward Visual Definitions of Cognitive Image PropertiesJun 24 2019We introduce a framework that uses Generative Adversarial Networks (GANs) to study cognitive properties like memorability, aesthetics, and emotional valence. These attributes are of interest because we do not have a concrete visual definition of what ... 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 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

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

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

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

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

Cross-view Semantic Segmentation for Sensing SurroundingsJun 09 2019Sensing surroundings is ubiquitous and effortless to humans: It takes a single glance to extract the spatial configuration of objects and the free space from the scene. To help machine vision with spatial understanding capabilities, we introduce the View ... 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

Reconstruction of the transit signal in the presence of stellar variabilityJan 08 2008Intrinsic stellar variability can hinder the detection of shallow transits, particularly in space-based data. Therefore, this variability has to be filtered out before running the transit search. Unfortunately, filtering out the low frequency signal of ... More

A proximal approach to the inversion of ill-conditioned matricesApr 04 2009We propose a general proximal algorithm for the inversion of ill-conditioned matrices. This algorithm is based on a variational characterization of pseudo-inverses. We show that a particular instance of it (with constant regularization parameter) belongs ... 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

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

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

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

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

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

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

Unifying Functional Interpretations: Past and FutureOct 16 2014This article surveys work done in the last six years on the unification of various functional interpretations including G\"odel's dialectica interpretation, its Diller-Nahm variant, Kreisel modified realizability, Stein's family of functional interpretations, ... More

Computing the Kalman formOct 05 2005Feb 07 2006We present two algorithms for the computation of the Kalman form of a linear control system. The first one is based on the technique developed by Keller-Gehrig for the computation of the characteristic polynomial. The cost is a logarithmic number of matrix ... More

Comment to the Paper of Michael J. Saxton: "A Biological Interpretation of Transient Anomalous Subdiffusion. I. Qualitative Model"Jul 01 2008In a recent paper, Michael J. Saxton proposes to interpret as anomalous diffusion the occurrence of apparent transient sub-diffusive regimes in mean-squared displacements (MSD) plots, calculated from experimental trajectories of molecules diffusing in ... More

Estimation with informative missing data in the low-rank model with random effectsJun 06 2019Matrix completion based on low-rank models is very popular and comes with powerful algorithms and theoretical guarantees. However, existing methods do not consider the case of values missing not at random (MNAR) which are widely encountered in practice. ... More

An hybrid system approach to nonlinear optimal control problemsFeb 08 2005Jan 07 2008We consider a nonlinear ordinary differential equation and want to control its behavior so that it reaches a target by minimizing a cost function. Our approach is to use hybrid systems to solve this problem: the complex dynamic is replaced by piecewise ... 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

Estimation and imputation in Probabilistic Principal Component Analysis with Missing Not At Random dataJun 06 2019Jul 29 2019Missing Not At Random values are considered to be non-ignorable and require defining a model for the missing values mechanism which involves strong a priori on the parametric form of the distribution and makes the inference or imputation tasks more complex. ... More

Nesterov's acceleration and Polyak's heavy ball method in continuous time: convergence rate analysis under geometric conditions and perturbationsJul 05 2019In this article a family of second order ODEs associated to inertial gradient descend is studied. These ODEs are widely used to build trajectories converging to a minimizer $x^*$ of a function $F$, possibly convex. This family includes the continuous ... 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

Dynamics of a Liquid Crystal close to the Fréedericksz transitionAug 21 2013Nov 22 2013We report experimental and numerical evidences that the dynamics of the director of a liquid crystal driven by an electric field close to the critical point of the Fr\'eedericksz Transition(FT) is not described by a Landau-Ginzburg (LG) equation as it ... More

New method of determination of the Fréedericksz threshold based upon precise fluctuation measurementAug 21 2013In this paper we report a new method for determining the critical threshold of the Fr\'eedericksz transition driven by an electric field. It is based on the measurement of the amplitude of the molecule fluctuations as a function of the voltage difference ... 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

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

Oscillating Nernst-Ettingshausen effect in Bismuth across the quantum limitDec 05 2006Apr 27 2007In elemental Bismuth, 10$^5$ atoms share a single itinerant electron. Therefore, a moderate magnetic field can confine electrons to the lowest Landau level. We report on the first study of metallic thermoelectricity in this regime. The main thermoelectric ... 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

Imputation and low-rank estimation with Missing Non At Random dataDec 29 2018Jan 07 2019Missing values challenge data analysis because many supervised and unsu-pervised learning methods cannot be applied directly to incomplete data. Matrix completion based on low-rank assumptions are very powerful solution for dealing with missing values. ... 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 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

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

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

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

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

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

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

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

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

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

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

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

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

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

Studying Algebraic Structures using Prover9 and Mace4Aug 14 2019In this chapter we present a case study, drawn from our research work, on the application of a fully automated theorem prover together with an automatic counter-example generator in the investigation of a class of algebraic structures. We will see that ... 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

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

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

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

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

2013-2016 review: HE Neutrino and UHECR Astronomy?Jan 31 2017The last few years, 2013-2016, the high energy neutrino events in ICECUBE and the last rich UHECR maps by AUGER and TA were hopefully opening a new High Energy astronomy age. Unfortunately the foreseen correlation between neutrino with best gamma X sources ... 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

Hoops, Coops and the Algebraic Semantics of Continuous LogicDec 12 2012B\"{u}chi and Owen studied algebraic structures called hoops. Hoops provide a natural algebraic semantics for a class of substructural logics that we think of as intuitionistic analogues of the widely studied {\L}ukasiewicz logics. Ben Yaacov extended ... 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

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

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

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

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

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

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

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

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

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

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

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 quasinormal modes for a special class of black holesMar 11 2010Analytic exact expressions for the quasinormal modes of scalar and electromagnetic perturbations around a special class of black holes are found in d\ge3 dimensions. It is shown that, the size of the black hole provides a bound for the angular momentum ... 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

(Dual) Hoops Have Unique HalvingMar 02 2012Oct 14 2013Continuous logic extends the multi-valued Lukasiewicz logic by adding a halving operator on propositions. This extension is designed to give a more satisfactory model theory for continuous structures. The semantics of these logics can be given using specialisations ... 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

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

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

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.

Antenna subtraction with massive fermions at NNLO: Double real initial-final configurationsOct 18 2012We derive the integrated forms of specific initial-final tree-level four-parton antenna functions involving a massless initial-state parton and a massive final-state fermion as hard radiators. These antennae are needed in the subtraction terms required ... More

NNLO Antenna Subtraction with One Hadronic Initial StateJan 14 2010In this talk we present the extension of the antenna subtraction method to include initial states containing one hadron at NNLO. We sketch the requirements for the different necessary subtraction terms, and we explain how the antenna functions are integrated ... More

Direct Evidence of the Benzylium and Tropylium Cations as the two long-lived Isomers of C7H7+Sep 25 2018Disentangling the isomeric structure of C7H7+ is a longstanding experimental issue. We report here the full mid-infrared vibrational spectrum of C7H7+ tagged with Ne obtained with infrared-predissociation spectroscopy at 10 K. Saturation depletion measurements ... More