Publications




Logické základy umělé inteligence 2. Formalizace a automatizace dedukce
Alena Lukasová
Year: 1997
learning texts, university textbooks, tutorials, handbooks
 
Optimal selection of topology of nevral network
Eva Volná
Year: 1997
abstract in proceedings
 
Problem of the Neural Network Architecture
Eva Volná
Year: 1997
abstract in proceedings
 
Rozvíjení tvůrčí činnost studentů při tvorbě mulimediálních výukových programů
Miroslav Liška, Erika Mechlová
Year: 1997
abstract in proceedings
 
Rozvíjení tvůrčí činnosti studentů při tvorbě multimediálních výukových programů z fyziky
Miroslav Liška, Erika Mechlová
Year: 1997
abstract in proceedings
 
Some evolutionary algorithms for optimization
Ivan Křivý, Josef Tvrdík
Year: 1997
abstract in proceedings
 
S-plus v analýze znečištění životního prostředí
Josef Tvrdík
Year: 1997
abstract in proceedings
 
Stata a NCSS z pohledu uživatele
Josef Tvrdík
Year: 1997, Informační Bulletin České statistické společnosti
journal article
 
The centre of teachers in service education at university of Ostrava
Eva Burianová, Zdeňka Telnarová
Year: 1997
abstract in proceedings
 
The development of the Creativity of Students in Creation of the Multimedia Learning Projects in Physics
Miroslav Liška, Erika Mechlová
Year: 1997
abstract in proceedings
 
The forms of further teachers education at University of Ostrava in the czech republic
Eva Burianová
Year: 1997
abstract in proceedings
 
Utilising Information Technology at Primary and Secondary School
Zdeňka Telnarová, Eva Burianová
Year: 1997
abstract in proceedings
 
Vyuziti informacnich technologii na zakladnich a strednich skolach
Eva Burianová, Zdeňka Telnarová
Year: 1997
abstract in proceedings
 
A Genetic Type Algorithm for Optimization
Josef Tvrdík, Ivan Křivý
Year: 1996
abstract in proceedings
 
Assignment Feedforward Architecture of the Neural Network
Eva Volná
Year: 1996
abstract in proceedings
 
Deciding finiteness of Petri nets up to bisimulation
Petr Jančar, Javier Esparza
Year: 1996
abstract in proceedings
 
Evoluční algoritmy: aplikace v nelineární regresi
Josef Tvrdík, Ivan Křivý
Year: 1996
abstract in proceedings
 
Exploratory Survival Analysis of Tumor Register Data
Josef Tvrdík
Year: 1996
abstract in proceedings
 
Forgetting automata and context/free languages
Petr Jančar, František Mráz, Martin Plátek
Year: 1996, Acta Informatica
journal article
 
Genetic Algorithm Design of Neural Net
Eva Volná
Year: 1996
abstract in proceedings
 
Stochastic Algorithms in Estimating Regression Models
Ivan Křivý, Josef Tvrdík
Year: 1996
abstract in proceedings
 
Zkušenosti z praktické aplikace objektového přístupu
František Huňka
Year: 1996
abstract in proceedings
 
A concise proof of Commoners theorem
Petr Jančar
Year: 1995, Petri nets Newsletter
journal article
 
All action -based behavioural equivalences are undecidable for labelled Petri nets
Petr Jančar
Year: 1995, Bull. of EATCS
journal article
 
Experiences with MS-WORD at the University of Ostrava
Eva Volná
Year: 1995
abstract in proceedings
 
Genetic Synthesis of Neural Network Architecture
Eva Volná
Year: 1995
abstract in proceedings
 
Lidský faktor v aplikacích statistiky
Josef Tvrdík
Year: 1995
abstract in proceedings
 
Stanoveni topologie neuronove site pomoci genetickych algoritmu
Eva Volná
Year: 1995
abstract in proceedings
 
Stochastic Algorithms in Estimating Regression Parameters
Josef Tvrdík, Ivan Křivý
Year: 1995
abstract in proceedings
 
The Controlled Random Search Algorithm for Optimizing Regression Models
Ivan Křivý, Josef Tvrdík
Year: 1995, Comp. Statist. & Data Analysis
journal article
 
Undecidability of Bisimilarity for Petri Nets and Related Problems
Petr Jančar
Year: 1995, Theoretical Computer Science
journal article
 
Using Booch Method in Object Oriented Approach
František Huňka
Year: 1995
abstract in proceedings
 
Distance Education on University of Ostrava
Eva Volná
Year: 1994
abstract in proceedings
 
Forgetting automata and context-free languages
Petr Jančar, František Mráz, Martin Plátek
Year: 1994, Acta Informatica
journal article
 
Modelování řízení rozvodových systémů
František Huňka
Year: 1994
final dissertation (rigorous, final, habilitation)
 
Multicriterial optimization of regression models
Ivan Křivý, Josef Tvrdík
Year: 1994
abstract in proceedings
 
Odhad regresních parametrů metodou řízeného náhodného výběru
Josef Tvrdík
Year: 1994
abstract in proceedings
 
Ověření testu acetylace sulfadimidinu jako ukazatele individuální vnímavosti k onemocnění uhlokopskou pneumokoniózou
Milena Menzlová, Zdeněk Jirák, Jaroslava Havránková, L. Eisler, Josef Tvrdík
Year: 1994, Pracovní lékařství
journal article
 
Postup při objektově orientovaném návrhu ve Smalltalku
František Huňka
Year: 1994
abstract in proceedings
 
Rozpoznávání pomocí perceptronu
Eva Volná
Year: 1994
abstract in proceedings
 
Undecidability of Bisimilarity for Petri Nets and Related Problems
Petr Jančar
Year: 1994, Theoretical Computer Science
journal article
 
Výuka základu práce s poeítaeem na Ostravské univerziti
Eva Volná
Year: 1994
abstract in proceedings
 
Základy objektově orientovaného programování - Smalltalk/V
František Huňka
Year: 1994
learning texts, university textbooks, tutorials, handbooks
 
A taxonomy of forgetting automata
Petr Jančar, František Mráz, Martin Plátek
Year: 1993
abstract in proceedings
 
Bisimilarity on Infinite-State Systems
Petr Jančar
Year: 1993
abstract in proceedings
 
Completeness Results for Single Path Petri Nets
Petr Jančar, Rod Howell, Louis Rosier
Year: 1993, Information and Computation
journal article
 
Human Factors and the Design of Interactive Applications
Milena Tvrdíková, Josef Tvrdík
Year: 1993
abstract in proceedings
 
Modelování řízení rozvodných systémů
František Huňka
Year: 1993
final dissertation (rigorous, final, habilitation)
 
Modelování řízení rozvodných systému, /kandidátská disertaení práce /
František Huňka
Year: 1993, Fakulta řízení VŠDS Žilina
specialist book
 
Modelování řízení rozvodových systémů
František Huňka
Year: 1993
abstract in proceedings
 

1234567891011121314151617181920212223242526272829303132333435363738394041