000			04987nam a22005895i 4500
001			978-3-319-13350-8
003			DE-He213
005			20240423130123.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.
650		0	_aMachine theory.
650		0	_aQuantum computers.
650		0	_aAlgorithms.
650	1	4	_aTheory of Computation.
650	2	4	_aFormal Languages and Automata Theory.
650	2	4	_aQuantum Computing.
650	2	4	_aAlgorithms.
700	1		_aCalude, Cristian S. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt
700	1		_aFreivalds, Rūsiņš. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt
700	1		_aKazuo, Iwama. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt
710	2		_aSpringerLink (Online service)
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
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			_cSPRINGER
999			_c185262 _d185262