Abstract— Ultra-wideband (UWB) communications is envisaged to be deployed in indoor environments, where the noise distribution is decidedly non-Gaussian. A critical challenge for...
Abstract. The paper makes an attempt to introduce a new approach for detection of local singularities in signals, including one-dimensional time series and two-dimensional images. ...
Nikolaos D. Atreas, Costas G. Karanikas, Alexander...
We present and evaluate two experimental extensions to RSVP in terms of protocol specification and implementation. These extensions are targeted at apparent shortcomings of RSVP to...
— There is a great effort during the last decades towards building robotic devices that are worn by humans. These devices, called exoskeletons, are used mainly for support and re...
This paper presents a bounded model checking algorithm for the verification of analog and mixed-signal (AMS) circuits using a satisfiability modulo theories (SMT) solver. The sys...