×

Found 930 Documents (Results 1–100)

100
MathJax

Not enough less: an improved algorithm for solving code equivalence problems over \(\mathbb{F}_q\). (English) Zbl 1485.94131

Dunkelman, Orr (ed.) et al., Selected areas in cryptography. 27th international conference, Halifax, NS, Canada (virtual event), October 21–23, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12804, 387-403 (2021).
PDF BibTeX XML Cite
Full Text: DOI

The Borwein brothers, Pi and the AGM. (English) Zbl 1437.11001

Bailey, David H. (ed.) et al., From analysis to visualization. A celebration of the life and legacy of Jonathan M. Borwein, Callaghan, Australia, September 25–29, 2017. Cham: Springer. Springer Proc. Math. Stat. 313, 323-347 (2020).
PDF BibTeX XML Cite
Full Text: DOI arXiv

More applications of the \(d\)-neighbor equivalence: connectivity and acyclicity constraints. (English) Zbl 07525454

Bender, Michael A. (ed.) et al., 27th annual European symposium on algorithms, ESA 2019, Munich/Garching, Germany, September 9–11, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 144, Article 17, 14 p. (2019).
MSC:  68Wxx
PDF BibTeX XML Cite
Full Text: DOI

Efficient equivalence-checking algorithms for procedural programs in progressive semigroup gateway models. (English. Russian original) Zbl 1473.68055

Mosc. Univ. Comput. Math. Cybern. 43, No. 4, 181-187 (2019); translation from Vestn. Mosk. Univ., Ser. XV 2019, No. 4, 37-44 (2019).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI

Decision problems for restricted variants of two-dimensional automata. (English) Zbl 1434.68288

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, 222-234 (2019).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI arXiv

Reducing transducer equivalence to register automata problems solved by “Hilbert method”. (English) Zbl 07561353

Ganguly, Sumit (ed.) et al., 38th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2018, Ahmedabad, India, December 11–13, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 122, Article 48, 16 p. (2018).
MSC:  68N30 68Qxx
PDF BibTeX XML Cite
Full Text: DOI

An improved affine equivalence algorithm for random permutations. (English) Zbl 1423.94067

Nielsen, Jesper Buus (ed.) et al., Advances in cryptology – EUROCRYPT 2018. 37th annual international conference on the theory and applications of cryptographic techniques, Tel Aviv, Israel, April 29 – May 3, 2018. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 10820, 413-442 (2018).
MSC:  94A60
PDF BibTeX XML Cite
Full Text: DOI

Lie algebras and geometric complexity of an isochronous center condition. (English) Zbl 1390.37033

López de Silanes, M. C. (ed.) et al., Fourteenth international conference Zaragoza-Pau on mathematics and its applications. Proceedings of the conference, Jaca, Spain, September 12–15, 2016. Zaragoza: Prensas de la Universidad de Zaragoza (ISBN 978-84-17358-00-6/pbk). Monografías Matemáticas “García de Galdeano” 41, 75-83 (2018).
PDF BibTeX XML Cite
Full Text: arXiv

Filter Results by …

Document Type

Database

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software