Tootfinder

Jonathan Gannon explains when he learned to take emotion out of coaching: 'When our quarterback went to jail'

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

Crosslisted article(s) found for cs.SE. https://arxiv.org/list/cs.SE/new
[1/1]:
- Bridging AI Innovation and Healthcare Needs: Lessons Learned from Incorporating Modern NLP at The...
Lovedeep Gondara, Gregory Arbour, Raymond Ng, Jonathan Simkin, Shebnum Devji

Hybrid Game Control Envelope Synthesis
Aditi Kabra, Jonathan Laurent, Stefan Mitsch, Andr\'e Platzer
https://arxiv.org/abs/2508.05997 https://arxiv.org…

Hybrid Game Control Envelope Synthesis
Control problems for embedded systems like cars and trains can be modeled by two-player hybrid games. Control envelopes, which are families of safe control solutions, correspond to nondeterministic winning policies of hybrid games, where each deterministic specialization of the policy is a control solution. This paper synthesizes nondeterministic winning policies for hybrid games that are as permissive as possible. It introduces subvalue maps, a compositional representation of such policies tha…

Trickle-down Theorems via C-Lorentzian Polynomials II: Pairwise Spectral Influence and Improved Dobrushin's Condition
Jonathan Leake, Shayan Oveis Gharan
https://arxiv.org/abs/2510.06549

Trickle-down Theorems via C-Lorentzian Polynomials II: Pairwise Spectral Influence and Improved Dobrushin's Condition
Let $μ$ be a probability distribution on a multi-state spin system on a set $V$ of sites. Equivalently, we can think of this as a $d$-partite simplical complex with distribution $μ$ on maximal faces. For any pair of vertices $u,v\in V$, define the pairwise spectral influence $\mathcal{I}_{u,v}$ as follows. Let $σ$ be a choice of spins $s_w\in S_w$ for every $w\in V \setminus \{u,v\}$, and construct a matrix in $\mathbb{R}^{(S_u\cup S_v)\times (S_u\cup S_v)}$ where for any $s_u\in S_u, s_v\in…

Orbital angular momentum of entangled photons as a probe for relativistic effects
Fazilah Nothlawala, Kiki Dekkers, Moslem Mahdavifar, Jonathan Leach, Andrew Forbes, Isaac Nape
https://arxiv.org/abs/2508.01716

Orbital angular momentum of entangled photons as a probe for relativistic effects
Orbital angular momentum (OAM) as both classical and quantum states of light has proven essential in numerous applications, from high-capacity information transfer to enhanced precision and accuracy in metrology. Here, we extend OAM metrology to relativistic scenarios to determine the Lorentz factor of a moving reference frame, exploiting the fact that OAM is not Lorentz invariant. Using OAM correlations of entangled states, we show that their joint OAM spectrum is modified by length contractio…

A look at AI-powered "nudify" tools, which make it fast and easy to make nonconsensual, deepfake porn, and the limited legal options available to their victims (Jonathan Vanian/CNBC)
https://www.cnbc.com/2025/09/27/nudify-ai-generated-deepfake-fbi.html

How a 'nudify' site turned a group of friends into key figures in a fight against AI-generated porn
A group of friends in Minnesota last year learned that a man they knew had used their social media photos to create pornographic deepfakes.

From Geostrophic to Magnetically-Damped Turbulence in Liquid Metal Rotating Magnetoconvection
Tao Liu, Yufan Xu, Jewel A. Abbate, Jonathan S. Cheng, Jonathan M. Aurnou
https://arxiv.org/abs/2509.03689 …

From Geostrophic to Magnetically-Damped Turbulence in Liquid Metal Rotating Magnetoconvection
Understanding planetary core convection dynamics requires the study of convective flows in which the Coriolis and Lorentz forces attain a leading-order, so-called magnetostrophic balance. Experimental investigations of rotating magnetoconvection (RMC) in the magnetostrophic regime are therefore essential to broadly characterize the properties of local-scale planetary core flow. Towards this end, we present here the first thermovelocimetric measurements of magnetostrophic, liquid metal convectio…

Can Large Language Models Autoformalize Kinematics?
Aditi Kabra, Jonathan Laurent, Sagar Bharadwaj, Ruben Martins, Stefan Mitsch, Andr\'e Platzer
https://arxiv.org/abs/2509.21840

Can Large Language Models Autoformalize Kinematics?
Autonomous cyber-physical systems like robots and self-driving cars could greatly benefit from using formal methods to reason reliably about their control decisions. However, before a problem can be solved it needs to be stated. This requires writing a formal physics model of the cyber-physical system, which is a complex task that traditionally requires human expertise and becomes a bottleneck. This paper experimentally studies whether Large Language Models (LLMs) can automate the formalizati…

SurGBSA: Learning Representations From Molecular Dynamics Simulations
Derek Jones, Yue Yang, Felice C. Lightstone, Niema Moshiri, Jonathan E. Allen, Tajana S. Rosing
https://arxiv.org/abs/2509.03084

SurGBSA: Learning Representations From Molecular Dynamics Simulations
Self-supervised pretraining from static structures of drug-like compounds and proteins enable powerful learned feature representations. Learned features demonstrate state of the art performance on a range of predictive tasks including molecular properties, structure generation, and protein-ligand interactions. The majority of approaches are limited by their use of static structures and it remains an open question, how best to use atomistic molecular dynamics (MD) simulations to develop more gen…

Worlds Next Door: A Candidate Giant Planet Imaged in the Habitable Zone of $\alpha$ Cen A. I. Observations, Orbital and Physical Properties, and Exozodi Upper Limits
Charles Beichman, Aniket Sanghi, Dimitri Mawet, Pierre Kervella, Kevin Wagner, Billy Quarles, Jack J. Lissauer, Max Sommer, Mark Wyatt, Nicolas Godoy, William O. Balmer, Laurent Pueyo, Jorge Llop-Sayson, Jonathan Aguilar, Rachel Akeson, Ruslan Belikov, Anthony Boccaletti, Elodie Choquet, Edward Fomalont, Thomas Henning, De…

Worlds Next Door: A Candidate Giant Planet Imaged in the Habitable Zone of $α$ Cen A. I. Observations, Orbital and Physical Properties, and Exozodi Upper Limits
We report on coronagraphic observations of the nearest solar-type star, $α$ Cen A, using the MIRI instrument on the James Webb Space Telescope. With three epochs of observation (August 2024, February 2025, and April 2025), we achieve a sensitivity sufficient to detect $T_{\rm eff}\approx$ 225-250 K (1-1.2 $R_{\rm Jup}$) planets between 1"-2" and exozodiacal dust emission at the level of $>$5-8$\times$ the brightness of our own zodiacal cloud. The lack of exozodiacal dust emission sets an unpre…