The computer game software with which we interact on a daily basis not only entertains us, it trains us into specific patterns. Critical Gameplay is a design practice which endeav...
We present a graphical implementation for finite processes of the mobile ambients calculus. Our encoding uses unstructured (i.e., non hierarchical) graphs and it is sound and comp...
Semi-supervised learning has emerged as a popular framework for improving modeling accuracy while controlling labeling cost. Based on an extension of stochastic composite likeliho...
Joshua Dillon, Krishnakumar Balasubramanian, Guy L...
Packet-switched networks-on-chip (NoC) have been proposed as an efficient communication infrastructure for multi-core architectures. Adding virtual channels to a NoC helps to avoi...
We revisit the topics of near-field adaptive beamforming and source localization following an alternative approach based on a spatiotemporal spectral representation of the acoust...