Holdings Information
Bibliographic Record Display
-
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.
-
Links:Online book
-
Yale Holdings
Holdings Record Display
-
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.
-
In_:Springer Nature eBook
-
Variant and related titles:Springer ENIN.
-
Other formats:Printed edition:
Printed edition:
- Format:Book
-
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.
-
Subjects:Computer science.
-
Also listed under:Poulakis, Dimitrios. editor.
Rahonis, George. editor.
SpringerLink (Online service)
Link to this page: https://hdl.handle.net/10079/bibid/16396668