Publications

Parallel Turing Machines

WIEDERMANN, Jiří. <em>Parallel Turing Machines</em>. Utrecht: Rijksuniversiteit Utrecht, 1984. Technical Report, RUU-CS-84-11.

Autoři: Jiří Wiedermann

Databanka pre Archeologický ústav ČSAV

ŠTULLER, Július. <em>Databanka pre Archeologický ústav ČSAV</em>. Praha: SVT ČSAV, 1984. Výzkumná zpráva, V-153.

Autoři: Július Štuller

Náhodný výběr termů z Herbrandova prostoru predikátových formulí se zaměřením na pravděpodobnostní algoritmy dokazování

KRAMOSIL, Ivan. <em>Náhodný výběr termů z Herbrandova prostoru predikátových formulí se zaměřením na pravděpodobnostní algoritmy dokazování</em>. Praha: ÚTIA ČSAV, 1984. Výzkumná zpráva, 1261.

Autoři: Ivan Kramosil

Tvarová analýza archeologických nálezů

SOUDSKÝ, Ondřej. <em>Tvarová analýza archeologických nálezů</em>. Praha: SVT ČSAV, 1984. Výzkumná zpráva, V-165.

Autoři: Ondřej Soudský

Práce na hlavním úkolu III-9-1: "Metody pro řešení vědeckých úloh počítači" státního plánu základního výzkumu na pracovišti SVT ČSAV za rok 1984

LUKŠAN, Ladislav, FABIÁN, Zdeněk, ŘÍZEK, Stanislav, VONDRÁKOVÁ, Jana, POUPĚ, Jiří. <em>Práce na hlavním úkolu III-9-1: "Metody pro řešení vědeckých úloh počítači" státního plánu základního výzkumu na pracovišti SVT ČSAV za rok 1984</em>. Praha: SVT ČSAV, 1984. Výzkumná zpráva, V-170.

Autoři: Ladislav Lukšan , Zdeněk Fabián , Stanislav Řízek , Jana Vondráková , Jiří Poupě

Pravděpodobnostní model rozhodování na základě Occamova principu maximální jednoduchosti (Occamova břitva)

KRAMOSIL, Ivan. <em>Pravděpodobnostní model rozhodování na základě Occamova principu maximální jednoduchosti (Occamova břitva)</em>. Praha: ÚTIA ČSAV, 1984. Výzkumná zpráva, 1262.

Autoři: Ivan Kramosil

Terminálový systém TC 85. Úvodní studie

BENEŠ, Ladislav, HRUDKA, Ivan, PAČES, Pavel, POUPĚ, Jiří, SOBEK, Pavel, STRNAD, Petr. <em>Terminálový systém TC 85. Úvodní studie</em>. Praha: SVT ČSAV, 1984. Výzkumná zpráva, V-156.

Autoři: Ladislav Beneš , Ivan Hrudka , Pavel Pačes , Jiří Poupě , Pavel Sobek , Petr Strnad

KAS2 - Knihovna pro analýzu signálů /2.verze/. Pracovní verze uživatelského manuálu zatím bez popisu algoritmů

PELIKÁN, Emil, FABIÁN, Zdeněk, SCHRÖTTEROVÁ, Pavla. <em>KAS2 - Knihovna pro analýzu signálů /2.verze/. Pracovní verze uživatelského manuálu zatím bez popisu algoritmů</em>. Praha: SVT ČSAV, 1984. Výzkumná zpráva, V-151.

Autoři: Emil Pelikán , Zdeněk Fabián , Pavla Schrötterová

Mikropočítače a algoritmy řízení II. Soubor pro regulační techniku

KLÁN, Petr. <em>Mikropočítače a algoritmy řízení II. Soubor pro regulační techniku</em>. Praha: ÚTIA ČSAV, 1984. Výzkumná zpráva, 1253.

Autoři: Petr Klán