MIT researchers have designed silicon structures that can perform calculations in an electronic device using excess heat ...

Abstract: Vector addition systems with states (VASS), also known as Petri nets, are a popular model of concurrent systems. Many problems from many areas reduce to the reachability problem for VASS, ...

Abstract: In this paper, we develop a hybrid method to calculate the multiple scattering of arbitrary-shape objects, based on the rigorous solutions of Maxwell equations in the form of Foldy-Lax ...