total 1365took 0.11s

Submillimeter - sized proximity effect in graphite and bismuthFeb 08 2019In this work, we probe the electrical properties of macroscopic graphite and bismuth in which the electrical current is injected via superconducting electrodes, few millimeters apart from each other. Results reveal the induction of a partial superconducting-like ... More

Large Social Networks can be Targeted for Viral Marketing with Small Seed SetsMay 20 2012Mar 15 2013In a "tipping" model, each node in a social network, representing an individual, adopts a behavior if a certain number of his incoming neighbors previously held that property. A key problem for viral marketers is to determine an initial "seed" set in ... More

Comparison of PBO solvers in a dependency solving domainJul 07 2010Linux package managers have to deal with dependencies and conflicts of packages required to be installed by the user. As an NP-complete problem, this is a hard task to solve. In this context, several approaches have been pursued. Apt-pbo is a package ... More

Towards a Study of Meta-Predicate SemanticsSep 20 2010We describe and compare design choices for meta-predicate semantics, as found in representative Prolog module systems and in Logtalk. We look at the consequences of these design choices from a pragmatic perspective, discussing explicit qualification semantics, ... 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

Sampling Superquadric Point Clouds with NormalsFeb 14 2018Superquadrics provide a compact representation of common shapes and have been used both for object/surface modelling in computer graphics and as object-part representation in computer vision and robotics. Superquadrics refer to a family of shapes: here ... More

Entropy and Poincaré recurrence from a geometrical viewpointSep 17 2008Jul 05 2009We study Poincar\'e recurrence from a purely geometrical viewpoint. We prove that the metric entropy is given by the exponential growth rate of return times to dynamical balls. This is the geometrical counterpart of Ornstein-Weiss theorem. Moreover, we ... More

Topological Attractors of Contracting Lorenz MapsDec 01 2016We study the non-wandering set of contracting Lorenz maps. We show that if such a map $f$ doesn't have any attracting periodic orbit, then there is a unique topological attractor. Precisely, there is a compact set $\Lambda$ such that $\omega_f(x)=\Lambda$ ... More

Default priors for Gaussian processesMay 27 2005Motivated by the statistical evaluation of complex computer models, we deal with the issue of objective prior specification for the parameters of Gaussian processes. In particular, we derive the Jeffreys-rule, independence Jeffreys and reference priors ... More

Controller synthesis for bisimulation equivalenceJun 06 2007Nov 22 2007The objective of this paper is to solve the controller synthesis problem for bisimulation equivalence in a wide variety of scenarios including discrete-event systems, nonlinear control systems, behavioral systems, hybrid systems and many others. This ... More

On the symmetry properties of the PT kernels and recurrence relationsOct 24 2016Perturbation Theory to Large Scale Structure Cosmology proposes corrections to the linearly evolved density contrast and velocity in terms of a series development in which all terms are integrals of powers of the linear density contrast multiplied by ... More

Poisson quasi-Nijenhuis structures with backgroundAug 29 2008We define the Poisson quasi-Nijenhuis structures with background on Lie algebroids and we prove that to any generalized complex structure on a Courant algebroid which is the double of a Lie algebroid is associated such a structure. We prove that any Lie ... More

Unique SRB measures and transitivity for Anosov diffeomorphismsJun 01 2016Jun 03 2016We prove that every $C^2$ Anosov diffeomorphism in a compact and connected Riemannian manifold has a unique SRB and physical probability measure, whose basin of attraction covers Lebesgue almost every point in the manifold. Then, we use structural stability ... 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

Statistical properties of generalized-Viana mapsJul 19 2012Mar 31 2013We study quadratic skew-products with parameters driven over piecewise expanding and Markov interval maps with countable many inverse branches, a generalization of the class of maps introduced by Viana. In particular we construct a class of multidimensional ... More

