Hledat
Zobrazují se záznamy 11-20 z 22
Federated learning
Kolaborativní učení
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Švarný, Petr
Datum publikování: 2023
Datum obhajoby: 16. 06. 2023
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: for thesis Federated learning by Martin Georgiu The remarkable advancements in machine learning in recent years have been unprece- dented, yet the constant need for more and more data to train artificial neural networks ...
pro práci Federated learning od Martina Georgiu Pokrok v oblasti strojového učení v posledních letech byl bezprecedentní, přesto je stále potřeba stále více dat pro trénování umělých neuronových sítí (artificial neural ...
pro práci Federated learning od Martina Georgiu Pokrok v oblasti strojového učení v posledních letech byl bezprecedentní, přesto je stále potřeba stále více dat pro trénování umělých neuronových sítí (artificial neural ...
Forma, tvar a myšlení moderního robota
Form, design and thinking of the modern robot
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Jirků, Petr
Datum publikování: 2008
Datum obhajoby: 29. 09. 2008
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: V této práci bych rád podal popis robota jakožto stroje jak po fyzické, tak po psychické stránce. Budu postupovat od toho, jak by měl vypadat na první pohled a jaké by měl mít funkce, přes úvahu o struktuře konstrukční ...
Získávání znalostí z databází
Data mining
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Peliš, Michal
Datum publikování: 2013
Datum obhajoby: 18. 09. 2013
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Získávání znalostí z databází bakalářská práce Jakub Dolejšek (abstrakt v českém jazyce) Práce se zabývá problematikou dobývání znalostí z databází se zaměřením na metody rozhodovacích stromů a neuronových sítí spolu s ...
Data mining Bc. thesis Jakub Dolejšek (english abstract) This paper describes problematic of the knowleadge database discovery with focus on methods of decision trees and neural networks with examples of their application ...
Data mining Bc. thesis Jakub Dolejšek (english abstract) This paper describes problematic of the knowleadge database discovery with focus on methods of decision trees and neural networks with examples of their application ...
Počátky analýzy modalit v moderní logice
The beginnings of analysis of modalities in modern logic
Diplomová práce (OBHÁJENO)
Vedoucí práce: Kolman, Vojtěch
Datum publikování: 2012
Datum obhajoby: 06. 02. 2012
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt nenalezen
Filosofický výklad a možné interpretace Gödelových vět o neúplnosti
Philosophical analysis and possible interpretations of Gödel's incompleteness theorems
Diplomová práce (OBHÁJENO)
Vedoucí práce: Vlasáková, Marta
Datum publikování: 2016
Datum obhajoby: 20. 06. 2016
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: ❆❜str❛❦t ❉✐♣❧♦♠♦✈á ♣rá❝❡ s❡ ③❛❜ý✈á r♦③❜♦r❡♠ ♠♦➸♥ý❝❤ ✜❧♦s♦✜❝❦ý❝❤ ✈ý❦❧❛❞➲ ●ö❞❡❧♦✈ý❝❤ ✈➙t ♦ ♥❡ú♣❧♥♦st✐ ❛r✐t♠❡t✐❦② ❛ ❥❡❥✐❝❤ ✐♥t❡r♣r❡t❛❝❡♠✐ ✈ r➲③✲ ♥ý❝❤ ♦❞✈➙t✈í❝❤ ✜❧♦s♦✜❡ ✭❢❡♥♦♠❡♥♦❧♦❣✐❡✱ ❛♥❛❧②t✐❝❦á ✜❧♦s♦✜❡ ♠②s❧✐✱ ❑❛♥✲ t♦✈❛ ...
❆❜str❛❝t ❚❤❡ ❞✐♣❧♦♠❛ t❤❡s✐s ❞❡❛❧s ✇✐t❤ ♣♦ss✐❜❧❡ ♣❤✐❧♦s♦♣❤✐❝❛❧ ❛♥❛❧②s❡s ♦❢ ●ö✲ ❞❡❧✬s ✐♥❝♦♠♣❧❡t❡♥❡ss t❤❡♦r❡♠s ❛♥❞ t❤❡✐r ✐♥t❡r♣r❡t❛t✐♦♥s ✐♥ ❞✐✛❡r❡♥t ❜r❛♥❝❤❡s♦❢♣❤✐❧♦s♦♣❤②✭♣❤❡♥♦♠❡♥♦❧♦❣②✱❛♥❛❧②t✐❝❛❧♣❤✐❧♦s♦♣❤②♦❢♠✐♥❞✱ ❑❛♥t✬s ...
❆❜str❛❝t ❚❤❡ ❞✐♣❧♦♠❛ t❤❡s✐s ❞❡❛❧s ✇✐t❤ ♣♦ss✐❜❧❡ ♣❤✐❧♦s♦♣❤✐❝❛❧ ❛♥❛❧②s❡s ♦❢ ●ö✲ ❞❡❧✬s ✐♥❝♦♠♣❧❡t❡♥❡ss t❤❡♦r❡♠s ❛♥❞ t❤❡✐r ✐♥t❡r♣r❡t❛t✐♦♥s ✐♥ ❞✐✛❡r❡♥t ❜r❛♥❝❤❡s♦❢♣❤✐❧♦s♦♣❤②✭♣❤❡♥♦♠❡♥♦❧♦❣②✱❛♥❛❧②t✐❝❛❧♣❤✐❧♦s♦♣❤②♦❢♠✐♥❞✱ ❑❛♥t✬s ...
Generalized Boolean models and classical predicate logic
Zobecněné Booleovské modely a klasická predikátová logika
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Honzík, Radek
Datum publikování: 2013
Datum obhajoby: 27. 06. 2013
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Tato bakalářská práce pojednává o úplných Booleových alge- berách a o jejich užití v semantice prvořádové predikátové logiky. Práce má dva hlavní cíle, v první řadě dokázat, že každá Booleova algebra může být rozšířena na ...
This bachelor thesis is dealing with complete Boolean algebras and its use in semantics of first-order predicate logic. This thesis has two main goals, at first it is to show that every Boolean al- gebra can be extended ...
This bachelor thesis is dealing with complete Boolean algebras and its use in semantics of first-order predicate logic. This thesis has two main goals, at first it is to show that every Boolean al- gebra can be extended ...
Britská logika v devatenáctém století
British Logic in the 19th Century
Diplomová práce (OBHÁJENO)
Vedoucí práce: Holeček, Tomáš
Datum publikování: 2013
Datum obhajoby: 07. 02. 2013
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: According to American philosopher W. W. Bartley, the transition from tradi- tional Aristotelian to Boolean logic is a revolutionary milestone in the history of logic. The work of George Boole which was followed by a ...
Ultrapower construction in set theory
Ultramocninová konstrukce v teorii množin
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Honzík, Radek
Datum publikování: 2011
Datum obhajoby: 22. 09. 2011
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Předložená práce obsahuje historii vzniku míry, její souvislost s měřitelnými kardinály a shrnutí všech základních definic a pojmů potřebných k zobecnění ultramocninové konstrukce v teorii modelů pro vlastní třídy. Součástí ...
The presented work contains the history of origin of measure, its connection with measurable cardinals and summary of all elementary definitions and no- tions needed for the generalization of ultrapower construction in ...
The presented work contains the history of origin of measure, its connection with measurable cardinals and summary of all elementary definitions and no- tions needed for the generalization of ultrapower construction in ...
Formalizace usuzování a paradox překvapivé písemky
Formalization of reasoning and the paradox of surprise examination
Diplomová práce (OBHÁJENO)
Vedoucí práce: Svoboda, Vladimír
Datum publikování: 2007
Datum obhajoby: 26. 09. 2007
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Po prezentaci možných přístupů k řešení problému v první kapitole jsem ve druhé kapitole poukázal na Sorensenovu kritiku pokusů interpretovat paradox jinak, než pomocí modálních reprezentací epistemických, či doxastických ...
Probabilistické algoritmy pro prvočíselnost
Probabilistic algorithms for testing primality
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Švejdar, Vítězslav
Datum publikování: 2013
Datum obhajoby: 19. 09. 2013
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Ačkoli v poslední době byla pozornost upřena především na nový deterministický algoritmus pro testování prvočíselnosti AKS, pravděpodobnostní algoritmy zůstávají efektivním nástrojem pro testování prvočíselnosti. Naše práce ...
Attention has been paid mostly to the new deterministic algorithm for primality testing AKS recently. However, probabilistic algorithms remain an efficient tool for primality testing. Our thesis focuses mostly on two most ...
Attention has been paid mostly to the new deterministic algorithm for primality testing AKS recently. However, probabilistic algorithms remain an efficient tool for primality testing. Our thesis focuses mostly on two most ...