Search Results - Dostál, Matěj

  • Showing 1 - 14 results of 14
Refine Results
  1. 1
    Moss' logic for ordered coalgebras

    Moss' logic for ordered coalgebras by Bílková, Marta, Dostál, Matěj

    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    A TWO-DIMENSIONAL BIRKHOFF'S THEOREM

    A TWO-DIMENSIONAL BIRKHOFF'S THEOREM by Dostál, Matej

    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    Moss' logic for ordered coalgebras

    Moss' logic for ordered coalgebras by Bílková, Marta, Dostál, Matěj

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    Morita Equivalence for Many-Sorted Enriched Theories

    Morita Equivalence for Many-Sorted Enriched Theories by Dostál, Matĕj, Velebil, Jiří

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  5. 5
    Bénabou's theorem for pseudoadjunctions

    Bénabou's theorem for pseudoadjunctions by Dostál, Matěj

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    Sifted Colimits, Strongly Finitary Monads and Continuous Algebras

    Sifted Colimits, Strongly Finitary Monads and Continuous Algebras by Adámek, Jiří, Dostál, Matěj, Velebil, Jiří

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    Varieties of Quantitative or Continuous Algebras (Extended Abstract)

    Varieties of Quantitative or Continuous Algebras (Extended Abstract) by Adámek, Jiří, Dostál, Matěj, Velebil, Jiří

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  8. 8
    A two-dimensional Birkhoff's theorem

    A two-dimensional Birkhoff's theorem by Dostál, Matěj

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  9. 9
    An elementary characterisation of sifted weights

    An elementary characterisation of sifted weights by Dostál, Matěj, Velebil, Jiří

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  10. 10
    Fuzzy Generalised Quantifiers for Natural Language in Categorical Compositional Distributional Semantics

    Fuzzy Generalised Quantifiers for Natural Language in Categorical Compositional Distributional Semantics by Dostal, Matej, Sadrzadeh, Mehrnoosh, Wijnholds, Gijs

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  11. 11
    Invasion tolerance varies along a topographic gradient irrespective of invader presence

    Invasion tolerance varies along a topographic gradient irrespective of invader presence by Klinerová, Tereza, Man, Matěj, Dostál, Petr

    Published in Oikos
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  12. 12
    Synthesis of Ag and Cu nanoparticles by plasma discharge in inorganic salt solutions

    Synthesis of Ag and Cu nanoparticles by plasma discharge in inorganic salt solutions by Horák, Jakub, Nikiforov, Anton, Krčma, František, Březina, Matěj, Kozáková, Zdenka, Dostál, Lukáš, Kalina, Michal, Kalina, Lukáš

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  13. 13
    Landiolol for heart rate control in patients with septic shock and persistent tachycardia. A multicenter randomized clinical trial (Landi-SEP)

    Landiolol for heart rate control in patients with septic shock and persistent tachycardia. A multicenter randomized clinical trial (Landi-SEP) by Rehberg, Sebastian, Frank, Sandra, Černý, Vladimír, Cihlář, Radek, Borgstedt, Rainer, Biancofiore, Gianni, Guarracino, Fabio, Schober, Andreas, Trimmel, Helmut, Pernerstorfer, Thomas, Siebers, Christian, Dostál, Pavel, Morelli, Andrea, Joannidis, Michael, Pretsch, Ingrid, Fuchs, Christian, Rahmel, Tim, Podbregar, Matej, Duliczki, Éva, Tamme, Kadri, Unger, Martin, Sus, Jan, Klade, Christoph, Krejcy, Kurt, Kirchbaumer-Baroian, Nairi, Krumpl, Günther, Duška, František

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  14. 14
    Assessment of lumbar paraspinal muscle morphology using mDixon Quant magnetic resonance imaging (MRI): a cross-sectional study in healthy subjects

    Assessment of lumbar paraspinal muscle morphology using mDixon Quant magnetic resonance imaging (MRI): a cross-sectional study in healthy subjects by Krkoska, Peter, Kokosova, Viktoria, Dostal, Marek, Vlazna, Daniela, Kerkovsky, Milos, Straka, Matej, Gerstberger, Radim, Matulova, Katerina, Ovesna, Petra, Adamova, Blanka

    Get full text
    Article
    Save to List
    Saved in:

Search Tools: