Tootfinder

iRonCub 3: The Jet-Powered Flying Humanoid Robot
Davide Gorbani, Hosameldin Awadalla Omer Mohamed, Giuseppe L'Erario, Gabriele Nava, Punith Reddy Vanteddu, Shabarish Purushothaman Pillai, Antonello Paolino, Fabio Bergonti, Saverio Taliani, Alessandro Croci, Nicholas James Tremaroli, Silvio Traversaro, Bruno Vittorio Trombetta, Daniele Pucci
https…

iRonCub 3: The Jet-Powered Flying Humanoid Robot
This article presents iRonCub 3, a jet-powered humanoid robot, and its first flight experiments. Unlike traditional aerial vehicles, iRonCub 3 aims to achieve flight using a full-body humanoid form, which poses unique challenges in control, estimation, and system integration. We highlight the robot's current mechanical and software architecture, including its propulsion system, control framework, and experimental infrastructure. The control and estimation framework is first validated in simulat…

Localized atomic vibrations caused by point impurity in long chains of noble gas atoms adsorbed in outer grooves of carbon nanobundle
E. V. Manzhelii, S. B. Feodosyev
https://arxiv.org/abs/2505.24497

Localized atomic vibrations caused by point impurity in long chains of noble gas atoms adsorbed in outer grooves of carbon nanobundle
The characteristics of discrete vibrational levels caused by a point three-parameter substitutional impurity in long linear chain of inert gas atoms adsorbed in groove on the surface of carbon nanobundle are studied. The impurity atom differs from the atoms of the chain in the following parameters: the mass, the parameter of interaction with neighboring atoms and the parameter of interaction with the substrate. Analytical expressions for the frequencies of the localized vibrations and the inten…

A highly sensitive SF$_6$-based leak test system for JUNO 3-inch PMT underwater electronics boxes
Ziliang Chu, Diru Wu, Miao He, Jilei Xu, Xiaoping Jing, Jian Wang
https://arxiv.org/abs/2505.24142

A highly sensitive SF$_6$-based leak test system for JUNO 3-inch PMT underwater electronics boxes
A total of 25600 3-inch photomultiplier tubes (PMTs), along with their corresponding frontend electronics, have been installed at the Jiangmen Underground Neutrino Observatory (JUNO). These electronics are housed in 200 stainless steel boxes that operate underwater. To verify the sealing integrity of the underwater boxes following integration, we developed an SF$_6$-based leak test system, opting against the typical helium-based system due to helium's ability to penetrate the PMT glass. After a…

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

Efficient Neural Clause-Selection Reinforcement
Clause selection is arguably the most important choice point in saturation-based theorem proving. Framing it as a reinforcement learning (RL) task is a way to challenge the human-designed heuristics of state-of-the-art provers and to instead automatically evolve -- just from prover experiences -- their potentially optimal replacement. In this work, we present a neural network architecture for scoring clauses for clause selection that is powerful yet efficient to evaluate. Following RL principle…

Weak solutions for coupled reaction-diffusion systems with pattern formation by a stochastic fixed point theorem
Erika Hausenblas, Michael A. H\"ogele, Tesfalem A. Tegegn
https://arxiv.org/abs/2507.01159

Weak solutions for coupled reaction-diffusion systems with pattern formation by a stochastic fixed point theorem
Chemical and biochemical reactions can exhibit surprisingly different behaviours, ranging from multiple steady-state solutions to oscillatory solutions and chaotic behaviours. These types of systems are often modelled by a system of reaction-diffusion equations coupled by a nonlinearity. In the article, we study the existence of stochastically perturbed equations of this type. In particular, we show the existence of a probabilitic weak solution of the following stochastic system \begin{align*} …

LensCraft: Your Professional Virtual Cinematographer
Zahra Dehghanian, Morteza Abolghasemi, Hossein Azizinaghsh, Amir Vahedi, Hamid Beigy, Hamid R. Rabiee
https://arxiv.org/abs/2506.00988

LensCraft: Your Professional Virtual Cinematographer
Digital creators, from indie filmmakers to animation studios, face a persistent bottleneck: translating their creative vision into precise camera movements. Despite significant progress in computer vision and artificial intelligence, current automated filming systems struggle with a fundamental trade-off between mechanical execution and creative intent. Crucially, almost all previous works simplify the subject to a single point-ignoring its orientation and true volume-severely limiting spatial …

StruMamba3D: Exploring Structural Mamba for Self-supervised Point Cloud Representation Learning
Chuxin Wang, Yixin Zha, Wenfei Yang, Tianzhu Zhang
https://arxiv.org/abs/2506.21541

StruMamba3D: Exploring Structural Mamba for Self-supervised Point Cloud Representation Learning
Recently, Mamba-based methods have demonstrated impressive performance in point cloud representation learning by leveraging State Space Model (SSM) with the efficient context modeling ability and linear complexity. However, these methods still face two key issues that limit the potential of SSM: Destroying the adjacency of 3D points during SSM processing and failing to retain long-sequence memory as the input length increases in downstream tasks. To address these issues, we propose StruMamba3D,…

The NEID Earth Twin Survey. III. Survey Performance After Three Years on Sky
Arvind F. Gupta, Evan Fitzmaurice, Suvrath Mahadevan, Paul Robertson, Jacob K. Luhn, Jason T. Wright, Sarah E. Logsdon, Daniel M. Krolikowski, Leonardo A. Paredes, Chad F. Bender, Mark R. Giovinazzi, Andrea S. Lin, Cullen H. Blake, Caleb I. Ca\~nas, Eric B. Ford, Samuel P. Halverson, Shubham Kanodia, Michael W. McElwain, Joe P. Ninan, Jayadev Rajagopal, Arpita Roy, Christian Schwab, Gu{\dh}mundur Stef\'ans…

The NEID Earth Twin Survey. III. Survey Performance After Three Years on Sky
The NEID Earth Twin Survey (NETS) has been delivering a rich set of precise radial velocity (RV) measurements for 41 bright, nearby main sequence stars. Here, we describe the status of the survey after three years on sky and we present the full set of RV measurements and accompanying stellar activity indicators. We discuss intermediate survey diagnostics, including calibration of the known RV zero point offset introduced following the Contreras fire in 2022 and the identification of an undiagno…

"A common Israeli taking point [is] 'How should America respond if rockets were launched from Tijuana at San Diego?' ... it highlights both Israeli ignorance and fears and Palestinian and Xicano/Migrant commonality. Just like how Tel Aviv and Gaza are part of Historic Palestine, San Diego and Tijuana were both Mexico but more importantly part of the homeland of the Kumeyaay People."

from my link log —
Elementary functions NOT following the IEEE 754 floating-point standard.
http://www.hlsl.co.uk/blog/2020/1/29/ieee754-is-not-followed
saved 2025-02-11

Elementary Functions and NOT Following the IEEE 754 Floating-Point Standard — TRYING TO FIND THE OBVIOUS
The IEEE-754 Standard for floating-point numbers was introduced initially in 1985 to solve the problem of diverse floating point implementations prevent code being portable and increase stability across platforms. It has been widely adopted and revised over the last 30 years and if you have dealt