Tootfinder

Multi-type logistic branching processes with selection: frequency process and genealogy for large carrying capacities
Marta Dai Pra, Julian Kern
https://arxiv.org/abs/2507.12601

Multi-type logistic branching processes with selection: frequency process and genealogy for large carrying capacities
We present a model for growth in a multi-species population. We consider two types evolving as a logistic branching process with mutation, where one of the types has a selective advantage, and are interested in the regime in which the carrying capacity of the system goes to $\infty$. We first study the genealogy of the population up until it almost reaches carrying capacity through a coupling with an independent branching process. We then focus on the phase in which the population has reached c…

Modelado y gemelos digitales en el contexto fotovoltaico
Franco Bertani Matung, Juan Cruz Esquembre Santamar\'ia, Ricardo R. Palma, Fabricio Orlando Sanchez Varretti
https://arxiv.org/abs/2506.12102

Modelado y gemelos digitales en el contexto fotovoltaico
The photovoltaic industry faces the challenge of optimizing the performance and management of its systems in an increasingly digitalized environment. In this context, digital twins offer an innovative solution: virtual models that replicate in real time the behavior of solar installations. This technology makes it possible to anticipate failures, improve operational efficiency and facilitate data-driven decision-making. This report analyzes its application in the photovoltaic sector, highlighti…

Cyclic proof theory of positive inductive definitions
Gianluca Curzi, Lukas Melgaard
https://arxiv.org/abs/2507.13057 https://arxiv.o…

Cyclic proof theory of positive inductive definitions
We study cyclic proof systems for $μ\mathsf{PA}$, an extension of Peano arithmetic by positive inductive definitions that is arithmetically equivalent to the (impredicative) subsystem of second-order arithmetic $Π^1_2$-$\mathsf{CA}_0$ by Möllefeld. The main result of this paper is that cyclic and inductive $μ\mathsf{PA}$ have the same proof-theoretic strength. First, we translate cyclic proofs into an annotated variant based on Sprenger and Dam's systems for first-order $μ$-calculus, whose…

#oldcomputerchallenge day 3 is uploaded
gemini://gemini.jasonsanta.xyz:1965/gemlog/occ-2025/occ-day-3.gmi
I have included steps on how to get an ex…

ICE-ID: A Novel Historical Census Data Benchmark Comparing NARS against LLMs, \& a ML Ensemble on Longitudinal Identity Resolution
Gon\c{c}alo Hora de Carvalho, Lazar S. Popov, Sander Kaatee, Kristinn R. Th\'orisson, Tangrui Li, P\'etur H\'uni Bj\"ornsson, Jilles S. Dibangoye
https://arxiv.org/abs/2506.13792…

ICE-ID: A Novel Historical Census Data Benchmark Comparing NARS against LLMs, \& a ML Ensemble on Longitudinal Identity Resolution
We introduce ICE-ID, a novel benchmark dataset for historical identity resolution, comprising 220 years (1703-1920) of Icelandic census records. ICE-ID spans multiple generations of longitudinal data, capturing name variations, demographic changes, and rich genealogical links. To the best of our knowledge, this is the first large-scale, open tabular dataset specifically designed to study long-term person-entity matching in a real-world population. We define identity resolution tasks (within and…

Urban Green Governance: IoT-Driven Management and Enhancement of Urban Green Spaces in Campobasso
Antonio Salis, Gabriele Troina, Gianluca Boanelli, Marco Ottaviano, Paola Fortini, Soraya Versace
https://arxiv.org/abs/2507.12106

Urban Green Governance: IoT-Driven Management and Enhancement of Urban Green Spaces in Campobasso
The efficient design and management of public green spaces is a key factor in promoting the health and well-being of urban population, as emphasized by the WHO, UNEP, and EEA. These areas serve as the "green lungs" of the urban ecosystem, playing a vital role in enhancing quality of life thanks to the provision of ecosystem services. In this context, the Smart Green City use case in Campobasso municipality, funded by the Italian Ministry of Enterprises (MIMIT), emerges as an innovative model fo…

The story of my grandfather, Arthur Ward, has been published by the Society of Genealogists in the Genealogists’ Magazine. #WW1

Arthur Ward (1888-1948) - Miscellanea Edintone
The story of my grandfather, Arthur Ward, has been published by the Society of Genealogists in the Genealogists' Magazine.

Bin ja sehr froh, diesen tollen Erklärartikel zu Excel Power Query gefunden zu haben, selbstreferenzierende Tabellen tun genau das, was ich heute für eine Auswertung von Daten gesucht habe. Von selbst wäre ich da wahrscheinlich nie drauf gekommen, habe aber auch nicht die Zeit (und Lust), mich noch intensiver mit Excel zu befassen.
Henne oder Ei: Selbstreferenzierende Tabellen in Power Query | Der Tabellenexperte

Ultra-Resilient Superimposed Codes: Near-Optimal Construction and Applications
Gianluca De Marco, Dariusz R. Kowalski
https://arxiv.org/abs/2506.13489 http…

Ultra-Resilient Superimposed Codes: Near-Optimal Construction and Applications
A superimposed code is a collection of binary vectors (codewords) with the property that no vector is contained in the Boolean sum of any $k$ others, enabling unique identification of codewords within any group of $k$. Superimposed codes are foundational combinatorial tools with applications in areas ranging from distributed computing and data retrieval to fault-tolerant communication. However, classical superimposed codes rely on strict alignment assumptions, limiting their effectiveness in as…

Replaced article(s) found for cs.DC. https://arxiv.org/list/cs.DC/new
[1/1]:
- Programming Distributed Collective Processes in the eXchange Calculus
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Gianluca Torta, Mirko Viroli