On a nonlocal hyperbolic conservation law arising from a gradient constraint problemFeb 06 2012In some models involving nonlinear conservation laws, physical mechanisms exist which prevent the formation of shocks. This gives rise to conservation laws with a constraint on the gradient of the solution. We approach this problem by studying a related ... More

A version of Kac's lemma on first return times for suspension flowsNov 14 2014Nov 23 2014In this article we study the mean return times to a given set for suspension flows. In the discrete time setting, this corresponds to the classical version of Kac's lemma \cite{K} that the mean of the first return time to a set with respect to the normalized ... More

A continuous model of ant foraging with pheromones and trail formationFeb 23 2014We propose and numerically analyze a PDE model of ant foraging behavior. Ant foraging is a prime example of individuals following simple behavioral rules based on local information producing complex, organized and ``intelligent'' strategies at the population ... More

Non-uniform specification and large deviations for weak Gibbs measuresJun 18 2009Oct 26 2011We establish bounds for the measure of deviation sets associated to continuous observables with respect to not necessarily invariant weak Gibbs measures. Under some mild assumptions, we obtain upper and lower bounds for the measure of deviation sets of ... More

Finite-sample Guarantees for Winsorized Importance SamplingOct 25 2018Importance sampling is a widely used technique to estimate the properties of a distribution. The resulting estimator is always unbiased, but may sometimes incur huge variance. This paper investigates trading-off some bias for variance by winsorizing the ... More

The Continuous Tower of Scalar Fields as a System of Interacting Dark Matter -- Dark EnergyAug 19 2015This paper aims to introduce a new parameterisation for the coupling Q in interacting dark matter and dark energy models by connecting said models with the Continuous Tower of Scalar Fields model. Based upon the existence of a dark matter and a dark energy ... More

Modeling ant foraging: a chemotaxis approach with pheromones and trail formationSep 11 2014Jun 22 2015We consider a continuous mathematical description of a population of ants and simulate numerically their foraging behavior using a system of partial differential equations of chemotaxis type. We show that this system accurately reproduces observed foraging ... More

Correlation decay and recurrence estimates for some robust nonuniformly hyperbolic mapsMay 18 2008We study decay of correlations, the asymptotic distribution of hitting times and fluctuations of the return times for a robust class of multidimensional non-uniformly hyperbolic transformations. Oliveira and Viana [15] proved that there is a unique equilibrium ... More

A nonlinear model describing a short wave long wave interaction in a viscoelastic mediumFeb 06 2012In this paper we introduce a system coupling a nonlinear Schr\"odinger equation with a system of viscoelasticity, modeling the interaction between short and long waves, acting for instance on media like plasmas or polymers. We prove the existence and ... More

Projection Methods for some Constrained SystemsOct 09 2011This article is concerned with a geometric tool given by a pair of projector operators defined by almost product structures on finite dimensional manifolds, polarized by a distribution of constant rank and also endowed with some geometric structures (Riemann,resp.Poisson,resp.symplectic).The ... More

Dependability in Aggregation by AveragingNov 30 2010Aggregation is an important building block of modern distributed applications, allowing the determination of meaningful properties (e.g. network size, total storage capacity, average load, majorities, etc.) that are used to direct the execution of the ... More

Second order hydrodynamics of a CFT plasma from boost invariant expansionAug 12 2008Sep 08 2008We compute finite coupling correction to a nonlinear second order hydrodynamic coefficient in the boost invariant expansion of the N=4 supersymmetric Yang-Mills plasma. The result is universal for a large class of strongly coupled four dimensional conformal ... More

Positive Lyapunov exponents for Hamiltonian linear differential systemsApr 13 2013Jul 01 2014In the present paper we give a positive answer to some questions posed by Viana on the existence of positive Lyapunov exponents for Hamiltonian linear differential systems. We prove that there exists an open and dense set of Hamiltonian linear differential ... More

$C^r$-generic Anosov diffeomorphisms have trivial centralizerJun 01 2016In the late nineties, Smale proposed a list of problems for the next century. Among these, it was conjectured that for every $r\ge 1$ a $C^r$-generic diffeomorphism has trivial centralizer. Here we provide an affirmative answer to Smale's conjecture on ... More

