000 03998nam a22006135i 4500
001 978-3-031-19685-0
003 DE-He213
005 20240730170151.0
007 cr nn 008mamaa
008 221017s2022 sz | s |||| 0|eng d
020 _a9783031196850
_9978-3-031-19685-0
024 7 _a10.1007/978-3-031-19685-0
_2doi
050 4 _aQA75.5-76.95
072 7 _aUYA
_2bicssc
072 7 _aCOM014000
_2bisacsh
072 7 _aUYA
_2thema
082 0 4 _a004.0151
_223
245 1 0 _aAlgebraic Informatics
_h[electronic resource] :
_b9th International Conference, CAI 2022, Virtual Event, October 27-29, 2022, Proceedings /
_cedited by Dimitrios Poulakis, George Rahonis.
250 _a1st ed. 2022.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2022.
300 _aXIV, 223 p. 19 illus., 1 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v13706
505 0 _aInvited 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.
520 _aThis 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.
650 0 _aComputer science.
_99832
650 0 _aComputer science
_xMathematics.
_93866
650 0 _aArtificial intelligence.
_93407
650 0 _aData structures (Computer science).
_98188
650 0 _aInformation theory.
_914256
650 0 _aDatabase management.
_93157
650 1 4 _aComputer Science Logic and Foundations of Programming.
_942203
650 2 4 _aMathematics of Computing.
_931875
650 2 4 _aArtificial Intelligence.
_93407
650 2 4 _aData Structures and Information Theory.
_931923
650 2 4 _aDatabase Management System.
_932540
700 1 _aPoulakis, Dimitrios.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_992283
700 1 _aRahonis, George.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_992284
710 2 _aSpringerLink (Online service)
_992285
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783031196843
776 0 8 _iPrinted edition:
_z9783031196867
830 0 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v13706
_923263
856 4 0 _uhttps://doi.org/10.1007/978-3-031-19685-0
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c86770
_d86770