Tootfinder

Chargers' Jim Harbaugh provides positive health update after offseason heart procedure, hip replacement

https://www.cbssports.com/nfl/news/charg…

It's always a bit annoying to use journal abbreviations in the bibliography when the journal requires it.
Does anyone know whether this procedure works reliably in #Zotero:
https://www.zotero.org/support/kb/journal_abbreviations

In-situ SHG microscopy investigation of the domain-wall-conductivity enhancement procedure in lithium niobate
Iuliia Kiseleva, Boris Koppitz, Elke Beyreuther, Matthias Roeper, Samuel D. Seddon, Lukas M. Eng
https://arxiv.org/abs/2507.07466

In-situ SHG microscopy investigation of the domain-wall-conductivity enhancement procedure in lithium niobate
Conductive domain walls (CDWs) in the uniaxial ferroelectric lithium niobate (LiNbO$_3$, LN) have attracted a lot of interest as potential elements in 2D nanoelectronics, due to their orders-of-magnitude larger electronic AC and DC conductivities as compared to the host material. On the way towards generating standardized CDWs into z-cut bulk LN crystals with controllable geometry and electrical properties, we have encountered setbacks recently: Although the first preparation step, i.e., the es…

Kernel-based Greedy Approximation of Parametric Elliptic Boundary Value Problems
Bernard Haasdonk, Gabriele Santin, Tizian Wenzel
https://arxiv.org/abs/2507.06731

Kernel-based Greedy Approximation of Parametric Elliptic Boundary Value Problems
We recently introduced a scale of kernel-based greedy schemes for approximating the solutions of elliptic boundary value problems. The procedure is based on a generalized interpolation framework in reproducing kernel Hilbert spaces and was coined PDE-$β$-greedy procedure, where the parameter $β\geq 0$ is used in a greedy selection criterion and steers the degree of function adaptivity. Algebraic convergence rates have been obtained for Sobolev-space kernels and solutions of finite smoothness.…

IP-Basis PINNs: Efficient Multi-Query Inverse Parameter Estimation
Shalev Manor, Mohammad Kohandel
https://arxiv.org/abs/2509.07245 https://arxiv.org/pdf/2…

IP-Basis PINNs: Efficient Multi-Query Inverse Parameter Estimation
Solving inverse problems with Physics-Informed Neural Networks (PINNs) is computationally expensive for multi-query scenarios, as each new set of observed data requires a new, expensive training procedure. We present Inverse-Parameter Basis PINNs (IP-Basis PINNs), a meta-learning framework that extends the foundational work of Desai et al. (2022) to enable rapid and efficient inference for inverse problems. Our method employs an offline-online decomposition: a deep network is first trained offl…

Polyadic encryption
Steven Duplij, Qiang Guo
https://arxiv.org/abs/2507.05683 https://arxiv.org/pdf/2507.05683

Polyadic encryption
A novel original procedure of encryption/decryption based on the polyadic algebraic structures and on signal processing methods is proposed. First, we use signals with integer amplitudes to send information. Then we use polyadic techniques to transfer the plaintext into series of special integers. The receiver restores the plaintext using special rules and systems of equations.

Replaced article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- Decision Procedure for A Theory of String Sequences
Denghang Hu, Taolue Chen, Philipp R\"ummer, Fu Song, Zhilin Wu

AURA-CVC: Autonomous Ultrasound-guided Robotic Assistance for Central Venous Catheterization
Deepak Raina, Lidia Al-Zogbi, Brian Teixeira, Vivek Singh, Ankur Kapoor, Thorsten Fleiter, Muyinatu A. Lediju Bell, Vinciya Pandian, Axel Krieger
https://arxiv.org/abs/2507.05979

AURA-CVC: Autonomous Ultrasound-guided Robotic Assistance for Central Venous Catheterization
Purpose: Central venous catheterization (CVC) is a critical medical procedure for vascular access, hemodynamic monitoring, and life-saving interventions. Its success remains challenging due to the need for continuous ultrasound-guided visualization of a target vessel and approaching needle, which is further complicated by anatomical variability and operator dependency. Errors in needle placement can lead to life-threatening complications. While robotic systems offer a potential solution, achiev…

Minimax optimal transfer learning for high-dimensional additive regression
Seung Hyun Moon
https://arxiv.org/abs/2509.06308 https://arxiv.org/pdf/2509.0630…

Minimax optimal transfer learning for high-dimensional additive regression
This paper studies high-dimensional additive regression under the transfer learning framework, where one observes samples from a target population together with auxiliary samples from different but potentially related regression models. We first introduce a target-only estimation procedure based on the smooth backfitting estimator with local linear smoothing. In contrast to previous work, we establish general error bounds under sub-Weibull($α$) noise, thereby accommodating heavy-tailed error d…

Subspace Variational Quantum Simulation: Fidelity Lower Bounds as Measures of Training Success
Seung Park, Dongkeun Lee, Jeongho Bang, Hoon Ryu, Kyunghyun Baek
https://arxiv.org/abs/2509.06360

Subspace Variational Quantum Simulation: Fidelity Lower Bounds as Measures of Training Success
We propose an iterative variational quantum algorithm to simulate the time evolution of arbitrary initial states within a given subspace. The algorithm compresses the Trotter circuit into a shorter-depth parameterized circuit, which is optimized simultaneously over multiple initial states in a single training process using fidelity-based cost functions. After the whole training procedure, we provide an efficiently computable lower bound on the fidelities for arbitrary states within the subspace…

SakugaFlow: A Stagewise Illustration Framework Emulating the Human Drawing Process and Providing Interactive Tutoring for Novice Drawing Skills
Kazuki Kawamura, Jun Rekimoto
https://arxiv.org/abs/2506.08443

SakugaFlow: A Stagewise Illustration Framework Emulating the Human Drawing Process and Providing Interactive Tutoring for Novice Drawing Skills
While current AI illustration tools can generate high-quality images from text prompts, they rarely reveal the step-by-step procedure that human artists follow. We present SakugaFlow, a four-stage pipeline that pairs diffusion-based image generation with a large-language-model tutor. At each stage, novices receive real-time feedback on anatomy, perspective, and composition, revise any step non-linearly, and branch alternative versions. By exposing intermediate outputs and embedding pedagogical …

On the recognition problem for limits of entropy functions
Geva Yashfe
https://arxiv.org/abs/2509.06302 https://arxiv.org/pdf/2509.06302

On the recognition problem for limits of entropy functions
We prove that there is no algorithm to decide whether a given integer vector is in the closure of the entropic cone $\overline{Γ_{n}^{*}}$. Equivalently, there is no decision procedure to determine whether a given integer-valued function $h:\mathcal{P}(\{1,\ldots,n\})\rightarrow\mathbb{Z}_{\ge 0}$ is a pointwise limit of joint entropy functions. In other words, given such an $h$, it is undecidable whether for all $\varepsilon > 0$ there exists a finite probability space $(Ω,P)$ with random va…

MAMBO: High-Resolution Generative Approach for Mammography Images
Milica \v{S}kipina, Nikola Jovi\v{s}i\'c, Nicola Dall'Asen, Vanja \v{S}venda, Anil Osman Tur, Slobodan Ili\'c, Elisa Ricci, Dubravko \'Culibrk
https://arxiv.org/abs/2506.08677

MAMBO: High-Resolution Generative Approach for Mammography Images
Mammography is the gold standard for the detection and diagnosis of breast cancer. This procedure can be significantly enhanced with Artificial Intelligence (AI)-based software, which assists radiologists in identifying abnormalities. However, training AI systems requires large and diverse datasets, which are often difficult to obtain due to privacy and ethical constraints. To address this issue, the paper introduces MAMmography ensemBle mOdel (MAMBO), a novel patch-based diffusion approach des…

