Algebraic Informatics
portes grátis
Algebraic Informatics
9th International Conference, CAI 2022, Virtual Event, October 27-29, 2022, Proceedings
Rahonis, George; Poulakis, Dimitrios
Springer International Publishing AG
10/2022
223
Mole
Inglês
9783031196843
15 a 20 dias
373
Descrição não disponível.
?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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
formal languages;automata theory;cryptography;natural computing;computer algebra;architectures;artificial intelligence;graph theory;computer security;formal logic
?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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
