Results for "Matteo Matteucci"

total 4389took 0.11s
Mesh-based Camera Pairs Selection and Occlusion-Aware Masking for Mesh RefinementMay 21 2019Many Multi-View-Stereo algorithms extract a 3D mesh model of a scene, after fusing depth maps into a volumetric representation of the space. Due to the limited scalability of such representations, the estimated model does not capture fine details of the ... More
Efficient moving point handling for incremental 3D manifold reconstructionJul 20 2015As incremental Structure from Motion algorithms become effective, a good sparse point cloud representing the map of the scene becomes available frame-by-frame. From the 3D Delaunay triangulation of these points, state-of-the-art algorithms build a manifold ... More
Incremental Reconstruction of Urban Environments by Edge-Points Delaunay TriangulationApr 21 2016Apr 27 2016Urban reconstruction from a video captured by a surveying vehicle constitutes a core module of automated mapping. When computational power represents a limited resource and, a detailed map is not the primary goal, the reconstruction can be performed incrementally, ... More
A Data-driven Prior on Facet Orientation for Semantic Mesh LabelingJul 26 2018Mesh labeling is the key problem of classifying the facets of a 3D mesh with a label among a set of possible ones. State-of-the-art methods model mesh labeling as a Markov Random Field over the facets. These algorithms map image segmentations to the mesh ... More
TAPA-MVS: Textureless-Aware PAtchMatch Multi-View StereoMar 26 2019One of the most successful approaches in Multi-View Stereo estimates a depth map and a normal map for each view via PatchMatch-based optimization and fuses them into a consistent 3D points cloud. This approach relies on photo-consistency to evaluate the ... More
Towards Affordance Prediction with Vision via Task Oriented Grasp Quality MetricsJul 10 2019While many quality metrics exist to evaluate the quality of a grasp by itself, no clear quantification of the quality of a grasp relatively to the task the grasp is used for has been defined yet. In this paper we propose a framework to extend the concept ... More
Robust Moving Objects Detection in Lidar Data Exploiting Visual CuesSep 29 2016Detecting moving objects in dynamic scenes from sequences of lidar scans is an important task in object tracking, mapping, localization, and navigation. Many works focus on changes detection in previously observed scenes, while a very limited amount of ... More
Real-time CPU-based large-scale 3D mesh reconstructionJan 16 2018In Robotics, especially in this era of autonomous driving, mapping is one key ability of a robot to be able to navigate through an environment, localize on it and analyze its traversability. To allow for real-time execution on constrained hardware, the ... More
Multi-View Stereo 3D Edge ReconstructionJan 17 2018This paper presents a novel method for the reconstruction of 3D edges in multi-view stereo scenarios. Previous research in the field typically relied on video sequences and limited the reconstruction process to either straight line-segments, or edge-points, ... More
Dense 3D Visual Mapping via Semantic SimplificationFeb 20 2019Dense 3D visual mapping estimates as many as possible pixel depths, for each image. This results in very dense point clouds that often contain redundant and noisy information, especially for surfaces that are roughly planar, for instance, the ground or ... More
Predicting the Next Best View for 3D Mesh RefinementMay 16 20183D reconstruction is a core task in many applications such as robot navigation or sites inspections. Finding the best poses to capture part of the scene is one of the most challenging topic that goes under the name of Next Best View. Recently, many volumetric ... More
Mesh-based 3D Textured Urban MappingAug 18 2017In the era of autonomous driving, urban mapping represents a core step to let vehicles interact with the urban context. Successful mapping algorithms have been proposed in the last decade building the map leveraging on data from a single sensor. The focus ... More
Chemical Evolution of M31Jun 03 2014We review chemical evolution models developed for M31 as well as the abundance determinations available for this galaxy. Then we present a recent chemical evolution model for M31 including radial gas flows and galactic fountains along the disk, as well ... More
Attention Mechanisms for Object Recognition with Event-Based CamerasJul 25 2018Nov 18 2018Event-based cameras are neuromorphic sensors capable of efficiently encoding visual information in the form of sparse sequences of events. Being biologically inspired, they are commonly used to exploit some of the computational and power consumption benefits ... More
ReConvNet: Video Object Segmentation with Spatio-Temporal Features ModulationJun 14 2018Jun 18 2018We introduce ReConvNet, a recurrent convolutional architecture for semi-supervised video object segmentation that is able to fast adapt its features to focus on any specific object of interest at inference time. Generalization to new objects never observed ... More
Sparse vs. Non-sparse: Which One Is Better for Practical Visual Tracking?Jul 30 2016Recently, sparse representation based visual tracking methods have attracted increasing attention in the computer vision community. Although achieve superior performance to traditional tracking methods, however, a basic problem has not been answered yet ... More
Asynchronous Convolutional Networks for Object Detection in Neuromorphic CamerasMay 21 2018Nov 18 2018Event-based cameras, also known as neuromorphic cameras, are bioinspired sensors able to perceive changes in the scene at high frequency with low power consumption. Becoming available only very recently, a limited amount of work addresses object detection ... More
Automatic 3D Reconstruction of Manifold Meshes via Delaunay Triangulation and Mesh SweepingApr 21 2016In this paper we propose a new approach to incrementally initialize a manifold surface for automatic 3D reconstruction from images. More precisely we focus on the automatic initialization of a 3D mesh as close as possible to the final solution; indeed ... More
Multi-View Stereo with Single-View Semantic Mesh RefinementAug 16 2017Aug 24 2017While 3D reconstruction is a well-established and widely explored research topic, semantic 3D reconstruction has only recently witnessed an increasing share of attention from the Computer Vision community. Semantic annotations allow in fact to enforce ... More
Asynchronous Convolutional Networks for Object Detection in Neuromorphic CamerasMay 21 2018Jun 13 2019Event-based cameras, also known as neuromorphic cameras, are bioinspired sensors able to perceive changes in the scene at high frequency with low power consumption. Becoming available only very recently, a limited amount of work addresses object detection ... More
A comparison of the s- and r-process element evolution in local dwarf spheroidal galaxies and in the Milky WayFeb 22 2008We study the nucleosynthesis of several neutron capture elements (barium, europium, lanthanum, and yttrium) in local group dwarf spheroidal (dSph) galaxies and in the Milky Way by comparing the evolution of [Ba/Fe], [Eu/Fe], [La/Fe], [Y/Fe], [Ba/Y], [Ba/Eu], ... More
ReSeg: A Recurrent Neural Network-based Model for Semantic SegmentationNov 22 2015May 24 2016We propose a structured prediction architecture, which exploits the local generic features extracted by Convolutional Neural Networks and the capacity of Recurrent Neural Networks (RNN) to retrieve distant dependencies. The proposed architecture, called ... More
ReNet: A Recurrent Neural Network Based Alternative to Convolutional NetworksMay 03 2015Jul 23 2015In this paper, we propose a deep neural network architecture for object recognition based on recurrent neural networks. The proposed network, called ReNet, replaces the ubiquitous convolution+pooling layer of the deep convolutional neural network with ... More
Clustering dynamics in a class of normalised generalised gamma dependent priorsAug 02 2016Nov 04 2016Normalised generalised gamma processes are random probability measures that induce nonparametric prior distributions widely used in Bayesian statistics, particularly for mixture modelling. We construct a class of dependent normalised generalised gamma ... More
Clustering dynamics in a class of normalised generalised gamma dependent priorsAug 02 2016Normalised generalised gamma processes are random probability measures that induce nonparametric prior distributions widely used in Bayesian statistics, particularly for mixture modelling. We construct a class of dependent normalised generalised gamma ... More
Introduction to Galactic Chemical EvolutionFeb 02 2016In this lecture I will introduce the concept of galactic chemical evolution, namely the study of how and where the chemical elements formed and how they were distributed in the stars and gas in galaxies. The main ingredients to build models of galactic ... More
The effect of differential galactic winds on the chemical evolution of galaxiesAug 01 2008(Abridged) The aim of this paper is to study the basic equations of the chemical evolution of galaxies with gas flows. We focus on models in which the outflow is differential, namely in which the heavy elements (or some of the heavy elements) can leave ... More
Evolution of lithium in the Milky Way halo, discs and bulgeJun 21 2019In this work, we study the Galactic evolution of lithium by means of chemical evolution models in the light of the most recent spectroscopic data from Galactic stellar surveys. We consider detailed chemical evolution models for the Milky Way halo, discs ... More
Chemical evolution in a model for the joint formation of quasars and spheroidsMar 28 2002Direct and indirect pieces of observational evidence point to a strong connection between high-redshift quasars and their host galaxies. In the framework of a model where the shining of the quasar is the episode that stops the formation of the galactic ... More
Some insights on bicategories of fractions: representations and compositions of 2-morphismsOct 15 2014Apr 20 2016In this paper we investigate the construction of bicategories of fractions originally described by D. Pronk: given any bicategory $\mathcal{C}$ together with a suitable class of morphisms $\mathbf{W}$, one can construct a bicategory $\mathcal{C}[\mathbf{W}^{-1}]$, ... More
Cosmology with the lyman-alpha forest in the WMAP eraOct 15 2003In the WMAP era of high precision cosmology an accurate determination of the matter power spectrum from lyman-alpha forest data becomes crucial. When combining the matter power spectrum derived from CMB experiments with that inferred from lyman-alpha ... More
The coherent interaction between matter and radiation - A tutorial on the Jaynes-Cummings modelNov 04 2011The Jaynes-Cummings (JC) model is a milestone in the theory of coherent interaction between a two-level system and a single bosonic field mode. This tutorial aims to give a complete description of the model, analyzing the Hamiltonian of the system, its ... More
On the strong coupling expansion in the su(1|1) sector of N=4 SYMMay 08 2008May 12 2008We consider the anomalous dimension of the fermionic highest states Tr(psi^L) in the su(1|1) sector of N=4 SYM at strong coupling. In the thermodynamical L->OO limit it is described by a BES-like integral equation recently proposed by Rej, Staudacher ... More
Universality of three gaugino anomalous dimensions in N=4 SYMMay 04 2007May 05 2007We study maximal helicity three gaugino operators in N=4 Super Yang-Mills theory. We show that the lowest anomalous dimension of scaling operators with generic finite spin can be expressed in terms of the universal anomalous dimension appearing at twist-2. ... More
Anomalous dimensions at twist-3 in the sl(2) sector of N=4 SYMApr 26 2007We consider twist-3 operators in the sl(2) sector of N=4 SYM built out of three scalar fields with derivatives. We extract from the Bethe Ansatz equations of this sector the exact lowest anomalous dimension gamma(s) of scaling fields for several values ... More
Wave functions for Hamiltonian Lattice Gauge TheoryMar 21 2000We study four dimensional SU(2) lattice gauge theory in the Hamiltonian formalism by Green's Function Monte Carlo methods. A trial ground state wave function is introduced to improve the configuration sampling and we discuss the interplay between its ... More
Verification of Reachability Problems for Time Basic Petri NetsSep 09 2014Time-Basic Petri nets, is a powerful formalism for model- ing real-time systems where time constraints are expressed through time functions of marking's time description associated with transition, representing possible firing times. We introduce a technique ... More
Ultraluminous X-ray sources: three exciting yearsOct 19 2015The extreme extragalactic sources known as Ultraluminous X-ray Sources (ULX) represent a unique testing environment for compact objects population studies and the accretion process. Their nature has long been disputed. Their luminosity, well above the ... More
An equilibrated fluxes approach to the Certified Descent Algorithm for shape optimization using conforming Finite Element and Discontinuous Galerkin discretizationsNov 10 2016The Certified Descent Algorithm (CDA) is a gradient-based method for shape optimization which certifies that the direction computed using the shape gradient is a genuine descent direction for the objective functional under analysis. It relies on the computation ... More
Gravity, holography and applications to condensed matterOct 09 2016Oct 17 2016Momentum relaxation is an ever-present and unavoidable ingredient of any realistic condensed matter system. In real-world materials the presence of a lattice, impurities or disorder forces momentum to dissipate and leads to relevant physical effects such ... More
Localisation in 2+1 dimensional SU(3) pure gauge theory at finite temperatureMar 12 2019I study the localisation properties of low Dirac eigenmodes in 2+1 dimensional SU(3) pure gauge theory, both in the low-temperature, confined and chirally-broken phase and in the high-temperature, deconfined and chirally-restored phase, by means of numerical ... More
Contracting rigid germs in higher dimensionsSep 30 2011Jan 09 2013Following Favre, we define a holomorphic germ f:(C^d,0) -> (C^d,0) to be rigid if the union of the critical set of all iterates has simple normal crossing singularities. We give a partial classification of contracting rigid germs in arbitrary dimensions ... More
A Poincaré-Dulac renormalization theorem for attracting rigid germs in $\mathbb{C}^d$Mar 14 2011Sep 30 2011Studying the dynamics of attracting rigid germs $f:(\mathbb{C}^d, 0) \rightarrow (\mathbb{C}^d, 0)$ in dimension $d \geq 3$, a new phenomenon arise: principal resonances. The resonances of the classic Poincar\'e-Dulac theory are given by (multiplicative) ... More
A temporal semantics for Nilpotent Minimum logicOct 22 2013In [Ban97] a connection among rough sets (in particular, pre-rough algebras) and three-valued {\L}ukasiewicz logic {\L}3 is pointed out. In this paper we present a temporal like semantics for Nilpotent Minimum logic NM ([Fod95, EG01]), in which the logic ... More
On a homotopy version of the Duflo isomorphismDec 19 2017For a finite dimensional Lie algebra $\mathfrak{g}$, the Duflo map $S\mathfrak{g}\rightarrow U\mathfrak{g}$ defines an isomorphism of $\mathfrak{g}$-modules. On $\mathfrak{g}$-invariant elements it gives an isomorphism of algebras. Moreover, it induces ... More
Thermal properties of a string bit model at large NSep 06 2017We study the finite temperature properties of a recently introduced string bit model designed to capture some features of the emergent string in the tensionless limit. The model consists of a pair of bosonic and fermionic bit operators transforming in ... More
Radial and cylindrical symmetry of solutions to the Cahn-Hilliard equationFeb 01 2019The paper is devoted to the classification of entire solutions to the Cahn-Hilliard equation $-\Delta u = u-u^3-\delta$ in $\R^N$, with particular interest in those solutions whose nodal set is either bounded or contained in a cylinder. The aim is to ... More
Lyapunov exponents, holomorphic flat bundles and de Rham moduli spaceOct 30 2018We consider Lyapunov exponents for flat bundles over hyperbolic curves defined via parallel transport over the geodesic flow. We refine a lower bound obtained by Eskin, Kontsevich, Moeller and Zorich showing that the sum of the first k exponents is greater ... More
Top production at large p_t at NLO+NLL accuracySep 18 2018We introduce a new version of the FONLL code, now capable of calculating differential distributions for top quark production with next-to-leading-log resummation of log(p_t/m) terms. Numerical results for LHC and FCC kinematics are presented. In the transverse ... More
Thermodynamic laws for populations and quantum coherence: A self-contained introduction to the resource theory approach to thermodynamicsJul 30 2018In these notes I give a self-contained introduction to the resource theory approach to quantum thermodynamics. I will introduce in an elementary manner the technical machinery necessary to unpack and prove the core statements of the theory. The topics ... More
A Law of Large Numbers for an Interacting Particle System with Confining PotentialJan 03 2007In this paper we consider an interacting particle system modeled as a system of $N$ stochastic differential equations driven by Brownian motions with a drift term including a confining potential acting on each particle, and an interaction potential modeling ... More
A bicategory of reduced orbifolds from the point of view of differential geometry - IApr 25 2013Jan 09 2015We describe a bicategory $(\mathcal{R}ed\,\mathcal{O}rb)$ of reduced orbifolds in the framework of classical differential geometry (i.e. without any explicit reference to notions of Lie groupoids or differentiable stacks, but only using orbifold atlases, ... More
Chemically-exfoliated single-layer MoS$_2$ : stability, lattice dynamics and catalytic adsorption from first principlesDec 05 2013Chemically and mechanically exfoliated MoS$_2$ single-layer samples have substantially different properties. While mechanically exfoliated single-layers are mono-phase (1H polytype with Mo in trigonal prismatic coordination), the chemically exfoliated ... More
Finite generation of iterated wreath products in product actionMay 30 2015Jun 21 2015Let $\mathcal{S}$ be a sequence of finite perfect transitive permutation groups with uniformly bounded number of generators. We prove that the infinitely iterated wreath product in product action of the groups in $\mathcal{S}$ is topologically finitely ... More
Interior regularity of solutions of non-local equations in Sobolev and Nikol'skii spacesJan 12 2016We prove interior $H^{2s-\varepsilon}$ regularity for weak solutions of linear elliptic integro-differential equations close to the fractional $s$-Laplacian. The result is obtained via intermediate estimates in Nikol'skii spaces, which are in turn carried ... More
The classification of isotrivially fibred surfaces with p_g=q=2Apr 08 2009Jul 29 2010An isotrivially fibred surface is a smooth projective surface endowed with a morphism onto a curve such that all the smooth fibres are isomorphic to each other. The first goal of this paper is to classify the isotrivially fibred surfaces with $p_g=q=2$ ... More
Useful axiomsOct 10 2016We give a brief survey on the interplay between forcing axioms and various other non-constructive principles widely used in many fields of abstract mathematics, such as the axiom of choice and Baire's category theorem. First of all we outline how, using ... More
The Proper Forcing Axiom and the Singular Cardinal HypothesisSep 27 2005We show that the Proper Forcing Axiom implies the Singular Cardinal Hypothesis. The proof is by interpolation and uses the Mapping Reflection Principle.
The Credibility Theory applied to backtesting Counterparty Credit RiskSep 17 2014Credibility theory provides tools to obtain better estimates by combining individual data with sample information. We apply the Credibility theory to a Uniform distribution that is used in testing the reliability of forecasting an interest rate for long ... More
A complete proof of coherence for symmetric monoidal categories using rewritingJun 06 2016A symmetric monoidal category is a category equipped with an associative and commutative (binary) product and an object which is the unit for the product. In fact, those properties only hold up to natural isomorphisms which satisfy some coherence conditions. ... More
Mean of Ratios or Ratio of Means: statistical uncertainty applied to estimate Multiperiod Probability of DefaulSep 17 2014The estimate of a Multiperiod probability of default applied to residential mortgages can be obtained using the mean of the observed default, so called the Mean of ratios estimator, or aggregating the default and the issued mortgages and computing the ... More
Thermodynamics of inequalities: from precariousness to economic stratificationJun 25 2014Nov 30 2014Growing economic inequalities are observed in several countries throughout the world. Following Pareto, the power-law structure of these inequalities has been the subject of much theoretical and empirical work. But their nonequilibrium dynamics, e.g. ... More
On the supersymmetric vacua of the Veneziano-Wosiek modelJan 24 2007We study the supersymmetric vacua of the Veneziano-Wosiek model in sectors with fermion number F=2, 4 at finite 't Hooft coupling lambda. We prove that for F=2 there are two zero energy vacua for lambda > lambda_c = 1 and none otherwise. We give the analytical ... More
Maximal Stability Regions for Superconducting Ground States of Generalized Hubbard ModelsApr 09 1999For a class of generalized Hubbard models, we determine the maximal stability region for the superconducting eta-pairing ground state. We exploit the Optimized Ground State (OGS) approach and the Lanczos diagonalization procedure to derive a sequence ... More
Bosonization and the lattice Gross-Neveu modelDec 06 1993We consider a lattice version of the bosonized Gross-Neveu model. It is explicitely chiral symmetric and its numerical simulation does not involve any anticommuting field. We study its non trivial $1/N$ expansion up to the next-to-leading term comparing ... More
Surfaces isogenous to a product of curves, braid groups and mapping class groupsNov 22 2013This article is a revised version of the talk I gave at the conference ``Beauville Surfaces and groups'' held in Newcastle in June 2012. It presents some group theoretical methods to give bounds on the number of connected components of the moduli space ... More
Spiraling toward market completeness and financial instabilityJun 08 2009I study the limit of a large random economy, where a set of consumers invests in financial instruments engineered by banks, in order to optimize their future consumption. This exercise shows that, even in the ideal case of perfect competition, where full ... More
First and second variation formulae for the sub-Riemannian area in three-dimensional pseudo-hermitian manifoldsSep 28 2011Oct 03 2011We calculate the first and the second variation formula for the sub-Riemannian area in three dimensional pseudo-hermitian manifolds. We consider general variations that can move the singular set of a C^2 surface and non-singular variation for C_H^2 surfaces. ... More
The regularity of Euclidean Lipschitz boundaries with prescribed mean curvature in three-dimensional contact sub-Riemannian manifoldsJul 26 2015Feb 09 2016In this paper we consider a set $E\subset\Omega$ with prescribed mean curvature $f\in C(\Omega)$ and Euclidean Lipschitz boundary $\partial E=\Sigma$ inside a three-dimensional contact sub-Riemannian manifold $M$. We prove that if $\Sigma$ is locally ... More
FastJet: a code for fast k_t clustering, and moreJul 06 2006Two main classes of jet clustering algorithms, cone and k_t, are briefly discussed. It is argued that the former can be often cumbersome to define and implement, and difficult to analyze in terms of its behaviour with respect to soft and collinear emissions. ... More
Soft-Gluon Resummation in Heavy Quarkonium PhysicsOct 20 1999Soft-gluon resummation within the framework of heavy quarkonium hadroproduction is considered. A few selected cases are studied in detail. A sizeable increase of the cross sections with respect to the next-to-leading order predictions with central factorization/renormalization ... More
Computational Interpretations of Markov's principleNov 11 2016Markov's principle is a statement that originated in the Russian school of Constructive Mathematics and stated originally that "if it is impossible that an algorithm does not terminate, then it will terminate". This principle has been adapted to many ... More
Wilson-loop formalism for Reggeon exchange at high energySep 26 2012I will discuss how the non-vacuum, quark-antiquark Reggeon-exchange contribution to meson-meson elastic scattering, at high energy and low tranferred momentum, can be related to the path-integral of a certain Wilson-loop expectation value over the trajectories ... More
Cohomological and projective dimensionsApr 15 2012Nov 14 2012In this paper we give an upper bound, in characteristic 0, for the cohomological dimension of a graded ideal in a polynomial ring such that the quotient has depth at least 3. In positive characteristic the same bound holds true by a well-known theorem ... More
Computational Interpretations of Markov's principleNov 11 2016Dec 16 2016Markov's principle is a statement that originated in the Russian school of Constructive Mathematics and stated originally that "if it is impossible that an algorithm does not terminate, then it will terminate". This principle has been adapted to many ... More
Optimal price management in retail energy markets: an impulse control problem with asymptotic estimatesMar 21 2018Mar 30 2019We consider a retailer who buys energy in the wholesale market and resells it to final consumers. The retailer has to decide when to intervene to change the price he asks to his customers, in order to maximize his income. We model the problem as an infinite-horizon ... More
Rigidification of holomorphic germs with non-invertible differentialNov 20 2009Dec 23 2010We study holomorphic germs $f:(\mathbb{C}^2, 0) \rightarrow (\mathbb{C}^2,0) with non-invertible differential $df_0$. In order to do this, we search for a modification $\pi:X \rightarrow (\mathbb{C}^2,0)$ (i.e., a composition of point blow-ups over the ... More
Clifford Tori and the singularly perturbed Cahn-Hilliard equationSep 03 2015In this paper we construct entire solutions $u_{\varepsilon}$ to the Cahn-Hilliard equation $-\varepsilon^{2}\Delta(-\varepsilon^{2}\Delta u+W^{'}(u))+W^{"}(u)(-\varepsilon^{2}\Delta u+W^{'}(u))=0$, under the volume constraint $\int_{\mathbb{R}^{3}}(1-u_{\varepsilon})dx=4\sqrt{2}\pi^{2}$, ... More
Higher order dispersive deformations of multidimensional Poisson brackets of hydrodynamic typeOct 23 2017Dec 15 2017The theory of multidimensional Poisson vertex algebras (mPVAs) provides a completely algebraic formalism to study the Hamiltonian structure of PDEs, for any number of dependent and independent variables. In this paper, we compute the cohomology of the ... More
The fractional Laplacian in power-weighted $L^p$ spaces: integration-by-parts formulas and self-adjointnessDec 05 2015Aug 08 2016We consider the fractional Laplacian operator $(-\Delta)^s$ (let $ s \in (0,1) $) on Euclidean space and investigate the validity of the classical integration-by-parts formula that connects the $ L^2(\mathbb{R}^d) $ scalar product between a function and ... More
Proof diagrams for multiplicative linear logicJun 29 2016Sep 14 2016The original idea of proof nets can be formulated by means of interaction nets syntax. Additional machinery as switching, jumps and graph connectivity is needed in order to ensure correspondence between a proof structure and a correct proof in sequent ... More
Weak fiber products in a bicategory of fractionsDec 10 2014We fix any pair $(\mathbf{\mathscr{C}},\mathbf{W})$ consisting of a bicategory and a class of morphisms in it, admitting a bicalculus of fractions, i.e. a "localization" of $\mathbf{\mathscr{C}}$ with respect to the class $\mathbf{W}$. In the resulting ... More
Automatic Synthesis of Test Cases to Identify Software RedundancyNov 16 2014Software system can include redundant implementation elements, such as, different methods that can produce indistinguishable results. This type of redundancy is called intrinsic if it is already available in the software, although not intentionally planned. ... More
Minimum relative entropy distributions with a large mean are GaussianMay 26 2016We consider the following frustrated optimization problem: given a prior probability distribution $q$, find the distribution $p$ minimizing the relative entropy with respect to $q$ such that $\textrm{mean}(p)$ is fixed and large. We show that solutions ... More
On the large $Ω$-deformations in the Nekrasov-Shatashvili limit of $\mathcal N=2^{*}$ SYMApr 30 2016May 14 2016We study the multi-instanton partition functions of the $\Omega$-deformed $\mathcal N =2^{*}$ $SU(2) $ gauge theory in the Nekrasov-Shatashvili (NS) limit. They depend on the deformation parameters $\epsilon_{1}$, the scalar field expectation value $a$, ... More
An Improved Upper Bound for the Ground State Energy of Fermion Lattice ModelsMay 23 2001We present an improved upper bound for the ground state energy of lattice fermion models with sign problem. The bound can be computed by numerical simulation of a recently proposed family of deformed Hamiltonians with no sign problem. For one dimensional ... More
The Lyman-alpha forest as a probe of fundamental physicsApr 28 2005We use LUQAS, a sample of 27 high resolution high signal-to-noise UVES quasar (QSO) spectra (Kim et al. 2004), and the Croft et al. (2002) sample together with a set of high resolution large box size hydro-dynamical simulations run with the code GADGET-II ... More
Elementary Thermal Operations and the Universality of Thermodynamic ConstraintsJul 01 2016To what extent is the resource theory approach to thermodynamics relevant for realistic experimental scenarios? We deconstruct this framework, showing that each transition among incoherent states allowed in the theory can be obtained by sequentially applying ... More
On Heavy Quarks Photoproduction and c -> D* Fragmentation FunctionsAug 07 1997The state of the art of the theoretical calculations for heavy quarks photoproduction is reviewed. The full fixed order next-to-leading order massive calculation and the resummation of large log(p_T/m) terms for differential cross sections are described. ... More
Heavy Quark Production: Theory vs. ExperimentDec 15 2003The current status of the comparisons between some experimental results and theoretical predictions for heavy quark production is reviewed. It is shown that the combination of new theoretical tools and better experimental input allows for a good description ... More
Phenomenology of quarkonia production in fixed target experiments and at the Tevatron and HERA collidersJun 16 1997The phenomenology of heavy quarkonia production in fixed target experiments and at the Tevatron and HERA colliders is reviewed. The latest theoretical results are presented and compared with data, with emphasis on the predictions of the factorization ... More
Trispectrum from Co-dimension 2(n) GalileonsMar 20 2013Dec 14 2013A generalized theory of multi-field galileons has been recently put forward. This model stems from the ongoing effort to embed generic galileon theories within brane constructions. Such an approach has proved very useful in connecting interesting and ... More
Search for new physics in dijet final states in ATLAS and CMSSep 14 2017Events containing a pair of high energy hadronic jet can provide clear signatures in the search for new physics at high energy hadron colliders. The ATLAS and CMS experiments collected the data from LHC collisions at $\sqrt{s}$= 13 TeV during 2015 and ... More
Guessing models and generalized Laver diamondDec 10 2010Oct 10 2011We analyze the notion of guessing model, a way to assign combinatorial properties to arbitrary regular cardinals. Guessing models can be used, in combination with inaccessibility, to characterize various large cardinals axioms, ranging from supercompactness ... More
On the Cooperation of Independent RegistriesJul 21 2010Registries play a key role in service-oriented applications. Originally, they were neutral players between service providers and clients. The UDDI Business Registry (UBR) was meant to foster these concepts and provide a common reference for companies ... More
Følner functions and the generic Word Problem for finitely generated amenable groupsMar 12 2017Jul 03 2018We introduce and investigate different definitions of effective amenability, in terms of computability of F{\o}lner sets, Reiter functions, and F{\o}lner functions. As a consequence, we prove that recursively presented amenable groups have subrecursive ... More
A family of covering properties for forcing axioms and strongly compact cardinalsMar 03 2007This paper presents the main results in my Ph.D. thesis. In what follows several proofs of SCH are presented introducing a family of covering properties which implies both SCH and the failure of various forms of square. These covering properties are also ... More
Localisation in 2+1 dimensional SU(3) pure gauge theory at finite temperatureMar 12 2019May 30 2019I study the localisation properties of low Dirac eigenmodes in 2+1 dimensional SU(3) pure gauge theory, both in the low-temperature, confined and chirally-broken phase and in the high-temperature, deconfined and chirally-restored phase, by means of numerical ... More
Trakhtenbrot theorem and first-order axiomatic extensions of MTLMar 04 2014Jul 09 2014In 1950, B.A. Trakhtenbrot showed that the set of first-order tautologies associated to finite models is not recursively enumerable. In 1999, P. H\'ajek generalized this result to the first-order versions of \L ukasiewicz, G\"odel and Product logics. ... More
First-order Nilpotent Minimum Logics: first stepsMar 30 2011Jul 02 2012Following the lines of the analysis done in [BPZ07, BCF07] for first-order G\"odel logics, we present an analogous investigation for Nilpotent Minimum logic NM. We study decidability and reciprocal inclusion of various sets of first-order tautologies ... More