Skip to main content
Czech
English
Institute of Information Theory and Automation
You are here
Home
Search form
Search
About us
Home
Research
Education
People
Structure
Kybernetika Journal
GDPR info
Whistleblowing
GEP info
ÚTIA life
Instructions
Activities
Seminars
Library
Computer Centre
Intranet
Login
Mail access
Covid - tests records
Lemon
Reservation of Gym
Discussion list
Booking classrooms
Attendance
Attendance
Bibliography
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]
2019-01-07 08:39