Tootfinder

Israeli military used 500lb bomb in strike on Gaza cafe, fragments reveal | Israel-Gaza war | The Guardian https://www.theguardian.com/world/2025/jul/02/israeli-military-bomb-fragments-gaza-al-baqa-cafe

Israeli military used 500lb bomb in strike on Gaza cafe, fragments reveal (Jason Burke/The Guardian)
https://www.theguardian.com/world/2025/jul/02/israeli-military-bomb-fragments-gaza-al-baqa-cafe
http://www.memeorandum.com/250702/p119#a250702p119

A Decidable Bundled Fragment of First-Order Modal Logic Without Finite Model Property
Varad Joshi, Anantha Padmanabha
https://arxiv.org/abs/2506.01421 http…

A Decidable Bundled Fragment of First-Order Modal Logic Without Finite Model Property
The satisfiability problem for First-order Modal Logic (\FOML) is undecidable even for simple fragments like having only unary predicates, two variables etc. Recently a new way to identify decidable fragments of \FOML has been introduced called the "bundled fragments", where the quantifiers and modalities are restricted to appear together. Since there are many ways to bundle the quantifiers together, some of them lead to (un)decidable fragments. In (Liu et.al, 2023) the authors prove a `trichot…

Decision algorithms for fragments of real analysis. III: A theory of differentiable functions with (semi-)open intervals
G. Buriola, D. Cantone, G. Cincotti, E. G. Omodeo, G. T. Spart\`a
https://arxiv.org/abs/2507.02742

Decision algorithms for fragments of real analysis. III: A theory of differentiable functions with (semi-)open intervals
This paper enriches preexisting satisfiability tests for unquantified languages, which in turn augment a fragment of Tarski's elementary algebra with unary real functions possessing a continuous first derivative. Two sorts of individual variables are available, one ranging over real numbers and the other one ranging over the functions of interest. Numerical terms are built from real variables through constructs designating the four basic arithmetic operations and through the function-applicat…

If you take a walk along the coast, near Caleta Camarones in northern Chile, near an old archeological site called Camarones 15, it is hard not to spot evidence of the mummies.
Cloth, rope, hair, tiny fragments of bones, and pieces of wood, an item that is nowhere to be seen growing anywhere nearby, but which the Chinchorro people used to keep their mummies intact like little dolls.
The Chinchorro mummies are considered the oldest mummies in the world.
Thousands of years olde…

The Chinchorro Mummies: Resisting in the Desert
Seven thousand years ago, the Chinchorro people, along the Pacific coast of South America, began to mummify their dead. Their bodies remain hidden in the desert. This is episode 41 of Stories of Resistance.

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

Tokenizing Electron Cloud in Protein-Ligand Interaction Learning
The affinity and specificity of protein-molecule binding directly impact functional outcomes, uncovering the mechanisms underlying biological regulation and signal transduction. Most deep-learning-based prediction approaches focus on structures of atoms or fragments. However, quantum chemical properties, such as electronic structures, are the key to unveiling interaction patterns but remain largely underexplored. To bridge this gap, we propose ECBind, a method for tokenizing electron cloud sign…

A wonderful description of how the technology works.

"ChatGPT generates realistic responses by making guesses about which fragments of text should follow other sequences, based on a statistical model that has ingested billions of examples of text pulled from all over the internet. In Mr. Mata’s case, the program appears to have discerned the labyrinthine framework of a written legal argument, but has populated it with names and facts from a bouillabaisse of existing cases."

🇺🇦 #NowPlaying on BBCRadio3's #20thCenturyRadicals
Annea Lockwood & Annea Lockwood:
🎵 Bottle Tree Showered with Fragments from The Glass World
#AnneaLockwood

Finite Combinatorics and Fragments of Arithmetic
Wei Wang
https://arxiv.org/abs/2506.17943 https://arxiv.org/pdf/2506.17943

Finite Combinatorics and Fragments of Arithmetic
In fragments of first order arithmetic, definable maps on finite domains could behave very differently from finite maps. Here combinatorial properties of $Σ_{n+1}$-definable maps on finite domains are compared in the absence of $BΣ_{n+1}$. It is shown that $\mathrm{GPHP}(Σ_{n+1})$ (the $Σ_{n+1}$-instance of Kaye's General Pigeonhole Principle) lies strictly between $\mathrm{CARD}(Σ_{n+1})$ and $\mathrm{WPHP}(Σ_{n+1})$ (Weak Pigeonhole Principle for $Σ_{n+1}$-maps), and also that $\mathrm…

A Graph Completion Method that Jointly Predicts Geometry and Topology Enables Effective Molecule Assembly
Rohan V. Koodli, Alexander S. Powers, Ayush Pandit, Chiho Im, Ron O. Dror
https://arxiv.org/abs/2505.21833

A Graph Completion Method that Jointly Predicts Geometry and Topology Enables Effective Molecule Assembly
A common starting point for drug design is to find small chemical groups or "fragments" that form interactions with distinct subregions in a protein binding pocket. The subsequent challenge is to assemble these fragments into a molecule that has high affinity to the protein, by adding chemical bonds between atoms in different fragments. This "molecule assembly" task is particularly challenging because, initially, fragment positions are known only approximately. Prior methods for spatial graph c…

Another war crime: Israeli military used 500lb bomb in strike on Gaza cafe, fragments reveal
https://www.theguardian.com/world/2025/jul/02/israeli-military-bomb-fragments-gaza-al-baqa-cafe?CMP=Share_iOSApp_Other

Muon-induced fission as a probe of the underlying dynamics in nuclear fission
Christian Ross, A. S. Umar
https://arxiv.org/abs/2507.02191 https://

Muon-induced fission as a probe of the underlying dynamics in nuclear fission
Muon-induced fission could be utilized as a probe to study the underlying dynamics of nuclear fission. The probability of muon attachment to the light asymmetric fission fragment is sensitive to fission dynamics, such as the timescale and friction of the fission event, charge asymmetry, and possibly the shape of the fission fragments. We focus on muonic atoms that are formed with actinide nuclei. A relativistic approach is employed, solving the Dirac equation for the muonic wavefunction in the …

Asteroids fail to retain cometary impact signatures
Sarah Joiret, Guillaume Avice, Ludovic Ferri\`ere, Zo\"e M. Leinhardt, Simon Lock, Alexandre Mechineau, Sean N. Raymond
https://arxiv.org/abs/2507.00753

Asteroids fail to retain cometary impact signatures
A bombardment of comets is thought to have occurred in the inner solar system as a result of a dynamical instability among the giant planets after gas disk dispersal. Vesta, the second largest asteroid in the main asteroid belt, likely differentiated before gas disk dispersal, implying its crust witnessed the cometary bombardment. The composition of HED meteorites, which represent fragments of Vesta's crust, could therefore have been altered by cometary impacts. Here we combine noble gas mass s…

Lower Bounds against the Ideal Proof System in Finite Fields
Tal Elbaz, Nashlen Govindasamy, Jiaqi Lu, Iddo Tzameret
https://arxiv.org/abs/2506.17210 https…

Lower Bounds against the Ideal Proof System in Finite Fields
Lower bounds against strong algebraic proof systems and specifically fragments of the Ideal Proof System (IPS), have been obtained in an ongoing line of work. All of these bounds, however, are proved only over large (or characteristic $0$) fields, yet finite fields are the more natural setting for propositional proof complexity, especially for progress toward lower bounds for Frege systems such as $AC^0[p]$-Frege. This work establishes lower bounds against fragments of IPS over fixed finite fie…

Prediction of Protein Three-dimensional Structures via a Hardware-Executable Quantum Computing Framework
Yuqi Zhang, Yuxin Yang, William Martin, Kingsten Lin, Zixu Wang, Cheng-Chang Lu, Weiwen Jiang, Ruth Nussinov, Joseph Loscalzo, Qiang Guan, Feixiong Cheng
https://arxiv.org/abs/2506.22677

Prediction of Protein Three-dimensional Structures via a Hardware-Executable Quantum Computing Framework
Accurate prediction of protein active site structures remains a central challenge in structural biology, particularly for short and flexible peptide fragments where conventional methods often fail. Here, we present a quantum computing framework specifically developed for utility-level quantum processors to address this problem. Starting from an amino acid sequence, we formulate the structure prediction task as a ground-state energy minimization problem using the Variational Quantum Eigensolver …

Anticipating Bugs: Ticket-Level Bug Prediction and Temporal Proximity Effects
Daniele La Prova, Emanuele Gentili, Davide Falessi
https://arxiv.org/abs/2506.14290

Anticipating Bugs: Ticket-Level Bug Prediction and Temporal Proximity Effects
The primary goal of bug prediction is to optimize testing efforts by focusing on software fragments, i.e., classes, methods, commits (JIT), or lines of code, most likely to be buggy. However, these predicted fragments already contain bugs. Thus, the current bug prediction approaches support fixing rather than prevention. The aim of this paper is to introduce and evaluate Ticket-Level Prediction (TLP), an approach to identify tickets that will introduce bugs once implemented. We analyze TLP at t…

Signatures of rigidity and second sound in dipolar supersolids
G. A. Bougas, T. Bland, H. R. Sadeghpour, S. I. Mistakidis
https://arxiv.org/abs/2506.22290 …

Signatures of rigidity and second sound in dipolar supersolids
We propose a dynamical protocol to probe the rigidity and phase coherence of dipolar supersolids by merging initially separated fragments in quasi-one-dimensional (1D) double-well potentials. Simulations based on the extended Gross-Pitaevskii equation reveal distinct dynamical signatures across phases. Supersolids exhibit damped crystal oscillations following barrier removal, with the damping rate reflecting superfluid connectivity. A phase-imprinted jump additionally triggers metastable dark s…

Generating Shakespeare-like text with an n-gram language model is straight forward and quite simple. But, don't expect to much of it. It will not be able to recreate a lost Shakespear play for you ;-) It's merely a parrot, making up well sounding sentences out of fragments of original Shakespeare texts...
#ise2025

The vast majority of the plastic flotsam and jetsam in the North Pacific subtropical gyre (the North Pacific Garbage Patch) consists of discarded fishing gear.
https://www.nature.com/articles/s41598-022-16529-0

Industrialised fishing nations largely contribute to floating plastic pollution in the North Pacific subtropical gyre - Scientific Reports
The subtropical oceanic gyre in the North Pacific Ocean is currently covered with tens of thousands of tonnes of floating plastic debris, dispersed over millions of square kilometres. A large fraction is composed of fishing nets and ropes while the rest is mostly composed of hard plastic objects and fragments, sometimes carrying evidence on their origin. In 2019, an oceanographic mission conducted in the area, retrieved over 6000 hard plastic debris items > 5 cm. The debris was later sorte…

bioarchaeology research
It is totally normal to find an email in your inbox that is asking:
"Have you ever heard of someone being amputated and not surviving and having their leg taken to the grave, or of someone trying to treat a head injury and removing the skullcap and the person still dying and having the removed skullcap fragments taken to the grave?"
I swear..
#BioArchaeology #Academia #Archaeology

Diffusive spreading of a polydisperse polymer solution in a channel
Hanyang. Wang, Gary W Slater
https://arxiv.org/abs/2506.08323 https://

Diffusive spreading of a polydisperse polymer solution in a channel
Long DNA molecules can be mapped by cutting them with restriction enzymes inside a narrow channel. Once cut, the individual fragments thus produced move away from each other due to diffusion and entropic effects. We investigate how long it takes for these fragments to travel distances large enough for an experimental device to distinguish them and (possibly) estimate their size. In essence, this is a single-file diffusion process in which molecules of different sizes and hence different diffusi…

TACS-Graphs: Traversability-Aware Consistent Scene Graphs for Ground Robot Indoor Localization and Mapping
Jeewon Kim, Minho Oh, Hyun Myung
https://arxiv.org/abs/2506.14178

TACS-Graphs: Traversability-Aware Consistent Scene Graphs for Ground Robot Indoor Localization and Mapping
Scene graphs have emerged as a powerful tool for robots, providing a structured representation of spatial and semantic relationships for advanced task planning. Despite their potential, conventional 3D indoor scene graphs face critical limitations, particularly under- and over-segmentation of room layers in structurally complex environments. Under-segmentation misclassifies non-traversable areas as part of a room, often in open spaces, while over-segmentation fragments a single room into overla…

🇺🇦 #NowPlaying on BBCRadio3's #MusicMap
Wolfgang Amadeus Mozart, Chorus Musicus Köln, Das Neue Orchester & Christoph Spering:
🎵 Requiem in D minor, K.626 - Original Fragments: Lacrimosa
#WolfgangAmadeusMozart
https://open.spotify.com/track/23lDDFpPqVktmCcUhc0ytw

Linear Planar 3-SAT and Its Applications in Planning
Victorien Desbois, Ocan Sankur, Fran\c{c}ois Schwarzentruber
https://arxiv.org/abs/2506.14713 https://…

Linear Planar 3-SAT and Its Applications in Planning
Several fragments of the satisfiability problem have been studied in the literature. Among these, Linear 3-SAT is a satisfaction problem in which each clause (viewed as a set of literals) intersects with at most one other clause; moreover, any pair of clauses have at most one literal in common. Planar 3-SAT is a fragment which requires that the so-called variable-clause graph is planar. Both fragments are NP-complete and have applications in encoding NP-hard planning problems. In this paper, we…

Microscopic theory of angular momentum distributions across the full range of fission fragments
Petar Marevi\'c, Nicolas Schunck, Marc Verriere
https://arxiv.org/abs/2506.10777

Microscopic theory of angular momentum distributions across the full range of fission fragments
Modern nuclear theory provides qualitative insights into the fundamental mechanisms of nuclear fission and is increasingly capable of making reliable quantitative predictions. Most quantities of interest pertain to the primary fission fragments, whose subsequent decay is typically modeled using statistical reaction models. Consequently, a key objective of fission theory is to inform these models by predicting the initial conditions of the primary fragments. In this work, we employ a framework t…

More #STRATA...
#GenerativeArt #AlgorthmicArt #Barricelli

Electron Impact Fragmentation Dynamics of Carbonyl Sulfide: A Combined Experimental and Theoretical Study
Soumya Ghosh, Narayan Kundu, Aryya Ghosh, Dhananjay Nandi
https://arxiv.org/abs/2506.12528

Electron Impact Fragmentation Dynamics of Carbonyl Sulfide: A Combined Experimental and Theoretical Study
In this study, we examine the interactions of low- to intermediate-energy electrons (0$-$45 eV) with carbonyl sulfide (OCS). These collisions lead to the formation of several anionic fragments, including C$^-$, O$^-$, S$^-$, and SO$^-$. When the incident electron energy is below the first ionization potential of the molecule, dissociative electron attachment (DEA) process dominates, primarily yielding O$^-$ and S$^-$ fragments. At higher energies, beyond the ionization potential, ion-pair disso…

New Bounds for the Ideal Proof System in Positive Characteristic
Amik Raj Behera, Nutan Limaye, Varun Ramanathan, Srikanth Srinivasan
https://arxiv.org/abs/2506.16397

New Bounds for the Ideal Proof System in Positive Characteristic
In this work, we prove upper and lower bounds over fields of positive characteristics for several fragments of the Ideal Proof System (IPS), an algebraic proof system introduced by Grochow and Pitassi (J. ACM 2018). Our results extend the works of Forbes, Shpilka, Tzameret, and Wigderson (Theory of Computing 2021) and also of Govindasamy, Hakoniemi, and Tzameret (FOCS 2022). These works primarily focused on proof systems over fields of characteristic $0$, and we are able to extend these results…

BiAssemble: Learning Collaborative Affordance for Bimanual Geometric Assembly
Yan Shen, Ruihai Wu, Yubin Ke, Xinyuan Song, Zeyi Li, Xiaoqi Li, Hongwei Fan, Haoran Lu, Hao dong
https://arxiv.org/abs/2506.06221

BiAssemble: Learning Collaborative Affordance for Bimanual Geometric Assembly
Shape assembly, the process of combining parts into a complete whole, is a crucial robotic skill with broad real-world applications. Among various assembly tasks, geometric assembly--where broken parts are reassembled into their original form (e.g., reconstructing a shattered bowl)--is particularly challenging. This requires the robot to recognize geometric cues for grasping, assembly, and subsequent bimanual collaborative manipulation on varied fragments. In this paper, we exploit the geometri…

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

Time Evolution of Prompt Gamma-Ray Emission in $^{252}$Cf(sf) and $^{233,235}$U($n$,f) Reactions
We investigate the time evolution of prompt fission $γ$ emission due to the presence of ns to ms isomers in the fragments produced in the neutron-induced fission of $^{233,235}$U and in the spontaneous fission of $^{252}$Cf. Calculations performed with the CGMF fission event generator are compared with recent experimental data on $^{252}$Cf(sf) and $^{235}$U($n$,f) obtained with the DANCE+NEUANCE setup at the Los Alamos Neutron Science Center. Of particular interest are the average $γ$-ray en…

Forward and Backward Simulations for Partially Observable Probability
Chris Chen, Annabelle McIver, Carroll Morgan
https://arxiv.org/abs/2506.08437 https:/…

Forward and Backward Simulations for Partially Observable Probability
Data refinement is the standard extension of a refinement relation from programs to datatypes (i.e. a behavioural subtyping relation). Forward/backward simulations provide a tractable method for establishing data refinement, and have been thoroughly studied for nondeterministic programs. However, for standard models of mixed probability and nondeterminism, ordinary assignment statements may not commute with (variable-disjoint) program fragments. This (1) invalidates a key assumption underlying …

Dependence of angular momentum of fission fragments on total kinetic energy in spontaneous fission of $^{252}$Cf
A. Rahmatinejad (Joint Institute for Nuclear Research, Russia), T. M. Shneidman (Joint Institute for Nuclear Research, Russia), G. G. Adamian (Joint Institute for Nuclear Research, Russia), N. V. Antonenko (Joint Institute for Nuclear Research, Russia, Tomsk Polytechnic University, Russia)

Dependence of angular momentum of fission fragments on total kinetic energy in spontaneous fission of $^{252}$Cf
A weak dependence of the angular momentum of $^{144}$Ba fragments, produced in the spontaneous fission of $^{252}$Cf, on the total kinetic energy (TKE) was recently observed \cite{Giha2025}. To investigate this phenomenon, we propose a model describing the evolution of the fissioning nucleus toward scission. The model assumes that after tunneling through the fission barrier, the nucleus can be represented by a superposition of dinuclear systems (DNS). We calculate main fission observables, incl…