Mass Renormalization in Lorentz-violating Scalar Field TheoryMar 07 2014In this work we evaluate the $\gamma_{m}$ function corresponding to mass renormalization for O($N$) scalar field theory with Lorentz violation. We calculate this function up to two-loop order for a theory renormalized utilizing the counterterm method ... 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

Robust Linear Temporal LogicOct 30 2015Although it is widely accepted that every system should be robust, in the sense that "small" violations of environment assumptions should lead to "small" violations of system guarantees, it is less clear how to make this intuitive notion of robustness ... More

Charged kaon condensation in high density quark matterOct 21 2001Oct 24 2001We show that at asymptotically high densities the ``color-flavor-locked + neutral kaon condensate'' phase of QCD develops a {\it charged} kaon condensate through the Coleman-Weinberg mechanism. At densities achievable in neutron stars a charged kaon condensate ... More

Backstepping design for incremental stabilityMay 26 2010Nov 10 2010Stability is arguably one of the core concepts upon which our understanding of dynamical and control systems has been built. The related notion of incremental stability, however, has received much less attention until recently, when it was successfully ... More

Quantification of electrical charges in Kaluza Klein theory without strings of DiracJan 28 2006Apr 19 2006It is proposed a formalism of quantification of the electric charges in the Kaluza Klein theory of five dimensions and a explanation of the cause of the variation of the electromagnetic fine-structure constant in cosmological times.There is a formalism ... More

A Note on Cohamiltonian GraphsDec 06 2017Dec 12 2017A connected graph $G$ is said cohamiltonian if it has a bond with $|E(G)|+|V(G)|+2$ edges, such bond is said cohamiltonian. A cohamiltonian bond in a connected planar graph corresponds to a hamiltonian cycle of its dual. The problem to determine if a ... More

Masses, Radii, and Equation of State of Neutron StarsMar 08 2016We summarize our current knowledge of neutron star masses and radii. Recent instrumentation and computational advances have resulted in a rapid increase in the discovery rate and precise timing of radio pulsars in binaries in the last few years, leading ... More

Salem--Zygmund Inequality for Locally sub--Gaussian Random Variables and Random Trigonometric PolynomialsOct 18 2016Mar 20 2019In this paper, we provide an extension of the classic Salem--Zygmund inequality for locally sub--Gaussian random variables. As a application we study the location of the roots of a Kac polynomial. Under log--moment assumption, it is well known that the ... More

A Comparison of Methods for Cascade PredictionJun 18 2016Information cascades exist in a wide variety of platforms on Internet. A very important real-world problem is to identify which information cascades can go viral. A system addressing this problem can be used in a variety of applications including public ... More

Hubbert's theory and photovoltaics: the nonsense race of breaking energy-conversion recordsOct 03 2017Feb 02 2018The wide public sees solar energy as the future of mankind, and media channels quite oftenly states that our challenge is to improve efficiencies and reduce cost. However, one may point some unconvenient truth's about the physical limits we are facing, ... More

Multifractal analysis of the irregular set for almost-additive sequences via large deviationsOct 08 2014Aug 23 2015In this paper we introduce a notion of free energy and large deviations rate function for asymptotically additive sequences of potentials via an approximation method by families of continuous potentials. We provide estimates for the topological pressure ... More

A criterion for the triviality of the centralizer for vector fields and applicationsMar 17 2019In this paper we establish a criterion for the triviality of the $C^1$-centralizer for vector fields and flows. In particular we deduce the triviality of the centralizer at homoclinic classes of $C^r$ vector fields ($r\ge 1$). Furthermore, we show that ... More

A Schwartz type algebra for the Tangent GroupoidFeb 25 2008We construct an algebra of smooth functions over the tangent groupoid associated to any Lie groupoid. This algebra is a field of algebras over the closed interval [0, 1] which fiber at zero is the algebra of Schwartz functions over the Lie algebroid, ... More

