Tootfinder

Why film study is so important to young NFL QBs like the Bears' Caleb Williams https://www.espn.com/nfl/story/_/id/45458808/nfl-caleb-williams-bears-quarterback-film-study-ben-johnson

Brazil’s ANPD Preliminary Study on Generative AI highlights the dual nature of data protection law: balancing rights with technological innovation
https://fpf.org/blog/brazils-anpd-prel

Methane leaks from dormant oil and gas wells in Canada are seven times worse than thought, study suggests #Canada

Methane leaks from dormant oil and gas wells in Canada are seven times worse than thought, study suggests
Methane emissions from Canada's non-producing oil and gas wells appear to be seven times higher than government estimates, according to a new study led by researchers at McGill University. The findings spotlight a major gap in the country's official greenhouse gas inventory and raise urgent questions about how methane leaks are monitored, reported and managed.

Next investigation should be into the councillors themselves
Warrnambool council abandons peer-reviewed flood study, citing 'supposed science' - ABC News
https://www.abc.net.au/news/2025-06-05/regiona…

Warrnambool council abandons peer-reviewed flood study, questioning 'supposed science'
An independent flood study flagging high-risk areas in Victoria's south-west is abandoned after councillors decide they do not trust the data.

Dehorning rhinos reduces poaching by 78 percent, researchers find - The Washington Post
https://www.washingtonpost.com/world/2025/06/05/rhino-horn-dehorn-poaching-south-africa-study/

Adapting Online Customer Reviews for Blind Users: A Case Study of Restaurant Reviews
Mohan Sunkara, Akshay Kolgar Nayak, Sandeep Kalari, Yash Prakash, Sampath Jayarathna, Hae-Na Lee, Vikas Ashok
https://arxiv.org/abs/2506.04865

Adapting Online Customer Reviews for Blind Users: A Case Study of Restaurant Reviews
Online reviews have become an integral aspect of consumer decision-making on e-commerce websites, especially in the restaurant industry. Unlike sighted users who can visually skim through the reviews, perusing reviews remains challenging for blind users, who rely on screen reader assistive technology that supports predominantly one-dimensional narration of content via keyboard shortcuts. In an interview study, we uncovered numerous pain points of blind screen reader users with online restaurant…

"Only a tiny % of the deep seafloor has ever been visually observed: Study"
#Oceans #Environment

Only a tiny % of the deep seafloor has ever been visually observed: Study
For national and international policymakers, decisions on how to regulate — and whether to allow — exploitative human activities such as deep-sea mining require good information. A new study suggests that when it comes to the ocean floor, they may not have it. Only 0.001% of the deep seafloor has ever been captured by photo […]

A study on Heisenberg-Weyl linear maps
Saikat Patra, Bihalan Bhattacharya
https://arxiv.org/abs/2506.05097 https://arxiv.org/pdf/2506…

A study on Heisenberg-Weyl linear maps
Heisenberg-Weyl operators provide a Hermitian generalization of Pauli operators in higher dimensions. Positive maps arising from Heisenberg-Weyl operators have been studied along with several algebraic and spectral properties of Heisenberg-Weyl observables. This allows to generalize the study of Pauli type maps in higher dimesional algebra of operators.

Towards Storage-Efficient Visual Document Retrieval: An Empirical Study on Reducing Patch-Level Embeddings
Yubo Ma, Jinsong Li, Yuhang Zang, Xiaobao Wu, Xiaoyi Dong, Pan Zhang, Yuhang Cao, Haodong Duan, Jiaqi Wang, Yixin Cao, Aixin Sun
https://arxiv.org/abs/2506.04997

Towards Storage-Efficient Visual Document Retrieval: An Empirical Study on Reducing Patch-Level Embeddings
Despite the strong performance of ColPali/ColQwen2 in Visualized Document Retrieval (VDR), it encodes each page into multiple patch-level embeddings and leads to excessive memory usage. This empirical study investigates methods to reduce patch embeddings per page at minimum performance degradation. We evaluate two token-reduction strategies: token pruning and token merging. Regarding token pruning, we surprisingly observe that a simple random strategy outperforms other sophisticated pruning met…

🎣 New study maps the fishmeal factories that supply the world’s fish farms
https://news.mongabay.com/2025/05/new-study-maps-the-fishmeal-factories-that-supply-the-worlds-fish-farms/

New study maps the fishmeal factories that supply the world’s fish farms
Fish farms boomed globally in recent decades — more than half the world’s seafood now comes from aquaculture — but it’s not a boom all environmentalists support. One argument that critics of industrial aquaculture make is that the fishmeal and fish oil used to make the feed for popular carnivorous species like salmon is not sustainably […]

An Apple-funded study says the global App Store drove $1.3T in developer billings and sales in 2024, with developers paying no commission on 90% of sales (Sarah Perez/TechCrunch)
https://techcrunch.com/2025/06/05/appl

Apple says its App Store helped generate $1.3T in billings and sales, most without a commission | TechCrunch
Apple said developers generated $1.3 trillion in sales in 2024 through its App Store, of which 90% did not involve paying the company a commission.

E-scooter injury toll revealed in study just ‘tip of the iceberg’ in Australia, doctors warn | Road safety | The Guardian
https://www.theguardian.com/world/2025/jun/04/e-scooter-injury-toll-reve…

From Developer Pairs to AI Copilots: A Comparative Study on Knowledge Transfer
Alisa Welter, Niklas Schneider, Tobias Dick, Kallistos Weis, Christof Tinnes, Marvin Wyrich, Sven Apel
https://arxiv.org/abs/2506.04785

From Developer Pairs to AI Copilots: A Comparative Study on Knowledge Transfer
Knowledge transfer is fundamental to human collaboration and is therefore common in software engineering. Pair programming is a prominent instance. With the rise of AI coding assistants, developers now not only work with human partners but also, as some claim, with AI pair programmers. Although studies confirm knowledge transfer during human pair programming, its effectiveness with AI coding assistants remains uncertain. To analyze knowledge transfer in both human-human and human-AI settings, w…

Conclusion: Bigfoot hangs out with black bears.
✅ Study finds bigfoot sightings correlate with black bear populations - Ars Technica
https://arstechnica.com/science/2024/01/study-finds-bigfoot-sightings-correlate-with-black-be…

Study finds bigfoot sightings correlate with black bear populations
The big conclusion: “If bigfoot is there, it could be a bear.”…

Enduring Disparities in the Workplace: A Pilot Study in the AI Community
Yunusa Simipa Abdulsalam, Siobhan Mackenzie Hall, Ana Quintero-Ossa, William Agnew, Carla Muntean, Sarah Tan, Ashley Heady, Savannah Thais, Jessica Schrouff
https://arxiv.org/abs/2506.04305

