Screen LibraryAlgebraic informatics : 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013 : proceedings /
This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Informatics, CAI 2013, held in Porquerolles, France in September 2013. The 19 revised full papers presented together with 5 invited articles were carefully reviewed and selected from numerous submissions....
Saved in:
| Corporate Authors: | ; |
|---|---|
| Group Author: | ; ; |
| Published: |
Springer,
|
| Publisher Address: | Berlin : |
| Publication Dates: | [2013] |
| Literature type: | eBook |
| Language: | English |
| Series: |
Lecture notes in computer science,
8080 |
| Subjects: | |
| Online Access: |
http://dx.doi.org/10.1007/978-3-642-40663-8 |
| Summary: |
This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Informatics, CAI 2013, held in Porquerolles, France in September 2013. The 19 revised full papers presented together with 5 invited articles were carefully reviewed and selected from numerous submissions. The papers cover topics such as data models and coding theory; fundamental aspects of cryptography and security; algebraic and stochastic models of computing; logic and program modelling. |
| Carrier Form: | 1 online resource (x, 275 pages) : 14 illustrations. |
| Bibliography: | Includes bibliographical references and index. |
| ISBN: |
9783642406638 (electronic bk.) 3642406637 (electronic bk.) |
| Index Number: | QA76 |
| CLC: | TP301.6-532 |
| Contents: |
Invited Speakers -- Euclidean Model Checking: A Scalable Method for Verifying Quantitative Properties in Probabilistic Systems / Quantitative Analysis of Randomized Distributed Systems and Probabilistic Automata / On Elliptic Curve Paillier Schemes / Proofs of Storage: Theory, Constructions and Applications / Code Based Cryptography and Steganography / Contributed Papers -- Strong Prefix Codes of Pictures / The Algebraic Theory of Parikh Automata / Generalized AG Codes as Evaluation Codes / Osculating Spaces of Varieties and Linear Network Codes / On Sets of Numbers Rationally Represented in a Rational Base Number System / A New Bound for Cyclic Codes Beating the Roos Bound / On a Conjecture of Helleseth / Lattice Attacks on DSA Schemes Based on Lagrange's Algorithm / Side Channel Attacks against Pairing over Theta Functions / On the Efficient Generation of Generalized MNT Elliptic Curves / Shimura Modular Curves and Asymptotic Symmetric Tensor Rank of Multiplication in any Finite Field / Stochastic Equationality / On Gröbner Bases in the Context of Satisfiability-Modulo-Theories Solving over the Real Numbers / Approximation of Large Probabilistic Networks by Structured Population Protocols / Model-Checking by Infinite Fly-Automata / A Selection-Quotient Process for Packed Word Hopf Al |