Zobrazeno 1 - 10
of 85
pro vyhledávání: '"Gebler D"'
Publikováno v:
In Limnologica July 2017 65:46-54
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Zalewska-Gałosz, J., Kwiatkowska, M., Prančl, J., Skubała, K., Lučanová, M., Gebler, D., Szoszkiewicz, K.
Publikováno v:
Scientific Reports; 6/3/2023, Vol. 13 Issue 1, p1-15, 15p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Iversen, L L, Winkel, A, Baastrup-Spohr, L, Hinke, A B, Alahuta, J, Baattrup-Pedersen, A, Birk, S, Brodersen, S, Chambers, P A, Ecke, F, Feldmann, T, Gebler, D, Heino, J, Jespersen, T S, Moe, S J, Riis, T, Sass, L, Vestergaard, O, Maberly, S C, Sand-Jensen, K, Pedersen, O
Externí odkaz:
https://hdl.handle.net/11250/2678168
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Tree rules in probabilistic transition system specifications with negative and quantitative premises
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 89, Iss Proc. EXPRESS/SOS 2012, Pp 115-130 (2012)
Lee, M D, Gebler, D & D'Argenio, P R 2012, Tree rules in probabilistic transition system specifications with negative and quantitative premises . in B Luttik & M A Reniers (eds), Proc. 19th Workshop on Expressiveness in Concurrency and 9th Workshop on Structural Operational Semantics-EXPRESS/SOS'12 . EPTCS, pp. 115-130 . https://doi.org/10.4204/EPTCS.89.9
Proc. 19th Workshop on Expressiveness in Concurrency and 9th Workshop on Structural Operational Semantics-EXPRESS/SOS'12, 115-130
STARTPAGE=115;ENDPAGE=130;TITLE=Proc. 19th Workshop on Expressiveness in Concurrency and 9th Workshop on Structural Operational Semantics-EXPRESS/SOS'12
EXPRESS/SOS
Lee, M D, Gebler, D & D'Argenio, P R 2012, Tree rules in probabilistic transition system specifications with negative and quantitative premises . in B Luttik & M A Reniers (eds), Proc. 19th Workshop on Expressiveness in Concurrency and 9th Workshop on Structural Operational Semantics-EXPRESS/SOS'12 . EPTCS, pp. 115-130 . https://doi.org/10.4204/EPTCS.89.9
Proc. 19th Workshop on Expressiveness in Concurrency and 9th Workshop on Structural Operational Semantics-EXPRESS/SOS'12, 115-130
STARTPAGE=115;ENDPAGE=130;TITLE=Proc. 19th Workshop on Expressiveness in Concurrency and 9th Workshop on Structural Operational Semantics-EXPRESS/SOS'12
EXPRESS/SOS
Probabilistic transition system specifications (PTSSs) in the ntmufnu/ntmuxnu format provide structural operational semantics for Segala-type systems that exhibit both probabilistic and nondeterministic behavior and guarantee that isimilarity is a co