Enduring Disparities in the Workplace: A Pilot Study in the AI Community
In efforts toward achieving responsible artificial intelligence (AI), fostering a culture of workplace transparency, diversity, and inclusion can breed innovation, trust, and employee contentment. In AI and Machine Learning (ML), such environments correlate with higher standards of responsible development. Without transparency, disparities, microaggressions and misconduct will remain unaddressed, undermining the very structural inequities responsible AI aims to mitigate. While prior work invest…

sp_hospital: Hospital ward dynamic contacts (2010)
This dataset contains the temporal network of contacts between patients, patients and health-care workers (HCWs) and among HCWs in a hospital ward in Lyon, France, from Monday, December 6, 2010 at 1:00 pm to Friday, December 10, 2010 at 2:00 pm. The study included 46 HCWs and 29 patients.
This network has 75 nodes and 32424 edges.
Tags: Social, Offline, Unweighted, Temporal, Metadata

Interesting study of eastern Joshua tree mycorrhizal associations from trees near the Dome Fire burn in Mojave National Preserve, with sampling stratified by season
#ecology #mutualism #JoshuaTree …

The Telephone Exchange Problem Revisited: A Combinatorial Approach
Sithembele Nkonkobe
https://arxiv.org/abs/2506.05145 https://arxiv…

The Telephone Exchange Problem Revisited: A Combinatorial Approach
In this study we revisit the telephone exchange problem. We discuss a generalization of the telephone exchange problem by discuss two generalizations of the Bessel polynomials. We study combinatorial properties of these polynomials, and show how the numbers are related to the well known Whitney numbers and Dowling numbers

Nonstandard methods for ultrafilter relation extensions
Leonardo Raffaello Maximilian Gasparro, Lorenzo Luperi Baglini
https://arxiv.org/abs/2506.04692 htt…

Nonstandard methods for ultrafilter relation extensions
We study two types of ultrafilter relation extensions with nonstandard methods and provide characterisations of these extensions in terms of generators of ultrafilters. These characterisations are then used to determine whether various relation properties are preserved by these extensions. Lastly, we study the notion of self-divisible ultrafilter and, with the mentioned characterizations, generalize this notion for a class of relations.

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

A Comparative Study of Conventional and Tripolar EEG for High-Performance Reach-to-Grasp BCI Systems
This study aims to enhance BCI applications for individuals with motor impairments by comparing the effectiveness of tripolar EEG (tEEG) with conventional EEG. The focus is on interpreting and decoding various grasping movements, such as power grasp and precision grasp. The goal is to determine which EEG technology is more effective in processing and translating grasp related neural signals. The approach involved experimenting on ten healthy participants who performed two distinct grasp movemen…

Tax Credit Increase Would Exclude Millions of Low-Income Children, Study Finds (Jason DeParle/New York Times)
https://www.nytimes.com/2025/06/05/us/politics/child-tax-credit.html
http://www.memeorandum.com/250606/p2#a250606p2

An emergence-oriented approach to cyclic pursuit
Zhaozhan Yao, Yuhua Yao, Xiaoming Hu
https://arxiv.org/abs/2506.05157 https://arxiv.…

An emergence-oriented approach to cyclic pursuit
In this paper, we explore the cyclic pursuit problem of unicycles and study circular formation from an emergence perspective. We first establish a systematic study on such formation and derive a necessary and sufficient condition for its existence. Building on this theoretical foundation, we design a distributed control law that enables the spontaneous formation of circular formations through only local interactions. Notably, key geometric features -- including the radius and agent spacing -- a…

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

The affirmative answer to Singer's conjecture on the algebraic transfer of rank four
In recent decades, the structure of the mod-2 cohomology of the Steenrod ring $\mathscr A$ has become a major subject of study in the field of Algebraic Topology. One of the earliest attempts to study this cohomology through the use of modular representations of the general linear groups was the groundbreaking work [Math. Z. 202 (1989), 493-523] by W.M. Singer. In that work, Singer introduced a homomorphism, commonly referred to as the "algebraic transfer," which maps from the coinvariants of a…

Nationwide study finds that leaks in natural gas pipelines contribute to hazardous particulate air pollution https://phys.org/news/2025-06-nationwide-leaks-natural-gas-pipelines.html

Nationwide study finds that leaks in natural gas pipelines contribute to hazardous particulate air pollution
In March 2022, 14 residents of a four-story apartment building in Silver Spring, Maryland, were hospitalized when a gas leak from a cut pipeline caused a major explosion. Every year in the United States, there are hundreds of natural gas (or methane) pipeline leaks—caused by corrosion, equipment malfunctions, and construction activities. Methane leaks are not only dangerous; they contribute to air pollution and climate change.

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

Study of Heavy Hadron Production in Au + Au Collisions at a Center-of-Mass Energy of $\sqrt{s_{NN}}=200$ GeV
Using the Monte Carlo HYDJET++ model, the transverse momentum ($p_{T}$) spectra of heavy hadrons ($D^{0}$, $\overline{D}^{0}$, $D^{+}$, $D^{-}$ and $Λ_{c}$), as well as the nuclear modification factors of $D^{0}$ and $D^{\pm}$, produced in Au + Au collisions at $\sqrt{s_{NN}} = 200$ GeV RHIC energy across various centrality bins, are presented. This study is motivated by the need to understand the centrality dependence of the charm enhancement factor ($γ_{c}$) and the roles of different hadro…

With the advent of ELIZA, Joseph Weizenbaum's first psychotherapist chatbot, NLP took another major step with pattern-based substitution algorithms based on simple regular expressions.
Weizenbaum, Joseph (1966). ELIZA—a computer program for the study of natural language communication between man and machine. Com. of the ACM. 9: 36–45.

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

Curvature, macroscopic dimensions, and symmetric products of surfaces
We present a detailed study of the curvature and symplectic asphericity properties of symmetric products of surfaces. We show that these spaces can be used to answer nuanced questions arising in the study of closed Riemannian manifolds with positive scalar curvature. For example, we prove that symmetric products of surfaces sharply distinguish between two distinct notions of macroscopic dimension introduced by Gromov and the second-named author. As a natural generalization of this circle of ide…

Indoor Sharing in the Mid-Band: A Performance Study of Neutral-Host, Cellular Macro, and Wi-Fi
Joshua Roy Palathinkal, Muhammad Iqbal Rochman, Vanlin Sathya, Mehmet Yavuz, Monisha Ghosh
https://arxiv.org/abs/2506.04974

