×

Found 961 Documents (Results 1–100)

Measurable graph combinatorics. (English) Zbl 07823030

Beliaev, Dmitry (ed.) et al., International congress of mathematicians 2022, ICM 2022, Helsinki, Finland, virtual, July 6–14, 2022. Volume 3. Sections 1–4. Berlin: European Mathematical Society (EMS). 1488-1502 (2023).
PDFBibTeX XMLCite
Full Text: DOI

On solutions of the Fokker-Planck equations. (English. Russian original) Zbl 07789355

J. Math. Sci., New York 276, No. 2, 300-309 (2023); translation from Itogi Nauki Tekh., Ser. Sovrem. Mat. Prilozh., Temat. Obz. 178, 102-111 (2020).
PDFBibTeX XMLCite
Full Text: DOI

On embedding of the Morse-Smale diffeomorphisms in a topological flow. (English. Russian original) Zbl 1507.37037

J. Math. Sci., New York 265, No. 6, 868-887 (2022); translation from Sovrem. Mat., Fundam. Napravl. 66, No. 2, 160-181 (2020).
MSC:  37D15 37C20 37C15
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

Equivalence of linear tree transducers with output in the free group. (English) Zbl 07601072

Jonoska, Nataša (ed.) et al., Developments in language theory. 24th international conference, DLT 2020, Tampa, FL, USA, May 11–15, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12086, 207-221 (2020).
MSC:  68Q45
PDFBibTeX XMLCite
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
PDFBibTeX XMLCite
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
PDFBibTeX XMLCite
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
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software