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]