| Description |
1 online resource (xii, 414 pages) : illustrations |
| Series |
Lecture notes in computer science, 0302-9743 ; 9295 |
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
|
Lecture notes in computer science ; 9295. 0302-9743
|
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
|
| Contents |
Intro; Preface; Acknowledgements; List of Contributors; Contents; Part I; A Glimpse at Paul G. Spirakis; 1 Introduction; 2 Childhood, Education and Career; 3 Teaching, Mentoring, and Publications; 4 Awards and Distinctions; 5 Research; 5.1 Probabilistic and Randomized Algorithms; 5.2 Parallel Algorithms and Complexity; 5.3 Networks and Distributed Computing; 5.4 Internet, Mobile, and Evolution Networks; 5.5 Algorithmic Game Theory; 5.6 Population Protocols and Temporal Graphs; 6 Other Professional Activities; 7 Contributions to the Scientific Community; 8 Personal; 9 Epilogue; References |
|
The Reality Game Theory Imposes (Short Summary)References; On Neural Networks and Paul Spirakis; Concurrency, Parallelism, Asynchrony and Life; Invited Talks; Rationality Authority for Provable Rational Behavior; 1 Introduction; 2 Preliminaries; 3 Verifying a Nash Equilibrium Using Coq; 4 Provable Rationality Using Interactive Proofs; 5 Equilibrium Consultant with Provable Advices; 6 On-line Network Congestion Games; 7 Discussions; References; Weighted Boolean Formula Games; 1 Introduction; 1.1 Succinct Games and Equilibria Problems; 1.2 Weighted Boolean Formula Games |
|
1.3 Summary of Results and Significance1.4 Related Work and Comparison; 1.5 Road Map; 2 Framework and Background; 2.1 Notation; 2.2 Games and Equilibria; 2.3 Isomorphisms and Monomorphisms; 2.4 Potential Games and Classes of Congestion Games; 2.5 Complexity Theory; 3 Weighted Boolean Formula Games; 3.1 Definition; 3.2 Decision and Search Problems; 4 Mutual Weighted Boolean Formula Games; 5 Pure Equilibria; 6 Payoff-Dominant Equilibria; 6.1 Upper Bounds; 6.2 Completeness Results; 7 Open Problems; References; On the Implementation of Combinatorial Algorithms for the Linear Exchange Market |
|
1 Introduction2 The Algorithm; 3 A Glimpse of the Analysis; 4 Questions; References; Regular Contributions; On Radiocoloring Hierarchically Specified Planar Graphs: PSPACE-completeness and Approximations; 1 Introduction, Our Results and Related Work; 1.1 Motivation; 1.2 Summary of Our Results; 1.3 Related Work and Comparison; 2 Preliminaries; 3 The Complexity of the Radiocoloring Problem; 3.1 The NP-Completeness of RCP for Planar Graphs; 3.2 The PSPACE-Completeness of RCP for Hierarchical Planar Graphs; 4 Approximations to RCP for WS Fully Planar Graphs |
|
4.1 A 10/3-Approximation Algorithm RC_Approx4.2 A 3-Approximation Algorithm RC_Levels; 5 Discussion and Open Problems; References; Performance Evaluation of Routing Mechanisms for VANETs in Urban Areas; 1 Introduction; 2 Overview of Routing in MANETs and VANETs; 2.1 Routing Protocols; 2.2 Challenges; 3 Proposed Enhancement to GPSR; 3.1 Overview of the Proposed Enhancement; 3.2 Algorithm and Architecture; 4 Simulation Settings; 4.1 Reference Scenario; 4.2 Experiments and Parameters; 5 Results and Discussion; 6 Conclusions and Future Work; References |
| Summary |
This Festschrift volume is published in honor of Professor Paul G. Spirakis on the occasion of his 60th birthday. It celebrates his significant contributions to computer science as an eminent, talented, and influential researcher and most visionary thought leader, with a great talent in inspiring and guiding young researchers. The book is a reflection of his main research activities in the fields of algorithms, probability, networks, and games, and contains a biographical sketch as well as essays and research contributions from close collaborators and former PhD students |
| Notes |
Includes author index |
|
English |
|
Online resource; title from PDF title page (SpringerLink, viewed September 14, 2015) |
| Subject |
Game theory.
|
|
Computer algorithms.
|
|
Mathematical statistics.
|
|
Algorithms.
|
|
algorithms.
|
|
Network hardware.
|
|
User interface design & usability.
|
|
Algorithms & data structures.
|
|
Information retrieval.
|
|
Software Engineering.
|
|
Computers -- Hardware -- Network Hardware.
|
|
Computers -- Machine Theory.
|
|
Computers -- Data Modeling & Design.
|
|
Computers -- Information Technology.
|
|
Computers -- Software Development & Engineering -- General.
|
|
Computers -- Programming -- Algorithms.
|
|
Algorithms
|
|
Computer algorithms
|
|
Game theory
|
|
Mathematical statistics
|
| Genre/Form |
Festschriften
|
|
Festschriften.
|
| Form |
Electronic book
|
| Author |
Spirakis, P. G. (Paul G.), 1955- honouree.
|
|
Zaroliagis, Christos D., 1963- editor.
|
|
Pantziou, Grammati, editor
|
|
Kontogiannis, Spyros, editor.
|
| ISBN |
9783319240244 |
|
3319240242 |
|
3319240234 |
|
9783319240237 |
|
