Browsing by Author "Smolík, Martin"
Now showing items 1-4 of 4
-
Analýza vybraných léčiv II
Defence status: DEFENDEDSmolík, Martin (Univerzita Karlova, Farmaceutická fakulta v Hradci Králové, 2022)Date of defense: 2. 6. 2022 -
Neural modelling of mathematical structures and their extensions
Defence status: NOT DEFENDEDSmolík, Martin (Univerzita Karlova, Matematicko-fyzikální fakulta, 2019)Date of defense: 18. 6. 2019V tejto práci sa snažíme vybudovať algebraické modely v počítači použitím strojového učenia, konkrétne neurónových sietí. Začneme množinou axiómov ktoré popisujú funkcie, konštanty a relácie a použijeme ich na trénovanie ... -
Neural modelling of mathematical structures and their extensions
Defence status: DEFENDEDSmolík, Martin (Univerzita Karlova, Matematicko-fyzikální fakulta, 2019)Date of defense: 12. 9. 2019In this thesis we aim to build algebraic models in computer using machine learning methods and in particular neural networks. We start with a set of axioms that describe functions, constants and relations and use them to ... -
Pseudofinite structures
Defence status: DEFENDEDSmolík, Martin (Univerzita Karlova, Matematicko-fyzikální fakulta, 2016)Date of defense: 17. 6. 2016Táto práca je určená pre študentov logiky ktorí sa zaujímajú o teóriu konečných modelov. Práca pojednáva o konštrukcii štruktúr ktoré sú limitami tried konečne generovaných štruktúr- takzvaných pseudokonečných štruktúr. ...