×

Found 1,143 Documents (Results 1–100)

100
MathJax

Quadratic-exponential functionals of Gaussian quantum processes. (English) Zbl 07484156

PDF BibTeX XML Cite
Full Text: DOI arXiv

TT-QI: faster value iteration in tensor train format for stochastic optimal control. (English. Russian original) Zbl 1469.49026

Comput. Math. Math. Phys. 61, No. 5, 836-846 (2021); translation from Zh. Vychisl. Mat. Mat. Fiz. 61, No. 5, 865-877 (2021).
MSC:  49K45 90C39 65F99
PDF BibTeX XML Cite
Full Text: DOI

It sometimes works: a lifting algorithm for repair of stochastic process algebra models. (English) Zbl 07440846

Hermanns, Holger (ed.), Measurement, modelling and evaluation of computing systems. 20th international GI/ITG conference, MMB 2020, Saarbrücken, Germany, March 16–18, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12040, 190-207 (2020).
MSC:  68M20 68M15 68Q85
PDF BibTeX XML Cite
Full Text: DOI

Verifying quantum communication protocols with ground bisimulation. (English) Zbl 1473.68115

Biere, Armin (ed.) et al., Tools and algorithms for the construction and analysis of systems. 26th international conference, TACAS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12079, 21-38 (2020).
PDF BibTeX XML Cite
Full Text: DOI

Lie symmetry analysis on pricing weather derivatives by partial differential equations. (English) Zbl 07392818

Silvestrov, Sergei (ed.) et al., Algebraic structures and applications. Selected papers based on the presentations at the international conference on stochastic processes and algebraic structures – from theory towards applications, SPAS 2017, Västerås and Stockholm, Sweden, October 4–6, 2017. Cham: Springer. Springer Proc. Math. Stat. 317, 875-901 (2020).
MSC:  22Exx 65D32 91B25 76M60
PDF BibTeX XML Cite
Full Text: DOI

Modeling big data processing programs. (English) Zbl 1475.68081

Carvalho, Gustavo (ed.) et al., Formal methods: foundations and applications. 23rd Brazilian symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12475, 101-118 (2020).
MSC:  68N30 68Q85 68T09
PDF BibTeX XML Cite
Full Text: DOI

Map-Reduce process algebra: a formalism to describe directed acyclic graph task-based jobs in parallel environments. (English) Zbl 1475.68038

Gribaudo, Marco (ed.) et al., Analytical and stochastic modelling techniques and applications. 25th international conference, ASMTA 2019, Moscow, Russia, October 21–25, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12023, 85-99 (2020).
PDF BibTeX XML Cite
Full Text: DOI

Modelling patterns of gene regulation in the bond-calculus. (English) Zbl 1458.92039

Gupta, Ankit (ed.) et al., Proceedings of SASB 2018, the 9th international workshop on static analysis and systems biology, Freiburg, Germany, August 28, 2018. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 350, 117-138 (2020).
MSC:  92C42 92D10
PDF BibTeX XML Cite
Full Text: DOI

A complete proof system for 1-free regular expressions modulo bisimilarity. (English) Zbl 07299489

Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 465-478 (2020).
MSC:  68-XX
PDF BibTeX XML Cite
Full Text: DOI arXiv Link

A fuzzy modal logic for fuzzy transition systems. (English) Zbl 1452.68126

Felty, Amy (ed.) et al., 14th international workshop on logical and semantic frameworks, with applications, LSFA 2019, Natal, Brazil, in August 2019. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 348, 85-103 (2020).
MSC:  68Q85 03B45 03B52
PDF BibTeX XML Cite
Full Text: DOI

Improvement of analytic hierarchy process based on the refinement of the procedures for the formation of pairwise comparison matrices. (English. Russian original) Zbl 07285124

Cybern. Syst. Anal. 56, No. 4, 603-610 (2020); translation from Kibern. Sist. Anal. 2020, No. 4, 98-107 (2020).
MSC:  65Fxx 68-XX
PDF BibTeX XML Cite
Full Text: DOI

Calculation of transition probabilities in quantum mechanics with a nonnegative distribution function in the Maple computer algebra system. (English. Russian original) Zbl 1450.81069

Comput. Math. Math. Phys. 60, No. 1, 82-89 (2020); translation from Zh. Vychisl. Mat. Mat. Fiz. 60, No. 1, 88-95 (2020).
PDF BibTeX XML Cite
Full Text: DOI

Modeling block structured project scheduling with resource constraints. (English) Zbl 1437.68162

Lirkov, Ivan (ed.) et al., Large-scale scientific computing. 12th international conference, LSSC 2019, Sozopol, Bulgaria, June 10–14, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11958, 484-492 (2020).
PDF BibTeX XML Cite
Full Text: DOI

Accurate and interval estimates of the probability of network service availability for communication networks. (English) Zbl 07380319

Vishnevskiy, Vladimir M. (ed.) et al., Distributed computer and communication networks. 22nd international conference, DCCN 2019, Moscow, Russia, September 23–27, 2019. Revised selected papers. Cham: Springer. Commun. Comput. Inf. Sci. 1141, 15-26 (2019).
MSC:  90B18 90B25
PDF BibTeX XML Cite
Full Text: DOI

Numerical factorization of a matrix-function with exponential factors in an anti-plane problem for a crack with process zone. (English) Zbl 1462.74177

MSC:  74S99 65F99 74R10
PDF BibTeX XML Cite
Full Text: DOI

Completeness for identity-free Kleene lattices. (English) Zbl 07378562

Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 18, 17 p. (2018).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI

Designing an IT infrastructure. (English. Russian original) Zbl 1407.68049

Cybern. Syst. Anal. 54, No. 6, 977-992 (2018); translation from Kibern. Sist. Anal. 2018, No. 6, 141-158 (2018).
PDF BibTeX XML Cite
Full Text: DOI

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