for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
This book constitutes revised lectures from the 11th Symposium on Formal... Læs mere
However, his papers also include pioneering work in applied mathematics and mathematical physics. This edition of his collected papers consists of two volumes.
In the second edition the authors added a complete description of the AES, an extended section on cryptographic hash functions, and new sections on random oracle proofs and public-key encryption schemes that are provably secure against adaptively-chosen-ciphertext attacks.
The book presents the life and works of one of Germany's most famous computer scientists, Carl Adam Petri. It is written in a vivid and entertaining manner, providing an... Læs mere
This book focuses on the different representations and cryptographic properties of Booleans functions, presents constructions of Boolean functions with some good cryptographic properties.
The two-volume proceedings LNCS 9665 + 9666constitutes the thoroughly refereed proceedings of the 35th AnnualInternational Conference on the Theory and Applications of CryptographicTechniques, EUROCRYPT 2016, held in Vienna, Austria, in May 2016.
Theoretical tools and insights from discrete mathematics, theoretical computer science, and topology now play essential roles in our understanding of... Læs mere
The authors describe systematic methods for uncovering scientific laws a priori, on the basis of intuition, or “Gedanken Experiments”. Mathematical expressions of... Læs mere
Signal processing is the discipline of extracting information from collections of measurements. Distortions caused by uncertainty, noise, and clutter degrade the... Læs mere
Dieses Buch verschafft Ihnen einen Überblick über einige der bekanntesten Verfahren des maschinellen Lernens aus der Perspektive der mathematischen Statistik.
The assumed reader should have some ba- ground in logic (an elementary course covering classical propositional and ?rst-order logic with basics of set theory is enough) but not necessarily in modal logic.
Advances in Natural Deduction