Higher-Order Newton-Cartan Gravity
Biel Cardona, Luca Romano
https://arxiv.org/abs/2507.05489 https://arxiv.org/pdf/2507.05489…

Higher-Order Newton-Cartan Gravity
We study the non-relativistic Newton-Cartan limit of higher-order gravity theories in arbitrary dimensions. We first study it at the level of the action by introducing an additional 1-form gauge field and coupling it appropriately to the gravity sector. We extend this procedure to any theory whose Lagrangian is a function of the Ricci scalar, quadratic Ricci tensor and quadratic Riemann tensor. We also study the limit of the equations of motion for two models, Einstein-Gauss-Bonnet gravity and …

A new discretization of the Euler equation via the finite operator theory
Miguel A. Rodr\'iguez, Piergiulio Tempesta
https://arxiv.org/abs/2507.05040 h…

A new discretization of the Euler equation via the finite operator theory
We propose a novel discretization procedure for the classical Euler equation based on the theory of Galois differential algebras and the finite operator calculus developed by G.C. Rota and collaborators. This procedure allows us to define algorithmically a new discrete model that inherits from the continuous Euler equation a class of exact solutions.

Biden had procedure to remove skin cancer from forehead (Brett Samuels/The Hill)
https://thehill.com/policy/healthcare/5487236-biden-procedure-skin-cancer-forehead/
http://www.memeorandum.com/250904/p152#a250904p152

Replaced article(s) found for cs.FL. https://arxiv.org/list/cs.FL/new
[1/1]:
- Decision Procedure for A Theory of String Sequences
Denghang Hu, Taolue Chen, Philipp R\"ummer, Fu Song, Zhilin Wu

Maximum-likelihood estimation of the Mat\'ern covariance structure of isotropic spatial random fields on finite, sampled grids
Frederik J. Simons, Olivia L. Walbert, Arthur P. Guillaumin, Gabriel L. Eggers, Kevin W. Lewis, Sofia C. Olhede
https://arxiv.org/abs/2509.06223

Maximum-likelihood estimation of the Matérn covariance structure of isotropic spatial random fields on finite, sampled grids
We present a statistically and computationally efficient spectral-domain maximum-likelihood procedure to solve for the structure of Gaussian spatial random fields within the Matern covariance hyperclass. For univariate, stationary, and isotropic fields, the three controlling parameters are the process variance, smoothness, and range. The debiased Whittle likelihood maximization explicitly treats discretization and edge effects for finite sampled regions in parameter estimation and uncertainty q…

Non-stationary wormholes with the presence of scalar fields and modified gravity
G. Alencar, R. D\'arlla, Shin'ichi Nojiri, Sergei D. Odintsov, Diego S\'aez-Chill\'on G\'omez
https://arxiv.org/abs/2508.05536

Non-stationary wormholes with the presence of scalar fields and modified gravity
Some novel regular spacetimes are considered that show a non-stationary wormhole structure. A Simpson-Visser-like procedure is applied to reconstruct these regular spacetimes, free of time-like and space-like singularities. Such a procedure is also applied to describe a regular cosmological expansion, where the universe reaches a minimum scale and then rebounds. This type of regular spacetime is achieved by considering some scalar fields as sources, with the appropriate kinetic term and scalar …

Design of Input-Output Observers for a Population of Systems with Bounded Frequency-Domain Variation using $DK$-iteration
Timothy Everett Adams, James Richard Forbes
https://arxiv.org/abs/2509.07201

Design of Input-Output Observers for a Population of Systems with Bounded Frequency-Domain Variation using $DK$-iteration
This paper proposes a linear input-output observer design methodology for a population of systems in which each observer uses knowledge of the linear time-invariant dynamics of the particular device. Observers are typically composed of a known model of the system and a correction mechanism to produce an estimate of the state. The proposed design procedure characterizes the variation within the population in the frequency domain and synthesizes a single robust correction filter. The correction f…

Electroweak splitting functions in the Standard Model and beyond
Stefan Dittmaier, Max Reyer
https://arxiv.org/abs/2507.06568 https://

Electroweak splitting functions in the Standard Model and beyond
We derive quasi-collinear factorization formulas in generic spontaneously broken gauge theories with scalars, fermions, and vector bosons. Specifically, we obtain polarized leading-order splitting functions for all possible final-state and initial-state 1->2 processes in the considered gauge theory. The main complication lies in the presence of mass-singular terms in longitudinal polarization vectors, prohibiting the direct application of the usual factorization procedure known from Quantum Ele…

Testing the ubiquitous presence of very high energy emission in gamma-ray bursts with the MAGIC telescopes
S. Abe, J. Abhir, A. Abhishek, V. A. Acciari, A. Aguasca-Cabot, I. Agudo, T. Aniello, S. Ansoldi, L. A. Antonelli, A. Arbet Engels, C. Arcaro, T. T. H. Arnesen, K. Asano, A. Babic, C. Bakshi, U. Barres de Almeida, J. A. Barrio, L. Barrios-Jimenez, I. Batkovic, J. Baxter, J. Becerra Gonzalez, W. Bednarek, E. Bernardini, J. Bernete, A. Berti, J. Besenrieder, C. Bigongiari, A. Biland…

Testing the ubiquitous presence of very high energy emission in gamma-ray bursts with the MAGIC telescopes
Gamma-ray bursts (GRBs) are the most powerful transient objects in the Universe, and they are a primary target for the MAGIC Collaboration. Recognizing the challenges of observing these elusive objects with Imaging Atmospheric Cherenkov Telescopes (IACTs), we implemented a dedicated observational strategy that included an automated procedure for rapid re-pointing to transient sources. Since 2013, this automated procedure has enabled MAGIC to observe GRBs at a rate of approximately ten per year,…

Equilibrium-preserving Laplacian renormalization group
Sudo Yi, Seong-Gyu Yang, K. -I. Goh, D. -S. Lee
https://arxiv.org/abs/2507.04977 https://

Equilibrium-preserving Laplacian renormalization group
Diffusion over networks has recently been used to define spatiotemporal scales and extend Kadanoff block spins of Euclidean space to supernodes of networks in the Laplacian renormalization group (LRG). Yet, its ad hoc coarse-graining procedure remains underdeveloped and unvalidated, limiting its broader applicability. Here we rigorously formulate an LRG preserving the equilibrium state, offering a principled coarse-graining procedure. We construct the renormalized Laplacian matrix preserving do…

Self-Normalization for CUSUM-based Change Detection in Locally Stationary Time Series
Florian Heinrichs
https://arxiv.org/abs/2509.07112 https://arxiv.org/…

Self-Normalization for CUSUM-based Change Detection in Locally Stationary Time Series
A novel self-normalization procedure for CUSUM-based change detection in the mean of a locally stationary time series is introduced. Classical self-normalization relies on the factorization of a constant long-run variance and a stochastic factor. In this case, the CUSUM statistic can be divided by another statistic proportional to the long-run variance, so that the latter cancels. Thereby, a tedious estimation of the long-run variance can be avoided. Under local stationarity, the partial sum pr…

Exact renormalisation for patch frequencies in inflation systems
Jan Maz\'a\v{c}
https://arxiv.org/abs/2507.07753 https://arxiv.o…

Exact renormalisation for patch frequencies in inflation systems
This note provides an explicit way of calculating the patch frequencies in geometric realisations of primitive substitutions using exact renormalisation relations. Further, we profit from these results to obtain the patch frequencies in the symbolic case as well as in other suspensions (under mild assumptions on the substitution). We illustrate this procedure on the Fibonacci example.

