Tootfinder

An email sent by the US Social Security Administration (SSA) that claims Donald Trump’s major new spending bill has eliminated taxes on benefits for most recipients is misleading, critics have said.
Jeff Nesbit, who served as a top SSA official under Republican and Democratic presidents, posted on X: “The agency has never issued such a blatant political statement. The fact that Trump and his minion running SSA has done this is unconscionable.”
The reconciliation bill – which the p…

Trump White House puts preschool funding first on its list of "woke programs" to be eliminated.
https://www.whitehouse.gov/wp-content/uploads/2025/05/Cuts-to-Woke-Programs-Fact-Sheet.pdf

A combined Machine Learning and Finite Element Modelling tool for the surgical planning of craniosynostosis correction
Itxasne Ant\'unez S\'aenz, Ane Alberdi Aramendi, David Dunaway, Juling Ong, Lara Deli\`ege, Amparo S\'aenz, Anita Ahmadi Birjandi, Noor UI Owase Jeelani, Silvia Schievano, Alessandro Borghi
https://a…

A combined Machine Learning and Finite Element Modelling tool for the surgical planning of craniosynostosis correction
Craniosynostosis is a medical condition that affects the growth of babies' heads, caused by an early fusion of cranial sutures. In recent decades, surgical treatments for craniosynostosis have significantly improved, leading to reduced invasiveness, faster recovery, and less blood loss. At Great Ormond Street Hospital (GOSH), the main surgical treatment for patients diagnosed with sagittal craniosynostosis (SC) is spring assisted cranioplasty (SAC). This procedure involves a 15x15 mm2 osteotomy…

This https://arxiv.org/abs/2501.09023 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCR_…

Cyber-Physical Security Vulnerabilities Identification and Classification in Smart Manufacturing -- A Defense-in-Depth Driven Framework and Taxonomy
The increasing cybersecurity threats to critical manufacturing infrastructure necessitate proactive strategies for vulnerability identification, classification, and assessment. Traditional approaches, which define vulnerabilities as weaknesses in computational logic or information systems, often overlook the physical and cyber-physical dimensions critical to manufacturing systems, comprising intertwined cyber, physical, and human elements. As a result, existing solutions fall short in addressin…

Event Topology Classifiers at the Large Hadron Collider
Suraj Prasad, Sushanta Tripathy, Bhagyarathi Sahoo, Raghunath Sahoo
https://arxiv.org/abs/2506.03782

Event Topology Classifiers at the Large Hadron Collider
Event classifiers are the most fundamental observables to probe the system size and event topology of high-energy collisions. Significant progress has been made to establish suitable event classifiers to probe different physics processes occurring in elementary $e^{+}e^{-}$ to heavy-ion collisions in a range of center of mass energies. One of the major motivations to revisit event classifiers at the Large Hadron Collider (LHC) originates from the recent measurements of high multiplicity proton-…

Nonlinear elastodynamic material identification of heterogeneous isogeometric Bernoulli-Euler beams
Bart{\l}omiej {\L}azorczyk, Roger A. Sauer
https://arxiv.org/abs/2506.04960

Nonlinear elastodynamic material identification of heterogeneous isogeometric Bernoulli-Euler beams
This paper presents a Finite Element Model Updating framework for identifying heterogeneous material distributions in planar Bernoulli-Euler beams based on a rotation-free isogeometric formulation. The procedure follows two steps: First, the elastic properties are identified from quasi-static displacements; then, the density is determined from modal data (low frequencies and mode shapes), given the previously obtained elastic properties. The identification relies on three independent discretiza…

Trump's budget eliminating funding for #IMLS --and so many other critical federal programs-- means we can't wait for court cases to proceed, but need to keep the pressure on our elected officials to stop this budgetary assault on our country. I just called my representative and senators and hope that you all will as well.

Es muy gracioso el tema de los proyectos que estš desarrollando un LLM y la gente se dedica sólo a revisar el código.
Yo ya llevo años en temas de QA de software y he visto algunos proyectos que son meros recubrimientos de otros proyectos que nadie se atreve a eliminar o mantener porque nadie tiene el conocimiento para hacerlo. Con eso se genera una deuda técnica brutal y una dependencia por una caja negra que nadie sabe cómo funciona pero "virgencita, que me quede como estoy&quot…

Joint Power Control and Precoding for Cell-Free Massive MIMO Systems With Sparse Multi-Dimensional Graph Neural Networks
Yukun Ma, Jiayi Zhang, Ziheng Liu, Guowei Shi, Bo Ai
https://arxiv.org/abs/2507.01876

Joint Power Control and Precoding for Cell-Free Massive MIMO Systems With Sparse Multi-Dimensional Graph Neural Networks
Cell-free massive multiple-input multiple-output (CF mMIMO) has emerged as a prominent candidate for future networks due to its ability to significantly enhance spectral efficiency by eliminating inter-cell interference. However, its practical deployment faces considerable challenges, such as high computational complexity and the optimization of its complex processing. To address these challenges, this correspondence proposes a framework based on a sparse multi-dimensional graph neural network …

One-Parametric Presburger Arithmetic has Quantifier Elimination
Alessio Mansutti, Mikhail R. Starchak
https://arxiv.org/abs/2506.23730 https://

One-Parametric Presburger Arithmetic has Quantifier Elimination
We give a quantifier elimination procedure for one-parametric Presburger arithmetic, the extension of Presburger arithmetic with the function $x \mapsto t \cdot x$, where $t$ is a fixed free variable ranging over the integers. This resolves an open problem proposed in [Bogart et al., Discrete Analysis, 2017]. As conjectured in [Goodrick, Arch. Math. Logic, 2018], quantifier elimination is obtained for the extended structure featuring all integer division functions $x \mapsto \lfloor{\frac{x}{f(…