Abstraction-based segmental simulation of reaction networks using adaptive memoization.

Autor: Helfrich M; Department of Computer Science, Technical University of Munich, Garching b., Munich, Germany., Andriushchenko R; Faculty of Information Technology, Brno University of Technology, Brno, Czech Republic., Češka M; Faculty of Information Technology, Brno University of Technology, Brno, Czech Republic. ceskam@fit.vutbr.cz., Křetínský J; Department of Computer Science, Technical University of Munich, Garching b., Munich, Germany.; Faculty of Informatics, Masaryk University, Brno, Czech Republic., Martiček Š; Faculty of Information Technology, Brno University of Technology, Brno, Czech Republic., Šafránek D; Faculty of Informatics, Masaryk University, Brno, Czech Republic.

Publikováno v: BMC bioinformatics [BMC Bioinformatics] 2024 Nov 08; Vol. 25 (1), pp. 350. Date of Electronic Publication: 2024 Nov 08.

Adaptive formal approximations of Markov chains

Autor: Abate, A, Andriushchenko, R, Ceska, M, Kwiatkowska, M, Palmer, T

We explore formal approximation techniques for Markov chains based on state–space reduction that aim at improving the scalability of the analysis, while providing formal bounds on the approximation error. We first present a comprehensive survey of

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8fbf2a4b04d03a1cbcfb7b210598ca66
https://ora.ox.ac.uk/objects/uuid:4bf04a68-2269-4651-83f8-805c77b14244

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Automated quantum software engineering.

Autor: Sarkar, Aritra

Publikováno v: Automated Software Engineering; Jun2024, Vol. 31 Issue 1, p1-17, 17p