Publikace

Epimorphism surjectivity in varieties of Heyting algebras

MORASCHINI, Tommaso, WANNENBURG, J. J. <em>Epimorphism surjectivity in varieties of Heyting algebras</em>. Cornell University, 2019. arXiv.org e-Print archive, arXiv:1908.00287 [math.LO]. Dostupné z: https://arxiv.org/abs/1908.00287

Autoři: Tommaso Moraschini , J. J. Wannenburg

Counting extensions revisited

ŠILEIKIS, Matas, WARNKE, L. <em>Counting extensions revisited</em>. Cornell University, 2019. arXiv.org e-Print archive, arXiv:1911.03012 [math.CO]. Dostupné z: https://arxiv.org/abs/1911.03012

Autoři: Matas Šileikis , L. Warnke

Truth-preservation under fuzzy pp-formulas

DELLUNDE, P., VIDAL, Amanda. <em>Truth-preservation under fuzzy pp-formulas</em>. Cornell University, 2019. arXiv.org e-Print archive, arXiv:1902.04817 [math.LO]. Dostupné z: https://arxiv.org/abs/1902.04817

Autoři: P. Dellunde , Amanda Vidal

Singly generated quasivarieties and residuated structures

MORASCHINI, Tommaso, RAFTERY, J.G., WANNENBURG, J. J. <em>Singly generated quasivarieties and residuated structures</em>. Cornell University, 2019. arXiv.org e-Print archive, arXiv:1902.04159 [math.LO]. Dostupné z: https://arxiv.org/abs/1902.04159

Autoři: Tommaso Moraschini , J.G. Raftery , J. J. Wannenburg

Logic Colloquium 2019

CHODOUNSKÝ, David, VERNER, J., CINTULA, Petr, HONZÍK, R., HUBIČKA, J., PUDLÁK, Pavel, STARÝ, J., STEJSKALOVÁ, Šárka, THAPEN, Neil. <em>Logic Colloquium 2019</em>. Prague, Matematický ústav AV ČR, v. v. i., 11. 8. 2019 - 16. 8. 2019. Konference. Dostupné z: https://lc2019.cz/

Autoři: David Chodounský , J. Verner , Petr Cintula , R. Honzík , J. Hubička , Pavel Pudlák , J. Starý , Šárka Stejskalová , Neil Thapen

Residual and nonparametric bootstrap for estimating variability of robust regression estimators

TICHAVSKÝ, Jan, KALINA, Jan. <em>Residual and nonparametric bootstrap for estimating variability of robust regression estimators</em> [software]. Ústav informatiky AV ČR, v. v. i., 2019. Dostupné z: https://github.com/Veragin/Bootstrap

Autoři: Jan Tichavský , Jan Kalina

Artificial Neural Networks and Machine Learning – ICANN 2019: Deep Learning. Proceedings, Part II

TETKO, I. V., KŮRKOVÁ, Věra, KARPOV, P., THEIS, F. <em>Artificial Neural Networks and Machine Learning – ICANN 2019: Deep Learning. Proceedings, Part II</em>. Cham: Springer, 2019. Lecture Notes in Computer Science, 11728. ISBN 978-3-030-30483-6. ISSN 0302-9743<br>Dostupné z: doi:10.1007/978-3-030-30484-3

Autoři: I. V. Tetko , Věra Kůrková , P. Karpov , F. Theis

On Transitive modal many-valued logics

VIDAL, Amanda. <em>On Transitive modal many-valued logics</em>. Cornell University, 2019. arXiv.org e-Print archive, arXiv:1904.01407 [cs.LO]. Dostupné z: https://arxiv.org/abs/1904.01407

Autoři: Amanda Vidal

Artificial Neural Networks and Machine Learning – ICANN 2019: Theoretical Neural Computation. Proceedings, Part I

TETKO, I. V., KŮRKOVÁ, Věra, KARPOV, P., THEIS, F. <em>Artificial Neural Networks and Machine Learning – ICANN 2019: Theoretical Neural Computation. Proceedings, Part I</em>. Cham: Springer, 2019. Lecture Notes in Computer Science, 11727. ISBN 978-3-030-30486-7. ISSN 0302-9743<br>Dostupné z: doi:10.1007/978-3-030-30487-4

Autoři: I. V. Tetko , Věra Kůrková , P. Karpov , F. Theis

The least weighted squares estimator in linear regression

TICHAVSKÝ, Jan, KALINA, Jan. <em>The least weighted squares estimator in linear regression</em> [software]. Ústav informatiky AV ČR, v. v. i., 2019. Dostupné z: https://github.com/Veragin/LWScode

Autoři: Jan Tichavský , Jan Kalina

Psychoco 2019. International Workshop on Psychometric Computing

MARTINKOVÁ, Patrícia, DRABINOVÁ, Adéla. <em>Psychoco 2019. International Workshop on Psychometric Computing</em>. Prague, Ústav informatiky AV ČR, v. v. i., 21. 2. 2019 - 22. 2. 2019. Workshop. Dostupné z: https://eeecon.uibk.ac.at/psychoco/2019/

Autoři: Patrícia Martinková , Adéla Drabinová

pyCliTS

JAJCAY, Nikola. <em>pyCliTS</em> [software]. Ústav informatiky AV ČR, v. v. i., 2019. Dostupné z: https://github.com/jajcayn/pyclits

Autoři: Nikola Jajcay