News

Department of Computer Science - University of Texas at Austin5d
UT Theoretical Computer Scientists Earn Gödel Prize
The Gödel Prize, jointly awarded by ACM SIGACT and the European Association for Theoretical Computer Science, celebrates outstanding research in theoretical computer science. Named after logician Kurt ...
New Apple study challenges whether AI models truly “reason” through problems
The new study, titled "The Illusion of Thinking: Understanding the Strengths and Limitations of Reasoning Models via the Lens ...
IEEE22d
Runtime Compensation Coefficient Estimation Techniques using Binary Search Algorithm for Low-Power Active Noise Cancelling Systems
The implemented architecture detects a frequency component considered as noise from the input signal and by using the binary search algorithm, the system find out an appropriate amplitude value for ...
Quanta Magazine26d
For Algorithms, a Little Memory Outweighs a Lot of Time
Most problems can be solved by many different algorithms, each with its own demands on time and space. Complexity theorists sort problems into categories, called complexity classes, based on the ...
IEEE29d
A compression algorithm for real-time distributed nonlinear MPC
Abstract: Model Predictive Control (MPC) requires the online solution of an Optimal Control Problem (OCP) at each sampling time. Efficient online algorithms such as the Real-Time Iteration (RTI) ...