Indoor Sharing in the Mid-Band: A Performance Study of Neutral-Host, Cellular Macro, and Wi-Fi
Indoor environments present a significant challenge for wireless connectivity, as immense data demand strains traditional solutions. Public Mobile Network Operators (MNOs), utilizing outdoor macro base stations (BSs), suffer from poor signal penetration. Indoor Wi-Fi networks, on the other hand, may face reliability issues due to spectrum contention. Shared spectrum models, particularly the Citizens Broadband Radio Service (CBRS) utilized by private 4G/5G networks, have emerged as a promising a…

Statisticians Training STEM Educators in Statistics Methods and Pedagogy: A Case Study of Instructor Training in Bayesian Methods
Mine Dogucu, Jingchen Hu, Amy H Herring
https://arxiv.org/abs/2505.02298

Statisticians Training STEM Educators in Statistics Methods and Pedagogy: A Case Study of Instructor Training in Bayesian Methods
Educating the next generation of scientists in statistical methodology is an important task. Educating their instructors in statistical content knowledge and pedagogical knowledge is as important and provides an indirect impact of students' learning. Statisticians are in a place to lead train-the-trainer (TTT) programs in different methods. We present our instructor training program in Bayesian methods as an effective case study of a TTT model. In addition to describing the details of the struc…

Domestic Heat Pumps: Barriers to Installation (2022) - A case study in the friction in specifying and installing a heat-pump in the UK, even for a savvy early adopter. #heatpump #netZero #futureReady

Domestic Heat Pumps: Barriers to Installation (2022)
A case study in the friction in specifying and installing a heat-pump in the UK, even for a savvy early adopter. #heatpump #netZero #futureReady

Study of $f_1(1420)$ and $\eta(1405)$ in the decay $J/\psi \to \gamma \pi^{0}\pi^{0}\pi^{0}$
BESIII Collaboration, et al.
https://arxiv.org/abs/2506.05055 …

Study of $f_1(1420)$ and $η(1405)$ in the decay $J/ψ\to γπ^{0}π^{0}π^{0}$
A partial-wave analysis is performed on the decay $J/ψ\toγπ^{0}π^{0}π^{0}$ within the $π^{0}π^{0}π^{0}$ invariant-mass region below 1.6 GeV$/c^{2}$, using $(10.09~\pm~0.04)\times10^{9} ~J/ψ$ events collected with the BESIII detector. Significant isospin-violating decays of $η(1405)$ and $f_1(1420)$ into $f_0(980)π^{0}$ are observed. For the first time, three axial-vectors, $f_1(1285)$, $f_1(1420)$ and $f_1(1510)$, are observed to decay into $π^{0}π^{0}π^{0}$. The product branching…

A comparative study of focusing with scalar and vector beams in an active Raman gain system
Partha Das, Tarak Nath Dey
https://arxiv.org/abs/2506.05093 htt…

A comparative study of focusing with scalar and vector beams in an active Raman gain system
We investigate the focusing characteristics of scalar and vector beams within an atomic medium. An active-Raman-gain configuration is employed to achieve significant Kerr nonlinearity in a four-state atomic system. The probe beams can attain focusing within the medium through careful selection of input beam intensities and the spatial profile of the control field. We analytically derive the linear and third-order nonlinear susceptibilities for both scalar and vector probe beams. Our observation…

On a linear equation arising in the study of phase separation of BEC's
Christos Sourdis
https://arxiv.org/abs/2506.05299 https://…

On a linear equation arising in the study of phase separation of BEC's
We consider the inner limit system describing the phase separation in two-component Bose-Einstein condensates linearized around the one-dimensional solution in an infinite strip with zero and periodic boundary conditions, and obtain optimal invertibility estimates for the Fourier modes without necessarily assuming orthogonality conditions.

A Comprehensive Study on Medical Image Segmentation using Deep Neural Networks
Loan Dao, Ngoc Quoc Ly
https://arxiv.org/abs/2506.04121 https://

A Comprehensive Study on Medical Image Segmentation using Deep Neural Networks
Over the past decade, Medical Image Segmentation (MIS) using Deep Neural Networks (DNNs) has achieved significant performance improvements and holds great promise for future developments. This paper presents a comprehensive study on MIS based on DNNs. Intelligent Vision Systems are often evaluated based on their output levels, such as Data, Information, Knowledge, Intelligence, and Wisdom (DIKIW),and the state-of-the-art solutions in MIS at these levels are the focus of research. Additionally, …

Canonical traces of fiber products and their applications
Shinya Kumashiro, Sora Miyashita
https://arxiv.org/abs/2506.04899 https://a…

Canonical traces of fiber products and their applications
We study the canonical trace of the fiber product of Noetherian rings. Furthermore, we extend results on the class of Cohen-Macaulay rings called Teter type to Noetherian rings. As an application of our study on canonical traces and Noetherian rings of Teter type, we compute the canonical trace of the Stanley-Reisner ring arising from a non-connected simplicial complex. In particular, we provide a characterization of Stanley-Reisner rings for which the canonical trace contains the graded maxima…

Spore in the Wild: Case Study on Spore.fun, a Real-World Experiment of Sovereign Agent Open-ended Evolution on Blockchain with TEEs
Botao Amber Hu, Helena Rong
https://arxiv.org/abs/2506.04236

Spore in the Wild: Case Study on Spore.fun, a Real-World Experiment of Sovereign Agent Open-ended Evolution on Blockchain with TEEs
In Artificial Life (ALife) research, replicating Open-Ended Evolution (OEE)-the continuous emergence of novelty observed in biological life-has traditionally been pursued within isolated closed system simulations, such as Tierra and Avida, which have typically plateaued after an initial burst of novelty, failing to achieve sustained OEE. Scholars suggest that OEE requires an "open" system that continually exchanges information or energy with its environment. A recent technological innovation in…

Dynamics of Wound Closure in Living Nematic Epithelia
Henry Andralojc, Jake Turley, Helen Weavers, Paul Martin, Isaac V. Chenchiah, Rachel R. Bennett, Tanniemola B. Liverpool
https://arxiv.org/abs/2506.04922

Dynamics of Wound Closure in Living Nematic Epithelia
We study theoretically the closure of a wound in a layer of epithelial cells in a living tissue after damage. Our analysis is informed by our recent experiments observing re-epithelialisation in vivo of Drosophila pupae. On time and length-scales such that the evolution of the epithelial tissue near the wound is well captured by that of a 2D active fluid with local nematic order, we consider the free-surface problem of a hole in a bounded region of tissue, and study the role that active stresse…

Experimental Study of Tensor Structure Function of Deuteron
Jiwan Poudel, Alessandro Bacchetta, Jian-Ping Chen, Nathaly Santiesteban
https://arxiv.org/abs/2506.04506

