Search results
- 1.0444297 - UIVT-O 200377 CS1 eng O - Others
Kramosil, Ivan
Occam's Razor Principle as a Methodology for Probabilistic Decision Making - nepublikováno, napsáno po roce 1984.
1984
Permanent Link: http://hdl.handle.net/11104/0246844File Download Size Commentary Version Access 0444297.pdf 1 3.2 MB Other require - 2.0444296 - UIVT-O 200377 CS1 eng O - Others
Kramosil, Ivan - Šindelář, Jan
A Probabistic Verification Algorithm for Existential First-Order-Predicate Formulas - nepublikováno, napsáno po roce 1983.
1983
Permanent Link: http://hdl.handle.net/11104/0246853File Download Size Commentary Version Access 0444296.pdf 0 1.9 MB Other require - 3.0444295 - UIVT-O 200377 CS1 eng O - Others
Kramosil, Ivan
A Formal Description of Parallel Probabilistic Algorithms with Applications - nepublikováno, napsáno po roce 1988.
1988
Permanent Link: http://hdl.handle.net/11104/0246854File Download Size Commentary Version Access 0444295.pdf 0 5.5 MB Other require - 4.0444294 - UIVT-O 200377 CS1 eng O - Others
Kramosil, Ivan
A Formal Definition of Heuristics in the Terms of Computational Complexity - nepublikováno, napsáno po roce 1978.
1978
Permanent Link: http://hdl.handle.net/11104/0246852File Download Size Commentary Version Access 0444294.pdf 0 4 MB Other require - 5.0444293 - UIVT-O 200377 CS1 eng O - Others
Kramosil, Ivan
Parallel Distributed Computational Structures for Probabilistic Solution of Searching Problems - nepublikováno, napsáno po roce 1988.
1988
Permanent Link: http://hdl.handle.net/11104/0246855File Download Size Commentary Version Access 0444293.pdf 0 4.9 MB Other require - 6.0444171 - UIVT-O 200378 CS1 cze O - Others
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
Permanent Link: http://hdl.handle.net/11104/0246754File Download Size Commentary Version Access 0444171.pdf 1 4.7 MB Other require - 7.0444170 - UIVT-O 200378 CS1 cze O - Others
Kramosil, Ivan
Několik poznámek k diskusím o roli pravděpodobnosti umělé inteligence - nepublikováno.
1987
Permanent Link: http://hdl.handle.net/11104/0246755File Download Size Commentary Version Access 0444170.pdf 1 4.1 MB Other require - 8.0444165 - UIVT-O 200377 CS1 eng O - Others
Kramosil, Ivan
Toward Many-Valued Logical Consistency - nepublikováno.
1976
Permanent Link: http://hdl.handle.net/11104/0246748File Download Size Commentary Version Access 0444165.pdf 1 8.9 MB Other require - 9.0403189 - UIVT-O 200381 CS1 eng O - Others
Kramosil, Ivan
On a Generalization of the First-Order Functional Calculus - nepublikováno.
1972
Permanent Link: http://hdl.handle.net/11104/0123514File Download Size Commentary Version Access 0403189.pdf 0 9.3 MB Other require - 10.0403186 - UIVT-O 200378 CS1 cze O - Others
Kramosil, Ivan
Některé další vlastnosti testů dokazatelnosti v Gentzenově kalkulu - nepublikováno.
1969
Permanent Link: http://hdl.handle.net/11104/0123511File Download Size Commentary Version Access 0403186.pdf 0 5.8 MB Other require