Tootfinder

Extract tables from pdfs with {tabulapdf} #rstats #datasciece

Every $1 in NIH funding in 2024 generated $2.56 in economic activity (PDF):
https://www.unitedformedicalresearch.org/wp-content/uploads/2025/03/UMR_NIH-Role-in-Sustaining-US-Economy-FY2024-2025-Update.…

The Marines and National Guard shouldn't be deployed to protests in LA, Texas or anywhere else.
But since they are, the Freedom of the Press Foundation and other press freedom groups wrote a letter to them explaining the basics of journalists' rights when covering demonstrations, and offering their help.
#Press #Freedom #Democracy

from my link log —
Exploiting undefined behavior in C/C programs for optimization: a study on the performance impact.
https://web.ist.utl.pt/nuno.lopes/pubs/ub-pldi25.pdf
saved 2025-04-23

Later, I'll be giving a talk at #IANLS25 on some quantitative analyses of Latin book prodcution in Germany (and Italy in part) from 1500 through 1800. Slides, code and data can be found here: https://doi.org/10.5281/zenodo.15878272

Parametrization of zero-skewness unpolarized GPDs
Hossein Vaziri Mohammad Reza Shojaei ID
https://arxiv.org/abs/2507.11177 https://ar…

Parametrization of zero-skewness unpolarized GPDs
Recent parameterizations of parton distribution functions (PDFs) have led to the determination of the gravitional form factors of the nucleon's dependence on generalized parton distributions of nucleons in the limit $ξ$$\to 0$. This paper aims to obtain the flavor division of nucleon electromagnetic and gravitional form factors using the VS24 Ansatz and two PDFs at $N^3L0$ approximation in GPDs. The PDFs and GPDs formalism enable the calculation of various form factors of nucleons in different…

GW231123 - a Binary Black Hole Merger with Total Mass 190-265 M_Sun: #BlackHole binary detected through gravitational waves: https://ligo.org/science-summaries/gw231123/ -> event: https://ligo.org/detections/gw231123 / conference slides: https://scicomm.xyz/@LIGO/114852330415127843 / Gravitational waves from massive black holes challenge current astrophysical models: https://ligo.org/wp-content/uploads/2025/07/Press-release-for-GW231123-discovery-paper-final.pdf

"Die Zahl der Pflegebedürftigen in Deutschland hat sich seit 2014 auf 5,6 Millionen Menschen verdoppelt – Tendenz weiter steigend."
PDF: https://md-bund.de/fileadmin/dokumente/Pressemitteilungen/2025/2025_06_12…

Path-filtration for modal logics applied to revisiting quasi-dense logics
Olivier Gasquet
https://arxiv.org/abs/2507.11258 https://ar…

Path-filtration for modal logics applied to revisiting quasi-dense logics
In https://arxiv.org/pdf/2405.10094 (also published at LICS'24 conference), Lyon and Ostropolski-Nalewaja answer the question of the decidability of quasi-dense modallogics, and give an upper bound in EXPSPACE. Unfortunately, their intricate proof contains a major flaw that cannot be fixed, leaving the question wide open. In this paper we provide a correct and rather simple and direct proof of it by introducing a new variant of the well-know filtration method based on paths in a canonical model…

Defining neurosymbolic AI
Lennert De Smet, Luc De Raedt
https://arxiv.org/abs/2507.11127 https://arxiv.org/pdf/2507.11127

Defining neurosymbolic AI
Neurosymbolic AI focuses on integrating learning and reasoning, in particular, on unifying logical and neural representations. Despite the existence of an alphabet soup of neurosymbolic AI systems, the field is lacking a generally accepted formal definition of what neurosymbolic models and inference really are. We introduce a formal definition for neurosymbolic AI that makes abstraction of its key ingredients. More specifically, we define neurosymbolic inference as the computation of an integra…