A Sampling Theorem for Rotation Numbers of Linear Processes in ${\R}^{2}$Apr 22 2014We prove an ergodic theorem for the rotation number of the composition of a sequence os stationary random homeomorphisms in $S^{1}$. In particular, the concept of rotation number of a matrix $g\in Gl^{+}(2,{\R})$ can be generalized to a product of a sequence ... 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

Total cohomology of solvable Lie algebras and linear deformationsMar 17 2014Given a finite dimensional Lie algebra $\mathfrak{g}$, let $\Gamma_\circ(\mathfrak{g})$ be the set of irreducible $\mathfrak{g}$-modules with non-vanishing cohomology. We prove that a $\mathfrak{g}$-module $V$ belongs to $\Gamma_\circ(\mathfrak{g})$ only ... More

Non-Holonomic Connections Following Élie CartanOct 06 2011In this note we revisit E. Cartan's address at the 1928 International Congress of Mathematicians at Bologna, Italy. The distributions considered here will be of the same class as those considered by Cartan, a special type which we call strongly non-holonomic. ... More

A Scalable Heuristic for Viral Marketing Under the Tipping ModelSep 11 2013In a "tipping" model, each node in a social network, representing an individual, adopts a property or behavior if a certain number of his incoming neighbors currently exhibit the same. In viral marketing, a key problem is to select an initial "seed" set ... More

A Survey of Distributed Data Aggregation AlgorithmsOct 04 2011Distributed data aggregation is an important task, allowing the decentralized determination of meaningful global properties, that can then be used to direct the execution of other applications. The resulting values result from the distributed computation ... More

The gluing orbit property, uniform hyperbolicity and large deviations principles for semiflowsJul 14 2015In this article we introduce a gluing orbit property, weaker than specification, for both maps and flows. We prove that flows with the $C^1$-robust gluing orbit property are uniformly hyperbolic and that every uniformly hyperbolic flow satisfies the gluing ... More

All-loop order critical exponents for massless scalar field theory with Lorentz violation in the BPHZ methodMar 03 2015We compute analytically the all-loop level critical exponents for a massless thermal Lorentz-violating O($N$) self-interacting $\lambda\phi^{4}$ scalar field theory. For that, we evaluate, firstly explicitly up to next-to-leading order and later in a ... 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

The centralizer of $C^r$-generic diffeomorphisms at hyperbolic basic sets is trivialJun 01 2016Nov 27 2016In the late nineties, Smale proposed a list of problems for the next century and, among these, it was conjectured that for every $r\ge 1$ a $C^r$-generic diffeomorphism has trivial centralizer. Our contribution here is to prove the triviality of $C^r$-centralizers ... More

A Criticism on "A Mathematician's Apology" by G. H. HardyDec 19 2011This paper is a criticism on "A Mathematician's Apology" by G. H. Hardy.

Positive Lyapunov exponents for symplectic cocyclesJul 01 2014Nov 30 2016In the present paper we give a positive answer to a question posed by Viana on the existence of positive Lyapunov exponents for symplectic cocycles. Actually, we prove that for an open and dense set of Holder symplectic cocycles over a non-uniformly hyperbolic ... More

Adaptive Priors based on Splines with Random KnotsMar 14 2013Splines are useful building blocks when constructing priors on nonparametric models indexed by functions. Recently it has been established in the literature that hierarchical priors based on splines with a random number of equally spaced knots and random ... More

Online Tracking of a Predictable Drifting Parameter of a Time SeriesJun 03 2013Nov 14 2013We propose an online algorithm for tracking a multidimensional time-varying parameter of a time series, which is also allowed to be a predictable process with respect to the underlying time series. The algorithm is driven by a gain function. Under assumptions ... More

