| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910619279803321 |
|
|
Titolo |
Algebraic Informatics : 9th International Conference, CAI 2022, Virtual Event, October 27–29, 2022, Proceedings / / edited by Dimitrios Poulakis, George Rahonis |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2022.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (233 pages) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 1611-3349 ; ; 13706 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer science |
Computer science - Mathematics |
Artificial intelligence |
Data structures (Computer science) |
Information theory |
Database management |
Computer Science Logic and Foundations of Programming |
Mathematics of Computing |
Artificial Intelligence |
Data Structures and Information Theory |
Database Management System |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
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. |
|
|
|
|
|
|
Sommario/riassunto |
|
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. |
|
|
|
|
|
|
|
| |