Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Fabriková, J."'
Publikováno v:
EPTCS 125, 2013, pp. 20-36
In our previous work we have introduced the logic STL*, an extension of Signal Temporal Logic (STL) that allows value freezing. In this paper, we define robustness measures for STL* by adapting the robustness measures previously introduced for Metric
Externí odkaz:
http://arxiv.org/abs/1309.0867
Publikováno v:
EPTCS 67, 2011, pp. 97-112
In this paper, a novel computational technique for finite discrete approximation of continuous dynamical systems suitable for a significant class of biochemical dynamical systems is introduced. The method is parameterized in order to affect the impos
Externí odkaz:
http://arxiv.org/abs/1109.1649
Publikováno v:
In Information and Computation August 2014 236:35-51
Publikováno v:
In Theoretical Computer Science 2009 410(33):3128-3148
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:
Transactions on Computational Systems Biology XIV; 2012, p77-101, 25p
Conference
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.
Conference
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.
Conference
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.