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.)
Resource Information
The item 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.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of MissouriSt. Louis Libraries.This item is available to borrow from 1 library branch.
Resource Information
The item 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.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of MissouriSt. Louis Libraries.
This item is available to borrow from 1 library branch.
 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 realvalued 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
 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 NoSignalling Models
 Bisimulation on Markov Processes over Arbitrary Measurable Spaces
 Probabilistic Model Checking for EnergyUtility 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 kregular 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
 9783319068794
 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.)
 Subject

 Computer science  Mathematics  Congresses
 Conference papers and proceedings
 Conference papers and proceedings
 Electronic books
 Quantum theory  Mathematics
 Quantum theory  Mathematics
 Quantum theory  Mathematics  Congresses
 System analysis
 System analysis
 System analysis  Congresses
 Computer science  Mathematics
 Computer science  Mathematics
 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 realvalued 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
 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.)
 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 NoSignalling Models  Bisimulation on Markov Processes over Arbitrary Measurable Spaces  Probabilistic Model Checking for EnergyUtility 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 kregular 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
 9783319068794
 Level of compression
 unknown
 Media category
 computer
 Media MARC source
 rdamedia
 Media type code

 c
 Other control number
 10.1007/9783319068800
 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.)
 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 NoSignalling Models  Bisimulation on Markov Processes over Arbitrary Measurable Spaces  Probabilistic Model Checking for EnergyUtility 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 kregular 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
 9783319068794
 Level of compression
 unknown
 Media category
 computer
 Media MARC source
 rdamedia
 Media type code

 c
 Other control number
 10.1007/9783319068800
 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
 Computer science  Mathematics  Congresses
 Conference papers and proceedings
 Conference papers and proceedings
 Electronic books
 Quantum theory  Mathematics
 Quantum theory  Mathematics
 Quantum theory  Mathematics  Congresses
 System analysis
 System analysis
 System analysis  Congresses
 Computer science  Mathematics
 Computer science  Mathematics
Genre
Member of
 Lecture notes in computer science, 8464.
 LNCS sublibrary, SL 1, Theoretical computer science and general issues
 Lecture notes in computer science, 8464
Library Links
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.umsl.edu/portal/HorizonsofthemindatributetoPrakash/VsYNKwDsaj0/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.umsl.edu/portal/HorizonsofthemindatributetoPrakash/VsYNKwDsaj0/">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.)</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.umsl.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.umsl.edu/">University of MissouriSt. Louis Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data  Experimental
Data Citation of the Item 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.)
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.umsl.edu/portal/HorizonsofthemindatributetoPrakash/VsYNKwDsaj0/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.umsl.edu/portal/HorizonsofthemindatributetoPrakash/VsYNKwDsaj0/">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.)</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.umsl.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.umsl.edu/">University of MissouriSt. Louis Libraries</a></span></span></span></span></div>