Tootfinder

Efficient Real-World Deblurring using Single Images: AIM 2025 Challenge Report
Daniel Feijoo, Paula Garrido-Mellado, Marcos V. Conde, Jaesung Rim, Alvaro Garcia, Sunghyun Cho, Radu Timofte
https://arxiv.org/abs/2510.12788

Efficient Real-World Deblurring using Single Images: AIM 2025 Challenge Report
This paper reviews the AIM 2025 Efficient Real-World Deblurring using Single Images Challenge, which aims to advance in efficient real-blur restoration. The challenge is based on a new test set based on the well known RSBlur dataset. Pairs of blur and degraded images in this dataset are captured using a double-camera system. Participant were tasked with developing solutions to effectively deblur these type of images while fulfilling strict efficiency constraints: fewer than 5 million model para…

pyspect: An Extensible Toolbox for Automatic Construction of Temporal Logic Trees via Reachability Analysis
Kaj Munhoz Arfvidsson, Loizos Hadjiloizou, Frank J. Jiang, Karl H. Johansson, Jonas M{\aa}rtensson
https://arxiv.org/abs/2510.11316

pyspect: An Extensible Toolbox for Automatic Construction of Temporal Logic Trees via Reachability Analysis
In this paper, we present pyspect, a Python toolbox that simplifies the use of reachability analysis for temporal logic problems. Currently, satisfying complex requirements in cyber-physical systems requires significant manual effort and domain expertise to develop the underlying reachability programs. This high development effort limits the broader adoption of reachability analysis for complex verification problems. To address this, pyspect provides a method-agnostic approach to performing rea…

This piece (gift) https://www.theatlantic.com/ideas/2025/12/camp-of-saints-jean-raspail/685213/?gift=UABFCv9wcedkDH-6g8sMn4pxKH_kT31HyDyWrhMG6YM&…

Thoughts on keeping parts (assets *and* #nix code) of your public :nixos: #NixOS config private?
https://dis…

Public, reusable flake with private parts
I am looking for a way to have a public flake that is reusable as inputs in other flakes, but some parts of the flake are private. I think this is a very common thing, people sharing their config, but don’t want to share their secrets of course or some network settings. If those private parts are just plain files, then agenix or sops can be used, encrypted versions of those secrets are published (still kinda meh, but okay). The problem arises if some nix code should be concealed as well. Her…

Hamilton-Jacobi Reachability for Viability Analysis of Constrained Waste-to-Energy Systems under Adversarial Uncertainty
Achraf Bouhmady, Othman Cherkaoui Dekkaki
https://arxiv.org/abs/2510.11396

Hamilton-Jacobi Reachability for Viability Analysis of Constrained Waste-to-Energy Systems under Adversarial Uncertainty
This paper investigates the problem of maintaining the safe operation of Waste-to-Energy (WtE) systems under operational constraints and uncertain waste inflows. We model this as a robust viability problem, formulated as a zero-sum differential game between a control policy and an adversarial disturbance. Within a Hamilton-Jacobi framework, the viability kernel is characterized as the zero sublevel set of a value function satisfying a constrained Hamilton-Jacobi-Bellman (HJB) equation in the vi…

RE: https://mastodon.social/@reiseblog/115518447247046514
This is an annual event I grew up with.
Lots of people but also lots of tradition and pretty nice to watch (especially in good weather). I never participated myself if you are wondering.

Wenn Du nachts um 3 wach wirst, weil eins Deine Kamera meldet, dass sie keinen Strom hat, Du festgestellst, dass die Sicherung raus geflogen ist, Du sie wieder reinmachst, kurz Strom da ist und dann wieder weg ist und die Sicherung aber nicht wieder rausfliegt...und Dein hobby Elektriker-Ehemann dann das Prüfgerät rausholt und ihr gemeinsam auf Fehlersuche geht, das ganze zur IKEA-Lichterkette zurückverfolgt und dann am Stromkasten, der draußen am Grundstück steht feststellt, dass DORT auch …

Ein Sci-Fi-Hörspiel aus dem Jahr 1986, das #Palantir #Gotham beschreibt? Wie kann das sein, und warum heißt dieses System im Hörspiel Donald? Vielen Dank an den WDR5, der das Werk heute gesendet hat!
Bernhard Pfletschinger: Der Dissident
Hier steht es ein Jahr lang zum Download…

Improving Assignment Submission in Higher Education through a Git-Enabled System: An Iterative Case Study
Ololade Babatunde, Tomisin Ayodabo, Raqibul Raqibul
https://arxiv.org/abs/2510.06363

Improving Assignment Submission in Higher Education through a Git-Enabled System: An Iterative Case Study
This study addresses challenges in traditional assignment submission methods used in higher education by introducing and evaluating a customized Git-based submission system. Employing iterative software development and user-centered design methodologies, the system was integrated within a real-world university environment. Empirical evaluation, including usability testing and student feedback, indicated significant improvements in assignment tracking, collaboration, and submission efficiency. S…

Halpern Acceleration of the Inexact Proximal Point Method of Rockafellar
Liwei Zhang, Fanli Zhuang, Ning Zhang
https://arxiv.org/abs/2511.10372 https://arxiv.org/pdf/2511.10372 https://arxiv.org/html/2511.10372
arXiv:2511.10372v1 Announce Type: new
Abstract: This paper investigates a Halpern acceleration of the inexact proximal point method for solving maximal monotone inclusion problems in Hilbert spaces. The proposed Halpern inexact proximal point method (HiPPM) is shown to be globally convergent, and a unified framework is developed to analyze its worst-case convergence rate. Under mild summability conditions on the inexactness tolerances, HiPPM achieves an $\mathcal{O}(1/k^{2})$ rate in terms of the squared fixed-point residual. Furthermore, under additional mild condition, the method retains a fast linear convergence rate. Building upon this framework, we further extend the acceleration technique to constrained convex optimization through the augmented Lagrangian formulation. In analogy to Rockafellar's classical results, the resulting accelerated inexact augmented Lagrangian method inherits the convergence rate and complexity guarantees of HiPPM. The analysis thus provides a unified theoretical foundation for accelerated inexact proximal algorithms and their augmented Lagrangian extensions.
toXiv_bot_toot