1 option
Computing with New Resources : Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday / edited by Cristian S. Calude, Rūsiņš Freivalds, Iwama Kazuo.
- Format:
- Book
- Series:
- Computer Science (SpringerNature-11645)
- LNCS sublibrary. Theoretical computer science and general issues 2512-2029 ; SL 1, 8808
- Theoretical Computer Science and General Issues, 2512-2029 ; 8808
- Language:
- English
- Subjects (All):
- Computer science.
- Machine theory.
- Quantum computers.
- Algorithms.
- Theory of Computation.
- Formal Languages and Automata Theory.
- Quantum Computing.
- Local Subjects:
- Theory of Computation.
- Formal Languages and Automata Theory.
- Quantum Computing.
- Algorithms.
- Physical Description:
- 1 online resource (XXI, 473 pages) : 96 illustrations
- Edition:
- 1st ed. 2014.
- Contained In:
- Springer Nature eBook
- Place of Publication:
- Cham : Springer International Publishing : Imprint: Springer, 2014.
- System Details:
- text file PDF
- Summary:
- Professor Jozef Gruska is a well known computer scientist for his many and broad results. He was the father of theoretical computer science research in Czechoslovakia and among the first Slovak programmers in the early 1960s. Jozef Gruska introduced the descriptional complexity of grammars, automata, and languages, and is one of the pioneers of parallel (systolic) automata. His other main research interests include parallel systems and automata, as well as quantum information processing, transmission, and cryptography. He is co-founder of four regular series of conferences in informatics and two in quantum information processing and the Founding Chair (1989-96) of the IFIP Specialist Group on Foundations of Computer Science.
- Contents:
- Counting With Probabilistic and Ultrametric Finite Automata
- Systolic Automata and P Systems
- Soliton Automata with Multiple Waves
- On Power Series over a Graded Monoid
- Advances on Random Sequence Generation by Uniform Cellular Automata
- On the Determinization Blowup for Finite Automata Recognizing Equal-Length Languages
- Aspects of Reversibility for Classical Automata
- A Weakly Universal Cellular Automaton in the Pentagrid with Five States
- Minimum and non-Minimum Time Solutions to the Firing Squad Synchronization Problem
- Time-Optimum Smaller-State Synchronizers for Cellular Automata
- Computing Boolean Functions via Quantum Hashing
- Complexity of Promise Problems on Classical and Quantum Automata
- Quantum Complexity of Boolean Matrix Multiplication and Related Problems
- Quantum Distributed Computing Applied to Grover's Search Algorithm
- Maximally Entangled State in Pseudo-Telepathy Games
- Quantum Finite Automata: A Modern Introduction
- Physical Aspects of Oracles for Randomness and Hadamard's Conjecture
- From Quantum Query Complexity to State Complexity
- Small Universal Devices
- A Technique to Obtain Hardness Results for Randomized Online Algorithms
- Integral Difference Ratio Functions on Integers
- Conditional Lindenmayer Systems with Conditions Defined by Bounded Resources
- Symmetries and Dualities in Name-Passing Process Calculi
- Learning from Positive Data and Negative Counterexamples
- One-Sided Random Context Grammars
- How Can We Construct Reversible Machines out of Reversible Logic Element with Memory?
- On Evolutionary Approximation of Logic Circuits
- A Distributed Computing Model for Dataflow, Controlflow, and Workflow in Fractionated Cyber-Physical Systems
- On the Limit of Some Algorithmic Approach to Circuit Lower Bounds
- P Systems with Anti-Matter
- A Robust Universal Flying Amorphous Computer
- Minimal Reaction Systems Defining Subset Functions
- Grand Challenges of Informatics
- Konrad Zuse's Relationship to Informatics.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-319-13350-8
- 9783319133508
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.