Nonequilibrium interacting electrons in a ferromagnetNov 27 2007Dec 13 2007Dynamics of the magnetization in ferromagnets is examined in the presence of transport electrons allowing the latter to interact. It is found that the existence of inhomogeneities such as domain wall (DW) structures, leads to changes that affect the dynamical ... More

New Proposal for a 5-dimensional Theory of Kaluza-Klein typeJan 30 2001A new 5-dimensional Classical Unified Field Theory of Kaluza-Klein type is formulated using 2 separate scalar fields which are related in such a way as to make the 5-dimensional matter-geometry coupling parameter constant. It is shown that this procedure ... More

Hawkes Process for Understanding the Influence of Pathogenic Social Media AccountsFeb 05 2019Over the past years, political events and public opinion on the Web have been allegedly manipulated by accounts dedicated to spreading disinformation and performing malicious activities on social media. These accounts hereafter referred to as "Pathogenic ... More

Extension of germs of holomorphic foliationsJul 30 2014We consider the problem of extending germs of plane holomorphic foliations to foliations of compact surfaces. We show that the germs that become regular after a single blow up and admit meromorphic first integrals can be extended, after local changes ... More

Chiral perturbation theory analysis of baryon temperature mass shiftsNov 18 1995Nov 30 1995We compute the finite temperature pole mass shifts of the octet and decuplet baryons using heavy baryon chiral perturbation theory and the 1/N_c expansion, where N_c is the number of QCD colors. We consider temperatures of the order of the pion mass m_\pi, ... More

Pseudodifferential Calculus, Twisted gerbes and twisted index theory for Lie groupoidsFeb 26 2016Apr 05 2016The goal of this paper is to construct a calculus whose higher indices are naturally elements in the twisted K-theory groups for Lie groupoids. Given a Lie groupoid $G$ and a $PU(H)$-valued groupoid cocycle, we construct an algebra of projective pseudodifferential ... More

A Large Deviation Principle at play in Large-Scale Structure cosmologyNov 27 2015We present an application of Large Deviation Theory to the problem of structure growth on large-scale structure cosmology. Starting from gaussian distributed overdensities on concentric spherical shells, we show that a Large Deviation Principle holds ... More

Impact of Human Behavior on Social Opportunistic ForwardingAug 01 2014The current Internet design is not capable to support communications in environments characterized by very long delays and frequent network partitions. To allow devices to communicate in such environments, delay-tolerant networking solutions have been ... More

Social-aware Opportunistic Routing: The New TrendJul 31 2014Since users move around based on social relationships and interests, the resulting movement patterns can represent how nodes are socially connected (i.e., nodes with strong social ties, nodes that meet occasionally by sharing the same working environment). ... More

Generation of entangled light via dynamical Casimir effectMar 27 2012This paper addresses the excitation of vacuum fluctuations of the electromagnetic field through periodic modulations of a refractive index and the possibility of using entanglement as a distinctive marker of the quantum nature of the phenomenon. It introduces ... More

A splitter theorem on 3-connected matroids and graphsMay 26 2014Aug 18 2017We establish the following splitter theorem for graphs and its generalization for matroids: Let $G$ and $H$ be $3$-connected simple graphs such that $G$ has an $H$-minor and $k:=|V(G)|-|V(H)|\ge 2$. Let $n:=\left\lceil k/2\right\rceil+1$. Then there are ... More

Neutrino emissivity from Goldstone boson decay in magnetized neutron matterDec 23 2013Neutron matter at densities somewhat above nuclear densities is believed to be superfluid due to the condensation of neutron pairs in the 3 P2 channel. This condensate breaks rotational symmetry spontaneously and leads to the existence of Goldstone bosons ... More

There are no rigid filiform Lie algebras of low dimensionSep 14 2017We prove that there are no rigid complex filiform Lie algebras in the variety of (filiform) Lie algebras of dimension less than or equal to 11. More precisely we show that in any Euclidean neighborhood of a filiform Lie bracket (of low dimension), there ... More

