000 05075nam a22005895i 4500
001 978-3-319-13350-8
003 DE-He213
005 20240730201222.0
007 cr nn 008mamaa
008 141209s2014 sz | s |||| 0|eng d
020 _a9783319133508
_9978-3-319-13350-8
024 7 _a10.1007/978-3-319-13350-8
_2doi
050 4 _aQA75.5-76.95
072 7 _aUYA
_2bicssc
072 7 _aCOM014000
_2bisacsh
072 7 _aUYA
_2thema
082 0 4 _a004.0151
_223
245 1 0 _aComputing with New Resources
_h[electronic resource] :
_bEssays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday /
_cedited by Cristian S. Calude, Rūsiņš Freivalds, Iwama Kazuo.
250 _a1st ed. 2014.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2014.
300 _aXXI, 473 p. 96 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_v8808
505 0 _aCounting 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.
520 _aProfessor 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.
650 0 _aComputer science.
_99832
650 0 _aMachine theory.
_9166316
650 0 _aQuantum computers.
_93985
650 0 _aAlgorithms.
_93390
650 1 4 _aTheory of Computation.
_9166317
650 2 4 _aFormal Languages and Automata Theory.
_9166318
650 2 4 _aQuantum Computing.
_910080
650 2 4 _aAlgorithms.
_93390
700 1 _aCalude, Cristian S.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9166319
700 1 _aFreivalds, Rūsiņš.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9166320
700 1 _aKazuo, Iwama.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9166321
710 2 _aSpringerLink (Online service)
_9166322
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783319133492
776 0 8 _iPrinted edition:
_z9783319133515
830 0 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_v8808
_9166323
856 4 0 _uhttps://doi.org/10.1007/978-3-319-13350-8
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c96413
_d96413