×

Found 25 Documents (Results 1–25)

Feynman checkers: towards algorithmic quantum theory. (English. Russian original) Zbl 1526.82005

Russ. Math. Surv. 77, No. 3, 445-530 (2022); translation from Usp. Mat. Nauk 77, No. 3, 73-160 (2022).
PDFBibTeX XMLCite
Full Text: DOI arXiv MNR

Efficient decomposition algorithm for stationary analysis of complex stochastic Petri net models. (English) Zbl 1346.68138

Kordon, Fabrice (ed.) et al., Application and theory of Petri nets and concurrency. 37th international conference, PETRI NETS 2016, Toruń, Poland, June 19–24, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-39085-7/pbk; 978-3-319-39086-4/ebook). Lecture Notes in Computer Science 9698, 281-300 (2016).
MSC:  68Q85 68Q87
PDFBibTeX XMLCite
Full Text: DOI

Comparison of two algorithms for computing page importance. (English) Zbl 1286.68016

Chen, Bo (ed.), Algorithmic aspects in information and management. 6th international conference, AAIM 2010, Weihai, China, July 19–21, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14354-0/pbk). Lecture Notes in Computer Science 6124, 1-11 (2010).
MSC:  68M11 60J28 68Q87
PDFBibTeX XMLCite
Full Text: DOI

A generalisation of stationary distributions, and probabilistic program algebra. (English) Zbl 1260.68107

Brooks, Stephen (ed.) et al., MFPS 2001. Papers from the 17th conference on the mathematical foundations of programming semantics, Aarhus University, Aarhus, Denmark, May 23–26, 2001. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 45, 269-279 (2001).
PDFBibTeX XMLCite
Full Text: DOI

Linear cellular machines: The state-space approach. (English. Russian original) Zbl 0516.93001

Autom. Remote Control 43, No. 2, 238-268 (1982); translation from Avtom. Telemekh. 1982, No. 2, 125-162 (1982).
PDFBibTeX XMLCite

Filter Results by …

Database

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software