Eclipsing Binary PulsarsApr 05 2004The first eclipsing binary pulsar, PSR B1957+20, was discovered in 1987. Since then, 13 other eclipsing low-mass binary pulsars have been found, 12 of these are in globular clusters. In this paper we list the known eclipsing binary pulsars and their properties, ... More

The Pulsar Population in Globular Clusters and in the GalaxyOct 15 2012Oct 23 2012In this paper, I review some of the basic properties of the pulsar population in globular clusters (GCs) and compare it with the the Galactic disk population. The neutron stars (NSs) in GCs were likely formed - and appear to continue forming - in highly ... More

Out of Equilibrium Phase Transitions and a Toy Model for Disoriented Chiral CondensatesJul 19 1993We study the dynamics of a second order phase transition in a situation thatmimics a sudden quench to a temperature below the critical temperature in a model with dynamical symmetry breaking. In particular we show that the domains of correlated values ... More

Rank-stable limit of completed moduli spaces of instantonsDec 31 2012Aug 15 2013Nakajima introduced a resolution of singularities of the Donaldson-Uhlenbeck completion of the moduli space of based instantons over $S^4$. For $k\leq 4$, we extend this result to $\mathbb P^2$ and compute, in the rank-stable limit, the homotopy type ... More

Rank stable instantons over positive definite four manifoldsJan 15 2003We study the moduli space of rank stable based instantons over a connected sum of q copies of CP^2. For c_2=1 we give the homotopy type of the moduli space. For c_2=2 we compute the cohomology of the moduli space.

Blowups of surfaces and moduli of holomorphic vector bundlesDec 12 2002We examine the moduli of framed holomorphic bundles over the blowup of a complex surface, by studying a filtration induced by the behavior of the bundles on a neighborhood of the exceptional divisor.

Computing Robust Controlled Invariant Sets of Linear SystemsJan 04 2016Feb 20 2017We consider controllable linear discrete-time systems with bounded perturbations and present two methods to compute robust controlled invariant sets. The first method tolerates an arbitrarily small constraint violation to compute an arbitrarily precise ... More

Convergence of a finite difference method for the KdV and modified KdV equations with $L^2$ dataFeb 06 2012We prove strong convergence of a semi-discrete finite difference method for the KdV and modified KdV equations. We extend existing results to non-smooth data (namely, in $L^2$), without size restrictions. Our approach uses a fourth order (in space) stabilization ... 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

Time Series ImputationMar 22 2019Multivariate time series is a very active topic in the research community and many machine learning tasks are being used in order to extract information from this type of data. However, in real-world problems data has missing values, which may difficult ... More

A machine learning approach for underwater gas leakage detectionApr 11 2019Underwater gas reservoirs are used in many situations. In particular, Carbon Capture and Storage (CCS) facilities that are currently being developed intend to store greenhouse gases inside geological formations in the deep sea. In these formations, however, ... More

Paracategories I: internal parategories and saturated partial algebrasMar 06 2003Based on the monoid classifier, we give an alternative axiomatization of Freyd's paracategories, which can be interpreted in any bicategory of partial maps. Assuming furthermore a free-monoid monad T in our ambient category, and coequalisers satisfying ... 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

A note on statistical properties for nonuniformly hyperbolic systems with slow contraction and expansionNov 28 2014Mar 10 2016We provide a systematic approach for deducing statistical limit laws via martingale-coboundary decomposition, for nonuniformly hyperbolic systems with slowly contracting and expanding directions. In particular, if the associated return time function is ... More

Cosmological Constant and Polymer PhysicsDec 21 2008It is traced out a parallel between the cosmological constant problem and the polymer physics. The time evolution of the universe world line is compared with the growing of a polymer chain. An equivalent Flory free energy and a modification of it are ... More

A Game-Theoretic Computational Interpretation of Proofs in Classical AnalysisApr 24 2012It has been shown that a functional interpretation of proofs in mathematical analysis can be given by the product of selection functions, a mode of recursion that has an intuitive reading in terms of the computation of optimal strategies in sequential ... More

