Algebraic Informatics

9th International Conference, CAI 2022, Virtual Event, October 27–29, 2022, Proceedings

AvDimitrios Poulakis,George Rahonis

Häftad, Engelska, 2022

Del 13706 i serien Lecture Notes in Computer Science

552 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

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.

Produktinformation

Utgivningsdatum:2022-10-18
Mått:155 x 235 x 14 mm
Vikt:371 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:223
Förlag:Springer International Publishing AG
ISBN:9783031196843

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Artificiell intelligens inom Data och IT
Programmeringsböcker inom Data och IT

Innehållsförteckning

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 unconditionalanonymity.- 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.