For every Kripke complete modal logic L we define its hybrid companion LH . For a reasonable class of logics, we present a satisfiability-preserving translation from LH to L. We p...
Recent studies have shown that, in highly associative caches, the performance gap between the Least Recently Used (LRU) and the theoretical optimal replacement algorithms is large,...
Let Q(k, l) be a poset whose Hasse diagram is a regular spider with k+1 legs having the same length l (cf. Fig. 1). We show that for any n 1 the nth cartesian power of
The goal of the present study was to investigate the electrophysiological correlates of second-language (L2) morphosyntactic processing in highly proficient late learners of an L2...
Margaret Gillon-Dowens, Marta Vergara, Horacio A. ...