Tootfinder

Series B, Episode 10 - Voice from the Past
JENNA: Well, maybe that's not related.
CALLY: Well, Jenna, remember there was something else - earlier, in the rest room.
JENNA: Complaining of some sort of noise.
AVON: A sort of tone, he said.
https://blake.torpidity.net/m/210/83

Blakes7Bot | Search
Companion site to the Blakes7Bot Twitter, Mastodon, and Bluesky accounts. Automated lines of Blakes 7 dialog. Includes a script search facility.

Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification
Rudi Coppola, Hovsep Touloujian, Pierfrancesco Ombrini, Manuel Mazo Jr
https://arxiv.org/abs/2509.04288

Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification
Rechargeable lithium-ion (Li-ion) batteries are a ubiquitous element of modern technology. In the last decades, the production and design of such batteries and their adjacent embedded charging and safety protocols, denoted by Battery Management Systems (BMS), has taken central stage. A fundamental challenge to be addressed is the trade-off between the speed of charging and the ageing behavior, resulting in the loss of capacity in the battery cell. We rely on a high-fidelity physics-based batter…

Untraceable DeepFakes via Traceable Fingerprint Elimination
Jiewei Lai, Lan Zhang, Chen Tang, Pengcheng Sun, Xinming Wang, Yunhao Wang
https://arxiv.org/abs/2508.03067 https://

Untraceable DeepFakes via Traceable Fingerprint Elimination
Recent advancements in DeepFakes attribution technologies have significantly enhanced forensic capabilities, enabling the extraction of traces left by generative models (GMs) in images, making DeepFakes traceable back to their source GMs. Meanwhile, several attacks have attempted to evade attribution models (AMs) for exploring their limitations, calling for more robust AMs. However, existing attacks fail to eliminate GMs' traces, thus can be mitigated by defensive measures. In this paper, we id…

Isogeometric contact analysis in subsea umbilical and power cables
Tianjiao Dai (School of Naval Architecture and Ocean Engineering, Huazhong University of Science and Technology, Hubei Key Laboratory of Naval Architecture and Ocean Engineering Hydrodynamics, HUST, Wuhan, China), Shuo Yang (Zoomlion Heavy Industry Science and Technology Co., Ltd., China), Xing Jin (China Offshore Engineering and Technology Co., Ltd., China), Svein S{\ae}vik (Department of Marine Technology, Norwegian U…

Isogeometric contact analysis in subsea umbilical and power cables
Subsea umbilical and power cables contain a large number of contact interfaces between different geometries and materials. These complex interactions rise significant challenges for accurately considering contact surface properties by using traditional analytical solutions or finite element methods. These properties have been identified as the most sensitive parameters when performing the numerical simulation for stress analysis. Therefore, it is essential to apply a novel approach for contact …

Mind the Dark: A Gamified Exploration of Deceptive Design Awareness for Children in the Digital Age
Noverah Khan, Hira Eiraj Daud, Suleman Shahid
https://arxiv.org/abs/2506.23017 …

Mind the Dark: A Gamified Exploration of Deceptive Design Awareness for Children in the Digital Age
This paper addresses the critical issue of deceptive design elements prevalent in technology, and their potential impact on children. Recent research highlights the impact of dark patterns on adults and adolescents, while studies involving children are scarce. In an era where children wield greater independence with digital devices, their vulnerability to dark patterns amplifies without early education. Our findings show a significant positive impact of dark pattern education on children's awar…

AI's Euclid's Elements Moment: From Language Models to Computable Thought
Xinmin Fang, Lingfeng Tao, Zhengxiong Li
https://arxiv.org/abs/2506.23080

AI's Euclid's Elements Moment: From Language Models to Computable Thought
This paper presents a comprehensive five-stage evolutionary framework for understanding the development of artificial intelligence, arguing that its trajectory mirrors the historical progression of human cognitive technologies. We posit that AI is advancing through distinct epochs, each defined by a revolutionary shift in its capacity for representation and reasoning, analogous to the inventions of cuneiform, the alphabet, grammar and logic, mathematical calculus, and formal logical systems. Th…

Impact of Passive Element Technological Limits on CMOS Low-Noise Amplifier Design
J. L. Gonz\'alez, R. L. Moreno, D. V\'azquez
https://arxiv.org/abs/2509.01770 https://

Impact of Passive Element Technological Limits on CMOS Low-Noise Amplifier Design
This paper investigates the impact of technological constraints on passive elements in the design of inductively degenerated CMOS low-noise amplifiers (LNAs). A theoretical analysis is combined with circuit simulations in a 130-nm CMOS process at 2.45~GHz to explore how the available inductance and capacitance values limit key design objectives such as maximum gain, minimum power consumption, and transistor sizing. Results show that these limits significantly restrict the achievable design spac…

While the rare earth market is dominated by China, Canada also has some of the largest reserves in the world.
But new rare earth mining projects have to balance the need for these materials with the environmental impacts that mining has on the land. 
Instead of starting from scratch, the University of Alberta and Calgary-based CVW CleanTech are trying to mine these valuable substances from tailings, a waste product of open-pit oilsands mining.
Previously known as Titanium …

New-age prospectors finding rare earth elements in tailings from Alberta oilsands | CBC News
Rare earth elements are a key part of the transition to a green economy. From magnets in wind turbines to batteries in electric vehicles, they’re needed for technology that is increasingly in demand.

Projective Delineability for Single Cell Construction
Jasper Nalbach, Lucas Michel, Erika \'Abrah\'am, Christopher W. Brown, James H. Davenport, Matthew England, Pierre Mathonet, Na\"im Z\'ena\"idi
https://arxiv.org/abs/2508.00512

Projective Delineability for Single Cell Construction
The cylindrical algebraic decomposition (CAD) is the only complete method used in practice for solving problems like quantifier elimination or SMT solving related to real algebra, despite its doubly exponential complexity. Recent exploration-guided algorithms like NLSAT, NuCAD, and CAlC rely on CAD technology but reduce the computational effort heuristically. Single cell construction is a paradigm that is used in each of these algorithms. The central property on which the CAD algorithm is bas…

Series C, Episode 02 - Powerplay
AVON: What do we get?
KLEGG: You'll be teleported onto the surface of the nearest planet. You can build your security into the computer program. It won't respond to me until you are safely off the ship.
https://blake.torpidity.net/m/302/498

Blakes7Bot | Search
Companion site to the Blakes7Bot Twitter, Mastodon, and Bluesky accounts. Automated lines of Blakes 7 dialog. Includes a script search facility.