Tootfinder

2nd day of the #NCKF25 symposium and the plenary is all about the #SeaLevelRise.
This is the downstream part of our job as glaciologists and it's important to understand how the projections will, can and should be used...

chainScale: Secure Functionality-oriented Scalability for Decentralized Resource Markets
Mohamed E. Najd, Ghada Almashaqbeh
https://arxiv.org/abs/2509.20356 https://

chainScale: Secure Functionality-oriented Scalability for Decentralized Resource Markets
Decentralized resource markets are Web 3.0 applications that build open-access platforms for trading digital resources among users without any central management. They promise cost reduction, transparency, and flexible service provision. However, these markets usually have large workload that must be processed in a timely manner, leading to serious scalability problems. Despite the large amount of work on blockchain scalability, existing solutions are ineffective as they do not account for thes…

A Concept for Efficient Scalability of Automated Driving Allowing for Technical, Legal, Cultural, and Ethical Differences
Lars Ullrich, Michael Buchholz, Jonathan Petit, Klaus Dietmayer, Knut Graichen
https://arxiv.org/abs/2507.18326

A Concept for Efficient Scalability of Automated Driving Allowing for Technical, Legal, Cultural, and Ethical Differences
Efficient scalability of automated driving (AD) is key to reducing costs, enhancing safety, conserving resources, and maximizing impact. However, research focuses on specific vehicles and context, while broad deployment requires scalability across various configurations and environments. Differences in vehicle types, sensors, actuators, but also traffic regulations, legal requirements, cultural dynamics, or even ethical paradigms demand high flexibility of data-driven developed capabilities. In…

SloPalSpeech: A 2,8000-Hour Slovak Speech Corpus from Parliamentary Data
Erik Bo\v{z}\'ik, Marek \v{S}uppa
https://arxiv.org/abs/2509.19270 https://arx…

Lean Meets Theoretical Computer Science: Scalable Synthesis of Theorem Proving Challenges in Formal-Informal Pairs
Terry Jingchen Zhang, Wenyuan Jiang, Rongchuan Liu, Yisong Wang, Junran Yang, Ning Wang, Nicole Ni, Yinya Huang, Mrinmaya Sachan
https://arxiv.org/abs/2508.15878

Lean Meets Theoretical Computer Science: Scalable Synthesis of Theorem Proving Challenges in Formal-Informal Pairs
Formal theorem proving (FTP) has emerged as a critical foundation for evaluating the reasoning capabilities of large language models, enabling automated verification of mathematical proofs at scale. However, progress has been constrained by limited datasets due to the high cost of manual curation and the scarcity of challenging problems with verified formal-informal correspondences. We propose leveraging theoretical computer science (TCS) as a scalable source of rigorous proof problems, where a…

A Scalable Hybrid Track-Before-Detect Tracking System: Application to Coastal Maritime Radar Surveillance
Lukas Herrmann, \'Angel F. Garc\'ia-Fern\'andez, Edmund F. Brekke, Egil Eide
https://arxiv.org/abs/2508.16169

A Scalable Hybrid Track-Before-Detect Tracking System: Application to Coastal Maritime Radar Surveillance
Despite their theoretical advantages, track-before-detect (TBD) methods remain largely absent from real-world multi-target tracking applications due to their computational complexity and limited scalability. This paper presents a scalable hybrid tracking framework that combines a TBD multi-target tracking algorithm with a detection-based multi-target tracking algorithm for coastal radar surveillance. In particular, the approach uses an integrated existence Poisson histogram-probabilistic multi-…

InterQnet: A Heterogeneous Full-Stack Approach to Co-designing Scalable Quantum Networks
Joaquin Chung, Daniel Dilley, Ely Eastman, Alvin Gonzales, Kara Hokenstad, Md Shariful Islam, Varun Jorapur, Joseph Petrullo, Andy C. Y. Li, Bikun Li, Vasileios Niaouris, Anirudh Ramesh, Ansh Singal, Caitao Zhan, Michael Bishof, Eric Chitambar, Jacob P. Covey, Alan Dibos, Xu Han, Liang Jiang, Prem Kumar, Jeffrey Larson, Zain H. Saleem, Rajkumar Kettimuthu

InterQnet: A Heterogeneous Full-Stack Approach to Co-designing Scalable Quantum Networks
Quantum communications have progressed significantly, moving from a theoretical concept to small-scale experiments to recent metropolitan-scale demonstrations. As the technology matures, it is expected to revolutionize quantum computing in much the same way that classical networks revolutionized classical computing. Quantum communications will also enable breakthroughs in quantum sensing, metrology, and other areas. However, scalability has emerged as a major challenge, particularly in terms of…

RoboSSM: Scalable In-context Imitation Learning via State-Space Models
Youngju Yoo, Jiaheng Hu, Yifeng Zhu, Bo Liu, Qiang Liu, Roberto Mart\'in-Mart\'in, Peter Stone
https://arxiv.org/abs/2509.19658

RoboSSM: Scalable In-context Imitation Learning via State-Space Models
In-context imitation learning (ICIL) enables robots to learn tasks from prompts consisting of just a handful of demonstrations. By eliminating the need for parameter updates at deployment time, this paradigm supports few-shot adaptation to novel tasks. However, recent ICIL methods rely on Transformers, which have computational limitations and tend to underperform when handling longer prompts than those seen during training. In this work, we introduce RoboSSM, a scalable recipe for in-context im…

2nd day of the #NCKF25 symposium and the plenary is all about the #SeaLevelRise.
This is the downstream part of our job as glaciologists and it's important to understand how the projections will, can and should be used...

This was a really cool session, started with palaeoproxies, ice sheet dynamics, detoured into extreme value statistics and isostatic rebound and ended with concrete and steel and community engagement.
Just like every grant ever says it will..
#NCKF25
#NCKF25 symposium and the plenary is all about the #SeaLevelRise.
This is the downstream part of our job as glaciologists and it's important to understand how the projections will, can and should be used...