research: journals: csl2024 distinguished paper

1 files changed, 1 insertions, 0 deletions

diff --git a/research/journals.json b/research/journals.json
index f8ddbe7..cb3627f 100644
--- a/research/journals.json
+++ b/research/journals.json
@@ -1,3 +1,4 @@
 [
+  {"id":"aristoteActiveLearningDeterministic2025","abstract":"We study monoidal transducers, transition systems arising as deterministic automata whose transitions also produce outputs in an arbitrary monoid, for instance allowing outputs to commute or to cancel out. We use the categorical framework for minimization and learning of Colcombet, Petrişan and Stabile to recover the notion of minimal transducer recognizing a language, and give necessary and sufficient conditions on the output monoid for this minimal transducer to exist and be unique (up to isomorphism). The categorical framework then provides an abstract algorithm for learning it using membership and equivalence queries, and we discuss practical aspects of this algorithm's implementation.","accessed":{"date-parts":[["2025",10,9]]},"author":[{"family":"Aristote","given":"Quentin"}],"citation-key":"aristoteActiveLearningDeterministic2025","container-title":"Logical Methods in Computer Science","DOI":"10.46298/lmcs-21(4:7)2025","ISSN":"1860-5974","issued":{"date-parts":[["2025",10,9]]},"publisher":"Episciences.org","source":"lmcs.episciences.org","title":"Active Learning of Deterministic Transducers with Outputs in Arbitrary Monoids","type":"article-journal","URL":"https://lmcs.episciences.org/16670","volume":"Volume 21, Issue 4"},
   {"id":"aristoteDynamicalTriangulationInduced2020","abstract":"We present the single-particle sector of a quantum cellular automaton, namely a quantum walk, on a simple dynamical triangulated 2-manifold. The triangulation is changed through Pachner moves, induced by the walker density itself, allowing the surface to transform into any topologically equivalent one. This model extends the quantum walk over triangular grid, introduced in a previous work, by one of the authors, whose space-time limit recovers the Dirac equation in (2+1)-dimensions. Numerical simulations show that the number of triangles and the local curvature grow as exp(a log(t) - bt²), where a and b parametrize the way geometry changes upon the local density of the walker, and that, in the long run, flatness emerges. Finally, we also prove that the global behavior of the walker, remains the same under spacetime random fluctuations.","accessed":{"date-parts":[["2020",8,17]]},"author":[{"family":"Aristote","given":"Quentin"},{"family":"Eon","given":"Nathanaël"},{"family":"Molfetta","given":"Giuseppe","non-dropping-particle":"di"}],"citation-key":"aristoteDynamicalTriangulationInduced2020","container-title":"Symmetry","DOI":"10.3390/sym12010128","ISSN":"2073-8994","issue":"1:128","issued":{"date-parts":[["2020",1]]},"language":"en","license":"http://creativecommons.org/licenses/by/3.0/","number":"1","publisher":"Multidisciplinary Digital Publishing Institute","title":"Dynamical Triangulation Induced by Quantum Walk","type":"article-journal","URL":"https://www.mdpi.com/2073-8994/12/1/128","volume":"12"}
 ]