Přejít k hlavnímu obsahu
Czech
English
Ústav teorie informace a automatizace
Jste zde
Domů
Vyhledávání
Hledat
O ústavu
Domů
Výzkum
Výuka
Lidé
Struktura
Časopis Kybernetika
GDPR info
Ochrana oznamovatelů
GEP info
Život ústavu
Informace
Návody
Aktivity
Semináře
Knihovna
Výpočetní středisko
Intranet
Přihlášení
Přístup k mailu
Covid - evidence testů
Lemon
Rezervace tělocvičny
Poštovní konference
Rezervace poslucháren
Docházka
Docházka
Bibliografie
Ivan Kramosil
Exner Otto
,
Kramosil Ivan
,
Vajda Igor
:
Mathematical Evaluation of the Fit of a Theory with Experimental Data
,
Journal of Chemical Information and Computer Sciences vol.33, 3 (1993), p. 407-411
[1993]
DOI:
10.1021/ci00013a017
Kramosil Ivan
,
Šindelář Jan
:
On Pseudo-Random Sequences and Their Relation to a Class of Stochastical Laws
,
Kybernetika vol.28, 5 (1992), p. 383-391
[1992]
Download
Kramosil Ivan
,
Šindelář Jan
:
A Note on the Law of Iterated Logarithm from the Viewpoint of Kolmogorov Program Complexity
,
Problems of Control and Information Theory vol.16, 6 (1987), p. 399-409
[1987]
Kramosil Ivan
,
Šindelář Jan
:
Computational Complexity of Probabilistic Searching Algorithms over Herbrand Universes
,
Computers and Artificial Intelligence vol.4, 2 (1985), p. 97-108
[1985]
Kramosil Ivan
,
Šindelář Jan
:
Infinite Pseudo-Random Sequences of High Algorithmic Complexity
,
Kybernetika vol.20, 6 (1984), p. 429-437
[1984]
Download
Kramosil Ivan
,
Šindelář Jan
:
Statistical Deducibility Testing with Stochastic Parameters
,
Kybernetika vol.14, 6 (1978), p. 385-396
[1978]
Download
Kramosil Ivan
,
Šindelář Jan
:
A Probabistic Verification Algorithm for Existential First-Order-Predicate Formulas - nepublikováno, napsáno po roce 1983
,
( 1983)
[1983]
07.01.2019 - 08:39