Zobrazeno 1 - 10
of 4 378
pro vyhledávání: '"A. Allais"'
In this article, we give an explicit computation of the order spectral selectors of a pair of $C^1$-close Legendrian submanifolds belonging to an orderable isotopy class. The $C^1$-local flatness of the spectral distance and the characterisation of i
Externí odkaz:
http://arxiv.org/abs/2403.10679
Spectral selectors on lens spaces and applications to the geometry of the group of contactomorphisms
Using Givental's non-linear Maslov index we define a sequence of spectral selectors on the universal cover of the identity component of the contactomorphism group of any lens space. As applications, we prove for lens spaces with equal weights that th
Externí odkaz:
http://arxiv.org/abs/2402.13689
Autor:
Allais, Guillaume
In typed functional languages, one can typically only manipulate data in a type-safe manner if it first has been deserialised into an in-memory tree represented as a graph of nodes-as-structs and subterms-as-pointers. We demonstrate how we can use QT
Externí odkaz:
http://arxiv.org/abs/2310.13441
Autor:
Allais, Guillaume
Using a dependently typed host language, we give a well scoped-and-typed by construction presentation of a minimal two level simply typed calculus with a static and a dynamic stage. The staging function partially evaluating the part of a term that ar
Externí odkaz:
http://arxiv.org/abs/2310.13413
We study the notion of orderability of isotopy classes of Legendrian submanifolds and their universal covers, with some weaker results concerning spaces of contactomorphisms. Our main result is that orderability is equivalent to the existence of spec
Externí odkaz:
http://arxiv.org/abs/2309.10578
Autor:
Florian Besnard, Ana Guintard, Cécile Grohs, Laurence Guzylack-Piriou, Margarita Cano, Clémentine Escouflaire, Chris Hozé, Hélène Leclerc, Thierry Buronfosse, Lucie Dutheil, Jeanlin Jourdain, Anne Barbat, Sébastien Fritz, Marie-Christine Deloche, Aude Remot, Blandine Gaussères, Adèle Clément, Marion Bouchier, Elise Contat, Anne Relun, Vincent Plassard, Julie Rivière, Christine Péchoux, Marthe Vilotte, Camille Eche, Claire Kuchly, Mathieu Charles, Arnaud Boulling, Guillaume Viard, Stéphanie Minéry, Sarah Barbey, Clément Birbes, Coralie Danchin-Burge, Frédéric Launay, Sophie Mattalia, Aurélie Allais-Bonnet, Bérangère Ravary, Yves Millemann, Raphaël Guatteo, Christophe Klopp, Christine Gaspin, Carole Iampietro, Cécile Donnadieu, Denis Milan, Marie-Anne Arcangioli, Mekki Boussaha, Gilles Foucras, Didier Boichard, Aurélien Capitan
Publikováno v:
Genome Biology, Vol 25, Iss 1, Pp 1-30 (2024)
Abstract Background Dairy cattle breeds are populations of limited effective size, subject to recurrent outbreaks of recessive defects that are commonly studied using positional cloning. However, this strategy, based on the observation of animals wit
Externí odkaz:
https://doaj.org/article/c9ab6389eccd4e278eb6ccb394cbc8f9
We present an extensible, mathematically-structured algebraic simplification library design. We structure the library using universal algebraic concepts: a free algebra -- fral -- and a free extension -- frex -- of an algebra by a set of variables. T
Externí odkaz:
http://arxiv.org/abs/2306.15375
Language Workbenches offer language designers an expressive environment in which to create their DSLs. Similarly, research into mechanised meta-theory has shown how dependently typed languages provide expressive environments to formalise and study DS
Externí odkaz:
http://arxiv.org/abs/2301.12852
Autor:
Allais, Guillaume
State of the art optimisation passes for dependently typed languages can help erase the redundant information typical of invariant-rich data structures and programs. These automated processes do not dramatically change the structure of the data, even
Externí odkaz:
http://arxiv.org/abs/2301.02194
Autor:
Allais, Simon, Arnaud, Marie-Claude
We study in detail the dynamics of conformal Hamiltonian flows that are defined on a conformal symplectic manifold (this notion was popularized by Vaisman in 1976). We show that they exhibit some conservative and dissipative behaviours. We also build
Externí odkaz:
http://arxiv.org/abs/2212.02283