×

Found 5,391 Documents (Results 1–100)

Statistical complexity as a criterion for the useful signal detection problem. (English. Russian original) Zbl 07760876

Autom. Remote Control 84, No. 7, 753-771 (2023); translation from Avtom. Telemekh. 2023, No. 7, 121-145 (2023).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Distributing and parallelizing non-canonical loops. (English) Zbl 07728612

Dragoi, Cezara (ed.) et al., Verification, model checking, and abstract interpretation. 24th international conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13881, 1-24 (2023).
MSC:  68N30 68N19
PDFBibTeX XMLCite
Full Text: DOI

Invariant analysis for multi-agent graph transformation systems using \(k\)-induction. (English) Zbl 1514.68093

Behr, Nicolas (ed.) et al., Graph transformation. 15th international conference, ICGT 2022, held as part of STAF 2022, Nantes, France, July 7–8, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13349, 173-192 (2022).
MSC:  68Q42 68Q60 68Q85
PDFBibTeX XMLCite
Full Text: DOI

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