We consider the amount of communication required to verify the outcome of the Vickrey-Clarke-Groves (VCG) mechanism: an efficient allocation together with incentivizing VCG paymen...
: The paper analyzes some of Tesla's works and his most remarkable views concerning the problem of formulating theoretical bases of automatic control. As a tribute to Tesla...
: This paper proposes QoE-LAOS, a Quality of Experience-oriented adaptive authoring model that enables performance-aware adaptation. It extends the existing LAOS authoring model in...
Cristina Hava Muntean, Gabriel-Miro Muntean, Jenni...
We propose a novel method of determining the appropriateness of an answer to a question through a proof of logical relevance rather than a logical proof of truth. We define logic...
: Spiking neural P systems are computing models inspired from the way the neurons communicate by means of spikes, electrical impulses of identical shapes. In this note we consider ...