Del 12803 i serien Lecture Notes in Computer Science

Implementation and Application of Automata

25th International Conference, CIAA 2021, Virtual Event, July 19-22, 2021, Proceedings

Häftad, Engelska, 2021

739 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

This book constitutes the proceedings of the 25th International Conference on Implementation and Application of Automata, CIAA 2021, held in July 2021. Due to Covid-19 pandemic the conference was held virtually. The 13 regular papers presented in this book were carefully reviewed and selected from 20 submissions. The topics of the papers cover various fields in the application, implementation, and theory of automata and related structures.

Produktinformation

Utgivningsdatum2021-06-23
Mått155 x 235 x 12 mm
Vikt324 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor191
FörlagSpringer Nature Switzerland AG
ISBN9783030791209

Tillhör följande kategorier

Systemvetenskap och AI inom Data och IT
Hårdvara inom Data och IT
Artificiell intelligens inom Data och IT

Polyregular Functions.- Back to the Future: A Fresh Look at Linear Temporal Logic.- Say No to Case Analysis: Automating the Drudgery of Case-Based Proofs 15 Jeffrey Shallit Technical Contributions Regularity Conditions for Iterated Shuffle on Commutative Regular Languages.- Memoized Regular Expressions.- The Commutative Closure of Shuffle Languages over Group Languages is Regular.- Efficient Enumeration of Regular Expressions for Faster Regular Expression Synthesis.- Degrees of Restriction for Two-Dimensional Automata.- The Range of State Complexities of Languages Resulting from the Cascade Product—The Unary Case (Extended Abstract) .- Guessing the Buffer Bound for k-Synchronizability.- The Commutative Closure of Shuffle Languages over Group Languages is Regular.- Organization IX Algorithms for Probabilistic and Stochastic Subsequential Failure Transducers.- Ambiguity Hierarchies for Weighted Tree Automata.- Boolean Kernels of Context-Free Languages.- Efficient String Matching Based on a Two-Step Simulation of the Suffix Automaton.- Approximate Hashing for Bioinformatics.

Du kanske också är intresserad av

Implementation and Application of Automata

Sebastian Maneth

Häftad, 2009

739 kr

Del 9147

Data Science

Sebastian Maneth

Häftad, 2015

709 kr

Escalade 1 Textbok

Birgitta Tillman, Sylvia Martin, Marie Pettersson, Ewa Sandberg, Matts Winblad, Véronique Lönnerblad

Häftad, 2012

399 kr

Escalade 1 Övningsbok

Birgitta Tillman, Sylvia Martin, Marie Pettersson, Ewa Sandberg, Matts Winblad, Véronique Lönnerblad

Häftad, 2012

329 kr

Omvårdnadens grunder - paket

Sofia Almerud, Annica Backman, Anna-Karin Edberg, Anna Ehrenberg, My Engström, Katarina Göransson, Lena Marmstål Hammar, Stefan Nilsson, Lars Wallin, Helle Wijk, Joakim Öhlén, Lilas Ali, Anette Alvariza, Ann-Christine Andersson, Pia Andersson, Anna Anåker, Charlotta van Eggermont Arwidson, Margareta Asp, Åsa Audulv, Malin Axelsson, Mariette Bengtsson, Eva Benzein, Lena Berg, Monica Bergqvist, Eva-Karin Bergström, Ida Björkman, Catrin Björvell, Angela Bång, Carina Bååth, Josefin Bäckström, Karin Bölenius, David Edvardsson, Rakel Eklund, Inger Ekman, Mirjam Ekstedt, Ann Catrine Eldh, Karin Enskär, Sofia Erestam, Anneli Eriksson, Henrik Eriksson, Marie Ernsth Bravell, Jan Florin, Anna Forsberg, Henrietta Forsman, Anette Forss, Mio Fredriksson, Febe Friberg, Maria Grandahl, Tanja Gustafsson, Agneta Gånemo, Elizabeth Hanson, Malin Hansson, Amanda Hellström, Ingela Henoch, Inger Jansson, Maria Jirwe, Lena Johansson, Pauline Johansson, Unn-Britt Johansson, Birgitta Kerstis, Ann-Sofie Källberg, Ulrika Källman, Anita Kärner Köhler, Cecilia Larsdotter, Margret Lepp, Maria Lindström Nilsson, Mikael Lundmark, Anneli Löf, Lennart Magnusson, Catharina Melander, Jenny Milton, Beata Molin, Annika Nordin, Maria Norinder, Sepideh Olausson, Carina Persson, Kerstin Prignitz Sluys, Josefin Rahmqvist, Birgit Holritz Rasmussen, Anneli Ringblom, Karin C. Ringsberg, Ann Rudman, Ann-Marie Rydholm Hedman, Silje Rysst, Lars Sandman, Regina Santamäki Fischer, Britt-Inger Saveman, Johanna Sjömar, Karin Stenzelius, Anna Strömberg, Annelie J. Sundler, Märtha Sund Levander, Kristina Svantesson, Anna Swall, Susanne Syrén, Pia Tingström, Johanna Ulfvarson, Sara Wallström, Albert Westergren, Lena Wiklund Gustin, Ulrika Winblad