Link Adaptation for Orthogonal Frequency Division Multiplex (OFDM) systems is an important topic to achieve higher spectral efficiencies or better error rate performance. However, ...
—Formal methods provide remarkable tools allowing for high levels of confidence in the correctness of developments. Their use is therefore encouraged, when not required, for the...
This paper describes an experimental system for classroom-based tele-education based on IP multicast. It gives an overview of the system and describes how the system is designed t...
This paper presents an Iterative Linear Quadratic Regulator (ILQR) method for locally-optimal feedback control of nonlinear dynamical systems. The method is applied to a musculo-s...
Abstract—Audit mechanisms are essential for privacy protection in permissive access control regimes, such as in hospitals where denying legitimate access requests can adversely a...
Jeremiah Blocki, Nicolas Christin, Anupam Datta, A...