Mathematical Methods in Computer Science Essays in Memory of Thomas Beth /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Calmet, Jacques (Επιμελητής έκδοσης), Geiselmann, Willi (Επιμελητής έκδοσης), Müller-Quade, Jörn (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
• Σειρά: Lecture Notes in Computer Science, 5393
• Θέματα: Computer science.; Data structures (Computer science).; Data encryption (Computer science).; Coding theory.; Computers.; Computer science > Mathematics.; Computer Science.; Theory of Computation.; Mathematics of Computing.; Coding and Information Theory.; Computing Methodologies.; Data Structures, Cryptology and Information Theory.; Data Encryption.

 This Festschrift volume contains the proceedings of the conference Mathematical Methods in Computer Science, MMICS 2008, which was held during December 17-19, 2008, in Karlsruhe, Germany, in memory of Thomas Beth. The themes of the conference reflected the many interests of Thomas Beth. Although, these interests might seem diverse, mathematical methods and especially algebra as a language constituted the common denominator of all of his scientific achievements. The 12 contributed talks presented were carefully selected from 30 submissions and cover the topics cryptography, designs, quantum computing, algorithms, and coding theory. Furthermore, this volume contains two invited talks held at the conference. One focuses on the area of coding theory and symbolic computation, an area especially appreciated by Thomas Beth, because it combines algebra and algorithmics. The other one discusses quantum information, which again was a focus of Thomas Beth’s research. 

 Cryptography I -- On the Security of Beth’s Identification Schemes against Active and Concurrent Adversaries -- Designs -- Steiner t-Designs for Large t -- New Spatial Configurations -- Construction of Large Constant Dimension Codes with a Prescribed Minimum Distance -- Quantum Computing -- Invited Talk: Embedding Classical into Quantum Computation -- A Criterion for Attaining the Welch Bounds with Applications for Mutually Unbiased Bases -- An Efficient Quantum Algorithm for the Hidden Subgroup Problem over Weyl-Heisenberg Groups -- Algorithms -- Computing Equiangular Lines in Complex Space -- Complexity of Comparing Monomials and Two Improvements of the Buchberger-Möller Algorithm -- Coding Theory -- Invited Talk: Decoding Cyclic Codes: The Cooper Philosophy -- Kernel Dimension for Some Families of Quaternary Reed-Muller Codes -- Cryptography II -- Coding-Based Oblivious Transfer -- Protection of Sensitive Security Parameters in Integrated Circuits -- On Reconstruction of RC4 Keys from Internal States.