×

Found 100 Documents (Results 1–100)

Newest Citations Relevance
van Heerdt, Gerco; Kupke, Clemens; Rot, Jurriaan; Silva, Alexandra

Learning weighted automata over principal ideal domains. (English) Zbl 1461.68093

Goubault-Larrecq, Jean (ed.) et al., Foundations of software science and computation structures. 23rd international conference, FOSSACS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12077, 602-621 (2020).
Reviewer: Andreas Maletti (Leipzig)
MSC:  68Q32 68Q45
Cite Review PDF
Full Text: DOI arXiv
Creative Commons CC license icon Creative Commons BY license icon
Angluin, Dana; Fisman, Dana

Regular \(\omega\)-languages with an informative right congruence. (English) Zbl 1528.68169

Orlandini, Andrea (ed.) et al., Proceedings of the ninth international symposium on games, automata, logics, and formal verification, GandALF 2018, Saarbrücken, Germany, September 26–28, 2018. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 277, 265-279 (2018).
MSC:  68Q45
Cite Review PDF
Full Text: arXiv Link
Dando, Louis-Marie; Lombardy, Sylvain

On Hadamard series and rotating \(\mathbb{Q}\)-automata. (English) Zbl 1510.68033

Potapov, Igor (ed.) et al., 43rd international symposium on mathematical foundations of computer science. MFCS 2018, Liverpool, United Kingdom, August 27–31, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 117, Article 6, 14 p. (2018).
MSC:  68Q45
Cite Review PDF
Full Text: DOI
Duchamp, G. H. E.; Minh, V. Hoang Ngoc; Ngo Quoc Hoan; Penson, K.; Simonnet, P.

Mathematical renormalization in quantum electrodynamics via noncommutative generating series. (English) Zbl 1386.81144

Kotsireas, Ilias S. (ed.) et al., Applications of computer algebra, Kalamata, Greece, July 20–23, 2015. Cham: Springer (ISBN 978-3-319-56930-7/hbk; 978-3-319-56932-1/ebook). Springer Proceedings in Mathematics & Statistics 198, 59-100 (2017).
MSC:  81V10 81T15 11G55 05A15 13P05 17B81 78A60
Cite Review PDF
Full Text: DOI arXiv
Balle, Borja; Mohri, Mehryar

On the Rademacher complexity of weighted automata. (English) Zbl 1388.68147

Chaudhuri, Kamalika (ed.) et al., Algorithmic learning theory. 26th international conference, ALT 2015, Banff, AB, Canada, October 4–6, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-24485-3/pbk; 978-3-319-24486-0/ebook). Lecture Notes in Computer Science 9355. Lecture Notes in Artificial Intelligence, 179-193 (2015).
MSC:  68Q32 68Q45
Cite Review PDF
Full Text: DOI
Alpay, Daniel; Colombo, Fabrizio; Sabadini, Irene

Schur analysis in the quaternionic setting: the Fueter regular and the slice regular case. (English) Zbl 1337.47015

Alpay, Daniel (ed.), Operator theory. With 51 figures and 2 tables. In 2 volumes. Basel: Springer (ISBN 978-3-0348-0666-4/print; 978-3-0348-0667-1/ebook; 978-3-0348-0668-8/print+ebook; 978-3-0348-0692-3/online (updated continuously)). Springer Reference, 1745-1786 (2015).
Reviewer: Anatoly N. Kochubei (Kyïv)
MSC:  47A48 30G35 47-02 47A57
Cite Review PDF
Full Text: DOI Link
Oncina, Jose

Using multiplicity automata to identify transducer relations from membership and equivalence queries. (English) Zbl 1177.68121

Clark, Alexander (ed.) et al., Grammatical inference: Algorithms and applications. 9th international colloquium, ICGI 2008, Saint-Malo, France, September 22–24, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-88008-0/pbk). Lecture Notes in Computer Science 5278. Lecture Notes in Artificial Intelligence, 154-162 (2008).
MSC:  68Q32 68Q42 68Q45
Cite Review PDF
Full Text: DOI
Petreczky, Mihály; Vidal, René

Realization theory for discrete-time semi-algebraic hybrid systems. (English) Zbl 1144.93304

Egerstedt, Magnus (ed.) et al., Hybrid systems: Computation and control. 11th international workshop, HSCC 2008, St. Louis, MO, USA, April 22–24, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-78928-4/pbk). Lecture Notes in Computer Science 4981, 386-400 (2008).
MSC:  93B15 93B25 93C30 93C55
Cite Review PDF
Full Text: DOI
Droste, Manfred; Gastin, Paul

On recognizable and rational formal power series in partially commuting variables. (English) Zbl 1401.68215

Degano, Pierpaolo (ed.) et al., Automata, languages and programming. 24th international colloquium, ICALP ’97, Bologna, Italy, July 7–11, 1997. Proceedings. Berlin: Springer-Verlag (ISBN 978-3-540-63165-1/pbk; 978-3-540-69194-5/ebook). Lecture Notes in Computer Science 1256, 682-692 (1997).
MSC:  68Q70
Cite Review PDF
Full Text: DOI
Richomme, Gwénaël

Some trace monoids where both the star problem and the finite power property problem are decidable (extended abstract). (English) Zbl 1496.20089

Privara, Igor (ed.) et al., Mathematical foundations of computer science 1994. 19th international symposium, MFCS ’94, Košice, Slovakia, August 22–26, 1994. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 841, 577-586 (1994).
MSC:  20M05 20M35 68Q45
Cite Review PDF
Full Text: DOI

Filter Results by …

Access

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software