Abstract—The use of licensed spectrum for wireless communication is driven by the need to control interference between different operators. However, with this mode of regulation,...
Konstantinos V. Katsaros, Pantelis A. Frangoudis, ...
The notion of innocent strategy was introduced by Hyland and Ong in order to capture the interactive behaviour of λ-terms and PCF programs. An innocent strategy is defined as an ...
abstract. We establish that the quantifier alternation hierarchy of formulae of Second-Order Propositional Modal Logic (SOPML) induces an infinite corresponding semantic hierarchy ...
We propose a new technique called stable-PUF-marking as an alternative to error correction to get reproducible (i.e. stable) outputs from physical unclonable functions (PUF). The ...
In this paper we discuss some of the relations between cognition and emotion as exemplified by a particular type of agent architecture, the CogAff agent architecture. We outline a...