13 citations · 41 across the 10 of their papers we have counts for
5 papers · 1 filter
Implicit automata in typed -calculi II: streaming transducers vs categorical semantics
Lê Thành Dũng Nguyên, Camille Noûs, Cécilia Pradic
We characterize regular string transductions as programs in a linear -calculus with additives. One direction of this equivalence is proved by encoding copyless streaming string…
Pressure at infinity and strong positive recurrence in negative curvature
Sébastien Gouëzel, Camille Noûs, Barbara Schapira +2
In the context of geodesic flows of noncompact negatively curved manifolds, we propose three different definitions of entropy and pressure at infinity, through growth of periodic o…
Multipolar Particles in Helically Symmetric Spacetimes
Paul Ramond, Alexandre Le Tiec
We consider a binary system of spinning compact objects with internal structure, moving along an exactly circular orbit, and modelled within the multipolar gravitational skeleton f…
Compact reduction in Lipschitz free spaces
Ramón J. Aliaga, Camille Noûs, Colin Petitjean +1
We prove a general principle satisfied by weakly precompact sets of Lipschitz-free spaces. By this principle, certain infinite dimensional phenomena in Lipschitz-free spaces over g…
Perfectly parallel cosmological simulations using spatial comoving Lagrangian acceleration
Florent Leclercq, Baptiste Faure, Guilhem Lavaux +5
Existing cosmological simulation methods lack a high degree of parallelism due to the long-range nature of the gravitational force, which limits the size of simulations that can be…