Tootfinder

The evolution of PUCHEROS from a basic to a competitive tool for stellar astrophysics
Luca Antonucci, Leonardo Vanzi, Abner Zapata, Mauricio Flores, Angelica Suarez, Rafael Brahm, Tzu Shen, Manuel Parra, Rafael Ormazabal, Gerardo Avila, Petr Kabath, Artie Hatzes, Pavol Gajdos, Marek Skarka, Jiri Zak, Petra Odert, Jozef Liptak, Robert Greimel, Martin Leitzinger
…

The evolution of PUCHEROS from a basic to a competitive tool for stellar astrophysics
We present PUCHEROS +, a new spectrograph developed as an enhanced version of PUCHEROS (Pontificia Universidad Catolica High Echelle Resolution Optical Spectrograph), which was the first high-resolution spectrograph built at the Pontificia Universidad Catolica de Chile (UC). With respect to its predecessor, PUCHEROS + includes a substantial number of improvements, mainly: a new scientific detector, improved objective optics, calibration system, guiding, active thermal control, and remote observ…

Sony-Kamerasteuerung kommt auf den Mac – mit dickem Pferdefuß
Die App Monitor & Control, mit der man teure Alphas von Sony steuern kann, bekam viel Lob. Mit der brandneuen macOS-Version zieht sich der Konzern Kritik zu.

I feel very seen here: I also write directly into the CMS.
(Original title: A Salute To The 13%)
https://aftermath.site/godot-version-control-statistics-cms

A Salute To The 13% - Aftermath
Let them live a little

If you haven't tried it yet, I definitely recommend checking Jujutsu Version Control System.
I literally heard about it two days ago, started reading through some tutorials, and already feel like this is something exciting and new in the VCS world. You can use it locally on any git repository you already have, since it uses git as the backend.
Anyone else in the team can keep on using git, and if you feel like it you can switch back to use git at any time.
`jj` feels in…

VArsity: Can Large Language Models Keep Power Engineering Students in Phase?
Samuel Talkington, Daniel K. Molzahn
https://arxiv.org/abs/2507.20995 https://…

VArsity: Can Large Language Models Keep Power Engineering Students in Phase?
This paper provides an educational case study regarding our experience in deploying ChatGPT Large Language Models (LLMs) in the Spring 2025 and Fall 2023 offerings of ECE 4320: Power System Analysis and Control at Georgia Tech. As part of course assessments, students were tasked with identifying, explaining, and correcting errors in the ChatGPT outputs corresponding to power factor correction problems. While most students successfully identified the errors in the outputs from the GPT-4 version …

Symbolic Control: Unveiling Free Robustness Margins
Youssef Ait Si, Antoine Girard, Adnane Saoud
https://arxiv.org/abs/2507.12339 https://

Symbolic Control: Unveiling Free Robustness Margins
This paper addresses the challenge of ensuring robustness in the presence of system perturbations for symbolic control techniques. Given a discrete-time control system that is related to its symbolic model by an alternating simulation relation. In this paper, we focus on computing the maximum robustness margin under which the symbolic model remains valid for a perturbed-version of the discrete-time control system. We first show that symbolic models are inherently equipped with a certain free ro…

AI-Powered Commit Explorer (APCE)
Yousab Grees, Polina Iaremchuk, Ramtin Ehsani, Esteban Parra, Preetha Chatterjee, Sonia Haiduc
https://arxiv.org/abs/2507.16063

AI-Powered Commit Explorer (APCE)
Commit messages in a version control system provide valuable information for developers regarding code changes in software systems. Commit messages can be the only source of information left for future developers describing what was changed and why. However, writing high-quality commit messages is often neglected in practice. Large Language Model (LLM) generated commit messages have emerged as a way to mitigate this issue. We introduce the AI-Powered Commit Explorer (APCE), a tool to support de…

Test Automatically - Test improvements against current setup with intelligent #AB testing and performance comparison 🎛️ Control What Goes Live - Review auto-generated fixes, approve changes, and roll back if needed with full control ✍️ Version Everything - Complete version

Aperiodic-sampled neural network controllers with closed-loop stability verifications (extended version)
Renjie Ma, Zhijian Hu, Rongni Yang, Ligang Wu
https://arxiv.org/abs/2506.18386

Aperiodic-sampled neural network controllers with closed-loop stability verifications (extended version)
In this paper, we synthesize two aperiodic-sampled deep neural network (DNN) control schemes, based on the closed-loop tracking stability guarantees. By means of the integral quadratic constraint coping with the input-output behaviour of system uncertainties/nonlinearities and the convex relaxations of nonlinear DNN activations leveraging their local sector-bounded attributes, we establish conditions to design the event- and self-triggered logics and to compute the ellipsoidal inner approximati…

Synchronous and asynchronous Data Quality Control of the ALICE Inner Tracking System in the LHC Run 3
Svetlana Kushpil (on behalf of the ALICE Collaboration)
https://arxiv.org/abs/2506.03212

Synchronous and asynchronous Data Quality Control of the ALICE Inner Tracking System in the LHC Run 3
The Inner Tracking System (ITS) of the ALICE experiment at the CERN Large Hadron Collider (LHC) is the largest Monolithic Active Pixel Sensor technology application in high-energy physics. The upgraded version of the tracking system, called ITS2, consists of seven concentric layers of ALPIDE monolithic active pixel sensors produced in the 180 nm CMOS process, covering a total sensitive area of about 10 m${}^2$. The ALPIDE sensor features a pixel pitch of 27 $μ$m $\times$ 29 $μ$m and a positio…

Robust tracking MPC for perturbed nonlinear systems -- Extended version
Marco Polver, Daniel Limon, Fabio Previdi, Antonio Ferramosca
https://arxiv.org/abs/2508.14248 https://…

Robust tracking MPC for perturbed nonlinear systems -- Extended version
This paper presents a novel robust predictive controller for constrained nonlinear systems that is able to track piece-wise constant setpoint signals. The tracking model predictive controller presented in this paper extends the nonlinear MPC for tracking to the more complex case of nonlinear systems subject to bounded and not necessarily additive perturbations. The optimal control problem that is solved at each step penalizes the deviation of the predicted nominal system trajectory from an arti…