Zobrazeno 1 - 10
of 90
pro vyhledávání: '"Mardare, R"'
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.
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:
Cardelli, L, Tribastone, M, Tschaikowski, M, Vandin, A, Aceto, L, Bacci, G, Ingólfsdóttir, A, Legay, A, Mardare, R
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319631202
Models, Algorithms, Logics and Tools
Models, Algorithms, Logics and Tools
In chemical reaction networks (CRNs) with stochastic semantics based on continuous-time Markov chains (CTMCs), the typically large populations of species cause combinatorially large state spaces. This makes the analysis very difficult in practice and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c1d58752c898df58708f25a9daca54ee
https://ora.ox.ac.uk/objects/uuid:6b46dbcb-a2f0-4bef-8b8f-f1d8ea278129
https://ora.ox.ac.uk/objects/uuid:6b46dbcb-a2f0-4bef-8b8f-f1d8ea278129
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.
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.
Publikováno v:
Cardelli, L, Larsen, K G & Mardare, R 2011, Continuous Markovian Logic-From Complete Axiomatization to the Metric Space of Formulas . in CSL Computer Science Logic : 25th International Workshop / 20th Annual Conference of the EACSL, CSL 2011, September 12-15, 2011, Bergen, Norway, Proceedings . vol. 12, Schloss Dagstuhl. Leibniz-Zentrum für Informatik, pp. 144-158 . https://doi.org/10.4230/LIPIcs.CSL.2011.144
Continuous Markovian Logic (CML) is a multimodal logic that expresses quantitative and qualitative properties of continuous-space and continuous-time labelled Markov processes (CMPs). The modalities of CML approximate the rates of the exponentially d
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6e69c6b932c370fe6c3de471acda9027
https://vbn.aau.dk/da/publications/d5561cdd-34ef-4fea-939e-5a293b3510a3
https://vbn.aau.dk/da/publications/d5561cdd-34ef-4fea-939e-5a293b3510a3
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.