Kirill Krinkin

Sensor-Model Matching for Controlled Comparison of Bayesian and Belief-Function Occupancy Grid Fusion

Tatiana Berlenko, Kirill Krinkin

Comparisons of Bayesian log-odds and Dempster's combination rule for occupancy grid mapping typically parameterize the two sensor models independently, so that observed performance differences confound the fusion rule with the sensor parameterization. We develop a pignistic-transform-based matching methodology that derives belief function …

cy, gb (code pays fourni par la source)

Reproducibility package: Sensor-Model Matching for Controlled Comparison of Bayesian and Belief-Function Occupancy Grid Fusion

Kirill Krinkin, Tatiana Berlenko

This archive is the source-of-truth for the reproducibility package submittedalongside the manuscript. The package reproduces every numerical claim in thepaper and its supplementary material from fixed seeds. ## Contents ```README.md this fileLICENSE MIT, applies to all code in this packageCITATION.cff citation metadatarequirements.txt …

de (code pays fourni par la source)

Reproducibility package: Sensor-Model Matching for Controlled Comparison of Bayesian and Belief-Function Occupancy Grid Fusion

Kirill Krinkin, Tatiana Berlenko

This archive is the source-of-truth for the reproducibility package submittedalongside the manuscript. The package reproduces every numerical claim in thepaper and its supplementary material from fixed seeds. ## Contents ```README.md this fileLICENSE MIT, applies to all code in this packageCITATION.cff citation metadatarequirements.txt …

de (code pays fourni par la source)

Reproducibility package: Sensor-Model Matching for Controlled Comparison of Bayesian and Belief-Function Occupancy Grid Fusion

Kirill Krinkin, Tatiana Berlenko

This archive is the source-of-truth for the reproducibility package submittedalongside the manuscript. The package reproduces every numerical claim in thepaper and its supplementary material from fixed seeds. ## Contents ```README.md this fileLICENSE MIT, applies to all code in this packageCITATION.cff citation metadatarequirements.txt …

de (code pays fourni par la source)

A Simple Constructive Bound on Circuit Size Change Under Truth Table Perturbation

Kirill Krinkin

The observation that optimum circuit size changes by at most $O(n)$ under a one-point truth table perturbation is implicit in prior work on the Minimum Circuit Size Problem. This note states the bound explicitly for arbitrary fixed finite complete bases with unit-cost …

A Simple Constructive Bound on Circuit Size Change Under Truth Table Perturbation

Kirill Krinkin

The observation that optimum circuit size changes by at most $O(n)$ under a one-point truth table perturbation is implicit in prior work on the Minimum Circuit Size Problem. This note states the bound explicitly for arbitrary fixed finite complete bases with unit-cost …

The Unit Gap: How Sharing Works in Boolean Circuits

Kirill Krinkin

We study the gap between the minimum size of a Boolean circuit (DAG) and the minimum size of a formula (tree circuit) over the And-Inverter Graph (AIG) basis {AND, NOT} with free inversions. We prove that this gap is always 0 or …

The Unit Gap: How Sharing Works in Boolean Circuits

Kirill Krinkin

We study the gap between the minimum size of a Boolean circuit (DAG) and the minimum size of a formula (tree circuit) over the And-Inverter Graph (AIG) basis {AND, NOT} with free inversions. We prove that this gap is always 0 or …

Data and Analysis Scripts for "The First-Speaker Effect: How Interaction Protocols Shape Coordination in Multi-Agent LLM Systems"

Kirill Krinkin

Supplementary dataset for the paper "The First-Speaker Effect: How Interaction Protocols Shape Coordination in Multi-Agent LLM Systems" (arXiv, 2026). This package contains complete experimental data from a 60-run empirical study of coordination dynamics in sequential multi-agent LLM protocols, using four models from …

gb (code pays fourni par la source)

Data and Analysis Scripts for "The First-Speaker Effect: How Interaction Protocols Shape Coordination in Multi-Agent LLM Systems"

Kirill Krinkin

Supplementary dataset for the paper "The First-Speaker Effect: How Interaction Protocols Shape Coordination in Multi-Agent LLM Systems" (arXiv, 2026). This package contains complete experimental data from a 60-run empirical study of coordination dynamics in sequential multi-agent LLM protocols, using four models from …

gb (code pays fourni par la source)

Equivalence and Divergence of Bayesian Log-Odds and Dempster's Combination Rule for 2D Occupancy Grids

Tatiana Berlenko, Kirill Krinkin

We introduce a pignistic-transform-based methodology for fair comparison of Bayesian log-odds and Dempster's combination rule in occupancy grid mapping, matching per-observation decision probabilities to isolate the fusion rule from sensor parameterization. Under BetP matching across simulation, two real lidar datasets, and downstream …

Equivalence and Divergence of Bayesian Log-Odds and Dempster's Combination Rule for 2D Occupancy Grids

Tatiana Berlenko, Kirill Krinkin

We introduce a pignistic-transform-based methodology for fair comparison of Bayesian log-odds and Dempster's combination rule in occupancy grid mapping, matching per-observation decision probabilities to isolate the fusion rule from sensor parameterization. Under BetP matching across simulation, two real lidar datasets, and downstream …