Experimental Study of Tensor Structure Function of Deuteron
The deuteron is the lightest spin-1 nucleus, consisting of a weakly bound system of two spin-1/2 nucleons. One intriguing characteristic of the deuteron is the tensor polarized structure, which cannot be naively constructed combining the proton and neutron structure. The tensor structure of the deuteron provides unique insights into the quarks and gluons distributions and their dynamics within the nucleus. It can be studied experimentally through inclusive and semi-inclusive Deep Inelastic Scat…

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

Various topos of types constructions
We study and compare some topos of types constructions, which were defined by Garner, Joyal, Reyes and Makkai.

Redefining Functionality and Construction-Defining Capacity: Functions as Principles of Syntactic and Semantic Generation
Yumiko Nishiyama
https://arxiv.org/abs/2506.04278

Redefining Functionality and Construction-Defining Capacity: Functions as Principles of Syntactic and Semantic Generation
This study redefines the notion of functionality-traditionally understood as a property of mappings or structure preservation-from a more fundamental and generative perspective. Introducing the concept of a Construction-Defining function (CDF), we formalize functionality as a dual capacity to generate both syntactic terms and semantic interpretations. We provide an explicit axiomatization of CDF based on syntactic generativity and semantic compositionality, and further construct categorical mod…

💫 Study shows information on slot machines is misleading players into thinking they have a higher chance of winning
https://medicalxpress.com/news/2025-05-slot-machines-players-higher-chance.html

Study shows information on slot machines is misleading players into thinking they have a higher chance of winning
A new gambling study has found that payout information shown on slot machines is misleading and is making players believe they have a higher chance of winning.

Neue Studie zeigt: EU-Bürger akzeptieren keinen demokratischen Rückschritt. Untersuchungen und Experimente zeigen, dass eine Mehrheit der Befragten Maßnahmen der EU gegen Regierungen befürwortet, die gegen demokratische Normen verstoßen.
https://www.e…

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

Quantum Algorithm for Vibronic Dynamics: Case Study on Singlet Fission Solar Cell Design
Vibronic interactions between nuclear motion and electronic states are critical for the accurate modeling of photochemistry. However, accurate simulations of fully quantum non-adiabatic dynamics are often prohibitively expensive for classical methods beyond small systems. In this work, we present a quantum algorithm based on product formulas for simulating time evolution under a general vibronic Hamiltonian in real space, capable of handling an arbitrary number of electronic states and vibratio…

Learning to Diagnose Privately: DP-Powered LLMs for Radiology Report Classification
Payel Bhattacharjee, Fengwei Tian, Ravi Tandon, Joseph Lo, Heidi Hanson, Geoffrey Rubin, Nirav Merchant, John Gounley
https://arxiv.org/abs/2506.04450

Learning to Diagnose Privately: DP-Powered LLMs for Radiology Report Classification
Purpose: This study proposes a framework for fine-tuning large language models (LLMs) with differential privacy (DP) to perform multi-abnormality classification on radiology report text. By injecting calibrated noise during fine-tuning, the framework seeks to mitigate the privacy risks associated with sensitive patient data and protect against data leakage while maintaining classification performance. Materials and Methods: We used 50,232 radiology reports from the publicly available MIMIC-CXR …

Thermoplasmonics of Gold-Core Silica-Shell Colloidal Nanoparticles under Pulse Illumination
Julien El Hajj, Gilles Ledoux, Samy Merabia
https://arxiv.org/abs/2506.04835

Thermoplasmonics of Gold-Core Silica-Shell Colloidal Nanoparticles under Pulse Illumination
Core-shell nanoparticles, particularly those having a gold core, have emerged as a highly promising class of materials due to their unique optical and thermal properties, which underpin a wide range of applications in photothermal therapy, imaging, and biosensing. In this study, we present a comprehensive study of the thermal dynamics of gold-core silica-shell nanoparticles immersed in water under pulse illumination. The plasmonic response of the core-shell nanoparticle is described by incorpor…

Turning to Online Forums for Legal Information: A Case Study of GDPR's Legitimate Interests
Lin Kyi, Cristiana Santos, Sushil Ammanaghatta Shivakumar, Franziska Roesner, Asia Biega
https://arxiv.org/abs/2506.04260

Turning to Online Forums for Legal Information: A Case Study of GDPR's Legitimate Interests
Practitioners building online services and tools often turn to online forums such as Reddit, Law Stack Exchange, and Stack Overflow for legal guidance to ensure compliance with the GDPR. The legal information presented in these forums directly impact present-day industry practitioner's decisions. Online forums can serve as gateways that, depending on the accuracy and quality of the answers provided, may either support or undermine the protection of privacy and data protection fundamental rights…

Regret-Optimal Q-Learning with Low Cost for Single-Agent and Federated Reinforcement Learning
Haochen Zhang, Zhong Zheng, Lingzhou Xue
https://arxiv.org/abs/2506.04626

Regret-Optimal Q-Learning with Low Cost for Single-Agent and Federated Reinforcement Learning
Motivated by real-world settings where data collection and policy deployment -- whether for a single agent or across multiple agents -- are costly, we study the problem of on-policy single-agent reinforcement learning (RL) and federated RL (FRL) with a focus on minimizing burn-in costs (the sample sizes needed to reach near-optimal regret) and policy switching or communication costs. In parallel finite-horizon episodic Markov Decision Processes (MDPs) with $S$ states and $A$ actions, existing m…

So today, I asked an AI to design a scientific study. The prompt was 5 paragraphs long.
It's been 27 minutes since I pushed that button, and it just started writing!

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

Counting Rational Points In Non-Isotropic Neighborhoods of Manifolds
In this manuscript, we initiate the study of the number of rational points with bounded denominators, contained in a non-isotropic $δ_1\times\ldots\times δ_R$ neighborhood of a compact submanifold $\mathcal{M}$ of codimension $R$ in $\mathbb{R}^{M}$. We establish an upper bound for this counting function which holds when $\mathcal{M}$ satisfies a strong curvature condition, first introduced by Schindler-Yamagishi in \cite{schindler2022density}. Further, even in the isotropic case when $δ_1=\…

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

Moments and saddles of heavy CFT correlators
We study the operator product expansion (OPE) of identical scalars in a conformal four-point correlator as a Stieltjes moment problem, and use Riemann-Liouville type fractional differential operators to generate classical moments from the correlation function. We use crossing symmetry to derive leading and subleading relations between moments in $Δ$ and $J_2 \equiv \ell(\ell+d-2)$ in the ``heavy" limit of large external scaling dimension, and combine them with constraints from unitarity to der…

