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 |