×

zbMATH — the first resource for mathematics

Found 837 Documents (Results 1–100)

Hits per Page
100
Display Format
MathJax
Result Sorting
Newest 1st
Amtoft, Torben; Androutsopoulos, Kelly; Clark, David
Correctly slicing extended finite state machines. (English) Zbl 1440.68149
Di Pierro, Alessandra (ed.) et al., From lambda calculus to cybersecurity through program analysis. Essays dedicated to Chris Hankin on the occasion of his retirement. Cham: Springer. Lect. Notes Comput. Sci. 12065, 149-197 (2020).
MSC:  68Q45 68Q55
PDF BibTeX XML Cite
\textit{T. Amtoft} et al., Lect. Notes Comput. Sci. 12065, 149--197 (2020; Zbl 1440.68149)
Full Text: DOI
Hadjicostis, Christoforos N.
Estimation and inference in discrete event systems. A model-based approach with finite automata. (English) Zbl 1436.93002
Communications and Control Engineering. Cham: Springer (ISBN 978-3-030-30820-9/hbk; 978-3-030-30821-6/ebook). xviii, 346 p. (2020).
Reviewer: Tiit Riismaa (Tallinn)
MSC:  93-02 93C65 93B07 68Q45
PDF BibTeX XML Cite
\textit{C. N. Hadjicostis}, Estimation and inference in discrete event systems. A model-based approach with finite automata. Cham: Springer (2020; Zbl 1436.93002)
Full Text: DOI Link
Nagy, Benedek; Otto, Friedrich
Two-head finite-state acceptors with translucent letters. (English) Zbl 1444.68099
Catania, Barbara (ed.) et al., SOFSEM 2019: theory and practice of computer science. 45th international conference on current trends in theory and practice of computer science, Nový Smokovec, Slovakia, January 27–30, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11376, 406-418 (2019).
MSC:  68Q45
PDF BibTeX XML Cite
\textit{B. Nagy} and \textit{F. Otto}, Lect. Notes Comput. Sci. 11376, 406--418 (2019; Zbl 1444.68099)
Full Text: DOI
Brzozowski, Janusz A.; Davies, Sylvie; Madan, Abhishek
State complexity of single-word pattern matching in regular languages. (English) Zbl 1434.68238
Hospodár, Michal (ed.) et al., Descriptional complexity of formal systems. 21st IFIP WG 1.02 international conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11612, 86-97 (2019).
MSC:  68Q45
PDF BibTeX XML Cite
\textit{J. A. Brzozowski} et al., Lect. Notes Comput. Sci. 11612, 86--97 (2019; Zbl 1434.68238)
Full Text: DOI
Mráz, František; Průša, Daniel; Wehar, Michael
Two-dimensional pattern matching against basic picture languages. (English) Zbl 1434.68278
Hospodár, Michal (ed.) et al., Implementation and application of automata. 24th international conference, CIAA 2019, Košice, Slovakia, July 22–25, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11601, 209-221 (2019).
MSC:  68Q45
PDF BibTeX XML Cite
\textit{F. Mráz} et al., Lect. Notes Comput. Sci. 11601, 209--221 (2019; Zbl 1434.68278)
Full Text: DOI
Yamakami, Tomoyuki
Nonuniform families of polynomial-size quantum finite automata and quantum logarithmic-space computation with polynomial-size advice. (English) Zbl 1425.68238
Martín-Vide, Carlos (ed.) et al., Language and automata theory and applications. 13th international conference, LATA 2019, St. Petersburg, Russia, March 26–29, 2019, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11417, 134-145 (2019).
MSC:  68Q45 68Q12 81P68
PDF BibTeX XML Cite
\textit{T. Yamakami}, Lect. Notes Comput. Sci. 11417, 134--145 (2019; Zbl 1425.68238)
Full Text: DOI
Yamakami, Tomoyuki
Relativizations of nonuniform quantum finite automata families. (English) Zbl 07116042
McQuillan, Ian (ed.) et al., Unconventional computation and natural computation. 18th international conference, UCNC 2019, Tokyo, Japan, June 3–7, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-19310-2/pbk; 978-3-030-19311-9/ebook). Lecture Notes in Computer Science 11493, 257-271 (2019).
MSC:  68Q05 68Q10
PDF BibTeX XML Cite
\textit{T. Yamakami}, Lect. Notes Comput. Sci. 11493, 257--271 (2019; Zbl 07116042)
Full Text: DOI
Babakov, R. M.; Barkalov, A. A.
Structural classification of methods for synthesis of a microprogram finite-state machine with datapath of transitions. (English. Russian original) Zbl 1443.68081
Cybern. Syst. Anal. 55, No. 2, 167-173 (2019); translation from Kibern. Sist. Anal. 2019, No. 2, 3-9 (2019).
MSC:  68Q45
PDF BibTeX XML Cite
\textit{R. M. Babakov} and \textit{A. A. Barkalov}, Cybern. Syst. Anal. 55, No. 2, 167--173 (2019; Zbl 1443.68081); translation from Kibern. Sist. Anal. 2019, No. 2, 3--9 (2019)
Full Text: DOI
Hofri, Micha; Mahmoud, Hosam M.
Algorithmics of nonuniformity: tools and paradigms. (English) Zbl 1402.68004
Discrete Mathematics and its Applications. Boca Raton, FL: CRC Press (ISBN 978-1-4987-5071-4/hbk; 978-1-4987-5072-1/ebook). xix, 569 p. (2019).
Reviewer: Irina Ioana Mohorianu (Oxford)
MSC:  68-01 68-02 68P05 68P10 68Q05 68Q45 68Q87 68R05 68R10 68W01 68W05
PDF BibTeX XML Cite
\textit{M. Hofri} and \textit{H. M. Mahmoud}, Algorithmics of nonuniformity: tools and paradigms. Boca Raton, FL: CRC Press (2019; Zbl 1402.68004)
Full Text: Link
Boker, Udi
Rabin vs. streett automata. (English) Zbl 07278089
Lokam, Satya (ed.) et al., 37th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2017, IIT Kanpur, India, December 12–14, 2017. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-055-2). LIPIcs – Leibniz International Proceedings in Informatics 93, Article 17, 15 p. (2018).
MSC:  68N30 68Qxx
PDF BibTeX XML Cite
\textit{U. Boker}, LIPIcs -- Leibniz Int. Proc. Inform. 93, Article 17, 15 p. (2018; Zbl 07278089)
Full Text: DOI
Fiore, Gabriella; De Santis, Elena; Di Benedetto, Maria Domenica
Secure diagnosability of hybrid dynamical systems. (English) Zbl 07237452
Sayed-Mouchaweh, Moamar (ed.), Diagnosability, security and safety of hybrid dynamic and cyber-physical systems. Cham: Springer (ISBN 978-3-319-74961-7/hbk; 978-3-030-09114-9/pbk; 978-3-319-74962-4/ebook). 175-200 (2018).
MSC:  93C30 68Q45
PDF BibTeX XML Cite
\textit{G. Fiore} et al., in: Diagnosability, security and safety of hybrid dynamic and cyber-physical systems. Cham: Springer. 175--200 (2018; Zbl 07237452)
Full Text: DOI
Ostapchuk, M.; Solov’ev, V. V.
Minimizing the finite-state machines by using the values of input variables for coding the internal states. (English. Russian original) Zbl 1411.93113
J. Comput. Syst. Sci. Int. 57, No. 5, 738-749 (2018); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upravl. 2018, No. 5, 76-88 (2018).
MSC:  93C62 68Q80 93B50 93-04
PDF BibTeX XML Cite
\textit{M. Ostapchuk} and \textit{V. V. Solov'ev}, J. Comput. Syst. Sci. Int. 57, No. 5, 738--749 (2018; Zbl 1411.93113); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upravl. 2018, No. 5, 76--88 (2018)
Full Text: DOI
Rezchikov, A. F.; Kushnikov, V. A.; Ivashchenko, V. A.; Bogomolov, A. S.; Filimonyuk, L. Yu.
Models and algorithms of automata theory for the control of an aircraft group. (English. Russian original) Zbl 1406.93229
Autom. Remote Control 79, No. 10, 1863-1870 (2018); translation from Avtom. Telemekh. 2018, No. 10, 154-163 (2018).
MSC:  93C95 93C41 68Q45 90C10
PDF BibTeX XML Cite
\textit{A. F. Rezchikov} et al., Autom. Remote Control 79, No. 10, 1863--1870 (2018; Zbl 1406.93229); translation from Avtom. Telemekh. 2018, No. 10, 154--163 (2018)
Full Text: DOI
Babakov, R. M.; Barkalov, A. A.
Determining the area of efficient application of a microprogrammed finite-state machine with datapath of transitions. (English. Russian original) Zbl 1401.68143
Cybern. Syst. Anal. 54, No. 3, 366-375 (2018); translation from Kibern. Sist. Anal. 2018, No. 3, 27-37 (2018).
MSC:  68Q45 94C10
PDF BibTeX XML Cite
\textit{R. M. Babakov} and \textit{A. A. Barkalov}, Cybern. Syst. Anal. 54, No. 3, 366--375 (2018; Zbl 1401.68143); translation from Kibern. Sist. Anal. 2018, No. 3, 27--37 (2018)
Full Text: DOI
Silvestre-Ryan, Jordi; Holmes, Ian
Consensus decoding of recurrent neural network basecallers. (English) Zbl 1392.92008
Jansson, Jesper (ed.) et al., Algorithms for computational biology. 5th international conference, ALCoB 2018, Hong Kong, China, June 25–26, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-91937-9/pbk; 978-3-319-91938-6/ebook). Lecture Notes in Computer Science 10849. Lecture Notes in Bioinformatics, 128-139 (2018).
MSC:  92B20 92C40 68Q45 68T05
PDF BibTeX XML Cite
\textit{J. Silvestre-Ryan} and \textit{I. Holmes}, Lect. Notes Comput. Sci. 10849, 128--139 (2018; Zbl 1392.92008)
Full Text: DOI
Barkalov, Alexander; Titarenko, Larysa; Bieganowski, Jacek
Logic synthesis for finite state machines based on linear chains of states. Foundations, recent developments and challenges. (English) Zbl 1375.68006
Studies in Systems, Decision and Control 113. Cham: Springer (ISBN 978-3-319-59836-9/hbk; 978-3-319-59837-6/ebook). viii, 225 p. (2018).
MSC:  68-02 68M07 68Q45 94C10
PDF BibTeX XML Cite
\textit{A. Barkalov} et al., Logic synthesis for finite state machines based on linear chains of states. Foundations, recent developments and challenges. Cham: Springer (2018; Zbl 1375.68006)
Full Text: DOI
Fiedor, Tomáš; Holík, Lukáš; Janků, Petr; Lengál, Ondřej; Vojnar, Tomáš
Lazy automata techniques for WS1S. (English) Zbl 1452.03090
Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 10205, 407-425 (2017).
MSC:  03D05 03B25 68Q45
PDF BibTeX XML Cite
\textit{T. Fiedor} et al., Lect. Notes Comput. Sci. 10205, 407--425 (2017; Zbl 1452.03090)
Full Text: DOI
Buss, Sam; Cenzer, Douglas; Minnes, Mia; Remmel, Jeffrey B.
Injection structures specified by finite state transducers. (English) Zbl 06700070
Day, Adam (ed.) et al., Computability and complexity. Essays dedicated to Rodney G. Downey on the occasion of his 60th birthday. Cham: Springer (ISBN 978-3-319-50061-4/pbk; 978-3-319-50062-1/ebook). Lecture Notes in Computer Science 10010, 394-417 (2017).
MSC:  03C57 03D05
PDF BibTeX XML Cite
\textit{S. Buss} et al., Lect. Notes Comput. Sci. 10010, 394--417 (2017; Zbl 06700070)
Full Text: DOI
Albert, Pilar; Mayordomo, Elvira; Moser, Philippe
Bounded pushdown dimension vs Lempel Ziv information density. (English) Zbl 1360.68453
Day, Adam (ed.) et al., Computability and complexity. Essays dedicated to Rodney G. Downey on the occasion of his 60th birthday. Cham: Springer (ISBN 978-3-319-50061-4/pbk; 978-3-319-50062-1/ebook). Lecture Notes in Computer Science 10010, 95-114 (2017).
MSC:  68P30 68Q45
PDF BibTeX XML Cite
\textit{P. Albert} et al., Lect. Notes Comput. Sci. 10010, 95--114 (2017; Zbl 1360.68453)
Full Text: DOI arXiv
Waszczuk, Jakub; Savary, Agata; Parmentier, Yannick
Enhancing practical TAG parsing efficiency by capturing redundancy. (English) Zbl 06650043
Han, Yo-Sub (ed.) et al., Implementation and application of automata. 21st international conference, CIAA 2016, Seoul, South Korea, July 19–22, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-40945-0/pbk; 978-3-319-40946-7/ebook). Lecture Notes in Computer Science 9705, 310-321 (2016).
MSC:  68Q45
PDF BibTeX XML Cite
\textit{J. Waszczuk} et al., Lect. Notes Comput. Sci. 9705, 310--321 (2016; Zbl 06650043)
Full Text: DOI
Calvo-Zaragoza, Jorge; de la Higuera, Colin; Oncina, Jose
Computing the expected edit distance from a string to a PFA. (English) Zbl 1379.68219
Han, Yo-Sub (ed.) et al., Implementation and application of automata. 21st international conference, CIAA 2016, Seoul, South Korea, July 19–22, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-40945-0/pbk; 978-3-319-40946-7/ebook). Lecture Notes in Computer Science 9705, 39-50 (2016).
MSC:  68Q45
PDF BibTeX XML Cite
\textit{J. Calvo-Zaragoza} et al., Lect. Notes Comput. Sci. 9705, 39--50 (2016; Zbl 1379.68219)
Full Text: DOI
Babakov, R. M.; Barkalov, A. A.
Algebraic interpretation of a microprogram finite-state machine with datapath of transitions. (English. Russian original) Zbl 1346.68124
Cybern. Syst. Anal. 52, No. 2, 191-198 (2016); translation from Kibern. Sist. Anal. 2016, No. 2, 22-29 (2016).
MSC:  68Q70 68N30
PDF BibTeX XML Cite
\textit{R. M. Babakov} and \textit{A. A. Barkalov}, Cybern. Syst. Anal. 52, No. 2, 191--198 (2016; Zbl 1346.68124); translation from Kibern. Sist. Anal. 2016, No. 2, 22--29 (2016)
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Serial
all top 5
Year of Publication
all top 3
Classification
all top 3
Software