Tootfinder

Accelerating Deterministic Global Optimization via GPU-parallel Interval Arithmetic
Hongzhen Zhang (Department of Chemical Engineering, KU Leuven, Leuven, Belgium), Tim Kerkenhoff (Institute of Climate and Energy Systems - Energy Systems Engineering), Neil Kichler (Software and Tools for Computational Engineering), Manuel Dahmen (Institute of Climate and Energy Systems - Energy Systems Engineering), Alexander Mitsos (JARA-CSD, Aachen, Germany, Process Systems Enginering, Institute of C…

Accelerating Deterministic Global Optimization via GPU-parallel Interval Arithmetic
Spatial Branch and Bound (B&B) algorithms are widely used for solving nonconvex problems to global optimality, yet they remain computationally expensive. Though some works have been carried out to speed up B&B via CPU parallelization, GPU parallelization is much less explored. In this work, we investigate the design of a spatial B&B algorithm that involves an interval-based GPU-parallel lower bounding solver: The domain of each B&B node is temporarily partitioned into numerous subdomains, then …

3D Software Synthesis Guided by Constraint-Expressive Intermediate Representation
Shuqing Li, Anson Y. Lam, Yun Peng, Wenxuan Wang, Michael R. Lyu
https://arxiv.org/abs/2507.18625

3D Software Synthesis Guided by Constraint-Expressive Intermediate Representation
Graphical user interface (UI) software has undergone a fundamental transformation from traditional two-dimensional (2D) desktop/web/mobile interfaces to spatial three-dimensional (3D) environments. While existing work has made remarkable success in automated 2D software generation, such as HTML/CSS and mobile app interface code synthesis, the generation of 3D software still remains under-explored. Current methods for 3D software generation usually generate the 3D environments as a whole and can…

Apple announces visionOS 26 with spatial widgets, including Clock, Weather, Music, and Photos, all-new Personas, Spatial scenes powered by AI, and more (Ryan Christoffel/9to5Mac)
https://9to5mac.com/2025/06/09/visionos-26-announced-…

visionOS 26 announced with spatial widgets, all-new Personas, more - 9to5Mac
Apple has officially announced visionOS 26, the next major software update for Vision Pro users that will launch this fall.

This https://arxiv.org/abs/1811.03437 has been replaced.
link: https://scholar.google.com/scholar?q=a

Integrating Project Spatial Coordinates into Pavement Management Prioritization
To date, pavement management software products and studies on optimizing the prioritization of pavement maintenance and rehabilitation (M&R) have been mainly focused on three parameters; the pre-treatment pavement condition, the rehabilitation cost, and the available budget. Yet, the role of the candidate projects' spatial characteristics in the decision-making process has not been deeply considered. Such a limitation, predominately, allows the recommended M&R projects' schedule to involve simu…

Monitoring changes in nighttime lights and anthropogenic CO2 emissions during geopolitical conflicts from a remote sensing perspective: #ALAN

LevelSetPy: A GPU-Accelerated Package for Hyperbolic Hamilton-Jacobi Partial Differential Equations
Lekan Molu
https://arxiv.org/abs/2507.11542 https://

LevelSetPy: A GPU-Accelerated Package for Hyperbolic Hamilton-Jacobi Partial Differential Equations
This article introduces a software package release for geometrically reasoning about the \textit{safety} desiderata of (complex) dynamical systems via level set methods. In emphasis, safety is analyzed with Hamilton-Jacobi equations. In scope, we provide implementations of numerical algorithms for the resolution of Hamilton-Jacobi-Isaacs equations: the spatial derivatives of the associated value function via upwinding, the Hamiltonian via Lax-Friedrichs schemes, and the integration of the Hamil…

Tech-ASan: Two-stage check for Address Sanitizer
Yixuan Cao, Yuhong Feng, Huafeng Li, Chongyi Huang, Fangcao Jian, Haoran Li, Xu Wang
https://arxiv.org/abs/2506.05022

Tech-ASan: Two-stage check for Address Sanitizer
Address Sanitizer (ASan) is a sharp weapon for detecting memory safety violations, including temporal and spatial errors hidden in C/C++ programs during execution. However, ASan incurs significant runtime overhead, which limits its efficiency in testing large software. The overhead mainly comes from sanitizer checks due to the frequent and expensive shadow memory access. Over the past decade, many methods have been developed to speed up ASan by eliminating and accelerating sanitizer checks, how…

The SPHEREx Sky Simulator: Science Data Modeling for the First All-Sky Near-Infrared Spectral Survey
Brendan P. Crill, Yoonsoo P. Bach, Sean A. Bryan, Jean Choppin de Janvry, Ari J. Cukierman, C. Darren Dowell, Spencer W. Everett, Candice Fazar, Tatiana Goldina, Zhaoyu Huai, Howard Hui, Woong-Seob Jeong, Jae Hwan Kang, Phillip M. Korngut, Jae Joon Lee, Daniel C. Masters, Chi H. Nguyen, Jeonghyun Pyo, Teresa Symons, Yujin Yang, Michael Zemcov, Rachel Akeson, Matthew L. N. Ashby, James J…

The SPHEREx Sky Simulator: Science Data Modeling for the First All-Sky Near-Infrared Spectral Survey
We describe the SPHEREx Sky Simulator, a software tool designed to model science data for NASA's SPHEREx mission that will carry out a series of all-sky spectrophotometric surveys at $\sim$6'' spatial resolution in 102 spectral channels spanning 0.75 to 5 $μ$m. The Simulator software implements models for astrophysical emission, instrument characteristics, and survey strategy to generate realistic infrared sky scenes as they will be observed by SPHEREx. The simulated data includes a variety of…

Fast Variational Bayes for Large Spatial Data
Jiafang Song, Abhirup Datta
https://arxiv.org/abs/2507.12251 https://arxiv.org/pdf/2507.12251

Fast Variational Bayes for Large Spatial Data
Recent variational Bayes methods for geospatial regression, proposed as an alternative to computationally expensive Markov chain Monte Carlo (MCMC) sampling, have leveraged Nearest Neighbor Gaussian processes (NNGP) to achieve scalability. Yet, these variational methods remain inferior in accuracy and speed compared to spNNGP, the state-of-the-art MCMC-based software for NNGP. We introduce spVarBayes, a suite of fast variational Bayesian approaches for large-scale geospatial data analysis using…

Real-time processing of distributed acoustic sensing data for earthquake monitoring operations
Ettore Biondi, Gabrielle Tepp, Ellen Yu, Jessie K. Saunders, Victor Yartsev, Michael Black, Michael Watkins, Aparna Bhaskaran, Rayomand Bhadha, Zhongwen Zhan, Allen L. Husker
https://arxiv.org/abs/2505.24077

Real-time processing of distributed acoustic sensing data for earthquake monitoring operations
We introduce a modular software framework designed to integrate distributed acoustic sensing (DAS) data into operational earthquake monitoring systems. Building on the infrastructure of the Advanced National Seismic System (ANSS) and the Southern California Seismic Network (SCSN), which employs the ANSS Quake Monitoring Software (AQMS), our solution supports real-time DAS waveform streaming and machine-learning-based traveltime picking to leverage the dense spatial sampling of DAS arrays. To en…

stCEG: An R Package for Modelling Events over Spatial Areas Using Chain Event Graphs
Hollie Calley, Daniel Williamson
https://arxiv.org/abs/2507.06726 http…

stCEG: An R Package for Modelling Events over Spatial Areas Using Chain Event Graphs
stCEG is an R package which allows a user to fully specify a Chain Event Graph (CEG) model from data and to produce interactive plots. It includes functions for the user to visualise spatial variables they wish to include in the model. There is also a web-based graphical user interface (GUI) provided, increasing ease of use for those without knowledge of R. We demonstrate stCEG using a dataset of homicides in London, which is included in the package. stCEG is the first software package for CEGs…