Zobrazeno 1 - 10
of 1 071
pro vyhledávání: '"Myers Chris"'
Autor:
Golebiewski Martin, Bader Gary, Gleeson Padraig, Gorochowski Thomas E., Keating Sarah M., König Matthias, Myers Chris J., Nickerson David P., Sommer Björn, Waltemath Dagmar, Schreiber Falk
Publikováno v:
Journal of Integrative Bioinformatics, Vol 21, Iss 1, Pp 1-6 (2024)
Externí odkaz:
https://doaj.org/article/09758323b0ca4712997ca89002e677c9
Counterexample generation is an indispensable part of model checking process. In stochastic model checking, counterexample generation is a challenging problem as it is not enough to find a single trace that violates the given property. Instead, a pot
Externí odkaz:
http://arxiv.org/abs/2207.05207
BioSimulators: a central registry of simulation engines and services for recommending specific tools
Autor:
Shaikh, Bilal, Smith, Lucian P., Vasilescu, Dan, Marupilla, Gnaneswara, Wilson, Michael, Agmon, Eran, Agnew, Henry, Andrews, Steven S., Anwar, Azraf, Beber, Moritz E., Bergmann, Frank T., Brooks, David, Brusch, Lutz, Calzone, Laurence, Choi, Kiri, Cooper, Joshua, Detloff, John, Drawert, Brian, Dumontier, Michel, Ermentrout, G. Bard, Faeder, James R., Freiburger, Andrew P., Fröhlich, Fabian, Funahashi, Akira, Garny, Alan, Gennari, John H., Gleeson, Padraig, Goelzer, Anne, Haiman, Zachary, Hellerstein, Joseph L., Hoops, Stefan, Ison, Jon C., Jahn, Diego, Jakubowski, Henry V., Jordan, Ryann, Kalaš, Matúš, König, Matthias, Liebermeister, Wolfram, Mandal, Synchon, McDougal, Robert, Medley, J. Kyle, Mendes, Pedro, Müller, Robert, Myers, Chris J., Naldi, Aurelien, Nguyen, Tung V. N., Nickerson, David P., Olivier, Brett G., Patoliya, Drashti, Paulevé, Loïc, Petzold, Linda R., Priya, Ankita, Rampadarath, Anand K., Rohwer, Johann M., Saglam, Ali S., Singh, Dilawar, Sinha, Ankur, Snoep, Jacky, Sorby, Hugh, Spangler, Ryan, Starruß, Jörn, Thomas, Payton J., van Niekerk, David, Weindl, Daniel, Zhang, Fengkai, Zhukova, Anna, Goldberg, Arthur P., Blinov, Michael L., Sauro, Herbert M., Moraru, Ion I., Karr, Jonathan R.
Computational models have great potential to accelerate bioscience, bioengineering, and medicine. However, it remains challenging to reproduce and reuse simulations, in part, because the numerous formats and methods for simulating various subsystems
Externí odkaz:
http://arxiv.org/abs/2203.06732
The enormous number of states reachable during explicit model checking is the main bottleneck for scalability. This paper presents approaches of using decision diagrams to represent very large state space compactly and efficiently. This is possible f
Externí odkaz:
http://arxiv.org/abs/2004.14995
This paper presents an approach to more efficient partial order reduction for model checking concurrent systems. This approach utilizes a compositional reachability analysis to generate over-approximate local state transition models for all processes
Externí odkaz:
http://arxiv.org/abs/2004.14971
Stochastic model checking is a technique for analyzing systems that possess probabilistic characteristics. However, its scalability is limited as probabilistic models of real-world applications typically have very large or infinite state space. This
Externí odkaz:
http://arxiv.org/abs/1906.03978
There has been an increasing demand for formal methods in the design process of safety-critical synthetic genetic circuits. Probabilistic model checking techniques have demonstrated significant potential in analyzing the intrinsic probabilistic behav
Externí odkaz:
http://arxiv.org/abs/1901.07857
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.