Výsledky vyhledávání
- 1.0444297 - UIVT-O 200377 CS1 eng O - Ostatní výsledky
Kramosil, Ivan
Occam's Razor Principle as a Methodology for Probabilistic Decision Making - nepublikováno, napsáno po roce 1984.
1984
Trvalý link: http://hdl.handle.net/11104/0246844Název souboru Staženo Velikost Komentář Verze Přístup 0444297.pdf 1 3.2 MB Jiná vyžádat - 2.0444296 - UIVT-O 200377 CS1 eng O - Ostatní výsledky
Kramosil, Ivan - Šindelář, Jan
A Probabistic Verification Algorithm for Existential First-Order-Predicate Formulas - nepublikováno, napsáno po roce 1983.
1983
Trvalý link: http://hdl.handle.net/11104/0246853Název souboru Staženo Velikost Komentář Verze Přístup 0444296.pdf 0 1.9 MB Jiná vyžádat - 3.0444295 - UIVT-O 200377 CS1 eng O - Ostatní výsledky
Kramosil, Ivan
A Formal Description of Parallel Probabilistic Algorithms with Applications - nepublikováno, napsáno po roce 1988.
1988
Trvalý link: http://hdl.handle.net/11104/0246854Název souboru Staženo Velikost Komentář Verze Přístup 0444295.pdf 0 5.5 MB Jiná vyžádat - 4.0444294 - UIVT-O 200377 CS1 eng O - Ostatní výsledky
Kramosil, Ivan
A Formal Definition of Heuristics in the Terms of Computational Complexity - nepublikováno, napsáno po roce 1978.
1978
Trvalý link: http://hdl.handle.net/11104/0246852Název souboru Staženo Velikost Komentář Verze Přístup 0444294.pdf 0 4 MB Jiná vyžádat - 5.0444293 - UIVT-O 200377 CS1 eng O - Ostatní výsledky
Kramosil, Ivan
Parallel Distributed Computational Structures for Probabilistic Solution of Searching Problems - nepublikováno, napsáno po roce 1988.
1988
Trvalý link: http://hdl.handle.net/11104/0246855Název souboru Staženo Velikost Komentář Verze Přístup 0444293.pdf 0 4.9 MB Jiná vyžádat - 6.0444171 - UIVT-O 200378 CS1 cze O - Ostatní výsledky
Kramosil, Ivan
"Kladivo na data" nebo "Zahlédnutí horizontu"? (Několik poznámek k současným polemikám o situaci v matematické statistice a o mezích možností této vědní disciplíny) - nepublikováno.
1983
Trvalý link: http://hdl.handle.net/11104/0246754Název souboru Staženo Velikost Komentář Verze Přístup 0444171.pdf 1 4.7 MB Jiná vyžádat - 7.0444170 - UIVT-O 200378 CS1 cze O - Ostatní výsledky
Kramosil, Ivan
Několik poznámek k diskusím o roli pravděpodobnosti umělé inteligence - nepublikováno.
1987
Trvalý link: http://hdl.handle.net/11104/0246755Název souboru Staženo Velikost Komentář Verze Přístup 0444170.pdf 1 4.1 MB Jiná vyžádat - 8.0444165 - UIVT-O 200377 CS1 eng O - Ostatní výsledky
Kramosil, Ivan
Toward Many-Valued Logical Consistency - nepublikováno.
1976
Trvalý link: http://hdl.handle.net/11104/0246748Název souboru Staženo Velikost Komentář Verze Přístup 0444165.pdf 1 8.9 MB Jiná vyžádat - 9.0403189 - UIVT-O 200381 CS1 eng O - Ostatní výsledky
Kramosil, Ivan
On a Generalization of the First-Order Functional Calculus - nepublikováno.
1972
Trvalý link: http://hdl.handle.net/11104/0123514Název souboru Staženo Velikost Komentář Verze Přístup 0403189.pdf 0 9.3 MB Jiná vyžádat - 10.0403186 - UIVT-O 200378 CS1 cze O - Ostatní výsledky
Kramosil, Ivan
Některé další vlastnosti testů dokazatelnosti v Gentzenově kalkulu - nepublikováno.
1969
Trvalý link: http://hdl.handle.net/11104/0123511Název souboru Staženo Velikost Komentář Verze Přístup 0403186.pdf 0 5.8 MB Jiná vyžádat