Books+ Search Results

Algebraic Informatics 9th International Conference, CAI 2022, Virtual Event, October 27-29, 2022, Proceedings

Title
Algebraic Informatics [electronic resource] : 9th International Conference, CAI 2022, Virtual Event, October 27-29, 2022, Proceedings / edited by Dimitrios Poulakis, George Rahonis.
ISBN
9783031196850
Edition
1st ed. 2022.
Publication
Cham : Springer International Publishing : Imprint: Springer, 2022.
Physical Description
1 online resource (XIV, 223 p.) 19 illus., 1 illus. in color.
Local Notes
Access is available to the Yale community.
Access and use
Access restricted by licensing agreement.
Summary
This book constitutes the proceedings of the 9th International Conference on Algebraic Informatics, CAI 2022, held as virtual event, in October 27-29, 2022. The 2 abstracts, 3 full papers of invited speakers, and 12 contributed papers presented in this volume were carefully reviewed and selected from 17 submissions. The papers contain original and unpublished research; the topics of them lie in automata theory, cryptography, coding theory, DNA computation, computer algebra, and theory of software architectures.
Variant and related titles
Springer ENIN.
Other formats
Printed edition:
Printed edition:
Format
Books / Online
Language
English
Added to Catalog
October 27, 2022
Series
Lecture Notes in Computer Science, 13706
Lecture Notes in Computer Science, 13706
Contents
Invited Papers
Chaining Multiplications in Finite Fields with Chudnovsky-type Algorithms and Tensor Rank of the k-multiplication
On Some Algebraic Ways to Calculate Zeros of the Riemann Zeta Function
Shuffle product of regular languages: results and open problems
Contributed Papers
Ordering the Boolean Cube Vectors by their Weights and with Minimal Change
Designated-Verifier Linkable Ring Signatures with unconditional anonymity
Finding Points on Elliptic Curves with Coppersmith's Method
Weighted propositional configuration logic over De Morgan algebras
Weighted Two-way Transducers
A formal algebraic approach for the quantitative modeling of connectors in architectures
Watson-Crick Powers of a Word
A Normal Form for Matrix Multiplication Schemes
Bideterministic Weighted Automata
How to decide Functionality of Compositions of Top-Down Tree Transducers
Computation of solutions to certain nonlinear systems of fuzzy relation inequations
When Variable-Length Codes Meet the Field of Error Detection.
Also listed under
Citation

Available from:

Online
Loading holdings.
Unable to load. Retry?
Loading holdings...
Unable to load. Retry?