Tootfinder

Protocol Testing with I/O Grammars
Alexander Liggesmeyer, Jos\'e Antonio Zamudio Amaya, Andreas Zeller
https://arxiv.org/abs/2509.20308 https://arxiv.o…

Protocol Testing with I/O Grammars
Generating software tests faces two fundamental problems. First, one needs to _generate inputs_ that are syntactically and semantically correct, yet sufficiently diverse to cover behavior. Second, one needs an _oracle_ to _check outputs_ whether a test case is correct or not. Both problems become apparent in _protocol testing_, where inputs are messages exchanged between parties, and outputs are the responses of these parties. In this paper, we propose a novel approach to protocol testing tha…

#running slow is hard but my fitness is such that it requires a rebuild of the foundation. Trying to stay in HR2 means a decent amount of walking interspersed. I don’t love it, but it’s necessary.
I have a much more open schedule now, so I should be able to get out and run regularly. The trick will be staying patient and trusting the process.

Causal Graph Fuzzy LLMs: A First Introduction and Applications in Time Series Forecasting
Omid Orang, Patricia O. Lucas, Gabriel I. F. Paiva, Petronio C. L. Silva, Felipe Augusto Rocha da Silva, Adriano Alonso Veloso, Frederico Gadelha Guimaraes
https://arxiv.org/abs/2507.17016

Causal Graph Fuzzy LLMs: A First Introduction and Applications in Time Series Forecasting
In recent years, the application of Large Language Models (LLMs) to time series forecasting (TSF) has garnered significant attention among researchers. This study presents a new frame of LLMs named CGF-LLM using GPT-2 combined with fuzzy time series (FTS) and causal graph to predict multivariate time series, marking the first such architecture in the literature. The key objective is to convert numerical time series into interpretable forms through the parallel application of fuzzification and c…

Urban Comfort Assessment in the Era of Digital Planning: A Multidimensional, Data-driven, and AI-assisted Framework
Sijie Yang, Binyu Lei, Filip Biljecki
https://arxiv.org/abs/2508.16057

Urban Comfort Assessment in the Era of Digital Planning: A Multidimensional, Data-driven, and AI-assisted Framework
Ensuring liveability and comfort is one of the fundamental objectives of urban planning. Numerous studies have employed computational methods to assess and quantify factors related to urban comfort such as greenery coverage, thermal comfort, and walkability. However, a clear definition of urban comfort and its comprehensive evaluation framework remain elusive. Our research explores the theoretical interpretations and methodologies for assessing urban comfort within digital planning, emphasising…

We're going to need a bigger litter box...

Unravelling the Holomorphic Twist II: Anomalies and Extended Supersymmetry
Pieter Bomans, Niklas Garner, Brian R. Williams, Jingxiang Wu
https://arxiv.org/abs/2509.16737 https:/…

Unravelling the Holomorphic Twist II: Anomalies and Extended Supersymmetry
Twists of four-dimensional supersymmetric quantum field theories (SQFTs) isolate protected sectors with rich algebraic structures. We develop a unified framework for analyzing symmetries and anomalies in four-dimensional holomorphically twisted SQFTs, combiningcomplex-geometric and algebraic perspectives. This approach clarifies the connections between existing formulations in the literature and resolves several open questions left unanswered in the first installment of this series. We place …

CMF-IoU: Multi-Stage Cross-Modal Fusion 3D Object Detection with IoU Joint Prediction
Zhiwei Ning, Zhaojiang Liu, Xuanang Gao, Yifan Zuo, Jie Yang, Yuming Fang, Wei Liu
https://arxiv.org/abs/2508.12917

CMF-IoU: Multi-Stage Cross-Modal Fusion 3D Object Detection with IoU Joint Prediction
Multi-modal methods based on camera and LiDAR sensors have garnered significant attention in the field of 3D detection. However, many prevalent works focus on single or partial stage fusion, leading to insufficient feature extraction and suboptimal performance. In this paper, we introduce a multi-stage cross-modal fusion 3D detection framework, termed CMF-IOU, to effectively address the challenge of aligning 3D spatial and 2D semantic information. Specifically, we first project the pixel inform…

And there I was close to the summit. Finally!
I was happy to get a snack and relax my legs a bit. I wasn't alone up there but it wasn't crowded. Well it was just great to be there again.
I think it was just the second time in a decade that I was up there. Even though I can see the summit from my home 🙂
A bit more Context and the video:

Whil I'm editing photos from our vacation I quickly share this from last year for #WaterfallWednesday .
Enjoy!
#photography #nature