Deuteron identification via time of flight with LHCb
LHCb collaboration, et al.
https://arxiv.org/abs/2508.06305 https://arxiv.org/pdf/2508.06305

Deuteron identification via time of flight with LHCb
It is shown that the timing capabilities of the LHCb detector operated during the LHC Run 2 can be used to identify light ion particles with momenta of a few GeV/$c$. This is achieved by estimating the particle time of flight through a newly developed technique. A dedicated reconstruction procedure and a neural-network-based estimator of the particle speed have been developed to enable deuteron identification by suppressing the abundant background from lighter particles. The performance of the …

HST Proper Motions of Andromeda V and VI
Dana I. Casetti-Dinescu, Marcel S. Pawlowski, Terrence M. Girard, Kosuke J. Kanehisa, Max Martone, Alexander Petroski
https://arxiv.org/abs/2509.06215

HST Proper Motions of Andromeda V and VI
We measure the absolute proper motions of Andromeda V (And V) and Andromeda VI/Pegasus (And VI) dwarf galaxies, satellites of M31 located near its galactic plane. And VI is located the farthest from M31 among the six satellites with currently measured proper motions. A combination of ACS/WFC and WFPC2 exposures are utilized, spanning a 20-year time baseline. The WFPC2 exposures are processed using a recently developed deep-learning centering procedure as well as the most up-to-date astrometri…

Adaptation of Multi-modal Representation Models for Multi-task Surgical Computer Vision
Soham Walimbe, Britty Baby, Vinkle Srivastav, Nicolas Padoy
https://arxiv.org/abs/2507.05020

Adaptation of Multi-modal Representation Models for Multi-task Surgical Computer Vision
Surgical AI often involves multiple tasks within a single procedure, like phase recognition or assessing the Critical View of Safety in laparoscopic cholecystectomy. Traditional models, built for one task at a time, lack flexibility, requiring a separate model for each. To address this, we introduce MML-SurgAdapt, a unified multi-task framework with Vision-Language Models (VLMs), specifically CLIP, to handle diverse surgical tasks through natural language supervision. A key challenge in multi-t…

Testing Shape Restrictions with Continuous Treatment: A Transformation Model Approach
Arkadiusz Szyd{\l}owski
https://arxiv.org/abs/2506.08914 https://

Testing Shape Restrictions with Continuous Treatment: A Transformation Model Approach
We propose tests for the convexity/linearity/concavity of a transformation of the dependent variable in a semiparametric transformation model. These tests can be used to verify monotonicity of the treatment effect, or, equivalently, concavity/convexity of the outcome with respect to the treatment, in (quasi-)experimental settings. Our procedure does not require estimation of the transformation or the distribution of the error terms, thus it is easy to implement. The statistic takes the form of …

On some $q$-analog of an initial value problem with infinite order irregular singularity and Mahler transforms
Alberto Lastra, Stephane Malek
https://arxiv.org/abs/2509.06146 ht…

On some $q$-analog of an initial value problem with infinite order irregular singularity and Mahler transforms
A family of $q$-difference-differential equations in two complex variables is studied, under the action of a so-called Mahler transform on time variable. The appearance of a leading formal $q$-difference operator of irregular type in the equation guarantees the existence of a formal solution to the main problem in time variable, which turns out to be obtained after a $q$-analog of Borel-Laplace procedure. Such formal solution to the main problem is $G_q$-summable along certain directions. The $…

$\mu_\mathrm{2T}(n)$: A Method for Extracting the Density Dependent Mobility in Two-Terminal Nanodevices
Christian E. N. Petersen, Damon J. Carrad, Thierry D\'esir\'e, Daria Beznasyuk, Jung-Hyun Kang, D\=ags Ol\v{s}teins, Gunjan Nagda, Dennis V. Christensen, Thomas Sand Jespersen
https://arxiv.org/abs/2508.06173

$μ_\mathrm{2T}(n)$: A Method for Extracting the Density Dependent Mobility in Two-Terminal Nanodevices
Measuring carrier mobility as a function of the carrier density in semiconductors using Hall effect is the gold standard for quantifying scattering mechanisms. However, for nanostructures, the Hall effect is not applicable, and the density dependence of mobility is generally inaccessible, rendering Hall effect measurements impractical. Here, we present $μ_\mathrm{2T}(n)$, a new procedure allowing us to extract the density dependent mobility in two-terminal measured nano scale field effect tran…

An orthogonal electronic state view on charge delocalization and transfer
Sarai Dery Folkestad, Ida-Marie H{\o}yvik
https://arxiv.org/abs/2509.06462 https://

An orthogonal electronic state view on charge delocalization and transfer
We present a configuration interaction (CI) framework which serves quantitative and conceptual purposes for charge delocalization and electron transfer processes in molecular systems. The electronic Hamiltonian is expressed in a basis of charge-localized determinants and used to independently generate adiabatic CI states and charge-localized CI states, both of which are unambiguously defined through a diagonalization procedure. The CI framework offers a simple interpretation of adiabatic states…

A proposed U.S. federal rule change aims to limit international students (on visas) from spending longer than 4 years in the U.S..This would effectively ban international students from U.S. Ph.D. programs. Here is a link to the proposed rule change, including the ability to submit formal comments.
https://www.federalregister.gov/documents/2025/08/28/2025-16554/establishing-a-fixed-time-period-of-admission-and-an-extension-of-stay-procedure-for-nonimmigrant

Indian Charity Organizes Limb Giveaway for 75 Afghan Amputees, Fitting Them with Free Prosthetic Feet https://www.goodnewsnetwork.org/indian-charity-organizes-limb-giveaway-for-75-afghan-amput…

Indian Charity Organizes Limb Giveaway for 75 Afghan Amputees, Fitting Them with Free Prosthetic Feet in Kabul
In Kabul, BMVSS also organized training for local hospital staff in the procedure for measuring, creating, and fitting a prosthetic.

Implementation of Wildberger's Polyseries
Mahdi-Tahar Brahimi
https://arxiv.org/abs/2507.04231 https://arxiv.org/pdf/2507.04231…

Implementation of Wildberger's Polyseries
We study the computational framework of polyseries and poly-numbers introduced by Wildberger and Rubine in [2]. After reviewing Peano arithmetic, computable naturals, and non-standard models, we define the core data and procedure operations on polyseries. We then apply Catalan number expansions to solve quadratic congruences and derive explicit truncated series formulas in a finite field $\mathbb{Z}_p$. Our main result gives a closed form poly series solution in terms of Catalan numbers.

Age-Aware CSI Acquisition of a Finite-State Markovian Channel
Onur Ayan, Jiping Luo, Xueli An, Nikolaos Pappas
https://arxiv.org/abs/2507.05042 https://

Age-Aware CSI Acquisition of a Finite-State Markovian Channel
The Age of Information (AoI) has emerged as a critical metric for quantifying information freshness; however, its interplay with channel estimation in partially observable wireless systems remains underexplored. This work considers a transmitter-receiver pair communicating over an unreliable channel with time-varying reliability levels. The transmitter observes the instantaneous link reliability through a channel state information acquisition procedure, during which the data transmission is int…

Mission-Aligned Learning-Informed Control of Autonomous Systems: Formulation and Foundations
Vyacheslav Kungurtsev, Gustav Sir, Akhil Anand, Sebastien Gros, Haozhe Tian, Homayoun Hamedmoghadam
https://arxiv.org/abs/2507.04356

