Algebraic Informatics : 9th International Conference, CAI 2022, Virtual Event, October 27-29, 2022, Proceedings (Lecture Notes in Computer Science)

個数:

Algebraic Informatics : 9th International Conference, CAI 2022, Virtual Event, October 27-29, 2022, Proceedings (Lecture Notes in Computer Science)

  • 在庫がございません。海外の書籍取次会社を通じて出版社等からお取り寄せいたします。
    通常6~9週間ほどで発送の見込みですが、商品によってはさらに時間がかかることもございます。
    重要ご説明事項
    1. 納期遅延や、ご入手不能となる場合がございます。
    2. 複数冊ご注文の場合、分割発送となる場合がございます。
    3. 美品のご指定は承りかねます。

    ●3Dセキュア導入とクレジットカードによるお支払いについて
  • 【入荷遅延について】
    世界情勢の影響により、海外からお取り寄せとなる洋書・洋古書の入荷が、表示している標準的な納期よりも遅延する場合がございます。
    おそれいりますが、あらかじめご了承くださいますようお願い申し上げます。
  • ◆画像の表紙や帯等は実物とは異なる場合があります。
  • ◆ウェブストアでの洋書販売価格は、弊社店舗等での販売価格とは異なります。
    また、洋書販売価格は、ご注文確定時点での日本円価格となります。
    ご注文確定後に、同じ洋書の販売価格が変動しても、それは反映されません。
  • 製本 Paperback:紙装版/ペーパーバック版/ページ数 223 p.
  • 言語 ENG
  • 商品コード 9783031196843
  • DDC分類 005.13

Full Description

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.

Contents

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

最近チェックした商品