With automated proof-checkers, a problem can be broken up into small chunks, solved bit-by-bit, then reassembled with ...

Abstract: In this paper, we consider the optimal design of finite-impulse response (FIR) filters with coefficients expressed as sums of signed powers-of-two (SPT) terms, where the normalized peak ...

Abstract: The evolving microgrid (MG) technology integrates various converters for different energy sources and loads, leading to increased complexity in optimization problems due to additional ...

Researchers in Japan have developed quantum multi-programming auto mode, a function that automatically runs quantum programs ...

Artificial intelligence is mastering the kinds of projects that have long helped to build the careers of young mathematicians ...

P vs. NP asks: are these two classes actually the same? If P = NP, then every “hard” problem is secretly fast to solve; we ...

AI math proof verification reached a new frontier as DeepMind’s AlphaProof Nexus solved nine open Erdős research problems with Lean-verified proofs, some unsolved for 56 years. The May 2026 Science Ne ...

Clingo is part of the Potassco project for Answer Set Programming (ASP). ASP offers a simple and powerful modeling language to describe combinatorial problems as logic programs. The clingo system then ...

The CERT Division is a leader in cybersecurity. We partner with government, industry, law enforcement, and academia to improve the security and resilience of computer systems and networks. We study ...

My research has largely been in the interaction of Algorithms and Programming Languages, much of it in the area of parallel computing. Here are some of the more recent topics I have worked on with my ...

There was an error while loading. Please reload this page.