Description 
1 online resource (viii, 223 pages) : illustrations 
Series 
Lecture notes in computer science, 03029743 ; 9270 

LNCS sublibrary. SL 1, Theoretical computer science and general issues 

Lecture notes in computer science ; 9270. 03029743


LNCS sublibrary. SL 1, Theoretical computer science and general issues.

Contents 
Learning Weighted Automata  More Than 1700 Years of Word Equations  An Algebraic Geometric Approach to Multidimensional Words  Why We Need Semirings in Automata Theory  Unbordered Pictures: Properties and Construction  Effective Invariant Theory of Permutation Groups using Representation Theory  On differential uniformity of maps that may hide an algebraic trapdoor  On the Lower Block Triangular Nature of the Incidence Matrices to Compute the Algebraic Immunity of Boolean Functions  Weighted Unranked Tree Automata over Tree Valuation Monoids and Their Characterization by Weighted Logics  A New Partial Key Exposure Attack on Multipower RSA  A ChomskySch̃%#̃127;utzenberger Theorem for Weighted Automata with Storage  EF+EX Forest Algebras  On near primeorder elliptic curves with small embedding degrees  KeyPolicy MultiAuthority AttributeBased Encryption  Extended Explicit Relations Between Trace, Definition Field, and Embedding Degree  Complexity of Uniform Membership of ContextFree Tree Grammars  Attacking BEAR and LION schemes in a realistic scenario  Weighted Restarting Automata and Pushdown Relations  Equivalence checking problem for finite state transducers over semigroups 
Summary 
This book constitutes the refereed proceedings of the 6th International Conference on Algebraic Informatics, CAI 2015, held in Stuttgart, Germany, in September 2015. The 15 revised full papers presented were carefully reviewed and selected from 25 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 
Notes 
International conference proceedings 

Includes author index 

English 

Online resource; title from PDF title page (SpringerLink, viewed September 17, 2015) 
Subject 
Programming languages (Electronic computers)  Semantics  Congresses


Algebra  Data processing  Congresses


Algebra  Data processing


Programming languages (Electronic computers)  Semantics

Genre/Form 
proceedings (reports)


Conference papers and proceedings


Conference papers and proceedings.


Actes de congrès.

Form 
Electronic book

Author 
Maletti, Andreas, editor

ISBN 
9783319230214 

3319230212 

3319230204 

9783319230207 