Equações diferenciais pantográficas: retardo proporcionalMay 24 2014We present initially the motivation, definition and basic properties of differential equations with proportional delay. In the last Section we present open problems.

JuliBootS: a hands-on guide to the conformal bootstrapDec 12 2014We introduce {\tt JuliBootS}, a package for numerical conformal bootstrap computations coded in {\tt Julia}. The centre-piece of {\tt JuliBootS} is an implementation of Dantzig's simplex method capable of handling arbitrary precision linear programming ... More

Convergence of a numerical scheme for a coupled Schrödinger--KdV systemFeb 06 2012We prove the convergence in a strong norm of a finite difference semi-discrete scheme approximating a coupled Schr\"odinger--KdV system on a bounded domain. This system models the interaction of short and long waves. Since the energy estimates available ... More

Relaxation time of a CFT plasma at finite couplingJun 04 2008Following recent formulation of second order relativistic viscous hydrodynamics for conformal fluids, we compute finite coupling corrections to the relaxation time of N=4 supersymmetric Yang-Mills plasma. The result is expected to be universal for any ... More

Metric operators for non-Hermitian quadratic su(2) HamiltoniansDec 01 2010Jun 13 2011A class of non-Hermitian quadratic su(2) Hamiltonians having an anti-linear symmetry is constructed. This is achieved by analysing the possible symmetries of such systems in terms of automorphisms of the algebra. In fact, different realisations for this ... More

Ion and neutral molecules in the W43-MM1(G30.79 FIR 10) infalling clumpSep 17 2011The high mass star forming clump W43-MM1 has been mapped in N$_{2}$H$^{+}(4 \rightarrow 3)$, C$^{18}$O$(3 \rightarrow 2)$, SiO$(8 \rightarrow 7)$, and in a single pointing in DCO$^{+}(5 \rightarrow 4)$ towards the center of the clump. Column densities ... More

Aharonov-Bohm effect and nucleon-nucleon phase shifts on the latticeFeb 14 2004We propose a method for the lattice QCD computation of nucleon-nucleon low-energy interactions. It consists in simulating QCD in the background of a ''electromagnetic" field whose potential is non-vanishing, but whose field strength is zero. By tuning ... More

Pseudodifferential Calculus, Twisted gerbes and twisted index theory for Lie groupoidsFeb 26 2016Jan 12 2018The goal of this paper is to construct a calculus whose higher indices are naturally elements in the twisted K-theory groups for Lie groupoids. Given a Lie groupoid $G$ and a $PU(H)$-valued groupoid cocycle, we construct an algebra of projective pseudodifferential ... More

Solving the mystery of IapetusApr 29 2005Jul 19 2007For a much better-founded theory, check Wing Ip, GEOPHYSICAL RESEARCH LETTERS, VOL. 33, L16203, doi:10.1029/2005GL025386, 2006 (see also http://www.agu.org/journals/gl/gl0616/2005GL025386/)

On the localization of the roots for Kac polynomialsJul 30 2018In this paper, under heavy-tail assumption on the independent and identically distributed non-degenerated random coefficients $\xi_0,\ldots,\xi_{n-1}$ of the Kac polynomial $G_n(z)=\sum_{k=0}^{n-1}\xi_kz^k$, with probability approaching to one we locate ... More

On the localization of the roots of random polynomial with exponential moments and random circulant matricesOct 18 2016Apr 15 2018It is well known that under log--moment assumption on the i.i.d. coefficients of a random polynomial, its roots are uniformly gathering around the unit circle. However, the classical results do not provide any clue about how the roots are moving to the ... 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

Complex Correntropy: Probabilistic Interpretation and OptimizationAug 17 2016Recent studies have demonstrated that correntropy is an efficient tool for analyzing higher-order statistical moments in nonGaussian noise environments. Although correntropy has been used with complex data, no theoretical study was pursued to elucidate ... More