Amazon cover image
Image from Amazon.com

Algebraic informatics : 8th International Conference, CAI 2019, Niš, Serbia, June 30-July 4, 2019, Proceedings / Miroslav Ćirić, Manfred Droste, Jean-Éric Pin (eds.).

By: Contributor(s): Material type: TextTextSeries: Lecture notes in computer science ; 11545. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Publisher: Cham, Switzerland : Springer, 2019Description: 1 online resource (xvi, 259 pages) : illustrations (some color)Content type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783030213633
  • 3030213633
  • 3030213625
  • 9783030213626
Other title:
  • CAI 2019
Subject(s): Genre/Form: DDC classification:
  • 005.13 23
LOC classification:
  • QA76.7
Online resources:
Contents:
Invited Paper:-- Modular Descriptions of Regular Functions / Paul Gastin -- Contributed Papers: -- Enhancing an Attack to DSA Schemes / Marios Adamoudis, Konstantinos A. Draziotis, and Dimitrios Poulakis -- Constraint Satisfaction Through GBP-Guided Deliberate Bit Flipping / Mohsen Bahrami and Bane Vasić -- On the Diffusion Property of the Improved Generalized Feistel with Different Permutations for Each Round / Tsonka Baicheva and Svetlana Topalova -- Fast Computing the Algebraic Degree of Boolean Functions / Valentin Bakoev -- On the Scalar Complexity of Chudnovsky2 Multiplication Algorithm in Finite Fields / Stéphane Ballet, Alexis Bonnecaze, and Thanh-Hung Dang -- Maximal Diameter on a Class of Circulant Graphs / Milan Bašić, Aleksandar Ilić, and Aleksandar Stamenković -- Parallelisms of PGð3; 4Þ Invariant Under Cyclic Groups of Order 4 / Anton Betten, Svetlana Topalova, and Stela Zhelezova -- Bounds on Covering Codes in RT Spaces Using Ordered Covering Arrays / André Guerino Castoldi, Emerson Luiz do Monte Carmelo, Lucia Moura, Daniel Panario, and Brett Stevens -- Detecting Arrays for Main Effects / Charles J. Colbourn and Violet R. Syrotiuk -- Regular Languages as Local Functions with Small Alphabets / Stefano Crespi Reghizzi and Pierluigi San Pietro -- Rational Weighted Tree Languages with Storage and the Kleene-Goldstine Theorem / Zoltán Fülöp and Heiko Vogler -- Commutative Regular Languages -- Properties and State Complexity / Stefan Hoffmann -- Algebraic Systems Motivated by DNA Origami / James Garrett, Nataša Jonoska, Hwee Kim, and Masahico Saito -- Algebraic Models for Arbitrary Strength Covering Arrays -- over v-ary Alphabets{Ludwig Kampel, Dimitris E. Simos, Bernhard Garn, Ilias S. Kotsireas, and Evgeny Zhereshchin -- The Precise Complexity of Finding Rainbow Even Matchings / Martin Loebl -- New Cryptcodes for Burst Channels{Daniela Mechkaroska, Aleksandra Popovska-Mitrovikj, and Verica Bakeva -- Zeroing Neural Network Based on the Equation AXA = A / Marko D. Petković and Predrag S. Stanimirović -- An Application of Computer Algebra and Dynamical Systems / Predrag S. Stanimirović, Yimin Wei, Dejan Kolundžija, -- Juan Rafael Sendra, and Juana Sendra -- Intersecting Two Quadrics with GeoGebra{Alexandre Trocado, Laureano Gonzalez-Vega, and José Manuel Dos Santos -- Randomized Nyström Features for Fast Regression: An Error Analysis / Aleksandar Trokicić and Branimir Todorović.
Summary: "This book constitutes the refereed proceedings of the 8th International Conference on Algebraic Informatics, CAI 2019, held in Niš, Serbia, in June/July 2019. The 20 revised papers presented were carefully reviewed and selected from 35 submissions. The papers present research at the intersection of theoretical computer science, algebra, and related areas. They report original unpublished research and cover a broad range of topics from automata theory and logic, cryptography and coding theory, computer algebra, design theory, natural and quantum computation, and related areas."--Publisher's website.
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library eBook LNCS Available
Total holds: 0

International conference proceedings.

Includes bibliographical references and author index.

Online resource; title from PDF title page (SpringerLink, viewed July 10, 2019).

Invited Paper:-- Modular Descriptions of Regular Functions / Paul Gastin -- Contributed Papers: -- Enhancing an Attack to DSA Schemes / Marios Adamoudis, Konstantinos A. Draziotis, and Dimitrios Poulakis -- Constraint Satisfaction Through GBP-Guided Deliberate Bit Flipping / Mohsen Bahrami and Bane Vasić -- On the Diffusion Property of the Improved Generalized Feistel with Different Permutations for Each Round / Tsonka Baicheva and Svetlana Topalova -- Fast Computing the Algebraic Degree of Boolean Functions / Valentin Bakoev -- On the Scalar Complexity of Chudnovsky2 Multiplication Algorithm in Finite Fields / Stéphane Ballet, Alexis Bonnecaze, and Thanh-Hung Dang -- Maximal Diameter on a Class of Circulant Graphs / Milan Bašić, Aleksandar Ilić, and Aleksandar Stamenković -- Parallelisms of PGð3; 4Þ Invariant Under Cyclic Groups of Order 4 / Anton Betten, Svetlana Topalova, and Stela Zhelezova -- Bounds on Covering Codes in RT Spaces Using Ordered Covering Arrays / André Guerino Castoldi, Emerson Luiz do Monte Carmelo, Lucia Moura, Daniel Panario, and Brett Stevens -- Detecting Arrays for Main Effects / Charles J. Colbourn and Violet R. Syrotiuk -- Regular Languages as Local Functions with Small Alphabets / Stefano Crespi Reghizzi and Pierluigi San Pietro -- Rational Weighted Tree Languages with Storage and the Kleene-Goldstine Theorem / Zoltán Fülöp and Heiko Vogler -- Commutative Regular Languages -- Properties and State Complexity / Stefan Hoffmann -- Algebraic Systems Motivated by DNA Origami / James Garrett, Nataša Jonoska, Hwee Kim, and Masahico Saito -- Algebraic Models for Arbitrary Strength Covering Arrays -- over v-ary Alphabets{Ludwig Kampel, Dimitris E. Simos, Bernhard Garn, Ilias S. Kotsireas, and Evgeny Zhereshchin -- The Precise Complexity of Finding Rainbow Even Matchings / Martin Loebl -- New Cryptcodes for Burst Channels{Daniela Mechkaroska, Aleksandra Popovska-Mitrovikj, and Verica Bakeva -- Zeroing Neural Network Based on the Equation AXA = A / Marko D. Petković and Predrag S. Stanimirović -- An Application of Computer Algebra and Dynamical Systems / Predrag S. Stanimirović, Yimin Wei, Dejan Kolundžija, -- Juan Rafael Sendra, and Juana Sendra -- Intersecting Two Quadrics with GeoGebra{Alexandre Trocado, Laureano Gonzalez-Vega, and José Manuel Dos Santos -- Randomized Nyström Features for Fast Regression: An Error Analysis / Aleksandar Trokicić and Branimir Todorović.

"This book constitutes the refereed proceedings of the 8th International Conference on Algebraic Informatics, CAI 2019, held in Niš, Serbia, in June/July 2019. The 20 revised papers presented were carefully reviewed and selected from 35 submissions. The papers present research at the intersection of theoretical computer science, algebra, and related areas. They report original unpublished research and cover a broad range of topics from automata theory and logic, cryptography and coding theory, computer algebra, design theory, natural and quantum computation, and related areas."--Publisher's website.

Powered by Koha