001450483 000__ 05883cam\a2200649\i\4500
001450483 001__ 1450483
001450483 003__ OCoLC
001450483 005__ 20230310004528.0
001450483 006__ m\\\\\o\\d\\\\\\\\
001450483 007__ cr\cn\nnnunnun
001450483 008__ 221021s2022\\\\sz\a\\\\o\\\\\101\0\eng\d
001450483 019__ $$a1348480544
001450483 020__ $$a9783031196850$$q(electronic bk.)
001450483 020__ $$a3031196856$$q(electronic bk.)
001450483 020__ $$z9783031196843
001450483 020__ $$z3031196848
001450483 0247_ $$a10.1007/978-3-031-19685-0$$2doi
001450483 035__ $$aSP(OCoLC)1348286506
001450483 040__ $$aYDX$$beng$$erda$$epn$$cYDX$$dGW5XE$$dEBLCP$$dOCLCF$$dUKAHL$$dOCLCQ
001450483 049__ $$aISEA
001450483 050_4 $$aQA76.7
001450483 08204 $$a005.13$$223/eng/20221101
001450483 1112_ $$aCAI (Conference)$$n(9th :$$d2022 :$$cOnline).
001450483 24510 $$aAlgebraic informatics :$$b9th International Conference, CAI 2022, virtual event, October 27-29, 2022, proceedings /$$cDimitrios Poulakis, George Rahonis (eds.).
001450483 24630 $$aCAI 2022
001450483 264_1 $$aCham :$$bSpringer,$$c[2022]
001450483 264_4 $$c©2022
001450483 300__ $$a1 online resource (xiv, 223 pages) :$$billustrations (some color).
001450483 336__ $$atext$$btxt$$2rdacontent
001450483 337__ $$acomputer$$bc$$2rdamedia
001450483 338__ $$aonline resource$$bcr$$2rdacarrier
001450483 4901_ $$aLecture notes in computer science ;$$v13706
001450483 500__ $$aSelected conference papers.
001450483 500__ $$aIncludes author index.
001450483 5050_ $$aIntro -- Preface -- Organization -- Abstracts of Invited Talks -- Weighted Automata Over Monotonic Strong Bimonoids: Decidability and Undecidability of Finite Image -- Constraints, Graphs, Algebra, Logic, and Complexity -- Contents -- Invited Papers -- Chaining Multiplications in Finite Fields with Chudnovsky-Type Algorithms and Tensor Rank of the k-Multiplication -- 1 Introduction -- 1.1 Context, Notation and Basic Results -- 1.2 New Results and Organisation -- 2 Theoretical Construction of a Multiplying Algorithm -- 2.1 Notations -- 2.2 Algorithm -- 3 On the Existence of These Algorithms
001450483 5058_ $$a3.1 Strategy of Construction -- 3.2 Towers of Algebraic Function Fields -- 4 Uniform Upper Bounds -- References -- On Some Algebraic Ways to Calculate Zeros of the Riemann Zeta Function -- 1 The Riemann Hypothesis -- 2 The Riemann Hypothesis in the Arithmetical Hierarchy -- 3 Calculation of the Zeta Zeros by Solving Algebraic Equations -- 4 Calculation of Summands from Dirichlet Series for the Zeta Function at Its Zeros -- References -- Shuffle Product of Regular Languages: Results and Open Problems -- 1 Introduction -- 2 Shuffle and Recognition -- 2.1 Shuffle Product
001450483 5058_ $$a2.2 Monoids and Ordered Monoids -- 2.3 Power Monoids and Lower Set Monoids -- 3 Classes of Languages Closed Under Shuffle -- 3.1 Varieties of Languages Closed Under Shuffle -- 3.2 Positive Varieties of Languages Closed Under Shuffle -- 3.3 Intermixed Languages -- 4 Sequential and Parallel Decompositions -- 4.1 Definitions and Examples -- 4.2 Closure Properties -- 4.3 Schnoebelen's Problem -- 5 Conclusion -- References -- Contributed Papers -- Ordering the Boolean Cube Vectors by Their Weights and with Minimal Change -- 1 Introduction -- 2 Basic Notions and Preliminary Results
001450483 5058_ $$a3 Ordering the Vectors of the Boolean Cube by Their Weights and with Minimal Change -- 4 Algorithm for Generating the Vectors of the Boolean Cube Ordered by Weights and with Minimal Change -- 5 Conclusions -- References -- Designated-Verifier Linkable Ring Signatures with Unconditional Anonymity -- 1 Introduction -- 2 Preliminaries -- 2.1 Notation -- 2.2 Security Assumptions -- 3 UDVLRS Definition and Security Model -- 3.1 UDVLRS Definition -- 3.2 Correctness -- 3.3 Adversarial Capabilities -- 3.4 Unforgeability -- 3.5 Anonymity -- 3.6 Non-transferability -- 3.7 Linkability
001450483 5058_ $$a3.8 Non-slanderability -- 4 Our Construction -- 5 Security Analysis -- 6 Conclusion and Future Work -- References -- Finding Points on Elliptic Curves with Coppersmith's Method -- 1 Introduction -- 2 Preliminaries -- 2.1 Some ECC Cryptosystems -- 2.2 Lattice Basis Reduction and Coppersmith's Method -- 3 Small Solutions of the Elliptic Curve Equation -- 4 A Numerical Example -- 5 Conclusion -- References -- Weighted Propositional Configuration Logic over De Morgan Algebras -- 1 Introduction -- 2 Related Work -- 3 Preliminaries -- 4 Unweighted PCL -- 5 Weighted PCL over De Morgan Algebras
001450483 506__ $$aAccess limited to authorized users.
001450483 520__ $$aThis book constitutes the proceedings of the 9th International Conference on Algebraic Informatics, CAI 2022, held as virtual event, in October 2729, 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.
001450483 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed November 1, 2022).
001450483 650_0 $$aProgramming languages (Electronic computers)$$xSemantics$$vCongresses.
001450483 650_0 $$aAlgebra$$xData processing$$vCongresses.
001450483 655_7 $$aConference papers and proceedings.$$2fast$$0(OCoLC)fst01423772
001450483 655_7 $$aConference papers and proceedings.$$2lcgft
001450483 655_0 $$aElectronic books.
001450483 7001_ $$aPoulakis, Dimitrios,$$eeditor.$$1https://isni.org/isni/0000000418909044
001450483 7001_ $$aRachōnēs, Geōrgios,$$d1965-$$eeditor.$$1https://isni.org/isni/0000000398334799
001450483 77608 $$iPrint version: $$z3031196848$$z9783031196843$$w(OCoLC)1346152492
001450483 830_0 $$aLecture notes in computer science ;$$v13706.
001450483 852__ $$bebk
001450483 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-19685-0$$zOnline Access$$91397441.1
001450483 909CO $$ooai:library.usi.edu:1450483$$pGLOBAL_SET
001450483 980__ $$aBIB
001450483 980__ $$aEBOOK
001450483 982__ $$aEbook
001450483 983__ $$aOnline
001450483 994__ $$a92$$bISE