Zobrazeno 1 - 10
of 75
pro vyhledávání: '"Ana Sokolova"'
Autor:
Roland Ambros, Angelika Bernsteiner, Roderick Bloem, Dominik Dolezal, David Garcia, Katrin Göltl, Claudia Haagen-Schützenhöfer, Markus Hadler, Timotheus Hell, Alina Herderich, Petar Jercic, Fares Kayali, Ferenc Kemény, Christoph Kirsch, Beate Kloesch, Daniel Kocher, Karin Landerl, Jana Lasser, Elisabeth Lex, Renate Motschnig, Claudia Plant, Lisa Posch, Markus Reiter-Haas, Thomas Schubatzky, Wolfgang Slany, Ana Sokolova, Philipp Spitzer, Matthias Steinböck, Yllka Velaj, Pelin Yüksel-Arslan
Publikováno v:
Zeitschrift für Hochschulentwicklung, Vol 18, Iss Sonderheft Hochschullehre (2023)
This article presents a progress report from the last two years of the Teaching Digital Thinking (TDT) project. This project aims to implement new concepts, didactic methods, and teaching formats for sustainable digital transformation in Austrian Uni
Externí odkaz:
https://doaj.org/article/a38c0259a7144b61826c0648cb829e40
Publikováno v:
Logical Methods in Computer Science, Vol Volume 18, Issue 2 (2022)
This paper studies trace-based equivalences for systems combining nondeterministic and probabilistic choices. We show how trace semantics for such processes can be recovered by instantiating a coalgebraic construction known as the generalised powerse
Externí odkaz:
https://doaj.org/article/ffe8292ac8a5439e899a18cfb428be54
Publikováno v:
Logical Methods in Computer Science, Vol Volume 17, Issue 3 (2021)
Probabilistic automata (PA), also known as probabilistic nondeterministic labelled transition systems, combine probability and nondeterminism. They can be given different semantics, like strong bisimilarity, convex bisimilarity, or (more recently) di
Externí odkaz:
https://doaj.org/article/91e3e79a9d2d4701af9d1ed789259819
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 250, Iss Proc. QAPL 2017, Pp 25-38 (2017)
We study parametric Markov decision processes (PMDPs) and their reachability probabilities "independent" of the parameters. Different to existing work on parameter synthesis (implemented in the tools PARAM and PRISM), our main focus is on describing
Externí odkaz:
https://doaj.org/article/09c6825044cc4cf0ad186acd0ea46b48
Autor:
Ana Sokolova, Harald Woracek
Publikováno v:
Logical Methods in Computer Science, Vol Volume 14, Issue 4 (2018)
Convex algebras, also called (semi)convex sets, are at the heart of modelling probabilistic systems including probabilistic automata. Abstractly, they are the Eilenberg-Moore algebras of the finitely supported distribution monad. Concretely, they hav
Externí odkaz:
https://doaj.org/article/6e7ba19c015c48e292b9b72f7030facf
Publikováno v:
Logical Methods in Computer Science, Vol Volume 3, Issue 4 (2007)
Trace semantics has been defined for various kinds of state-based systems, notably with different forms of branching such as non-determinism vs. probability. In this paper we claim to identify one underlying mathematical structure behind these "trace
Externí odkaz:
https://doaj.org/article/3f87bfa7ee57492eb7fb3b963a4768f8
Publikováno v:
Journal of Logical and Algebraic Methods in Programming
Journal of Logical and Algebraic Methods in Programming, 2023, 130, pp.100823. ⟨10.1016/j.jlamp.2022.100823⟩
Journal of Logical and Algebraic Methods in Programming, 2023, 130, pp.100823. ⟨10.1016/j.jlamp.2022.100823⟩
International audience
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4123f2d901c084590b75859cb10c4e4b
https://inria.hal.science/hal-03970947
https://inria.hal.science/hal-03970947
Publikováno v:
ACM SIGLOG News. 9:31-33
This report follows the two latest editions of the International Workshop for Women in Logic (WiL), which took place on June 30 th in 2020 and June 27 th in 2021, respectively. Due to the Corona virus pandemic, both events were held virtually, with s
Autor:
Ana Sokolova
Publikováno v:
Electronic Proceedings in Theoretical Computer Science. 351
Autor:
Laura Kovács, Ana Sokolova
This book constitutes the proceedings of the 18th International Conference on Reachability Problems, RP 2024, which took place in Vienna, Austria, during September 25–27, 2024. The 13 full papers included in these proceedings were carefully revie