Hasil Pencarian - David Šafránek

  • Menampilkan 1 - 15 hasil dari 15
Perbaiki Hasil
  1. 1
    Parallel One-Step Control of Parametrised Boolean Networks

    Parallel One-Step Control of Parametrised Boolean Networks oleh Luboš Brim, Samuel Pastva, David Šafránek, Eva Šmijáková

    Diterbitkan 2021-03-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  2. 2
    Robustness analysis of stochastic biochemical systems.

    Robustness analysis of stochastic biochemical systems. oleh Milan Ceska, David Safránek, Sven Dražan, Luboš Brim

    Diterbitkan 2014-01-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  3. 3
    Executable biochemical space for specification and analysis of biochemical systems.

    Executable biochemical space for specification and analysis of biochemical systems. oleh Matej Troják, David Šafránek, Lukrécia Mertová, Luboš Brim

    Diterbitkan 2020-01-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  4. 4
    BDD-Based Algorithm for SCC Decomposition of Edge-Coloured Graphs

    BDD-Based Algorithm for SCC Decomposition of Edge-Coloured Graphs oleh Nikola Beneš, Luboš Brim, Samuel Pastva, David Šafránek

    Diterbitkan 2022-03-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  5. 5
    Computational Modelling of Metabolic Burden and Substrate Toxicity in <i>Escherichia coli</i> Carrying a Synthetic Metabolic Pathway

    Computational Modelling of Metabolic Burden and Substrate Toxicity in <i>Escherichia coli</i> Carrying a Synthetic Metabolic Pathway oleh Martin Demko, Lukáš Chrást, Pavel Dvořák, Jiří Damborský, David Šafránek

    Diterbitkan 2019-11-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  6. 6
    Extracting individual characteristics from population data reveals a negative social effect during honeybee defence

    Extracting individual characteristics from population data reveals a negative social effect during honeybee defence oleh Tatjana Petrov, Matej Hajnal, Julia Klein, David Šafránek, Morgane Nouvian

    Diterbitkan 2022-09-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  7. 7
    Extracting individual characteristics from population data reveals a negative social effect during honeybee defence.

    Extracting individual characteristics from population data reveals a negative social effect during honeybee defence. oleh Tatjana Petrov, Matej Hajnal, Julia Klein, David Šafránek, Morgane Nouvian

    Diterbitkan 2022-09-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  8. 8
    Executable biochemical space for specification and analysis of biochemical systems

    Executable biochemical space for specification and analysis of biochemical systems oleh Matej Troják, David Šafránek, Lukrécia Mertová, Luboš Brim, Bashar Ibrahim

    Diterbitkan 2020-01-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  9. 9
    Exploring attractor bifurcations in Boolean networks

    Exploring attractor bifurcations in Boolean networks oleh Nikola Beneš, Luboš Brim, Jakub Kadlecaj, Samuel Pastva, David Šafránek

    Diterbitkan 2022-05-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  10. 10
    Combining formal methods and Bayesian approach for inferring discrete-state stochastic models from steady-state data.

    Combining formal methods and Bayesian approach for inferring discrete-state stochastic models from steady-state data. oleh Julia Klein, Huy Phung, Matej Hajnal, David Šafránek, Tatjana Petrov

    Diterbitkan 2023-01-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  11. 11
    BioDiVinE: A Framework for Parallel Analysis of Biological Models

    BioDiVinE: A Framework for Parallel Analysis of Biological Models oleh David Šafránek, Jan Láník, Jana Fabriková, Sven Dražan, Ivana Černá, Luboš Brim, Jiří Barnat, Hongwu Ma

    Diterbitkan 2009-10-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  12. 12
    The need for standardisation in life science research - an approach to excellence and trust. [version 2; peer review: 3 approved]

    The need for standardisation in life science research - an approach to excellence and trust. [version 2; peer review: 3 approved] oleh Susanne Hollmann, Andreas Kremer, Špela Baebler, Christophe Trefois, Kristina Gruden, Witold R. Rudnicki, Weida Tong, Aleksandra Gruca, Erik Bongcam-Rudloff, Chris T. Evelo, Alina Nechyporenko, Marcus Frohme, David Šafránek, Babette Regierer, Domenica D'Elia

    Diterbitkan 2021-05-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  13. 13
    The need for standardisation in life science research - an approach to excellence and trust. [version 1; peer review: 2 approved]

    The need for standardisation in life science research - an approach to excellence and trust. [version 1; peer review: 2 approved] oleh Susanne Hollmann, Andreas Kremer, Špela Baebler, Christophe Trefois, Kristina Gruden, Witold R. Rudnicki, Weida Tong, Aleksandra Gruca, Erik Bongcam-Rudloff, Chris T. Evelo, Alina Nechyporenko, Marcus Frohme, David Šafránek, Babette Regierer, Domenica D'Elia

    Diterbitkan 2020-12-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  14. 14
    Systems Biology in ELIXIR: modelling in the spotlight [version 1; peer review: 1 approved, 2 approved with reservations]

    Systems Biology in ELIXIR: modelling in the spotlight [version 1; peer review: 1 approved, 2 approved with reservations] oleh Katharina F. Heil, Anze Zupanic, Chris T. Evelo, Carole Goble, Kristel Van Steen, Tadeja Rezen, Hans V Westerhoff, Rahuman S. Malik Sheriff, Maria Suarez Diez, Henning Hermjakob, Marco Pagni, Damjana Rozman, Barbara Szomolay, Miguel Rocha, Jasper Koehorst, Alexey Kolodkin, Victoria Dominguez Del Angel, David Šafránek, Dirk Fey, Ilja Arts, Rui Benfeitas, Vitor Martins dos Santos, Mihail Anton, Marek Ostaszewski, Ulrike Wittig, John M. Hancock, Brane Leskošek, Katherine Wolstencroft, Martin Golebiewski, Wolfgang Müller, Polonca Ferk, Kristina Gruden, Martina Kutmon, Maria I. Klapa, Sébastien Moretti, Pascal Kahlem

    Diterbitkan 2022-11-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  15. 15
    Systems Biology in ELIXIR: modelling in the spotlight [version 2; peer review: 1 approved, 2 approved with reservations]

    Systems Biology in ELIXIR: modelling in the spotlight [version 2; peer review: 1 approved, 2 approved with reservations] oleh Katharina F. Heil, Anze Zupanic, Chris T. Evelo, Carole Goble, Kristel Van Steen, Tadeja Rezen, Hans V Westerhoff, Rahuman S. Malik Sheriff, Maria Suarez Diez, Henning Hermjakob, Marco Pagni, Damjana Rozman, Barbara Szomolay, Miguel Rocha, Jasper Koehorst, Alexey Kolodkin, Victoria Dominguez Del Angel, David Šafránek, Dirk Fey, Ilja Arts, Rui Benfeitas, Vitor Martins dos Santos, Mihail Anton, Marek Ostaszewski, Ulrike Wittig, John M. Hancock, Brane Leskošek, Katherine Wolstencroft, Martin Golebiewski, Wolfgang Müller, Polonca Ferk, Kristina Gruden, William T. Scott, Elena Domínguez-Romero, Martina Kutmon, Maria I. Klapa, Sébastien Moretti, Pascal Kahlem

    Diterbitkan 2024-05-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:

Alat Pencarian: