Orbit recovery for spherical functions https://arxiv.org/abs/2508.02674 #math.NA #math.IT #cs.IT #cs.NA
When surface evolution meets Fokker-Planck equation: a novel tangential velocity model for uniform parametrization https://arxiv.org/abs/2508.02676 #math.NA #math-ph #math.MP #cs.NA
Automated $h$-adaptivity for finite element approximations of the Falkner-Skan equation https://arxiv.org/abs/2508.02677 #math.NA #cs.NA
On sliced Cram\'er metrics https://arxiv.org/abs/2508.02678 #math.NA #cs.NA
LLM Agent-Based Simulation of Student Activities and Mental Health Using Smartphone Sensing Data https://arxiv.org/abs/2508.02679 #cs.HC
AnnoSense: A Framework for Physiological Emotion Data Collection in Everyday Settings for AI https://arxiv.org/abs/2508.02680 #cs.HC #cs.AI
Accelerating Conjugate Gradient Solvers for Homogenization Problems with Unitary Neural Operators https://arxiv.org/abs/2508.02681 #math.NA #cs.LG #cs.NA
Transient thermal analysis of a bi-layered composites with the dual-reciprocity inclusion-based boundary element method https://arxiv.org/abs/2508.02683 #math.NA #cs.NA
ReVise: A Human-AI Interface for Incremental Algorithmic Recourse https://arxiv.org/abs/2508.00002 #cs.HC
Building Bigraphs of the real world https://arxiv.org/abs/2508.00003 #cs.LO
Reasoning under uncertainty in the game of Cops and Robbers https://arxiv.org/abs/2508.00004 #math.LO #cs.LO
Modelling Program Spaces in Program Synthesis with Constraints https://arxiv.org/abs/2508.00005 #cs.PL #cs.AI
Agent Network Protocol Technical White Paper https://arxiv.org/abs/2508.00007 #cs.NI #cs.AI
Enabling Immersive XR Collaborations over FTTR Networks (Invited) https://arxiv.org/abs/2508.00009 #cs.NI #cs.AI
Non-Terrestrial Network Models Using Stochastic Geometry: Planar or Spherical? https://arxiv.org/abs/2508.00010 #cs.NI
From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms https://arxiv.org/abs/2508.00013 #cs.PL
Deciding the Value of Two-Clock Almost Non-Zeno Weighted Timed Games https://arxiv.org/abs/2508.00014 #cs.LO
A Compute-Matched Re-Evaluation of TroVE on MATH https://arxiv.org/abs/2507.22069 #cs.PL #cs.AI
I toot the arXiv feed for topics in Computer Science.
#ComputerScience #CS #Programming #SoftwareEngineering #Software #SoftwareDevelopment #Computers #Science #arXiv #News #PeerReview