We study the theory of lovely pairs of geometric structures, in particular o-minimal structures. We characterize "linear" theories in terms of properties of the correspon...
We develop a unified framework for dealing with constructibility and absoluteness in set theory, decidability of relations in effective structures (like the natural numbers), and ...
—A unique challenge in P2P network is that the peer dynamics (departure or failure) cause unavoidable disruption to the downstream peers. While many works have been dedicated to ...
The experience of preparing interface design knowledge to be reusable allows reflection on the process, potential, and general challenges of effectively and efficiently using this...
Catherine Payne, C. F. Allgood, Christa M. Chewar,...
—A unified analytical framework for evaluating the performance of maximal ratio combining (MRC) and orthogonal space-time block coding (OSTBC) over generalized fading channels i...
George A. Ropokis, Athanasios A. Rontogiannis, P. ...