Reactive Transport Simulation of Silicate-Rich Shale Rocks when Exposed to CO2 Saturated Brine Under High Pressure and High Temperature
Shaziya A. Banu, Venkata R. S. B. Varanasi, Arash Noshadravan, Sara Abedi
https://arxiv.org/abs/2506.05122

Reactive Transport Simulation of Silicate-Rich Shale Rocks when Exposed to CO2 Saturated Brine Under High Pressure and High Temperature
This study examines the feasibility of carbon dioxide storage in shale rocks and the reliability of reactive transport models in achieving accurate replication of the chemo-mechanical interactions and transport processes transpiring in these rocks when subjected to CO2 saturated brine. Owing to the heterogeneity of rocks, experimental testing for adequate deductions and findings, could be an expensive and time-intensive process. Therefore, this study proposes utilization of reactive transport m…

Impact of triangularity on edge transport and divertor detachment: a SOLPS-ITER study of TCV L-mode plasmas
Fabio Mombelli, Andrea Mastrogirolamo, Elena Tonello, Olivier F\'evrier, Garance Durr-Legoupil-Nicoud, Massimo Carpita, Fabio Subba, Matteo Passoni, the TCV team, the EUROfusion Tokamak Exploitation Team
https://arxiv.…

Impact of triangularity on edge transport and divertor detachment: a SOLPS-ITER study of TCV L-mode plasmas
Negative triangularity (NT) magnetic configurations have recently gained attention as a promising route to achieve H-mode-like confinement without edge-localized modes (ELMs) and without a power threshold for access. While both core and edge confinement properties of NT have been extensively documented, consistently lower divertor target cooling and increased difficulty in achieving a detached regime have been observed. This work presents a comparative SOLPS-ITER modeling study of two Ohmic L-m…

An analysis of the top 100 trending TikTok videos under #mentalhealthtips finds 52 contain misinformation, including misused language and quick-fix methods (The Guardian)

Study of Complexity Factor and Stability of Dynamical Systems in $f(G)$ Gravity
M. Zeeshan Gul, W. Ahmad, M. M. M. Nasir, Faisal Javed, Orhan Donmez, Bander Almutairi
https://arxiv.org/abs/2506.03559

Study of Complexity Factor and Stability of Dynamical Systems in $f(G)$ Gravity
In this paper, we evaluate the complexity of the non-static cylindrical geometry with anisotropic matter configuration in the framework of modified Gauss-Bonnet theory. In this perspective, we calculate modified field equations, the C energy formula, and the mass function that helps to understand the astrophysical structures in this modified gravity. Furthermore, we use the Weyl tensor and obtain different structure scalars by orthogonally splitting the Riemann tensor. One of these scalars, $YT…

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

General infinitesimal variations of Hodge structure of ample curves in surfaces
Given a smooth projective complex curve inside a smooth projective surface, one can ask how its Hodge structure varies when the curve moves inside the surface. In this paper we develop a general theory to study the infinitesimal version of this question in the case of ample curves. We can then apply the machinery to show that the infinitesimal variation of Hodge structure of a general deformation of an ample curve in $\mathbb{P}^1\times\mathbb{P}^1$ is an isomorphism.

Tax Credit Increase Would Exclude Millions of Low-Income Children, Study Finds - The New York Times
https://www.nytimes.com/2025/06/05/us/politics/child-tax-credit.html

"Reform’s Clean Energy Crackdown Would Cost 60,000 Jobs and Raise Bills, Says Study"
#UK #UnitedKingdom #Climate

Reform’s Clean Energy Crackdown Would Cost 60,000 Jobs and Raise Bills, Says Study
Reform UK’s policies to “scrap net zero” would cost more than 60,000 jobs and wipe £92 billion off the UK economy, according to a new study. Nigel Farage’s party — which took control of 10 councils in the recent local elections — this week claimed that the government could save £45 billion every year by […]

Computing $H$-equations with 2-by-2 integral matrices
Gemma Bastardas, Enric Ventura
https://arxiv.org/abs/2506.05272 https://arxiv.o…

