Search History

Holdings Information

    • 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

       
    • 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)