Alexandre Fernandez

dblp:241/5707 · DBLP profile ↗
← Back
3ranked-venue papers
3as first author
3since 2021 · last 2023
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 2 · 2 first-author · 2 since 2021Artificial intelligence and machine learning · 1 · 1 first-author · 1 since 2021
YearPublicationVenuePosition
2023 Cellular automata and Kan extensions
Alexandre Fernandez, Luidnel Maignan, Antoine Spicher
Nat. Comput.1
2022 Non-Determinism in Lindenmayer Systems and Global Transformations
abstract
Global transformations provide a categorical framework for capturing synchronous rewriting systems, generalizing cellular automata to dynamical systems over dynamic spaces. Originally developed for addressing deterministic dynamical systems, the presented work raises the question of non-determinism. While a usual approach is to develop a general non-deterministic setting where deterministic systems can be retrieved as a specific case, we show here that by choosing the right parametrization, global transformations can already be used to handle non-determinism. Context-free Lindenmayer systems, already shown to be captured by global transformation in the deterministic case, are used to illustrate the approach. From this concrete example, the formal obstructions are exhibited, leading to a solution involving a 2-categorical monad and its associated Kleisli construction.
Alexandre Fernandez, Luidnel Maignan, Antoine Spicher
MFCS1
2021 Accretive Computation of Global Transformations
Alexandre Fernandez, Luidnel Maignan, Antoine Spicher
RAMiCS1