Computing $H$-equations with 2-by-2 integral matrices
We study the transference through finite index extensions of the notion of equational coherence, as well as its effective counterpart. We deduce an explicit algorithm for solving the following algorithmic problem about size two integral invertible matrices: ''given $h_1,\ldots, h_r; g\in \operatorname{PSL}_2(\mathbb{Z})$, decide whether $g$ is algebraic over the subgroup $H=\langle h_1,\ldots ,h_r\rangle \leqslant \operatorname{PSL}_2(\mathbb{Z})$ (i.e., whether there exist a non-trivial $H$-eq…

Sources: Thrive and Capital Group visited China to study its AI scene, joining a wave of US investors rekindling interest in China after DeepSeek's advances (Lulu Yilun Chen/Bloomberg)
https://www.bloomberg.com/news/articles/20

FPF Launches Major Initiative to Study Economic and Policy Implications of AgeTech
https://fpf.org/press-releases/fpf-launches-major-initiative-to-study-economic-and-policy-implications-of-agetech/

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

Positively closed $Sh(B)$-valued models
We study positively closed and strongly positively closed topos-valued models of coherent theories. Positively closed is a global notion (it is defined in terms of all possible outgoing homomorphisms), while strongly positively closed is a local notion (it only concerns the definable sets inside the model). For $\mathbf{Set}$-valued models of coherent theories they coincide. We prove that if $\mathcal{E}=Sh(X)$ for an extremally disconnected Stone space (or equivalently $\mathcal{E}=Sh(B,τ_{…

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

Information Science Principles of Machine Learning: A Causal Chain Meta-Framework Based on Formalized Information Mapping
[Objective] This study focuses on addressing the current lack of a unified formal theoretical framework in machine learning, as well as the deficiencies in interpretability and ethical safety assurance. [Methods] A formal information model is first constructed, utilizing sets of well-formed formulas to explicitly define the ontological states and carrier mappings of typical components in machine learning. Learnable and processable predicates, along with learning and processing functions, are in…

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

Learning pure quantum states (almost) without regret
We initiate the study of sample-optimal quantum state tomography with minimal disturbance to the samples. Can we efficiently learn a precise description of a quantum state through sequential measurements of samples while at the same time making sure that the post-measurement state of the samples is only minimally perturbed? Defining regret as the cumulative disturbance of all samples, the challenge is to find a balance between the most informative sequence of measurements on the one hand and me…

Across Programming Language Silos: A Study on Cross-Lingual Retrieval-augmented Code Generation
Qiming Zhu, Jialun Cao, Xuanang Chen, Yaojie Lu, Hongyu Lin, Xianpei Han, Le Sun, Shing-Chi Cheung
https://arxiv.org/abs/2506.03535

Across Programming Language Silos: A Study on Cross-Lingual Retrieval-augmented Code Generation
Current research on large language models (LLMs) with retrieval-augmented code generation (RACG) mainly focuses on single-language settings, leaving cross-lingual effectiveness and security unexplored. Multi-lingual RACG systems are valuable for migrating code-bases across programming languages (PLs), yet face risks from error (e.g. adversarial data corruption) propagation in cross-lingual transfer. We construct a dataset spanning 13 PLs with nearly 14k instances to explore utility and robustne…

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

Assessing AI Explainability: A Usability Study Using a Novel Framework Involving Clinicians
An AI design framework was developed based on three core principles, namely understandability, trust, and usability. The framework was conceptualized by synthesizing evidence from the literature and by consulting with experts. The initial version of the AI Explainability Framework was validated based on an in-depth expert engagement and review process. For evaluation purposes, an AI-anchored prototype, incorporating novel explainability features, was built and deployed online. The primary funct…

Hay grown for cattle consumes nearly half the water drawn from Colorado River, study finds https://www.latimes.com/environment/story/2024-03-28/alfalfa-hay-beef-water-colorado-river

Hay consumes a vast share of the Colorado River's water
Much of the Colorado River's water is used for agriculture. A new study shows 46% of the water that is diverted is used to grow hay to feed cattle.

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

Tropical Fermat-Weber Polytropes
We study the geometry of tropical Fermat-Weber points in terms of the symmetric tropical metric over the tropical projective torus. It is well-known that a tropical Fermat-Weber point of a given sample is not unique and we show that the set of all possible Fermat-Weber points forms a polytrope. To prove this, we show that the tropical Fermat-Weber is the dual of a minimum-cost flow problem, and that its polytrope is a bounded cell of a tropical hyperplane arrangement given by both max- and min-…

Learning Joint Interventional Effects from Single-Variable Interventions in Additive Models
Armin Keki\'c, Sergio Hernan Garrido Mejia, Bernhard Sch\"olkopf
https://arxiv.org/abs/2506.04945

Learning Joint Interventional Effects from Single-Variable Interventions in Additive Models
Estimating causal effects of joint interventions on multiple variables is crucial in many domains, but obtaining data from such simultaneous interventions can be challenging. Our study explores how to learn joint interventional effects using only observational data and single-variable interventions. We present an identifiability result for this problem, showing that for a class of nonlinear additive outcome mechanisms, joint effects can be inferred without access to joint interventional data. W…

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

A survey on big Ramsey structures
In recent years, there has been much progress in the field of structural Ramsey theory, in particular in the study of big Ramsey degrees. In all known examples of infinite structures with finite big Ramsey degrees, there is in fact a single expansion of the structure, called a big Ramsey structure, which correctly encodes the exact big Ramsey degrees of every finite substructure simultaneously. The first half of the article collects facts about this phenomenon that have appeared in the literatu…

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

Blackout DIFUSCO
This study explores the integration of Blackout Diffusion into the DIFUSCO framework for combinatorial optimization, specifically targeting the Traveling Salesman Problem (TSP). Inspired by the success of discrete-time diffusion models (D3PM) in maintaining structural integrity, we extend the paradigm to a continuous-time framework, leveraging the unique properties of Blackout Diffusion. Continuous-time modeling introduces smoother transitions and refined control, hypothesizing enhanced solutio…

Hello, won't you tell me your name?: Investigating Anonymity Abuse in IPFS
Christos Karapapas, Iakovos Pittaras, George C. Polyzos, Constantinos Patsakis
https://arxiv.org/abs/2506.04307

Hello, won't you tell me your name?: Investigating Anonymity Abuse in IPFS
The InterPlanetary File System~(IPFS) offers a decentralized approach to file storage and sharing, promising resilience and efficiency while also realizing the Web3 paradigm. Simultaneously, the offered anonymity raises significant questions about potential misuse. In this study, we explore methods that malicious actors can exploit IPFS to upload and disseminate harmful content while remaining anonymous. We evaluate the role of pinning services and public gateways, identifying their capabilitie…

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

Exploring Confinement in Anti-de Sitter Space
We study Yang-Mills theory on four dimensional Anti-de Sitter space. The Dirichlet boundary condition cannot exist at arbitrarily large radius because it would give rise to colored asymptotic states in flat space. As observed in [1] this implies a deconfinement-confinement transition as the radius is increased. We gather hints on the nature of this transition using perturbation theory. We compute the anomalous dimensions of the lightest scalar operators in the boundary theory, finding that the …

Towards generating more interpretable counterfactuals via concept vectors: a preliminary study on chest X-rays
Bulat Maksudov, Kathleen Curran, Alessandra Mileo
https://arxiv.org/abs/2506.04058

Towards generating more interpretable counterfactuals via concept vectors: a preliminary study on chest X-rays
An essential step in deploying medical imaging models is ensuring alignment with clinical knowledge and interpretability. We focus on mapping clinical concepts into the latent space of generative models to identify Concept Activation Vectors (CAVs). Using a simple reconstruction autoencoder, we link user-defined concepts to image-level features without explicit label training. The extracted concepts are stable across datasets, enabling visual explanations that highlight clinically relevant feat…

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

Equivariant homology of stacks
We use sheaf theory and the six operations to define and study the (equivariant) homology of stacks. The construction makes sense in the algebraic, complex-analytic, or even topological categories.

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

Feasibility study of true muonium observation with the existing Belle-II dataset
True muonium ($μ^+μ^-$) is one of the cleanest bound states, being composed only of leptons, along with true tauonium and positronium. Unlike the latter, true muonium and true tauonium have not been observed so far. This article shows that the spin-0 state of true muonium (para-TM), decaying into two photons, can be observed at a discovery level of significance in the dataset already collected by the Belle-II experiment at the $Υ(4S)$ peak, with certain assumptions on systematic uncertaintie…

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

Summary Report of the Physics Beyond Colliders Study at CERN
The Physics Beyond Collider (PBC) Study Group was initially mandated by the CERN Management to prepare the previous European Particle Physics Strategy Update for CERN projects other than the high-energy frontier colliders. The main findings were summarized in an PBC Summary Report submitted to the Strategy Update. Following the Update process, the PBC Study Group was confirmed on a permanent basis with an updated mandate taking into account the strategy recommendations. The Study Group is now i…

Development and Testing of a Low Cost Ultrasonic Leak Detector
Senol Gulgonul
https://arxiv.org/abs/2506.04862 https://arxiv.org/pdf/…

Development and Testing of a Low Cost Ultrasonic Leak Detector
This study focuses on the development of an ultrasonic leak detection system utilizing the Arduino Nano 33 BLE Sense Rev2 board. The research aimed to create a compact and cost-effective solution for identifying leaks in high-pressure pipes. Algorithms were designed to enable lossless recording and processing of sound data captured by the onboard MEMS microphone. Key signal processing techniques, including the implementation of an IIR high-pass filter and RMS calculation, were employed to detec…

An analysis of the top 100 trending TikTok videos under #mentalhealthtips finds 52 contain misinformation, including misused language and quick-fix methods (The Guardian)

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

Classical notions of computation and the Hasegawa-Thielecke theorem
In the spirit of the Curry-Howard correspondence between proofs and programs, we define and study a syntax and semantics for classical logic equipped with a computationally involutive negation, using a polarised effect calculus. A main challenge in designing a denotational semantics is to accommodate both call-by-value and call-by-name evaluation strategies, which leads to a failure of associativity of composition. Building on the work of the third author, we devise the notion of dialogue duplo…

Fault Localisation and Repair for DL Systems: An Empirical Study with LLMs
Jinhan Kim, Nargiz Humbatova, Gunel Jahangirova, Shin Yoo, Paolo Tonella
https://arxiv.org/abs/2506.03396

Fault Localisation and Repair for DL Systems: An Empirical Study with LLMs
Numerous Fault Localisation (FL) and repair techniques have been proposed to address faults in Deep Learning (DL) models. However, their effectiveness in practical applications remains uncertain due to the reliance on pre-defined rules. This paper presents a comprehensive evaluation of state-of-the-art FL and repair techniques, examining their advantages and limitations. Moreover, we introduce a novel approach that harnesses the power of Large Language Models (LLMs) in localising and repairing …

"Tuna fishing devices drift through a third of oceans, harming corals, coasts: Study"
#Fishing #Oceans #Pollution

Tuna fishing devices drift through a third of oceans, harming corals, coasts: Study
A recent study reveals that drifting fish aggregating devices (dFADs), widely used in tuna fishing, have spread to more than a third of the world’s oceans.  These devices harm ocean life and coastal communities, but weak rules and lack of accountability make it hard to manage them properly, some conservationists say. The study, published in […]

Climate change and shrinking Arctic sea ice threaten bowhead whales https://news.mongabay.com/short-article/2025/06/climate-change-and-shrinking-arctic-sea-ice-threaten-bowhead-whales/

Climate change and shrinking Arctic sea ice threaten bowhead whales
Bowhead whales are endemic to the icy waters of the Arctic and prefer living in shallow waters near sea ice, filtering krill and tiny crustaceans called copepods for food. However, the Arctic is warming faster than any other region on Earth, and a recent study estimates that if this continues, then by 2100 the whales […]

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

Mapped Exponent and Asymptotic Critical Exponent of Words
We study how much injective morphisms can increase the repetitiveness of a given word. This question has a few possible variations depending on the meaning of ``repetitiveness''. We concentrate on fractional exponents of finite words and asymptotic critical exponents of infinite words. We characterize finite words that, when mapped by injective morphisms, can have arbitrarily high fractional exponent. For infinite words, alongside other results, we show that the asymptotic critical exponent gro…

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

Missing Pieces: How Do Designs that Expose Uncertainty Longitudinally Impact Trust in AI Decision Aids? An In Situ Study of Gig Drivers
Decision aids based on artificial intelligence (AI) induce a wide range of outcomes when they are deployed in uncertain environments. In this paper, we investigate how users' trust in recommendations from an AI decision aid is impacted over time by designs that expose uncertainty in predicted outcomes. Unlike previous work, we focus on gig driving - a real-world, repeated decision-making context. We report on a longitudinal mixed-methods study ($n=51$) where we measured gig drivers' trust as th…

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

Black Hole Chemistry Knows Extra Dimensions
: In this note, we study an extra dimension effect on the black hole chemistry in the 8-dimensional Einstein-Yang-Mills-Maxwell theory. The base spacetime contains 4- dimensional compact manifolds and an instanton on top of those. We demonstrate how the extra dimensions affect the phase transition and viable black hole sizes in the 4-dimensional Einstein frame through the black hole chemistry. We focus on asymptotically anti-de Sitter spacetimes for the effective 4-dimensional model obtained by…

Integrating Emerging Technologies in Virtual Learning Environments: A Comparative Study of Perceived Needs among Open Universities in Five Southeast Asian Countries
Roberto Bacani Figueroa Jr, Mai Huong Nguyen, Aliza Ali, Lugsamee Nuamthanom Kimura, Marisa Marisa, Ami Hibatul Jameel, Luisa Almeda Gelisan
https://arxiv.org/abs/25…

Integrating Emerging Technologies in Virtual Learning Environments: A Comparative Study of Perceived Needs among Open Universities in Five Southeast Asian Countries
Amid the growing need to keep learners abreast of rapid technological advancements brought about by the Fourth Industrial Revolution, this study explores perceived needs of students in virtual learning environments supported by emerging technologies. A survey was conducted across five leading open universities in Southeast Asia. The study aimed to identify student preferences regarding features of their virtual learning environments that could better prepare them as productive citizens and prof…

Maximizing the Value of Predictions in Control: Accuracy Is Not Enough
Yiheng Lin, Christopher Yeh, Zaiwei Chen, Adam Wierman
https://arxiv.org/abs/2506.04497

Maximizing the Value of Predictions in Control: Accuracy Is Not Enough
We study the value of stochastic predictions in online optimal control with random disturbances. Prior work provides performance guarantees based on prediction error but ignores the stochastic dependence between predictions and disturbances. We introduce a general framework modeling their joint distribution and define "prediction power" as the control cost improvement from the optimal use of predictions compared to ignoring the predictions. In the time-varying Linear Quadratic Regulator (LQR) s…

💪 Omnivorous? Vegan? Makes no difference to muscle building after weight training, study finds
https://medicalxpress.com/news/2025-04-omnivorous-vegan-difference-muscle-weight.html

Omnivorous? Vegan? Makes no difference to muscle building after weight training, study finds
A new study asked three questions about muscle protein synthesis in response to a nine-day diet and weight training regimen: First, does the source of protein—plant or animal-based—make any difference to muscle gain? Second, does it matter if total daily protein intake is evenly distributed throughout the day? And third, does a moderate but sufficient daily protein intake influence any of these variables? The answer to all three questions is "no," the researchers found.

Almost 1 million Russian troops killed or wounded in Ukraine war, study says
https://www.nbcnews.com/world/ukraine/russia-ukraine-war-troop-casualties-1-million-report-csis-spiderweb-rcna210837

This https://arxiv.org/abs/2311.15919 has been replaced.
link: https://scholar.google.com/scholar?q=a

What Monads Can and Cannot Do with a Few Extra Pages
The delay monad provides a way to introduce general recursion in type theory. To write programs that use a wide range of computational effects directly in type theory, we need to combine the delay monad with the monads of these effects. Here we present a first systematic study of such combinations. We study both the coinductive delay monad and its guarded recursive cousin, giving concrete examples of combining these with well-known computational effects. We also provide general theorems stati…

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

Why Johnny Signs with Next-Generation Tools: A Usability Case Study of Sigstore
Software signing is the most robust method for ensuring the integrity and authenticity of components in a software supply chain. However, traditional signing tools place key management and signer identification burdens on practitioners, leading to both security vulnerabilities and usability challenges. Next-generation signing tools such as Sigstore have automated some of these concerns, but little is known about their usability and adoption dynamics. This knowledge gap hampers the integration o…

Beyond the Desktop: XR-Driven Segmentation with Meta Quest 3 and MX Ink
Lisle Faray de Paiva, Gijs Luijten, Ana Sofia Ferreira Santos, Moon Kim, Behrus Puladi, Jens Kleesiek, Jan Egger
https://arxiv.org/abs/2506.04858

Beyond the Desktop: XR-Driven Segmentation with Meta Quest 3 and MX Ink
Medical imaging segmentation is essential in clinical settings for diagnosing diseases, planning surgeries, and other procedures. However, manual annotation is a cumbersome and effortful task. To mitigate these aspects, this study implements and evaluates the usability and clinical applicability of an extended reality (XR)-based segmentation tool for anatomical CT scans, using the Meta Quest 3 headset and Logitech MX Ink stylus. We develop an immersive interface enabling real-time interaction w…

Air-quality monitoring underestimates toxic emissions to Salton Sea communities, study finds https://www.sciencedaily.com/releases/2025/06/250602154610.htm
Air-quality monitoring underestimates toxic emissions to Salton Sea communities, study finds

Air-quality monitoring underestimates toxic emissions to Salton Sea communities, study finds
Researchers showed that hydrogen sulfide, which is associated with numerous health conditions, is emitted from California's largest lake at levels far higher and more frequently than previously reported.

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

Inertial Methods with Viscous and Hessian driven Damping for Non-Convex Optimization
In this paper, we aim to study non-convex minimization problems via second-order (in-time) dynamics, including a non-vanishing viscous damping and a geometric Hessian-driven damping. Second-order systems that only rely on a viscous damping may suffer from oscillation problems towards the minima, while the inclusion of a Hessian-driven damping term is known to reduce this effect without explicit construction of the Hessian in practice. There are essentially two ways to introduce the Hessian-driv…

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

Arborescences of Random Covering Graphs
A rooted arborescence of a directed graph is a spanning tree directed towards a particular vertex. A recent work of Chepuri et al. showed that the arborescences of a covering graph of a directed graph G are closely related to the arborescences of G. In this paper, we study the weighted sum of arborescences of a random covering graph and give a formula for the expected value, resolving a conjecture of Chepuri et al.

Logical Inferentialism & Attacks on Classical Logic
Khashayar Irani
https://arxiv.org/abs/2506.04295 https://arxiv.org/pdf/2506.0…

Logical Inferentialism & Attacks on Classical Logic
This paper undertakes a foundational inquiry into logical inferentialism with particular emphasis on the normative standards it establishes and the implications these pose for classical logic. The central question addressed herein is: 'What is Logical Inferentialism & How do its Standards challenge Classical Logic?' In response, the study begins with a survey of the three principal proof systems that is, David Hilbert's axiomatic systems and Gerhard Gentzen's natural deduction and his sequent c…

How do Pre-Trained Models Support Software Engineering? An Empirical Study in Hugging Face
Alexandra Gonz\'alez, Xavier Franch, David Lo, Silverio Mart\'inez-Fern\'andez
https://arxiv.org/abs/2506.03013

How do Pre-Trained Models Support Software Engineering? An Empirical Study in Hugging Face
Open-Source Pre-Trained Models (PTMs) provide extensive resources for various Machine Learning (ML) tasks, yet these resources lack a classification tailored to Software Engineering (SE) needs. To address this gap, we derive a taxonomy encompassing 147 SE tasks and apply an SE-oriented classification to PTMs in a popular open-source ML repository, Hugging Face (HF). Our repository mining study began with a systematically gathered database of PTMs from the HF API, considering their model card de…

Neuronal avalanches as a predictive biomarker of BCI performance: towards a tool to guide tailored training program
Camilla Mannino (NERV), Pierpaolo Sorrentino (INS), Mario Chavez (NERV), Marie-Costance Corsi (NERV)
https://arxiv.org/abs/2506.04745

Neuronal avalanches as a predictive biomarker of BCI performance: towards a tool to guide tailored training program
Brain-Computer Interfaces (BCIs) based on motor imagery (MI) hold promise for restoring control in individuals with motor impairments. However, up to 30% of users remain unable to effectively use BCIs-a phenomenon termed ''BCI inefficiency.'' This study addresses a major limitation in current BCI training protocols: the use of fixed-length training paradigms that ignore individual learning variability. We propose a novel approach that leverages neuronal avalanches-spatiotemporal cascades of bra…

A Multi-Dataset Evaluation of Models for Automated Vulnerability Repair
Zanis Ali Khan, Aayush Garg, Qiang Tang
https://arxiv.org/abs/2506.04987 https://…

A Multi-Dataset Evaluation of Models for Automated Vulnerability Repair
Software vulnerabilities pose significant security threats, requiring effective mitigation. While Automated Program Repair (APR) has advanced in fixing general bugs, vulnerability patching, a security-critical aspect of APR remains underexplored. This study investigates pre-trained language models, CodeBERT and CodeT5, for automated vulnerability patching across six datasets and four languages. We evaluate their accuracy and generalization to unknown vulnerabilities. Results show that while bot…

On the Practices of Autonomous Systems Development: Survey-based Empirical Findings
Katerina Goseva-Popstojanova, Denny Hood, Johann Schumann, Noble Nkwocha
https://arxiv.org/abs/2506.04438

On the Practices of Autonomous Systems Development: Survey-based Empirical Findings
Autonomous systems have gained an important role in many industry domains and are beginning to change everyday life. However, due to dynamically emerging applications and often proprietary constraints, there is a lack of information about the practice of developing autonomous systems. This paper presents the first part of the longitudinal study focused on establishing state-of-the-practice, identifying and quantifying the challenges and benefits, identifying the processes and standards used, an…