Horizons of the Mind. A Tribute to Prakash Panangaden Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Breugel, Franck van (Επιμελητής έκδοσης), Kashefi, Elham (Επιμελητής έκδοσης), Palamidessi, Catuscia (Επιμελητής έκδοσης), Rutten, Jan (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2014.
• Σειρά: Lecture Notes in Computer Science, 8464
• Θέματα: Computer science.; Computers.; Computer logic.; Mathematical logic.; Mathematical statistics.; Computer Science.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.; Probability and Statistics in Computer Science.; Computation by Abstract Devices.

This Festschrift volume contains papers presented at a conference, Prakash Fest, held in honor of Prakash Panangaden, in Oxford, UK, in May 2014, to celebrate his 60th birthday. Prakash Panangaden has worked on a large variety of topics including probabilistic and concurrent computation, logics and...

Πίνακας περιεχομένων:

• Layout Randomization and Nondeterminism
• Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations
• An Operational Interpretation of Negative Probabilities and No-Signalling Models
• Bisimulation on Markov Processes over Arbitrary Measurable Spaces
• Probabilistic Model Checking for Energy-Utility Analysis
• (Co)Algebraic Characterizations of Signal Flow Graphs
• Fractal Sets as Final Coalgebras Obtained by Completing an Initial Algebra
• Leaving Traces: A Note on a Sound and Complete Trace Logic for Concurrent Constraint Programs
• Privacy from Accelerating Eavesdroppers: The Impact of Losses
• The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata
• From Haar to Lebesgue via Domain Theory
• Word Order Alternation in Sanskrit via Precyclicity in Pregroup Grammars
• The Logic of Entanglement
• Free Energy of Petri Nets
• Laudatio for Prakash Panangaden
• Generalized Differential Privacy: Regions of Priors That Admit Robust Optimal Mechanisms
• Bisimulation for Markov Decision Processes through Families of Functional Expressions
• Random Measurable Selections
• A Final Coalgebra for k-regular Sequences
• Automata Learning: A Categorical Perspective
• Optimal Coin Flipping
• Entanglement, Flow and Classical Simulatability in Measurement Based Quantum Computation
• Euclidean Representations of Quantum States
• TCC, with History
• Probabilistic and Quantum Event Structures.