Tootfinder

ASP-FZN: A Translation-based Constraint Answer Set Solver
Thomas Eiter, Tobias Geibinger, Tobias Kaminski, Nysret Musliu, Johannes Oetsch
https://arxiv.org/abs/2507.22774 https:…

ASP-FZN: A Translation-based Constraint Answer Set Solver
We present the solver asp-fzn for Constraint Answer Set Programming (CASP), which extends ASP with linear constraints. Our approach is based on translating CASP programs into the solver-independent FlatZinc language that supports several Constraint Programming and Integer Programming backend solvers. Our solver supports a rich language of linear constraints, including some common global constraints. As for evaluation, we show that asp-fzn is competitive with state-of-the-art ASP solvers on benc…

Just read that Mozilla has decided to shut down Pocket (!?!). Its integration with Kobo e-readers is great and something I will miss. It will be difficult to find a similarly practical way to read web articles on my e-reader, other than the somewhat clunky pdf-saving cloud sync method. Any tips much welcome!

A Systematic Literature Review on Detecting Software Vulnerabilities with Large Language Models
Sabrina Kaniewski, Fabian Schmidt, Markus Enzweiler, Michael Menth, Tobias Heer
https://arxiv.org/abs/2507.22659

A Systematic Literature Review on Detecting Software Vulnerabilities with Large Language Models
The increasing adoption of Large Language Models (LLMs) in software engineering has sparked interest in their use for software vulnerability detection. However, the rapid development of this field has resulted in a fragmented research landscape, with diverse studies that are difficult to compare due to differences in, e.g., system designs and dataset usage. This fragmentation makes it difficult to obtain a clear overview of the state-of-the-art or compare and categorize studies meaningfully. In…

A Design Space for Visualization Transitions of 3D Spatial Data in Hybrid AR-Desktop Environments
Yucheng Lu, Tobias Rau, Benjamin Lee, Andreas K\"ohn, Michael Sedlmair, Christian Sandor, Tobias Isenberg
https://arxiv.org/abs/2506.22250

A Design Space for Visualization Transitions of 3D Spatial Data in Hybrid AR-Desktop Environments
We present a design space for animated transitions of the appearance of 3D spatial datasets in a hybrid Augmented Reality (AR)-desktop context. Such hybrid interfaces combine both traditional and immersive displays to facilitate the exploration of 2D and 3D data representations in the environment in which they are best displayed. One key aspect is to introduce transitional animations that change between the different dimensionalities to illustrate the connection between the different representa…

On beam characterization of ground-based CMB radio telescopes using UAV-mounted sources: application to the QUIJOTE TFGI and plans for LSPE-Strip
Fabio Paonessa, Lorenzo Ciorba, Giuseppe Addamo, Paz Alonso-Arias, Barbara Caccianiga, Marco Bersanelli, Francesco Cuttaia, Cristian Franceschet, Ricardo Tanausu Genova Santos, Massimo Gervasi, Roger Hoyland, Mike Jones, Carlos Hugo Lopez-Caraballo, Mauro Lumia, Michele Maris, Aniello Mennella, Gianluca Morgante, Oscar Antonio Peverini, Sabri…

On beam characterization of ground-based CMB radio telescopes using UAV-mounted sources: application to the QUIJOTE TFGI and plans for LSPE-Strip
The Large Scale Polarization Explorer (LSPE) project, funded by the Italian Space Agency (ASI), includes the development of LSPE-Strip, a ground-based radio telescope for observing Cosmic Microwave Background (CMB) anisotropies. LSPE-Strip, nearing its construction phase, will operate from the Teide Observatory in Tenerife, employing 49 coherent polarimeters at 43 GHz to deliver critical data on CMB anisotropies and 6 channels at 95 GHz as atmospheric monitor. On-site characterization of such a…

G{\"o}pel Varieties
Vladimiro Benedetti (LJAD), Michele Bolognesi (IMAG), Daniele Faenzi (IMB), Laurent Manivel (IMT)
https://arxiv.org/abs/2506.22030

G{ö}pel Varieties
We show that the Coble hypersurfaces, uniquely characterized by the remarkable property that their singular loci are an abelian surface and a Kummer threefold, respectively, belong to a family of hypersurfaces exhibiting similar behavior, but defined in various types of homogeneous spaces. With the help of Jordan-Vinberg theory, we show how these hypersurfaces can be parametrized by G{ö}pel type varieties inside projectivized representations of complex reflection groups.

Durbin Demands Tapes of Ghislaine Maxwell Interviews (Annie Karni/New York Times)
https://www.nytimes.com/2025/07/28/us/politics/ghislaine-maxwell-epstein-interview-durbin.html
http://www.memeorandum.com/250728/p61#a250728p61

Cation Engineering of Cu-Doped CsPbI3: Lead Substitution and Dimensional Reduction for Improved Scintillation Performance
David Hadid Sidiq, Somnath Mahato, Tobias Haposan, Michal Makowski, Dominik Kowal, Marcin Eugeniusz Witkowski, Winicjusz Drozdowski, Arramel, Muhammad Danang Birowosuto
https://arxiv.org/abs/2507.22681

Cation Engineering of Cu-Doped CsPbI3: Lead Substitution and Dimensional Reduction for Improved Scintillation Performance
To date, inorganic halide perovskite nanocrystals show promising contributions in emerging luminescent materials due to their high tolerance to defects. In particular, the development of cesium lead iodide (CsPbI3) has shown its efficiency for light-harvesting properties. However, further implementation is hindered due to the toxicity of the lead content. Therefore, in this study, we introduced Cu atoms to partially substitute Pb atoms (5% Cu) in the CsPbI3 lattice as a solution to reduce Pb to…

Exploring Left-Wing Extremism on the Decentralized Web: An Analysis of Lemmygrad.ml
Utkucan Balci, Michael Sirivianos, Jeremy Blackburn
https://arxiv.org/abs/2507.23699 https://…

Exploring Left-Wing Extremism on the Decentralized Web: An Analysis of Lemmygrad.ml
This study investigates the presence of left-wing extremism on the Lemmygrad.ml instance of the decentralized social media platform Lemmy, from its launch in 2019 up to a month after the bans of the subreddits r/GenZedong and r/GenZhou. We conduct a temporal analysis on Lemmygrad.ml's user activity, with also measuring the degree of highly abusive or hateful content. Furthermore, we explore the content of their posts using a transformer-based topic modeling approach. Our findings reveal a subst…

Decoupling acceleration and wiggling in a laser-produced Betatron source
Julien Gautier, Igor Andriyash, Andreas D\"opp, Michaela Kozlova, Aim\'e Matheron, Benoit Mahieu, C\'edric Thaury, Ronan Lahaye, Jean-Philippe Goddet, Amar Tafzi, Pascal Rousseau, St\'ephane Sebban, Antoine Rousse, Kim Ta Phuoc
https://arxi…

Decoupling acceleration and wiggling in a laser-produced Betatron source
Betatron radiation is produced in Laser Plasma Accelerators when the electrons are accelerated and simultaneously wiggle across the propagation axis. The mechanisms of electron acceleration and X-ray radiation production follow different scaling laws, and the brightest X-ray radiation is often produced for an electron beam with a lower quality in terms of energy and divergence. Here, we report a laser-driven Betatron X-ray source where the plasma density profile is tailored in order to separate…