Tootfinder

Resilient technologies aren’t retro—they’re ROOT: Robust, Open, Ongoing, Time-tested. In RDM, text-first small, composable tools beat opaque stacks. Emacs/Org(-babel) for literate workflows & provenance; Makefiles declare rebuilds; CLI atoms—curl, sed, awk, grep, diff, tar, rsync, cron, SQLite—keep steps inspectable, portable, rebuildable. DOI: https://

Runtime Composition in Dynamic System of Systems: A Systematic Review of Challenges, Solutions, Tools, and Evaluation Methods
Muhammad Ashfaq, Ahmed R. Sadik, Teerath Das, Muhammad Waseem, Niko Makitalo, Tommi Mikkonen
https://arxiv.org/abs/2510.12616

Runtime Composition in Dynamic System of Systems: A Systematic Review of Challenges, Solutions, Tools, and Evaluation Methods
Context: Modern Systems of Systems (SoSs) increasingly operate in dynamic environments (e.g., smart cities, autonomous vehicles) where runtime composition -- the on-the-fly discovery, integration, and coordination of constituent systems (CSs)--is crucial for adaptability. Despite growing interest, the literature lacks a cohesive synthesis of runtime composition in dynamic SoSs. Objective: This study synthesizes research on runtime composition in dynamic SoSs and identifies core challenges, solu…

📢 Literaturnobelpreis geht an Ungar Laszlo Krasznahorkai
Die Schwedische Akademie in Stockholm ehrt den ungarischen Autor Laszlo Krasznahorkai mit dem Literaturnobelpreis. Im vergangenen Jahr war die wichtigste literarische Auszeichnung der Welt an die Südkoreanerin Han Kang gegangen.
➡️

Literaturnobelpreis geht an Ungar Laszlo Krasznahorkai
Die Schwedische Akademie in Stockholm ehrt den ungarischen Autor Laszlo Krasznahorkai mit dem Literaturnobelpreis. Im vergangenen Jahr war die wichtigste literarische Auszeichnung der Welt an die Südkoreanerin Han Kang gegangen.

Catalog and Characterization of Science Orbit Configurations for an Enceladus Orbiter
Spencer Boone, Joan Pau Sanchez Cuartialles, St\'ephanie Lizy-Destrez
https://arxiv.org/abs/2510.12421

Catalog and Characterization of Science Orbit Configurations for an Enceladus Orbiter
Saturn's moon Enceladus is an exciting destination for future exploration missions due to the scientifically interesting geyser region located on its South pole. In this work, we compile the different types of science orbit configurations that have been proposed in the literature and present numerical methods to compute each of them in the Saturn-Enceladus circular restricted three-body problem (CR3BP). In addition, we explore the utility of the higher period dynamical structures found in the C…

De los inicios de una de las mejores bandas de rock que ha salido de EEUU. Este es el segundo disco de estudio de la banda liderada por Michael Stipe, publicado en 1984, cuando aún no alcanzaban la fama mundial.
Reckoning - R.E.M.
#REM #MichaelStipe

Functional Reasoning for Distributed Systems with Failures
Haobin Ni, Robbert van Renesse, Greg Morrisett
https://arxiv.org/abs/2510.12131 https://arxiv.or…

Functional Reasoning for Distributed Systems with Failures
Distributed system theory literature often argues for correctness using an informal, Hoare-like style of reasoning. While these arguments are intuitive, they have not all been foolproof, and whether they directly correspond to formal proofs is in question. We formally ground this kind of reasoning and connect it to standard formal approaches through language design and meta-analysis, which leads to a functional style of compositional formal reasoning for a class of distributed systems, includin…

Detailed Kinetic Model for Combustion of NH3/H2 Blends
Yu-Chi Kao, Anna C. Doner, Timo T. Pekkanen, Chuangchuang Cao, Sunkyu Shin, Alon Grinberg Dana, Yi-Pei Li, William H. Green
https://arxiv.org/abs/2510.09860

Detailed Kinetic Model for Combustion of NH3/H2 Blends
Ammonia is a promising zero-carbon fuel for industrial and transport applications, but its combustion is hindered by flame instabilities, incomplete oxidation, and the formation of nitrogen oxides. Accurate and detailed kinetic models are critical for designing optimal burners and engines. Despite numerous mechanisms published in recent years, large discrepancies remain between model predictions and experimental data, particularly for NOx species. In this work, we have reviewed the literature t…

On the Cahn-Hilliard equation with nonlinear diffusion: the non-convex case
Monica Conti, Stefania Gatti, Andrea Giorgini, Giulio Schimperna
https://arxiv.org/abs/2510.08287 htt…

On the Cahn-Hilliard equation with nonlinear diffusion: the non-convex case
We investigate the Cahn-Hilliard equation with nonlinear diffusion and non-degenerate mobility modeling phase separation phenomena in complex systems (e.g., crystals and polymers). Previous results in the literature on this model relied on the strong convexity assumption of the gradient part of the energy, which excludes relevant cases. In this work, we remove the convexity condition and establish new qualitative properties of solutions under general assumptions on the diffusion and mobility fu…

On 19 November, Christopher Ohge (IES) will deliver a talk on his new project, The Bow in the Cloud: A Digital Edition and Network Analysis of Antislavery Literature, at LETS: Loughborough Editing and Textual Scholarship research group. This hybrid even starts at 4.15pm in Brockington Building (B1.11) on the Loughborough University campus and on Teams. DM for online link.

Hybrid Models for Natural Language Reasoning: The Case of Syllogistic Logic
Manuel Vargas Guzm\'an, Jakub Szymanik, Maciej Malicki
https://arxiv.org/abs/2510.09472 https://

Hybrid Models for Natural Language Reasoning: The Case of Syllogistic Logic
Despite the remarkable progress in neural models, their ability to generalize, a cornerstone for applications like logical reasoning, remains a critical challenge. We delineate two fundamental aspects of this ability: compositionality, the capacity to abstract atomic logical rules underlying complex inferences, and recursiveness, the aptitude to build intricate representations through iterative application of inference rules. In the literature, these two aspects are often confounded together un…