- Experimenting with Machine Learning in Automated Theorem Proving1999 | Matematicko-fyzikální fakulta
- Automatizace v klinické biochemii2013 | Publikace bez příslušnosti k fakultě
- Automatická komprese důkazů nalézáním nových definic2010 | Matematicko-fyzikální fakulta
- Nástroj pro automatické testování výkonnosti a vyhodnocování výsledků2006 | Matematicko-fyzikální fakulta
- Nástroj pro automatické testování výkonnosti a vyhodnocování výsledkůPublikace bez příslušnosti k fakultě
- Automatické hledání heuristických funkcí2005 | Matematicko-fyzikální fakulta
- Algorithms for automated logisticsPublikace bez příslušnosti k fakultě
- Automatizované měřící prostředí BEEN (verze 1.0)Publikace bez příslušnosti k fakultě
- On Modeling Formalisms for Automated Planning2014 | Matematicko-fyzikální fakulta
- Automatické dokazování vět v teorii grup2008 | Matematicko-fyzikální fakulta
- Automated deployment of hierarchical components2013 | Matematicko-fyzikální fakulta
- Unclear boundaries of automated decision-making2023 | Právnická fakulta
- Automatizovaná kartografická generalizace s využitím rekurze2009 | Přírodovědecká fakulta
- Pokrok v efektivním automatickém uvažovaní se znalostmi o světě2010 | Matematicko-fyzikální fakulta
- Automated Classification of Bitmap Images Using Decision Trees2011 | Matematicko-fyzikální fakulta
- Automatická metrika pro terminologickou konzistenci překladu2022 | Matematicko-fyzikální fakulta
- Automated Training Plan Generation for Athletes2018 | Matematicko-fyzikální fakulta
- Automatizovaná detekce změn výkonu: Zkušenosti z projektu Mono2005 | Matematicko-fyzikální fakulta
- The variability of automated QRS duration measurement2017 | Lékařská fakulta v Plzni, 1. lékařská fakulta
- Evaluace a automatizace anotace žákovského korpusu2013 | Matematicko-fyzikální fakulta, Filozofická fakulta
- Automatické dokazování v teorii kvazigrup a lup2010 | Matematicko-fyzikální fakulta
- Kde je umístěn automatizovaný externí defibrilátor?2010 | Lékařská fakulta v Hradci Králové
- Automatické dokazování pro Mizar: umělá inteligence pomocí výměny znalostíPublikace bez příslušnosti k fakultě
- Neurčitost při automatizaci procesu propojování webu a uživatele2007 | Matematicko-fyzikální fakulta
- Automatizovaný proces implementace systému strojového překladu pro příbuzné jazyky2016 | Matematicko-fyzikální fakulta
- Automatická konstrukce přiměřeného prostředí pro Java komponenty2009 | Matematicko-fyzikální fakulta
- Optimalizace prologovských programů plně automatickou transformační procedurou2008 | Matematicko-fyzikální fakulta
- Stanovení léčiv automatizovanými průtokovými metodami s využitím chemiluminiscenční detekcePublikace bez příslušnosti k fakultě
- Automated Evaluation of Regular Lab Assignments: A Bittersweet Experience?2013 | Matematicko-fyzikální fakulta
- Zlepšování efektivity prologovských programů pomocí plně automatizované transformace2007 | Matematicko-fyzikální fakulta