arXiv Computer Science @arxiv_cs@qoto.org

Characterization of Using Hybrid Beamforming in mmWave Virtual Reality https://arxiv.org/abs/2505.15830 #eess.SP #cs.NI

Ricci Matrix Comparison for Graph Alignment: A DMC Variation https://arxiv.org/abs/2505.15831 #cs.SI

From Hand-Crafted Metrics to Evolved Training-Free Performance Predictors for Neural Architecture Search via Genetic Programming https://arxiv.org/abs/2505.15832 #cs.NE #cs.AI

Semi-Competitive Differential Game Logic https://arxiv.org/abs/2505.14688 #cs.LO

Follow the STARs: Dynamic $\omega$-Regular Shielding of Learned Policies https://arxiv.org/abs/2505.14689 #cs.AI #cs.LO

SGL: A Structured Graphics Language https://arxiv.org/abs/2505.14690 #cs.PL

Galois Energy Games: To Solve All Kinds of Quantitative Reachability Problems https://arxiv.org/abs/2505.14691 #cs.LO #cs.CC

Sentiment Analysis in Software Engineering: Evaluating Generative Pre-trained Transformers https://arxiv.org/abs/2505.14692 #cs.SE #cs.CL #cs.LG

Propositional Measure Logic https://arxiv.org/abs/2505.14693 #cs.LO #cs.AI

Prime Path Coverage in the GNU Compiler Collection https://arxiv.org/abs/2505.14694 #cs.PL

On the Possibilities of Hypercomputing Supertasks https://arxiv.org/abs/2505.14698 #cs.LO

Benchmarking Graph Neural Networks for Document Layout Analysis in Public Affairs https://arxiv.org/abs/2505.14699 #cs.CV #cs.CL #cs.LG

Stochastic Fractional Neural Operators: A Symmetrized Approach to Modeling Turbulence in Complex Fluid Dynamics https://arxiv.org/abs/2505.14700 #math.NA #stat.ML #cs.LG #cs.NA

Modelling Real-time Systems with Bigraphs https://arxiv.org/abs/2505.13449 #cs.LO #cs.MA

Fractal Analysis on the Real Interval: A Constructive Approach via Fractal Countability https://arxiv.org/abs/2505.13450 #math.FA #cs.LO

Large Language Model powered Symbolic Execution https://arxiv.org/abs/2505.13452 #cs.PL

Pel, A Programming Language for Orchestrating AI Agents https://arxiv.org/abs/2505.13453 #cs.PL #cs.AI #cs.ET

pyeb: A Python Implementation of Event-B Refinement Calculus https://arxiv.org/abs/2505.13454 #cs.PL

Tuning Learning Rates with the Cumulative-Learning Constant https://arxiv.org/abs/2505.13457 #cs.LG

Antichains for Concurrent Parameterized Games https://arxiv.org/abs/2505.13460 #cs.LO #cs.GT