Tootfinder

Varanus: Runtime Verification for CSP
Matt Luckcuck, Angelo Ferrando, Fatma Faruq
https://arxiv.org/abs/2506.14426 https://arxiv.org/…

Varanus: Runtime Verification for CSP
Autonomous systems are often used in changeable and unknown environments, where traditional verification may not be suitable. Runtime Verification (RV) checks events performed by a system against a formal specification of its intended behaviour, making it highly suitable for ensuring that an autonomous system is obeying its specification at runtime. Communicating Sequential Processes (CSP) is a process algebra usually used in static verification, which captures behaviour as a trace of events, m…

As an example of why I say CSP isn't dead, one of the innovations we discuss in @… Ep. 249 is this amazing little module from RayGen. It's 4 inches square and produces 2.5 kW of electricity AND 5 kW of thermal energy in the form of hot water at 90°C!

Substitutions of variables are finitely axiomatizable over quantifications and permutations
Hajnal Andr\'eka, Zal\'an Gyenis, Istv\'an N\'emeti
https://arxiv.org/abs/2506.12458

Substitutions of variables are finitely axiomatizable over quantifications and permutations
This paper proves that the equational theory of the class $RA_α^{csp}$ of representable polyadic algebras is finitely axiomatizable over its substitution-free reduct $RA_α^{cp}$, for finite $α$. That is, substitutions of variables in finite variable first-order logic can be described by finitely many axioms over the Boolean operations, existential quantifiers and permutations of variables.

This https://arxiv.org/abs/2210.07383 has been replaced.
link: https://scholar.google.com/scholar?q=a

Notes on CSPs and Polymorphisms
These are notes from a multi-year learning seminar on the algebraic approach to Constraint Satisfaction Problems (CSPs). The main topics covered are the theory of algebraic structures with few subpowers, the theory of absorbing subalgebras and its applications to studying CSP templates which can be solved by local consistency methods, and the dichotomy theorem for conservative CSP templates. Subsections and appendices cover supplementary material.

Heliostat Optical Error Inspection with Polarimetric Imaging Drone
Mo Tian, Kolappan Chidambaranathan, Md Zubair Ebne Rafique, Neel Desai, Jing Bai, Randy Brost, Daniel Small, David Novick, Julius Yellowhair, Yu Yao
https://arxiv.org/abs/2506.02333

Heliostat Optical Error Inspection with Polarimetric Imaging Drone
On a Concentrated Solar Power (CSP) field, optical errors have significant impacts on the collection efficiency of heliostats. Fast, cost-effective, labor-efficient, and non-intrusive autonomous field inspection remains a challenge. Approaches using imaging drone, i.e., Unmanned Aerial Vehicle (UAV) system integrated with high resolution visible imaging sensors, have been developed to address these challenges; however, these approaches are often limited by insufficient imaging contrast. Here we…

This https://arxiv.org/abs/2505.07872 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csNI_…

Revenue Optimization in Video Caching Networks with Privacy-Preserving Demand Predictions
Performance of video streaming, which accounts for most of the traffic in wireless communication, can be significantly improved by caching popular videos at the wireless edge. Determining the cache content that optimizes performance (defined via a revenue function) is thus an important task, and prediction of the future demands based on past history can make this process much more efficient. However, since practical video caching networks involve various parties (e.g., users, isp, and csp) that…

This https://arxiv.org/abs/2501.01643 has been replaced.
initial toot: https://mastoxiv.page/@arX…

A Polarimetry-based Field-deployable Non-interruptive Mirror Soiling Detection Method
The soiling level of heliostat mirrors in Concentrated Solar Power (CSP) fields is one of the key factors that significantly influences optical efficiency. State-of-the-art methods of monitoring heliostats soiling levels still face various challenges, including slow speed, labor-intensive operations, resolution and accuracy constraints or interruptions to solar field operations. We present a rapid, cost-effective, and non-intrusive method for mirror soiling detection based on polarimetric imagi…