Mission-Aligned Learning-Informed Control of Autonomous Systems: Formulation and Foundations
Research, innovation and practical capital investment have been increasing rapidly toward the realization of autonomous physical agents. This includes industrial and service robots, unmanned aerial vehicles, embedded control devices, and a number of other realizations of cybernetic/mechatronic implementations of intelligent autonomous devices. In this paper, we consider a stylized version of robotic care, which would normally involve a two-level Reinforcement Learning procedure that trains a po…

Hamiltonian gravity in tetrad-connection variables
Erick I. Duque
https://arxiv.org/abs/2509.06153 https://arxiv.org/pdf/2509.06153

Hamiltonian gravity in tetrad-connection variables
A systematic Hamiltonian formulation of the Einstein--Cartan system, based on the Hilbert--Palatini action with the Barbero--Immirzi and cosmological constants, is performed using the traditional ADM decomposition and without fixing the time gauge. This procedure results in a larger phase space compared to that of the Ashtekar--Barbero approach as well as a larger set of first-class constraints generating gauge transformations that are on-shell equivalent to spacetime diffeomorphisms and SO(1,3…

Conformal Link Prediction with False Discovery Rate Control
Wenqin Du, Wanteng Ma, Dong Xia, Yuan Zhang, Wen Zhou
https://arxiv.org/abs/2507.07025 https://…

Conformal Link Prediction with False Discovery Rate Control
We propose a new method for predicting multiple missing links in partially observed networks while controlling the false discovery rate (FDR), a largely unresolved challenge in network analysis. The main difficulty lies in handling complex dependencies and unknown, heterogeneous missing patterns. We introduce conformal link prediction ({\tt clp}), a distribution-free procedure grounded in the exchangeability structure of weighted graphon models. Our approach constructs conformal p-values via a …

Realizability-preserving monolithic convex limiting in continuous Galerkin discretizations of the M1 model of radiative transfer
Paul Moujaes, Dmitri Kuzmin, Christian B\"aumer
https://arxiv.org/abs/2509.07689

Realizability-preserving monolithic convex limiting in continuous Galerkin discretizations of the M1 model of radiative transfer
We discretize the $M_1$ model of radiative transfer using continuous finite elements and propose a tailor-made monolithic convex limiting (MCL) procedure for enforcing physical realizability. The $M_1$ system of nonlinear balance laws for the zeroth and first moments of a probability distribution function is derived from the linear Boltzmann equation and equipped with an entropy-based closure for the second moment. To ensure hyperbolicity and physical admissibility, evolving moments must stay i…

Exploring Noncommutative Polynomial Equation Methods for Discrete-Time Quaternionic Control
Michael Sebek
https://arxiv.org/abs/2506.08034 https://

Exploring Noncommutative Polynomial Equation Methods for Discrete-Time Quaternionic Control
We present new polynomial-based methods for discrete-time quaternionic systems, highlighting how noncommutative multiplication modifies classical control approaches. Defining quaternionic polynomials via a backward-shift operator, we examine left and right fraction representations of transfer functions, showing that right zeros correspond to similarity classes of quaternionic matrix right eigenvalues. We then propose a feedback design procedure that generalizes pole placement to quaternions - a…

Judge Jia M. Cobb rejected what she called
“a truly startling argument”
from the government
that it could use a fast-track procedure to remove people arrested far from the southern border.
The case focused on a policy shift announced during the first week of Trump’s second term
that authorized the Department of Homeland Security to launch quick deportations,
across the country and without court proceedings,
of undocumented immigrants who cannot prove…

Judge Blocks Pillar of Trump’s Mass Deportation Campaign
Judge Jia M. Cobb rejected what she called “a truly startling argument” from the government that it could use a fast-track procedure to remove people arrested far from the southern border.

Spin-Based Modeling of Perception as Emergent from contextualized Internal Evaluation
Laura Fanfarillo, Gustavo Diez, Victor G\'omez Mayordomo, Miguel Bosch, J. Ricardo Arias-Gonzalez, Bel\'en Valenzuela
https://arxiv.org/abs/2507.06041

Spin-Based Modeling of Perception as Emergent from contextualized Internal Evaluation
We develop a microscopic model of perception of an interoceptive sensation in which spin-like variables encode an organism's internal evaluation of embodied vital norms associated with the sensation. Spins can take positive, negative, or neutral values. These local valorizations interact on a lattice embedded in the environmental context, and their collective configuration gives rise to a macroscopic perceptual state. By applying a coarse-graining procedure to a family of symmetric spin models,…

Are Depth-2 Regular Expressions Hard to Intersect?
Rocco Ascone, Giulia Bernardini, Alessio Conte, Veronica Guerrini, Giulia Punzi
https://arxiv.org/abs/2507.03593

Are Depth-2 Regular Expressions Hard to Intersect?
We study the basic regular expression intersection testing problem, which asks to determine whether the intersection of the languages of two regular expressions is nonempty. A textbook solution to this problem is to construct the nondeterministic finite automaton that accepts the language of both expressions. This procedure results in a $Θ(mn)$ running time, where $m$ and $n$ are the sizes of the two expressions, respectively. Following the approach of Backurs and Indyk [FOCS'16] and Bringmann…

Fins WR Hill practices; RB Wright has procedure https://www.espn.com/nfl/story/_/id/46096191/tyreek-hill-back-practice-rb-jaylen-wright-leg-procedure

So the US hit a Venezuelan drugs vessel and killed 11 people aboard. This way of operating against a ship is so illegal it hurts. No judge, no procedure, just killing...
https://www.cnn.com/2025/09/02/politics/us-military-strike-caribbean

US military kills 11 in strike on alleged drug boat tied to Venezuelan cartel, Trump says
The United States conducted a deadly military strike against an alleged drug boat tied to the cartel Tren de Aragua, President Donald Trump said Tuesday.

Uncovering Neuroimaging Biomarkers of Brain Tumor Surgery with AI-Driven Methods
Carmen Jimenez-Mesa, Yizhou Wan, Guilio Sansone, Francisco J. Martinez-Murcia, Javier Ramirez, Pietro Lio, Juan M. Gorriz, Stephen J. Price, John Suckling, Michail Mamalakis
https://arxiv.org/abs/2507.04881 …

Uncovering Neuroimaging Biomarkers of Brain Tumor Surgery with AI-Driven Methods
Brain tumor resection is a complex procedure with significant implications for patient survival and quality of life. Predictions of patient outcomes provide clinicians and patients the opportunity to select the most suitable onco-functional balance. In this study, global features derived from structural magnetic resonance imaging in a clinical dataset of 49 pre- and post-surgery patients identified potential biomarkers associated with survival outcomes. We propose a framework that integrates Ex…

An Agentic Model Context Protocol Framework for Medical Concept Standardization
Jaerong Ahn, Andrew Wen, Nan Wang, Heling Jia, Zhiyi Yue, Sunyang Fu, Hongfang Liu
https://arxiv.org/abs/2509.03828

An Agentic Model Context Protocol Framework for Medical Concept Standardization
The Observational Medical Outcomes Partnership (OMOP) common data model (CDM) provides a standardized representation of heterogeneous health data to support large-scale, multi-institutional research. One critical step in data standardization using OMOP CDM is the mapping of source medical terms to OMOP standard concepts, a procedure that is resource-intensive and error-prone. While large language models (LLMs) have the potential to facilitate this process, their tendency toward hallucination ma…

Conservative approximation-based feedforward neural network for WENO schemes
Kwanghyuk Park, Jiaxi Gu, Jae-Hun Jung
https://arxiv.org/abs/2507.06190 https:…

Conservative approximation-based feedforward neural network for WENO schemes
In this work, we present the feedforward neural network based on the conservative approximation to the derivative from point values, for the weighted essentially non-oscillatory (WENO) schemes in solving hyperbolic conservation laws. The feedforward neural network, whose inputs are point values from the three-point stencil and outputs are two nonlinear weights, takes the place of the classical WENO weighting procedure. For the training phase, we employ the supervised learning and create a new l…

On ADEG-polyhedra in hyperbolic spaces
Naomi Bredon
https://arxiv.org/abs/2507.05153 https://arxiv.org/pdf/2507.05153

On ADEG-polyhedra in hyperbolic spaces
In this paper, we establish that the non-zero dihedral angles of hyperbolic Coxeter polyhedra of large dimensions are not arbitrarily small. Namely, for dimensions $n\geq 32$, they are of the form $\fracπ{m}$ with $m\leq 6$. Moreover, this property holds in all dimensions $n\geq 7$ for Coxeter polyhedra with mutually intersecting facets. Then, we develop a constructive procedure tailored to Coxeter polyhedra with prescribed dihedral angles, from which we derive the complete classification of A…

Geometric Landau Analysis and Symbol Bootstrap
Dmitry Chicherin, Johannes Henn, Elia Mazzucchelli, Jaroslav Trnka, Qinglin Yang, Shun-Qing Zhang
https://arxiv.org/abs/2508.05443

Geometric Landau Analysis and Symbol Bootstrap
We investigate how the positive geometry framework for loop integrands in $\mathcal{N}{=}4$ super Yang-Mills theory constrains the structure of the integrated answers. This is done in the context of a geometric expansion of Wilson loops with a Lagrangian insertion, called negative geometries, extending ideas previously used for scattering amplitudes related to the Amplituhedron. The procedure we adopt combines the knowledge of all maximal codimension boundaries of the geometry, which characteri…

An iterated $I$-projection procedure for solving the generalized minimum information checkerboard copula problem
Ivan Kojadinovic, Tommaso Martini
https://arxiv.org/abs/2509.02829

An iterated $I$-projection procedure for solving the generalized minimum information checkerboard copula problem
The minimum information copula principle initially suggested in \cite{MeeBed97} is a maximum entropy-like approach for finding the least informative copula, if it exists, that satisfies a certain number of expectation constraints specified either from domain knowledge or the available data. We first propose a generalization of this principle allowing the inclusion of additional constraints fixing certain higher-order margins of the copula. We next show that the associated optimization problem h…

Cauchy Data for 1D singular Schr\"odinger operators
Luc Hillairet, Jeremy L. Marzuola
https://arxiv.org/abs/2507.05772 https://a…

Cauchy Data for 1D singular Schrödinger operators
We study semiclassical 1D Schrödinger operators with a power-like singularity at $0$. We show that WKB expansions can be extended on any interval of the form [h^{1-},b]. Using a different approximation near 0 and a matching procedure we obtain an asymptotic expansion for the Cauchy Data at 0 of such WKB solutions that involves non-integer powers of h.

Decoding semantic sound categories in early visual cortex https://academic.oup.com/cercor/article/35/8/bhaf208/8221408?login=false "semantic and categorical sound information is represented in early visual cortex, potentially used to predict visual input&qu…

Hierarchical formula classes with respect to semi-classical prenex normalization
Makoto Fujiwara, Taishi Kurahashi
https://arxiv.org/abs/2506.22348 https:/…

Hierarchical formula classes with respect to semi-classical prenex normalization
In [10], the authors formalized the standard transformation procedure for prenex normalization of first-order formulas and showed that the classes $\mathrm{E}_k$ and $\mathrm{U}_k$ introduced in Akama et al. [1] are exactly the classes induced by $Σ_k$ and $Π_k$ respectively via the transformation procedure. In that sense, the classes $\mathrm{E}_k$ and $\mathrm{U}_k$ correspond to $Σ_k$ and $Π_k$ based on classical logic respectively. On the other hand, some transformations of the prenex n…

DACTYL: Diverse Adversarial Corpus of Texts Yielded from Large Language Models
Shantanu Thorat, Andrew Caines
https://arxiv.org/abs/2508.00619 https://arxi…

DACTYL: Diverse Adversarial Corpus of Texts Yielded from Large Language Models
Existing AIG (AI-generated) text detectors struggle in real-world settings despite succeeding in internal testing, suggesting that they may not be robust enough. We rigorously examine the machine-learning procedure to build these detectors to address this. Most current AIG text detection datasets focus on zero-shot generations, but little work has been done on few-shot or one-shot generations, where LLMs are given human texts as an example. In response, we introduce the Diverse Adversarial Corp…

Estimating Free Parameters in Stochastic Oscillatory Models Using a Weighted Cost Function
Joseph M. Marcinik, Dzmitry Vaido, Dolores Bozovic
https://arxiv.org/abs/2507.03200

Estimating Free Parameters in Stochastic Oscillatory Models Using a Weighted Cost Function
In this study, we estimate parameters in stochastic oscillatory systems by developing a novel cost function. This function incorporates power spectral density, analytic signal, and position crossings, each weighted to capture distinct oscillatory characteristics such as amplitude, frequency, and shape. By minimizing this cost via differential evolution, we estimate parameters in two stochastic systems given measured datasets. We validate this procedure by recovering known parameters from a test…

Non-uniform time-stepping in k-space pseudospectral time domain models of acoustic propagation
Matthew J. King, B. E. Treeby, B. T. Cox
https://arxiv.org/abs/2507.07635

Non-uniform time-stepping in k-space pseudospectral time domain models of acoustic propagation
Non-uniform time stepping in acoustic propagation models can be used to preserve accuracy or reduce computational cost for an acoustic simulation with a wave front propagating through a domain with both heterogeneous and homogenous regions, such as for a simulation of breast ultrasound tomography. The k-space correction already exist within the literature to remove numerical dispersion caused by the time stepping procedure in pseudo-spectral time domain models, but requires a uniform time step.…

Differentially Private Model-X Knockoffs via Johnson-Lindenstrauss Transform
Yuxuan Tao, Adel Javanmard
https://arxiv.org/abs/2508.04800 https://arxiv.org/…

Differentially Private Model-X Knockoffs via Johnson-Lindenstrauss Transform
We introduce a novel privatization framework for high-dimensional controlled variable selection. Our framework enables rigorous False Discovery Rate (FDR) control under differential privacy constraints. While the Model-X knockoff procedure provides FDR guarantees by constructing provably exchangeable ``negative control" features, existing privacy mechanisms like Laplace or Gaussian noise injection disrupt its core exchangeability conditions. Our key innovation lies in privatizing the data knock…

Decision Procedure for A Theory of String Sequences
Denghang Hu, Taolue Chen, Philipp R\"ummer, Fu Song, Zhilin Wu
https://arxiv.org/abs/2509.00948 https://

Decision Procedure for A Theory of String Sequences
The theory of sequences, supported by many SMT solvers, can model program data types including bounded arrays and lists. Sequences are parameterized by the element data type and provide operations such as accessing elements, concatenation, forming sub-sequences and updating elements. Strings and sequences are intimately related; many operations, e.g., matching a string according to a regular expression, splitting strings, or joining strings in a sequence, are frequently used in string-manipulat…

A Numerical Procedure for the Determination of the Pursuit Curve of Objects with Uniformly Accelerated Motion
Luis Rozas
https://arxiv.org/abs/2508.03841 https://

A Numerical Procedure for the Determination of the Pursuit Curve of Objects with Uniformly Accelerated Motion
In this article the pursuit problem of objects that moves with different accelerations and initial speeds is studied. Initially, the situation in which the escaping object moves in a straight line is considered. Under this condition, and if both objects starts from rest, it is shown that the trajectory of the chasing object match those obtain for the case of uniform motions. When both objects have different initial speeds and accelerations, we first note that if the escaping object starts its m…

Baseline hydropower generation offer curves
Jonathan Pearce, Arash Khojaste, Golbon Zakeri, Geoffrey Pritchard
https://arxiv.org/abs/2508.04854 https://arx…

Baseline hydropower generation offer curves
We outline a mathematical model for pricing hydropower generation. The model involves a Markov decision process that reflects the seasonal variation in historical time series of water inflows. The procedure is computationally efficient and easy to interpret.

Super-Resolution of Sentinel-2 Images Using a Geometry-Guided Back-Projection Network with Self-Attention
Ivan Pereira-S\'anchez, Daniel Torres, Francesc Alcover, Bartomeu Garau, Julia Navarro, Catalina Sbert, Joan Duran
https://arxiv.org/abs/2508.04729

Super-Resolution of Sentinel-2 Images Using a Geometry-Guided Back-Projection Network with Self-Attention
The Sentinel-2 mission provides multispectral imagery with 13 bands at resolutions of 10m, 20m, and 60m. In particular, the 10m bands offer fine structural detail, while the 20m bands capture richer spectral information. In this paper, we propose a geometry-guided super-resolution model for fusing the 10m and 20m bands. Our approach introduces a cluster-based learning procedure to generate a geometry-rich guiding image from the 10m bands. This image is integrated into an unfolded back-projectio…

Some new Liouville type theorems for the 3D stationary magneto-micropolar fluid equations
Zhibing Zhang, Qian Zu
https://arxiv.org/abs/2508.02449 https://a…

Some new Liouville type theorems for the 3D stationary magneto-micropolar fluid equations
In this paper, we investigate Liouville type theorems for the 3D stationary magneto-micropolar fluid equations. Adopting an iterative procedure, taking advantage of the special structure of the equations and using a novel combination of two different interpolation inequalities, we establish Liouville type theorems if the smooth solution satisfies certain growth conditions in terms of $L^p$-norms on the annuli. Compared with the velocity field and the magnetic field, we raise the most relaxed re…

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

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

The pruning of accounts on #footiMac #selfhost is finally complete! That procedure alone ‘pruned' 314348 accounts and 100GB of related data on disk. Now... to do a few more cleaning tasks, as per recommendations from friends here. We're going to dive right in to tootctl media remove which should remove a LOT of remove media from the system. :)

Forward Variable Selection in Ultra-High Dimensional Linear Regression Using Gram-Schmidt Orthogonalization
Jialuo Chen, Zhaoxing Gao, Ruey S. Tsay
https://arxiv.org/abs/2507.04668

Forward Variable Selection in Ultra-High Dimensional Linear Regression Using Gram-Schmidt Orthogonalization
We investigate forward variable selection for ultra-high dimensional linear regression using a Gram-Schmidt orthogonalization procedure. Unlike the commonly used Forward Regression (FR) method, which computes regression residuals using an increasing number of selected features, or the Orthogonal Greedy Algorithm (OGA), which selects variables based on their marginal correlations with the residuals, our proposed Gram-Schmidt Forward Regression (GSFR) simplifies the selection process by evaluatin…

On the Dynamics of Control
Rachit Mehra, M Parimi, S. R. Wagh, Navdeep M Singh
https://arxiv.org/abs/2507.04181 https://arxiv.org/pdf…

On the Dynamics of Control
We present a dynamical system approach for the control of a nonlinear dynamical system by defining the control problem in a Fiber bundle framework. The constructive procedure derived results in the generation of a NHIM/NAIM which facilitates the use of tools and ideas from dynamical system theory to analyze and understand the properties associated with the controlled system. The time scale separation, decoupling of system dynamics, and their role in the system behavior are analyzed. An overview…

Jaylen Wright injury update: Dolphins RB expected to miss multiple weeks after undergoing procedure on his leg

https://www.cbssports.com/nfl/news/jayle…

Simulation-based planning of Motion Sequences for Automated Procedure Optimization in Multi-Robot Assembly Cells
Loris Schneider, Marc Ungen, Elias Huber, Jan-Felix Klein
https://arxiv.org/abs/2507.23270

Simulation-based planning of Motion Sequences for Automated Procedure Optimization in Multi-Robot Assembly Cells
Reconfigurable multi-robot cells offer a promising approach to meet fluctuating assembly demands. However, the recurrent planning of their configurations introduces new challenges, particularly in generating optimized, coordinated multi-robot motion sequences that minimize the assembly duration. This work presents a simulation-based method for generating such optimized sequences. The approach separates assembly steps into task-related core operations and connecting traverse operations. While co…

Active Learning of A Crystal Plasticity Flow Rule From Discrete Dislocation Dynamics Simulations
Nicholas Huebner Julian, Giacomo Po, Enrique Martinez, Nithin Mathew, Danny Perez
https://arxiv.org/abs/2509.04788

Active Learning of A Crystal Plasticity Flow Rule From Discrete Dislocation Dynamics Simulations
Continuum-scale material deformation models, such as crystal plasticity, can significantly enhance their predictive accuracy by incorporating input from lower-scale (i.e., mesoscale) models. The procedure to generate and extract the relevant information is however typically complex and ad hoc, involving decision and intervention by domain experts, leading to long development times. In this study, we develop a principled approach for calibration of continuum-scale models using lower scale inform…

Positivity of Nearly Linearly Recurrent Sequences
Amaury Pouly, Mahsa Shirmohammadi, James Worrell
https://arxiv.org/abs/2508.00944 https://arxiv.org/pdf/2…

Positivity of Nearly Linearly Recurrent Sequences
In this paper we formulate the Positivity Problem for nearly linear recurrent sequences. This is a generalisation of the Positivity Problem for linear recurrence sequences and is a special case of the non-reachability problem for linear time-invariant systems. Our main contribution is a decision procedure for the Positivity Problem for nearly linear recurrences of order at most 3 whose characteristic roots have absolute value at most one. The decision procedure relies on a new tra…

Before states banned abortion,
one of the gravest outcomes of early miscarriage could easily be avoided:
👉Doctors could offer a dilation and curettage procedure, which quickly empties the uterus and allows it to close,
protecting against a life-threatening hemorrhage.
⚠️But because the procedures, known as D&Cs, are also used to end pregnancies, they have gotten tangled up in state legislation that restricts abortion.
🆘Reports now abound of doctors hesitat…

A “Striking” Trend: After Texas Banned Abortion, More Women Nearly Bled to Death During Miscarriage
A new ProPublica data analysis adds to the mounting evidence that abortion bans have made the common experience of first-trimester miscarriage far more dangerous.

Second-order renormalized Hamiltonian of Yukawa theory
Kamil Serafin, Carter M. Gustin, Peter J. Love
https://arxiv.org/abs/2508.02972 https://arxiv.org/pd…

Second-order renormalized Hamiltonian of Yukawa theory
Using the renormalization group procedure for effective particles (RGPEP) we calculate the effective Hamiltonians in the theory of a fermion field coupled to a scalar field via the Yukawa interaction. The theory is renormalized by the addition of counterterms. Necessary counterterms are determined by computing matrix elements of the effective Hamiltonian. All calculations are performed up to the second order in the expansion in powers of the coupling constant. Renormalized effective Hamiltonian…

Ohio lawmakers to introduce bill banning abortion, criminalizing the procedure (Mary Kekatos/ABC News)
https://abcnews.go.com/Health/ohio-lawmakers-introduce-bill-banning-abortion-criminalizing-procedure/story?id=122922580
http://www.memeorandum.com/250617/p160#a250617p160

Qubit-optimal quantum phase estimation of block-encoded Hamiltonians
S. E. Skelton
https://arxiv.org/abs/2509.04246 https://arxiv.org/pdf/2509.04246…

Qubit-optimal quantum phase estimation of block-encoded Hamiltonians
Block-encodings have become one of the most common oracle assumptions in the circuit model. I present an algorithm that uses von Neumann's measurement procedure to measure a phase, using time evolution on a block-encoded Hamiltonian as a subroutine. This produces an extremely simple algorithm for quantum phase estimation, which can be performed with a pointer system of $\mathcal{O}(1)$ qubits. I then use recent results for block-encoding implementations, showing that one can efficiently prepa…

Nonparametric Estimation from Correlated Copies of a Drifted 2nd-Order Process
Nicolas Marie
https://arxiv.org/abs/2508.05259 https://arxiv.org/pdf/2508.05…

Nonparametric Estimation from Correlated Copies of a Drifted 2nd-Order Process
This paper presents several situations leading to the observation of multiple - possibly correlated - copies of a drifted 2nd-order process, and then non-asymptotic risk bounds are established on nonparametric estimators of the drift function $b_0$ and its derivative. For drifted Gaussian processes with a regular enough covariance function, a sharper risk bound is established on the estimator of $b_0'$, and a model selection procedure is provided with theoretical guarantees.

Multivariate regression with missing response data for modelling regional DNA methylation QTLs
Shomoita Alam, Yixiao Zeng, Sasha Bernatsky, Marie Hudson, In\'es Colmegna, David A. Stephens, Celia M. T. Greenwood, Archer Y. Yang
https://arxiv.org/abs/2507.05990

Multivariate regression with missing response data for modelling regional DNA methylation QTLs
Identifying genetic regulators of DNA methylation (mQTLs) with multivariate models enhances statistical power, but is challenged by missing data from bisulfite sequencing. Standard imputation-based methods can introduce bias, limiting reliable inference. We propose \texttt{missoNet}, a novel convex estimation framework that jointly estimates regression coefficients and the precision matrix from data with missing responses. By using unbiased surrogate estimators, our three-stage procedure avoids…

Post-Newtonian expansion of scale-dependent gravity
Nicolas R. Bertini, Marcos H. Novaes
https://arxiv.org/abs/2508.04810 https://arxiv.org/pdf/2508.04810

Post-Newtonian expansion of scale-dependent gravity
Scale-dependent gravity is an extension of general relativity in which the Newton and cosmological constants may vary slightly with the energy scale due to remnant low-energy quantum effects. A fundamental feature of this approach is the scale-setting procedure. In a previous work by one of the authors, a covariant expression for the scale, consistent with conservation laws, was established. Here, we apply the full Will-Nordtvedt version of the parameterized post-Newtonian (PPN) formalism to th…

A general fusion procedure for open $\mathfrak{gl}(N)$ spin chains: Application to the ABJM spin chain
Nan Bai
https://arxiv.org/abs/2507.19394 https://arx…

A general fusion procedure for open $\mathfrak{gl}(N)$ spin chains: Application to the ABJM spin chain
We formulate a general fusion procedure for open $\mathfrak{gl}(N)$ spin chains. We construct the fused boundary reflection matrices and the corresponding fused reflection equations. By using the intertwining relation between the fused reflection matrices and the fusion operator, we identify the invariant subspace of the fused reflection matrices carrying the irreducible representations of $\mathfrak{gl}(N)$. We also construct the fused transfer matrix and evaluate it explicitly in the total te…

Packers QB Jordan Love to undergo procedure on left thumb, not expected to miss Week 1 https://www.nfl.com/news/packers-qb-jordan-love-procedure-left-thumb-not-expected-to-miss-week-1

Streamlined WZ method proofs of Van Hamme supercongruences
Andres Valloud
https://arxiv.org/abs/2508.00343 https://arxiv.org/pdf/2508.00343

Streamlined WZ method proofs of Van Hamme supercongruences
Using the WZ method to prove supercongruences critically depends on an inspired WZ pair choice. This paper demonstrates a procedure for finding WZ pair candidates to prove a given supercongruence. When suitable WZ pairs are thus obtained, coupling them with the $p$-adic approximation of $Γ_p$ by Long and Ramakrishna enables uniform proofs for the Van Hamme supercongruences B.2, C.2, D.2, E.2, F.2, G.2, and H.2. This approach also yields the known extensions of G.2 modulo $p^4$, and of H.2 modu…

AutoGraph: A Knowledge-Graph Framework for Modeling Interface Interaction and Automating Procedure Execution in Digital Nuclear Control Rooms
Xingyu Xiao, Jiejuan Tong, Jun Sun, Zhe Sui, Jingang Liang, Hongru Zhao, Jun Zhao, Haitao Wang
https://arxiv.org/abs/2506.18727

AutoGraph: A Knowledge-Graph Framework for Modeling Interface Interaction and Automating Procedure Execution in Digital Nuclear Control Rooms
Digitalization in nuclear power plant (NPP) control rooms is reshaping how operators interact with procedures and interface elements. However, existing computer-based procedures (CBPs) often lack semantic integration with human-system interfaces (HSIs), limiting their capacity to support intelligent automation and increasing the risk of human error, particularly under dynamic or complex operating conditions. In this study, we present AutoGraph, a knowledge-graph-based framework designed to form…

AdS$_3$ black holes with primary Proca hair from regularized Gauss-Bonnet coupling
Gokhan Alkac, Murat Mesta, Gonul Unal
https://arxiv.org/abs/2508.03386 https://

AdS$_3$ black holes with primary Proca hair from regularized Gauss-Bonnet coupling
We construct a consistent three-dimensional Einstein-Gauss-Bonnet theory as a vector-tensor theory within the generalized Proca class by employing a regularization procedure based on the Weyl geometry, which was introduced recently in arXiv:2504.13084. We then obtain an asymptotically AdS$_3$, static, and circularly symmetric black hole solution with primary Proca hair. Afterwards, we investigate the effect of the scalar-tensor Gauss-Bonnet coupling constructed previously by different regulariz…

Transfer Learning for Matrix Completion
Dali Liu, Haolei Weng
https://arxiv.org/abs/2507.02248 https://arxiv.org/pdf/2507.02248

Transfer Learning for Matrix Completion
In this paper, we explore the knowledge transfer under the setting of matrix completion, which aims to enhance the estimation of a low-rank target matrix with auxiliary data available. We propose a transfer learning procedure given prior information on which source datasets are favorable. We study its convergence rates and prove its minimax optimality. Our analysis reveals that with the source matrices close enough to the target matrix, out method outperforms the traditional method using the si…

Packers QB Love to have left thumb procedure https://www.espn.com/nfl/story/_/id/45955096/packers-jordan-love-thumb-procedure-expected-play-week-1

Marcello's completion of graphs
Johan Kok
https://arxiv.org/abs/2507.02015 https://arxiv.org/pdf/2507.02015

Marcello's completion of graphs
This paper initiates a study on a new optimization problem with regards to graph completion. The defined procedure is called, \emph{Marcello's completion} of a graph. For graph $G$ of order $n$ the \emph{Marcello number} is obtained by iteratively constructing graphs, $G_1,G_2,\dots,G_k$ by adding a maximal number of edges between pairs of distinct, non-adjacent vertices in accordance with the \emph{Marcello rule}. If for smallest $k$ the resultant graph $G_k \cong K_n$ then the Marcello number…

Superpolynomial convergence in the Riemann Rearrangement Theorem
Stefan Steinerberger
https://arxiv.org/abs/2508.02489 https://arxiv.org/pdf/2508.02489

Superpolynomial convergence in the Riemann Rearrangement Theorem
Let $x \in \mathbb{R}$ be arbitrary and consider the `greedy' approximation of $x$ by signed harmonic sums: given $a_n = \sum_{k \leq n} \varepsilon_k/k$ with $\varepsilon_k \in \left\{-1,1\right\}$, we set $\varepsilon_{n+1} = 1$ if $a_n \leq x$ and $\varepsilon_{n+1} = -1$ otherwise. Bettin-Molteni-Sanna showed (Adv. Math. 2020) that this procedure has remarkable approximation properties: for almost all $x \in \mathbb{R}$ one has superpolynomial convergence in the sense that for every $k \in …

The Flat-Space Limit of AdS Coupled to a Bath
Dominik Neuenfeld
https://arxiv.org/abs/2508.03798 https://arxiv.org/pdf/2508.03798

The Flat-Space Limit of AdS Coupled to a Bath
We explain how to take a well-defined flat-space limit of brane models of AdS coupled to a non-gravitating bath. In the dual BCFT this amounts to a triple-scaling limit where both the number of boundary degrees of freedom and the boundary coupling are taken to infinity while the BCFT boundary piecewise approaches a lightcone. We show how this procedure acts on the conformal generators as a Wigner-İnönü contraction, reducing the global BCFT symmetry algebra to the global symmetry algebra of f…

Eagles OL Landon Dickerson to undergo minor procedure on knee; goal is to be ready for Week 1 https://www.nfl.com/news/eagles-ol-landon-dickerson-to-undergo-minor-procedure-on-knee-goal-is-to-be-ready-for-week-1

A New Perspective on High Dimensional Confidence Intervals
Logan Harris, Patrick Breheny
https://arxiv.org/abs/2508.03504 https://arxiv.org/pdf/2508.03504

A New Perspective on High Dimensional Confidence Intervals
Classically, confidence intervals are required to have consistent coverage across all values of the parameter. However, this will inevitably break down if the underlying estimation procedure is biased. For this reason, many efforts have focused on debiased versions of the lasso for interval construction. In the process of debiasing, however, the connection to the original estimates are often obscured. In this work, we offer a different perspective focused on average coverage in contrast to indi…

Wild Refitting for Model-Free Excess Risk Evaluation of Opaque ML/AI Models under Bregman Loss
Haichen Hu, David Simchi-Levi
https://arxiv.org/abs/2509.02476 https://

Wild Refitting for Model-Free Excess Risk Evaluation of Opaque ML/AI Models under Bregman Loss
We study the problem of evaluating the excess risk of classical penalized empirical risk minimization (ERM) with Bregman losses. We show that by leveraging the recently proposed wild refitting procedure (Wainwright, 2025), one can efficiently upper bound the excess risk through the so-called "wild optimism," without relying on the global structure of the underlying function class. This property makes our approach inherently model-free. Unlike conventional analyses, our framework operates with j…

Titans activate L'Jarius Sneed from PUP after quad injury, knee clean-up procedure

https://www.cbssports.com/nfl/news/titans-activate-ljarius-sne…

Predicting EGFR Mutation in LUAD from Histopathological Whole-Slide Images Using Pretrained Foundation Model and Transfer Learning: An Indian Cohort Study
Sagar Singh Gwal, Rajan, Suyash Devgan, Shraddhanjali Satapathy, Abhishek Goyal, Nuruddin Mohammad Iqbal, Vivaan Jain, Prabhat Singh Mallik, Deepali Jain, Ishaan Gupta
https://arxiv.org…

Predicting EGFR Mutation in LUAD from Histopathological Whole-Slide Images Using Pretrained Foundation Model and Transfer Learning: An Indian Cohort Study
Lung adenocarcinoma (LUAD) is a subtype of non-small cell lung cancer (NSCLC). LUAD with mutation in the EGFR gene accounts for approximately 46% of LUAD cases. Patients carrying EGFR mutations can be treated with specific tyrosine kinase inhibitors (TKIs). Hence, predicting EGFR mutation status can help in clinical decision making. H&E-stained whole slide imaging (WSI) is a routinely performed screening procedure for cancer staging and subtyping, especially affecting the Southeast Asian popula…

A powerful procedure that controls the false discovery rate with directional information
Zhaoyang Tian, Kun Liang, Pengfei Li
https://arxiv.org/abs/2507.15631

A powerful procedure that controls the false discovery rate with directional information
In many multiple testing applications in genetics, the signs of test statistics provide useful directional information, such as whether genes are potentially up- or down-regulated between two experimental conditions. However, most existing procedures that control the false discovery rate (FDR) are $p$-value based and ignore such directional information. We introduce a novel procedure, the signed-knockoff procedure, to utilize the directional information and control the FDR in finite samples. We…

AdS$_7$ Black Holes and Holography
Nikolay Bobev, Marina David, Vasil Dimitrov, Junho Hong
https://arxiv.org/abs/2509.02833 https://arxiv.org/pdf/2509.0283…

AdS$_7$ Black Holes and Holography
We present a detailed study of the regularized on-shell action of the recently found asymptotically AdS$_7$ black hole supergravity solution with three angular momenta and two electric charges. We show that a particular choice of finite counterterms in the holographic renormalization procedure yields a result for the on-shell action of the supersymmetric limit of the black hole solution which is in perfect agreement with the large $N$ limit of the superconformal index of the dual 6d $\mathcal{N…

Packers QB Jordan Love will have procedure on left thumb ligament, hopes to return to practice next week

https://www.cbssports.com/nfl/news/packers

Proper-time functional renormalization in $O(N)$ scalar models coupled to gravity
Alfio Bonanno, Emiliano Glaviano, Gian Paolo Vacca
https://arxiv.org/abs/2508.00807 https://

Proper-time functional renormalization in $O(N)$ scalar models coupled to gravity
We focus on the use of the functional Wilsonian renormalization group framework characterized by a proper time regulator and test its use in the search of the scaling solutions and the critical properties of an O(N)-invariant scalar field multiplet coupled to gravity in d=4 and d=3 dimensions. We employ the same background-fluctuation splitting and gauge fixing procedure, already adopted in a previous study based, instead, on the effective average action framework and a similar truncation of th…

An adaptive procedure for detecting replicated signals with $k$-family-wise error rate control
Ninh Tran
https://arxiv.org/abs/2508.15363 https://arxiv.org…

An adaptive procedure for detecting replicated signals with $k$-family-wise error rate control
Partial conjunction (PC) hypothesis testing is widely used to assess the replicability of scientific findings across multiple comparable studies. In high-throughput meta-analyses, testing a large number of PC hypotheses with k-family-wise error rate (k-FWER) control often suffers from low statistical power due to the multiplicity burden. The state-of-the-art AdaFilter-Bon procedure by Wang et al. (2022, Ann. Stat., 50(4), 1890-1909) alleviates this problem by filtering out hypotheses unlikely t…

Bootstrapping periodic quantum systems
Zhijian Huang, Wenliang Li
https://arxiv.org/abs/2507.02386 https://arxiv.org/pdf/2507.02386…

Bootstrapping periodic quantum systems
Periodic structures are ubiquitous in quantum many-body systems and quantum field theories, ranging from lattice models, compact spaces, to topological phenomena. However, previous bootstrap studies encountered technical challenges even for one-body periodic problems, such as a failure in determining the accurate dispersion relations for Bloch bands. In this work, we develop a new bootstrap procedure to resolve these issues, which does not make use of positivity constraints. We mainly consider …