×

Found 463 Documents (Results 1–100)

On the formalization and computational complexity of resilience problems for cyber-physical systems. (English) Zbl 07719827

Seidl, Helmut (ed.) et al., Theoretical aspects of computing – ICTAC 2022. 19th international colloquium, Tbilisi, Georgia, September 27–29, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13572, 96-113 (2022).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI

Optimizing multiset relational algebra queries using weak-equivalent rewrite rules. (English) Zbl 1507.68106

Varzinczak, Ivan (ed.), Foundations of information and knowledge systems. 12th international symposium, FoIKS 2022, Helsinki, Finland, June 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13388, 187-205 (2022).
MSC:  68P15
PDFBibTeX XMLCite
Full Text: DOI

On the word fragment length for unambiguous reconstruction of a periodic word from a complete multiset of fragments of fixed length. (English. Russian original) Zbl 07557341

Dokl. Math. 105, No. 2, 61-67 (2022); translation from Dokl. Ross. Akad. Nauk, Mat. Inform. Protsessy Upr. 503, 16-22 (2022).
MSC:  68Rxx 05Axx 11Bxx
PDFBibTeX XMLCite
Full Text: DOI

On the complexity of verification of time-sensitive distributed systems. (English) Zbl 1498.68161

Dougherty, Daniel (ed.) et al., Protocols, strands, and logic. Essays dedicated to Joshua Guttman on the occasion of his 66.66th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13066, 251-275 (2021).
PDFBibTeX XMLCite
Full Text: DOI arXiv

A universal cycle for strings with fixed-content (which are also known as multiset permutations). (English) Zbl 07498706

Lubiw, Anna (ed.) et al., Algorithms and data structures. 17th international symposium, WADS 2021, virtual event, August 9–11, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12808, 599-612 (2021).
MSC:  68P05 68Wxx
PDFBibTeX XMLCite
Full Text: DOI

Power sum polynomials in a discrete tomography perspective. (English) Zbl 1491.92082

Lindblad, Joakim (ed.) et al., Discrete geometry and mathematical morphology. First international joint conference, DGMM 2021, Uppsala, Sweden, May 24–27, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12708, 325-337 (2021).
MSC:  92C55 51E20 05B25
PDFBibTeX XMLCite
Full Text: DOI arXiv

Selecting a single result from an aggregate of contradictory alternatives with use of multiset theory. (English. Russian original) Zbl 1448.91079

J. Comput. Syst. Sci. Int. 58, No. 6, 915-921 (2019); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upr. 2019, No. 6, 88-95 (2019).
MSC:  91B06 03E99
PDFBibTeX XMLCite
Full Text: DOI

Bialgebra coverings and transfer of structure. (English) Zbl 1423.18017

Andruskiewitsch, Nicolás (ed.) et al., Tensor categories and Hopf algebras. Scientific session of the Mathematical Congress of the Americas ‘Hopf algebras and tensor categories’, Montreal, Canada, July 27–28, 2017. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 728, 137-153 (2019).
MSC:  18D05 16T05 05E05 16T30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

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