Abstract: Probabilistic model-checking aims to prove whether a Markov decision process (MDP) satisfies a temporal logic specification. The underlying methods rely on an often unrealistic assumption ...

Abstract: Devising efficient algorithms to solve continuously-varying strongly convex optimization programs is key in many applications, from control systems to signal processing and machine learning.

Spin waves (SWs), or magnons, are collective excitations of magnetization in magnetic materials arising from electron spins. They have attracted ...

The rapid proliferation of autonomous robotic systems, from UAV swarms and warehouse fleets to humanoid robots, has placed multi-agent coordination at the ...

A thread posted July 15 on the r/math subreddit claims that OpenAI’s GPT-5.6, guided by a carefully constructed prompt, produced a formal mathematical proof that closes a gap in convex optimization ...

From planning transportation networks to organizing massive datasets, many of society's most important challenges boil down ...

Free-space optical (FSO) communication has emerged as a promising technology for next-generation wireless and optical communication networks due to its ...

HiGHS is a high performance serial and parallel solver for large scale sparse linear optimization problems of the form $$ \min \quad \dfrac{1}{2}x^TQx + c^Tx \qquad ...

Innovative beam-shaping methods for high-power lasers enhance cutting stability, ensuring precision and efficiency in various ...