190 citations
- Universitatea Avram IancuRO21 papers
- Babeș-Bolyai UniversityRO12 papers
- University of JyväskyläFI9 papers
- St Petersburg UniversityRU8 papers
- Comenius University BratislavaSK6 papers
- Mathematical Institute of the Slovak Academy of SciencesSK6 papers
- Slovak Academy of SciencesSK6 papers
- City University of Hong KongHK5 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di BolognaIT4 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di PisaIT4 papers
- Romanian AcademyRO4 papers
- Technical University of Cluj-NapocaRO4 papers
Showing 2012Show all
3 papers · 1 filter
cs.LO2012
Modal Functional (Dialectica) Interpretation
Dan Hernest, Trifon Trifonov
We adapt our light Dialectica interpretation to usual and light modal formulas (with universal quantification on boolean and natural variables) and prove it sound for a non-standar…
cs.GT2012★ 1 cited
Game Theoretical Modelling for Dynamic Spectrum Access in TV Whitespace
Ligia C. Cremene, D. Dumitrescu, Reka Nagy +1
In order to assess TV whitespace access scenarios, three oligopoly game models are considered and reformulated in terms of radio access: Cournot, Stackelberg, and Bertrand. Besides…
cs.IT2012★ 19 cited
A new class of metrics for spike trains
Cătălin V. Rusu, Răzvan V. Florian
The distance between a pair of spike trains, quantifying the differences between them, can be measured using various metrics. Here we introduce a new class of spike train metrics,…