From the 1 of 17 papers with an AI index.
4 citations
- Université Paris CitéFR15 papers
- Centre National de la Recherche ScientifiqueFR8 papers
- Sorbonne Paris CitéFR5 papers
- École Normale Supérieure - PSLFR2 papers
- Institut national de recherche en sciences et technologies du numériqueFR2 papers
- University of OxfordGB2 papers
- Aix-Marseille UniversitéFR1 paper
- Argosy UniversityUS1 paper
- Auburn UniversityUS1 paper
- Augusta UniversityUS1 paper
- Augusta University HealthUS1 paper
- Centrale MarseilleFR1 paper
17 papers
Explorable Parity Automata
Emile Hazard, Olivier Idir, Denis Kuperberg
The paper introduces explorable automata, a generalization of history‑deterministic automata that resolves nondeterminism using multiple simultaneous runs, and studies their decisi…
Balanced-chromatic number and Hadwiger-like conjectures
Andrea Jiménez, Jessica McDonald, Reza Naserasr +2
Motivated by different characterizations of planar graphs and the 4-Color Theorem, several structural results concerning graphs of high chromatic number have been obtained. Toward…
Branching spaces of multipointed d-spaces
Philippe Gaucher
Using the notion of a short directed path, we introduce the branching space of a multipointed d-space. We prove that for any q-cofibrant multipointed d-space, it is homeomorphic to…
Guard Analysis and Safe Erasure Gradual Typing: a Type System for Elixir
Giuseppe Castagna, Guillaume Duboc
We formalize a new type system for Elixir, a dynamically typed functional programming language of growing popularity that runs on the Erlang virtual machine. Our system combines gr…
Lecture hall graphs and the Askey scheme
Sylvie Corteel, Bhargavi Jonnadula, Jonathan P. Keating +1
We establish, for every family of orthogonal polynomials in the -Askey scheme and the Askey scheme, a combinatorial model for mixed moments and coefficients in terms of paths…
Pointwise order of generalized Hofstadter functions G, H and beyond
Pierre Letouzey, Shuo Li, Wolfgang Steiner
Hofstadter's G function is recursively defined via and then . Following Hofstadter, we vary the number of nested recursive calls in this equation and…