Zobrazeno 1 - 10
of 205
pro vyhledávání: '"Thiagarajan, P. S."'
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.
We introduce a framework for analyzing ordinary differential equation (ODE) models of biological networks using statistical model checking (SMC). A key aspect of our work is the modeling of single-cell variability by assigning a probability distribut
Externí odkaz:
http://arxiv.org/abs/1812.01091
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.
Hybrid systems whose mode dynamics are governed by non-linear ordinary differential equations (ODEs) are often a natural model for biological processes. However such models are difficult to analyze. To address this, we develop a probabilistic analysi
Externí odkaz:
http://arxiv.org/abs/1412.6953
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.
The formal verification of large probabilistic models is important and challenging. Exploiting the concurrency that is often present is one way to address this problem. Here we study a restricted class of asynchronous distributed probabilistic system
Externí odkaz:
http://arxiv.org/abs/1408.0979
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:
Thiagarajan, P. S.1 (AUTHOR), Yang, Shaofa2 (AUTHOR), ter Beek, Maurice (AUTHOR), Koutny, Maciej (AUTHOR), Rozenberg, Grzegorz (AUTHOR)
Publikováno v:
Fundamenta Informaticae. 2020, Vol. 175 Issue 1, p301-325. 25p.
Autor:
Telmasre, Tushar K., Concepción, Anthony César, Kolluri, Suryanarayana, Mishra, Lubhani, Thiagarajan, Raghav S., Matam, Aditya Naveen, Subramaniam, Akshay, Garrick, Taylor R., Subramanian, Venkat R.
Publikováno v:
Journal of the Electrochemical Society; August 2024, Vol. 171 Issue: 8 p089002-089002, 1p