Borrow it
Coverart for item
The Resource Horizons of the mind : a tribute to Prakash Panangaden : essays dedicated to Prakash Panangaden on the occasion of his 60th birthday, Franck van Breugel, Elham Kashefi, Catuscia Palamidessi, Jan Rutten (eds.)

Horizons of the mind : a tribute to Prakash Panangaden : essays dedicated to Prakash Panangaden on the occasion of his 60th birthday, Franck van Breugel, Elham Kashefi, Catuscia Palamidessi, Jan Rutten (eds.)

Creator
Editor
Contributor
Summary
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 duality and quantum information and computation. Despite the enormous breadth of his research, he has made significant and deep contributions. For example, he introducedlogic and a real-valued interpretation of the logic to capture equivalence of probabilistic processes quantitatively. The 25 papers included in this volume were carefully reviewed. They cover a large variety of topics in theoretical computer science
Language
eng
Work
Publication
Extent
1 online resource (xviii, 499 pages)
Note
Includes author index
Contents
  • 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
Isbn
9783319068800
Instance
Label
Horizons of the mind : a tribute to Prakash Panangaden : essays dedicated to Prakash Panangaden on the occasion of his 60th birthday
Title
Horizons of the mind
Title remainder
a tribute to Prakash Panangaden : essays dedicated to Prakash Panangaden on the occasion of his 60th birthday
Statement of responsibility
Franck van Breugel, Elham Kashefi, Catuscia Palamidessi, Jan Rutten (eds.)
Creator
Contributor
Editor
Honouree
Subject
Genre
Language
eng
Summary
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 duality and quantum information and computation. Despite the enormous breadth of his research, he has made significant and deep contributions. For example, he introducedlogic and a real-valued interpretation of the logic to capture equivalence of probabilistic processes quantitatively. The 25 papers included in this volume were carefully reviewed. They cover a large variety of topics in theoretical computer science
Member of
Cataloging source
GW5XE
Dewey number
003
Illustrations
illustrations
Index
index present
LC call number
QA402
LC item number
.P73 2014
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2014
http://bibfra.me/vocab/lite/meetingName
PrakashFest (Conference)
Nature of contents
dictionaries
http://library.link/vocab/relatedWorkOrContributorDate
1966-
http://library.link/vocab/relatedWorkOrContributorName
  • Breugel, Franck van
  • Kashefi, Elham
  • Palamidessi, Catuscia
  • Rutten, Jan
  • Panangaden, P.
Series statement
  • Lecture Notes in Computer Science,
  • LNCS sublibrary. SL 1, Theoretical computer science and general issues
Series volume
8464
http://library.link/vocab/subjectName
  • System analysis
  • Computer science
  • Quantum theory
  • Computer science
  • Quantum theory
  • System analysis
Label
Horizons of the mind : a tribute to Prakash Panangaden : essays dedicated to Prakash Panangaden on the occasion of his 60th birthday, Franck van Breugel, Elham Kashefi, Catuscia Palamidessi, Jan Rutten (eds.)
Instantiates
Publication
Note
Includes author index
Antecedent source
unknown
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
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
Control code
881382186
Dimensions
unknown
Extent
1 online resource (xviii, 499 pages)
File format
unknown
Form of item
online
Isbn
9783319068800
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-319-06880-0
Other physical details
illustrations
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)881382186
Label
Horizons of the mind : a tribute to Prakash Panangaden : essays dedicated to Prakash Panangaden on the occasion of his 60th birthday, Franck van Breugel, Elham Kashefi, Catuscia Palamidessi, Jan Rutten (eds.)
Publication
Note
Includes author index
Antecedent source
unknown
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
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
Control code
881382186
Dimensions
unknown
Extent
1 online resource (xviii, 499 pages)
File format
unknown
Form of item
online
Isbn
9783319068800
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-319-06880-0
Other physical details
illustrations
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)881382186

Subject

Genre

Member of

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125

Library Links

Structured data from the Bibframe namespace is licensed under the Creative Commons Attribution 4.0 International License by University of Missouri Libraries. Additional terms may apply to data associated with third party namespaces.
Processing Feedback ...