Algorithms, probability, networks, and games : scientific papers and essays dedicated to Paul G. Spirakis on the occasion of his 60th birthday /: scientific papers and essays dedicated to Paul G. Spirakis on the occasion of his 60th birthday. (2015)

• Record Type: Book
• Further Information: Note: Christos Zaroliagis, Grammati Pantziou, Spyros Kontogiannis (eds.).
• Editors: Zaroliagis, Christos D, 1963-; Pantziou, Grammati; Kontogiannis, Spyros
• Other Names: Spirakis, P. G (Paul G.) 1955- honouree.
• 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
• Publisher Details: Cham : Springer
• Publication Date: 2015
• Extent: 1 online resource (xii, 414 pages), illustrations
• Subjects: 519.3; Computer science; Game theory; Computer algorithms; Mathematical statistics; Computer algorithms; Game theory; Mathematical statistics; Computer Science; Algorithm Analysis and Problem Complexity; Computer Communication Networks; Computation by Abstract Devices; Data Structures; Information Systems Applications (incl. Internet); Software Engineering; Computers -- Hardware -- Network Hardware; Computers -- Machine Theory; Computers -- Data Modeling & Design; Computers -- Information Technology; Computers -- Software Development & Engineering -- General; Network hardware; User interface design & usability; Algorithms & data structures; Information retrieval; Software Engineering; Computer software; Computer Communication Networks; Data structures (Computer science); Software engineering; Computers -- Programming -- Algorithms; Electronic books; Electronic books
• Languages: English
• ISBNs: 9783319240244; 3319240242; 3319240234; 9783319240237
• Related ISBNs: 9783319240237
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed September 14, 2015).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.