Tootfinder

I have long been opposed to Jury Nullification. However, I recognize that it happens.
(I was a juror once in an extremely clear cut criminal case where one of the other jurors clearly did not want to besmirch the defendant and wanted to punish the homosexual victim, so she caused us become a "hung jury.". The other eleven of us were very angry at her clear, but successful, nullification of the law.)
Today my reluctance to support jury nullification has diminished, eve…

🇺🇦 #NowPlaying on #BBC6Music's #TheMorningAfterMix
Drugdealer:
🎵 Honey (feat. Weyes Blood)
#Drugdealer
https://drugdealerband.bandcamp.com/album/raw-honey
https://open.spotify.com/track/2kPYU6yN0LfBZC67J45MJg

A Variant of Non-uniform Cylindrical Algebraic Decomposition for Real Quantifier Elimination
Jasper Nalbach, Erika \'Abrah\'am
https://arxiv.org/abs/2508.00505 https://

A Variant of Non-uniform Cylindrical Algebraic Decomposition for Real Quantifier Elimination
The Cylindrical Algebraic Decomposition (CAD) method is currently the only complete algorithm used in practice for solving real-algebraic problems. To ameliorate its doubly-exponential complexity, different exploration-guided adaptations try to avoid some of the computations. The first such adaptation named NLSAT was followed by Non-uniform CAD (NuCAD) and the Cylindrical Algebraic Covering (CAlC). Both NLSAT and CAlC have been developed and implemented in SMT solvers for satisfiability checkin…

RLZ-r and LZ-End-r: Enhancing Move-r
Patrick Dinklage, Johannes Fischer, Lukas Nalbach, Jan Zumbrink
https://arxiv.org/abs/2507.17300 https://arxiv.org/pdf…

RLZ-r and LZ-End-r: Enhancing Move-r
In pattern matching on strings, a locate query asks for an enumeration of all the occurrences of a given pattern in a given text. The r-index [Gagie et al., 2018] is a recently presented compressed self index that stores the text and auxiliary information in compressed space. With some modifications, locate queries can be answered in optimal time [Nishimoto & Tabei, 2021], which has recently been proven relevant in practice in the form of Move-r [Bertram et al., 2024]. However, there remains th…

"Moin, mein Name ist Frieder, ich soll hier vorkrächzen für 'König der Möwen". Ich bin ein norddeutsches Original, aber sowas von!
Sie können mich auf #wandklex #birds #watercolor #wandklex #art #artShop #fediart #mastoart #creativeToots #artforsale