Utilize the web fullyThanks to cookies, browsing the web will be easier and more comfortable. To process some of them, we need your consent which you can give by clicking the “Accept all” button. More information about cookies and their settings. By refusing, only essential cookies will be loaded.
Accept all Refuse
Show cookie utilization selection

UO > About > Organizational Structure > Faculties & Institutes > Faculty of Science > About > Organizational Structure > Departments & Centres > Department of Informatics and Computers

Hashim Habiballa

Hashim Habiballa

Academic degree, name, surname:
doc. RNDr. PaedDr. Hashim Habiballa, Ph.D., PhD.
Room, floor, building:
C 102, Building C
Position:
Deputy Head of Department
Research interests and teaching:
Department (Faculty):
Department of Informatics and Computers (Faculty of Science)
Phone number, mobile:
+420 553 46 2170
+420 553 46 2174
E-mail:



No record found.



Expert System for Neurocognitive Rehabilitation Based on the Transfer of the ACE-R to CHC Model Factors
Martin Kotyrba, Hashim Habiballa, Eva Volná, Robert Jarušek, Pavel Smolka, Martin Prášek, Marek Malina, Vladěna Jaremová, Jan Vantuch, Michal Bar, Petr Kulišťák ... other authors
Year: 2023, Mathematics
journal article
 
Proposal of neural network model for neurocognitive rehabilitation and its comparison with fuzzy expert system model
Martin Kotyrba, Hashim Habiballa, Eva Volná, Robert Jarušek, Pavel Smolka, Martin Prášek, Marek Malina, Vladěna Jaremová ... other authors
Year: 2023, BMC MEDICAL INFORMATICS AND DECISION MAKING
journal article
 
Concept of Cloud Computing in Education
Lukáš HAPL, Hashim Habiballa
Year: 2022
abstract in proceedings
 
The Influence of Genetic Algorithms on Learning Possibilities of Artificial Neural Networks
Martin Kotyrba, Eva Volná, Hashim Habiballa, Josef Czyž
Year: 2022, COMPUTERS
journal article
 
Automated Generation of EQ-Algebras through Genetic Algorithms
Hashim Habiballa, Eva Volná, Martin Kotyrba
Year: 2021, MATHEMATICS
journal article
 
Pupils’ Opinions on Digital Systems Education Enriched by DCBLP Discourse
Lukáš Hapl, Kateřina Kostolányová, Hashim Habiballa
Year: 2021, New Educational Review
journal article
 
The Influence of the Developed Specific Multi-Paradigm Programming in Digital Logic Education
Lukáš Hapl, Hashim Habiballa
Year: 2021, Mathematics
journal article
 
Simulation of Digital Logic Principles Using DCBLPy with IoT in Packet Tracer
Lukáš HAPL, Hashim Habiballa
Year: 2020
abstract in proceedings
 
Constructivistic Mathematical Logic Education
Hashim Habiballa, Radek Jendryščík
Year: 2018
abstract in proceedings
 
Recognition of Damaged Letters Based on Mathematical Fuzzy Logic Analysis
Vilém Novák, Hashim Habiballa, Petr Hurtík, Martin Štěpnička
Year: 2015, Journal of Applied Logic
journal article
 

Expert System for Neurocognitive Rehabilitation Based on the Transfer of the ACE-R to CHC Model Factors
Martin Kotyrba, Hashim Habiballa, Eva Volná, Robert Jarušek, Pavel Smolka, Martin Prášek, Marek Malina, Vladěna Jaremová, Jan Vantuch, Michal Bar, Petr Kulišťák ... other authors
Year: 2023, Mathematics
journal article
 
Expert System for Neurocognitive Rehabilitation Based on the Transfer of the ACE-R to CHC Model Factors
Martin Kotyrba, Hashim Habiballa, Eva Volná, Robert Jarušek, Pavel Smolka, Martin Prášek, Marek Malina, Vladěna Jaremová, Jan Vantuch, Michal Bar, Petr Kulišťák ... other authors
Year: 2023, Mathematics
journal article
 
Neurorehabilitační systém pro pacienty se získaným poškozením mozku v časných stádiích léčby (akronym: IS Eddie)
Martin Kotyrba, Pavel Smolka, Hashim Habiballa, Martin Prášek, Marek Malina, Robert Jarušek, Eva Volná, Vladěna Jaremová, Jan Vantuch, Martin Augustynek, Petr Nilius ... other authors
Year: 2023
software
 
Proposal of neural network model for neurocognitive rehabilitation and its comparison with fuzzy expert system model
Martin Kotyrba, Hashim Habiballa, Eva Volná, Robert Jarušek, Pavel Smolka, Martin Prášek, Marek Malina, Vladěna Jaremová ... other authors
Year: 2023, BMC MEDICAL INFORMATICS AND DECISION MAKING
journal article
 
Applications of Cloud Computing in Education
Lukáš HAPL, Hashim Habiballa
Year: 2022
abstract in proceedings
 
Concept of Cloud Computing in Education
Lukáš HAPL, Hashim Habiballa
Year: 2022
abstract in proceedings
 
The Influence of Genetic Algorithms on Learning Possibilities of Artificial Neural Networks
Martin Kotyrba, Eva Volná, Hashim Habiballa, Josef Czyž
Year: 2022, COMPUTERS
journal article
 
Automated Generation of EQ-Algebras through Genetic Algorithms
Hashim Habiballa, Eva Volná, Martin Kotyrba
Year: 2021, MATHEMATICS
journal article
 
Pupils’ Opinions on Digital Systems Education Enriched by DCBLP Discourse
Lukáš Hapl, Kateřina Kostolányová, Hashim Habiballa
Year: 2021, New Educational Review
journal article
 
The Influence of the Developed Specific Multi-Paradigm Programming in Digital Logic Education
Lukáš Hapl, Hashim Habiballa
Year: 2021, Mathematics
journal article
 
E-LEARNINGOVÁ DISTANČNÍ VÝUKA ČÍSLICOVÝCH SYSTÉMŮ NA STŘEDNÍ ŠKOLE PODPOŘENÁ PROGRAMOVACÍM DISKURZEM DCBLP
Lukáš HAPL, Hashim Habiballa, Kateřina Kostolányová
Year: 2020
abstract in proceedings
 
Simulation of Digital Logic Principles Using DCBLPy with IoT in Packet Tracer
Lukáš HAPL, Hashim Habiballa
Year: 2020
abstract in proceedings
 
DCBLP - Applications and education
Lukáš HAPL, Hashim Habiballa
Year: 2019
abstract in proceedings
 
Error analysis in teaching mathematical informatics
Hashim Habiballa, Radek Jendryščík
Year: 2019
abstract in proceedings
 
Introduction to digital circuits based logical programming (DCBLP) - The multiparadigmatic way of logical based on programming
Lukáš HAPL, Hashim Habiballa
Year: 2019
abstract in proceedings
 
Optimization techniques for scientific computation in C/C++
Hashim Habiballa, Tomáš Botor
Year: 2019
abstract in proceedings
 
Adaptive control of EV3 robot using mobile devices and fuzzy logic
Jan Konvička, Martin Kotyrba, Eva Volná, Hashim Habiballa, Vladimír Bradáč
Year: 2018
abstract in proceedings
 
Comparison of Compilers Efficiency in C++
Hashim Habiballa, Tomáš Botor
Year: 2018
abstract in proceedings
 
Comparison of time measurement methods in C++
Tomáš Botor, Hashim Habiballa
Year: 2018
abstract in proceedings
 
Compiler Optimization for Scientific Computation in C/C++
Hashim Habiballa, Tomáš Botor
Year: 2018
abstract in proceedings
 
Constructivistic Mathematical Logic Education
Hashim Habiballa, Radek Jendryščík
Year: 2018
abstract in proceedings
 
Convolutional generalization of fuzzy logic analysis
Hashim Habiballa, Matěj Hireš
Year: 2018
abstract in proceedings
 
Fuzzy convolutional approach for pattern recognition
Hashim Habiballa, Matěj Hireš
Year: 2018
abstract in proceedings
 
Matematická olympiáda kategorie programování
Hashim Habiballa
Year: 2018
organizing conference, workshop
 
STUDENTS' AUTOEVALUATION IN THE FIRST YEAR OF SCIENCE STUDY FIELDS ESPECIALLY IN MATHEMATICS (COMPLEX ANALYSIS)
Petra Konečná, Hashim Habiballa
Year: 2018
abstract in proceedings
 
Comparison of Parallel Data Processing and its Performance
Hashim Habiballa, Tomáš Botor
Year: 2017
abstract in proceedings
 
Formal logic rewrite system bachelor in teaching mathematical informatics
Hashim Habiballa, Radek Jendryščík
Year: 2017
abstract in proceedings
 
Fuzzy logic analysis optimizations for pattern recognition - Implementation and experimental results
Hashim Habiballa, Matěj Hireš
Year: 2017
abstract in proceedings
 
Genetic algorithms in teaching artificial intelligence (automated generation of specific algebras)
Hashim Habiballa, Radek Jendryščík
Year: 2017
abstract in proceedings
 
Matematická olympiáda kategorie programování
Hashim Habiballa
Year: 2017
organizing conference, workshop
 
Optimization of fuzzy logic analysis by diagonals for pattern recognition
Hashim Habiballa, Matěj Hireš
Year: 2017
abstract in proceedings
 
Properties of Genetic Algorithms for Automated Algebras Generation
Hashim Habiballa, Matěj Hireš, Radek Jendryščík
Year: 2017
abstract in proceedings
 
Automated design and optimization of specific algebras by genetic algorithms
Hashim Habiballa, Jiří SCHENK, Matěj Hireš, Radek Jendryščík
Year: 2016
abstract in proceedings
 
Concept of an expert system for EQCreator
Zdeňka Telnarová, Jiri Schenk, Hashim Habiballa
Year: 2016
abstract in proceedings
 
Matematická olympiáda kategorie programování
Hashim Habiballa
Year: 2016
organizing conference, workshop
 
Parallelization of fuzzy logic analysis for pattern recognition
Matěj Hireš, Hashim Habiballa, Vilém Novák
Year: 2016
abstract in proceedings
 
Pattern recognition using linguistic fuzzy logic predictors
Hashim Habiballa
Year: 2016
abstract in proceedings
 
Specific optimization of genetic algorithm on special algebras
Hashim Habiballa, Vilém Novák, Martin Dyba, Jiří SCHENK
Year: 2016
abstract in proceedings
 
ECG Prediction Based on Classification via Neural Networks and Linguistic Fuzzy Logic Forecaster
Eva Volná, Martin Kotyrba, Hashim Habiballa
Year: 2015, THESCIENTIFICWORLDJO
journal article
 
Evolutionary search for automated generation of EQ-algebras
Hashim Habiballa, Vilém Novák, Martin Dyba, Jiří SCHENK
Year: 2015
abstract in proceedings
 
Recognition of Damaged Letters Based on Mathematical Fuzzy Logic Analysis
Vilém Novák, Hashim Habiballa, Petr Hurtík, Martin Štěpnička
Year: 2015, Journal of Applied Logic
journal article
 
Refutational Provability and Fuzzy Description Logic
Hashim Habiballa, Zuzana Rombová
Year: 2015
abstract in proceedings
 
STOCHASTIC SELF-ADAPTIVE ALGORITHMS FOR GLOBAL OPTIMIZATION
Josef Tvrdík, Viktor Pavliska, Radek Valášek, Radka Poláková, Hashim Habiballa
Year: 2015
software
 
APLIKACE ANALÝZY ROZPTYLU V PEDAGOGICKÉM VÝZKUMU
Hashim Habiballa
Year: 2014
learning texts, university textbooks, tutorials, handbooks
 
EQ-ALGEBRAS AUTOMATED GENERATION BASED ON GENETIC ALGORITHMS
Hashim Habiballa, Vilém Novák, Martin Dyba, Jiří SCHENK
Year: 2014
abstract in proceedings
 
Vyčíslitelnost a složitost
Hashim Habiballa
Year: 2014
learning texts, university textbooks, tutorials, handbooks
 
Algebra v informatice
Hashim Habiballa
Year: 2013
learning texts, university textbooks, tutorials, handbooks
 
Damaged Letter Recognition Methodology
Eva Volná, Václav Kocian, Michal Janošek, Hashim Habiballa, Vilém Novák
Year: 2013
abstract in proceedings
 
EQ Algebras Generation through Genetic Algorithms
Hashim Habiballa
Year: 2013
presentations (congresses, symposia, conferences, workshops)
 
EQCreator
Hashim Habiballa, Vilém Novák, Martin Dyba
Year: 2013
software
 
Gramatiky a jazyky
Hashim Habiballa
Year: 2013
learning texts, university textbooks, tutorials, handbooks
 
Character recognition through fuzzy logic analysis - Algorithms and Implementation
Hashim Habiballa, Vilém Novák
Year: 2013
abstract in proceedings
 
Matematická olympiáda - krajské kolo kategorie P
Hashim Habiballa
Year: 2013
organizing conference, workshop
 
Methodology for Elliott waves pattern recognition
Martin Kotyrba, Eva Volná, Michal Janošek, Hashim Habiballa, David Bražina
Year: 2013
abstract in proceedings
 
Modelling And Reasoning With Fuzzy Logic Redundant Knowledge Bases
Hashim Habiballa, Eva Volná, Michal Janošek, Martin Kotyrba
Year: 2013
abstract in proceedings
 
Posudek PhD. disertační práce - Formální reprezentace znalostních vzorů v ontologických jazycích
Rostislav Miarka, Hashim Habiballa
Year: 2013
published expert opinions, reviews
 
Posudek PhD. disertační práce - Optimalizace systémů pro rozpoznávání ručně psaného textu pomocí metod umělé inteligence
Hashim Habiballa
Year: 2013
published expert opinions, reviews
 
Predator-Prey Simulation's Parameters and Leverage Points
Michal Janošek, Václav Kocian, Eva Volná, Martin Kotyrba, Hashim Habiballa
Year: 2013
abstract in proceedings
 
Recognition of heavily distorted characters on metal
Vilém Novák, Petr Hurtík, Hashim Habiballa
Year: 2013
abstract in proceedings
 
Vyčíslitelnost a složitost
Hashim Habiballa
Year: 2013
learning texts, university textbooks, tutorials, handbooks
 
Automatizace dedukce ve znalostních systémech
Hashim Habiballa
Year: 2012
final dissertation (rigorous, final, habilitation)
 
Constructivist Approaches of Innovation in one School-University Partnership
Eva Volná, Hashim Habiballa, Rostislav Fojtík
Year: 2012, WAXMANN
specialist book chapter
 
How to automatically find and recognize letters printed on a steel block
Petr Hurtík, Irina Perfiljeva, Vilém Novák, Marek Vajgl, Petra Hoďáková, Hashim Habiballa ... other authors
Year: 2012
presentations (congresses, symposia, conferences, workshops)
 
Matematická olympiáda - krajské kolo kategorie P
Hashim Habiballa
Year: 2012
organizing conference, workshop
 
Prepic - Prerecognition of pictures
Hashim Habiballa, Vilém Novák
Year: 2012
software
 
Recognition of Damaged Letters Based on Mathematical Fuzzy Logic Analysis
Vilém Novák, Hashim Habiballa
Year: 2012
abstract in proceedings
 
Resolution principle and fuzzy logic
Hashim Habiballa
Year: 2012, InTech
specialist book chapter
 
STUDENTS' AUTOEVALUATION IN THE FIRST YEAR OF SCIENCE STUDY FIELDS ESPECIALLY IN MATHEMATICS PHASE 2
Petra Konečná, Hashim Habiballa
Year: 2012
abstract in proceedings
 
STUDENTS' AUTOEVALUATION IN THE FIRST YEAR OF SCIENCE STUDY FIELDS ESPECIALLY IN MATHEMATICS PHASE 2
Petra Konečná, Hashim Habiballa
Year: 2012, Journal of Applied Mathematics
journal article
 
Úvod do informatiky
Hashim Habiballa
Year: 2012
learning texts, university textbooks, tutorials, handbooks
 
Vybrané aplikace fuzzy logické dedukce
Hashim Habiballa
Year: 2012
presentations (congresses, symposia, conferences, workshops)
 
Fuzzy techniques for time series prediction
Martin Kotyrba, Eva Volná, Michal Janošek, Václav Kocian, Hashim Habiballa
Year: 2011
abstract in proceedings
 
Fuzzy techniques for time series prediction
Martin Kotyrba, Eva Volná, Michal Janošek, Václav Kocian, Hashim Habiballa
Year: 2011, Aplimat - Journal of Applied Mathematics
journal article
 
IF-THEN RULES FOR TIME SERIES PREDICTION
Hashim Habiballa, Viktor Pavliska
Year: 2011, Journal of Applied Mathematics
journal article
 
LFLF Forecaster as new tool for time series prediction
Hashim Habiballa, Viktor Pavliska, Antonín Dvořák
Year: 2011
abstract in proceedings
 
LFLF Forecaster for time series prediction
Hashim Habiballa, Viktor Pavliska, Antonín Dvořák
Year: 2011, Journal of Applied Mathematics
journal article
 
LINGUISTIC IF-THEN RULES FOR TIME SERIES PREDICTION
Hashim Habiballa, Viktor Pavliska
Year: 2011
abstract in proceedings
 
Matematická olympiáda - krajské kolo kategorie P
Hashim Habiballa
Year: 2011
organizing conference, workshop
 
Non-clausal resolution and fuzzy logic
Hashim Habiballa
Year: 2011, Journal of Applied Mathematics
journal article
 
Non-clausal resolution and fuzzy logic
Hashim Habiballa
Year: 2011
abstract in proceedings
 
RESOLUTION REASONING IN FUZZY PREDICATE LOGIC
Hashim Habiballa
Year: 2011, KYBERNETIKA
journal article
 
Student's autoevaluation in the first year of study, especially concerning mathematical abilities
Petra Konečná, Hashim Habiballa
Year: 2011, Scientific Issues, Jan Dlugosz University of Czenstochowa. Mathematics XVI
journal article
 
Automatizace dedukce ve znalostních systémech
Hashim Habiballa
Year: 2010
learning texts, university textbooks, tutorials, handbooks
 
Formální reprezentace znalostí
Alena Lukasová, Zdeňka Telnarová, Hashim Habiballa, Marek Vajgl
Year: 2010, Universum
specialist book
 
Linguistic Fuzzy Logic Forecaster
Vilém Novák, Viktor Pavliska, Antonín Dvořák, Martin Štěpnička, Hashim Habiballa, Irina Perfiljeva, Lenka Vavříčková ... other authors
Year: 2010
software
 
BACHELOR - Propositonal Logic Formal Rewrite System
Hashim Habiballa
Year: 2009
software
 
Fuzzy Predicate Logic Deductive System
Hashim Habiballa, Vilém Novák
Year: 2009
software
 
GEneralized Resolution Deductive System
Hashim Habiballa
Year: 2009
software
 
LAM - Linguistic Associations Mining
Antonín Dvořák, Hashim Habiballa, Vilém Novák, Irina Perfiljeva, Viktor Pavliska
Year: 2009
software
 
Linguistic Fuzzy Logic Controller 2000
Vilém Novák, Viktor Pavliska, Antonín Dvořák, Hashim Habiballa
Year: 2009
software
 
Matematická olympiáda - krajské kolo kategorie P
Hashim Habiballa
Year: 2009
organizing conference, workshop
 
Software system for time series prediction based on F-transform and linguistic rules
Hashim Habiballa, Viktor Pavliska, Antonín Dvořák
Year: 2009
abstract in proceedings
 
Stochastic Self-adaptive Algorithms for Global Optimization - MATLAB and C++ library
Josef Tvrdík, Viktor Pavliska, Hashim Habiballa
Year: 2009
software
 
System for time series prediction
Hashim Habiballa, Viktor Pavliska
Year: 2009, Aplimat - Journal of applied mathematics
journal article
 
System for time series prediction
Hashim Habiballa, Viktor Pavliska
Year: 2009, Aplimat - Journal of applied mathematics
journal article
 
Time Series Tool
Vilém Novák, Viktor Pavliska, Antonín Dvořák, Irina Perfiljeva, Martin Štěpnička, Hashim Habiballa ... other authors
Year: 2009
software
 
INFERENCE STRATEGIES FOR FUZZY DESCRIPTION LOGIC
Hashim Habiballa
Year: 2008, APLIMAT - Journal of Applied Mathematics
journal article
 
INFERENCE STRATEGIES FOR FUZZY DESCRIPTION LOGIC
Hashim Habiballa
Year: 2008, APLIMAT - Journal of Applied Mathematics
journal article
 
Izraelský koncept výuky informatiky
Hashim Habiballa
Year: 2008, Metodický portál RVP - Výzkumný ústav pedagogický
journal article
 
Matematická olympiáda - krajské kolo kategorie P
Hashim Habiballa
Year: 2008
organizing conference, workshop
 
Mathematical Logic and Deduction in Computer Science
Hashim Habiballa
Year: 2008, Informatics in ed.
journal article
 
Mathematical Logic and Deduction in Computer Science
Hashim Habiballa
Year: 2008, Informatics in ed.
journal article
 
RESOLUTION REASONING IN FUZZY PREDICATE LOGIC
Hashim Habiballa
Year: 2008, KYBERNETIKA
journal article
 
RESOLUTION REASONING IN FUZZY PREDICATE LOGIC
Hashim Habiballa
Year: 2008, KYBERNETIKA
journal article
 
Resolution strategies in fuzzy description logic
Hashim Habiballa
Year: 2008
abstract in proceedings
 
Resolution strategies in fuzzy description logic
Hashim Habiballa
Year: 2008
abstract in proceedings
 
Univerzita Konštantína Filozofa v Nitre
Hashim Habiballa
Year: 2008
work experience abroad
 
14. ročník konference středoškolských profesorů matematiky a informatiky
Jaroslav Hančl, Eva Volná, Hashim Habiballa
Year: 2008
organizing conference, workshop
 
14. ročník konference středoškolských profesorů matematiky a informatiky
Jaroslav Hančl, Eva Volná, Hashim Habiballa
Year: 2008
organizing conference, workshop
 
Algoritmy ve výuce matematiky na SŠ
Hashim Habiballa, Antonín Jančařík
Year: 2007
abstract in proceedings
 
Algoritmy ve výuce matematiky na ZŠ
Antonín Jančařík, Hashim Habiballa
Year: 2007
abstract in proceedings
 
Constantine the Philosopher University, Nitra
Hashim Habiballa
Year: 2007
work experience abroad
 
Constantine the Philosopher University, Nitra
Hashim Habiballa
Year: 2007
work experience abroad
 
INFERENCE METHODS FOR FUZZY PREDICATE LOGIC BASED ON RESOLUTION PRINCIPLE
Hashim Habiballa
Year: 2007
presentations (congresses, symposia, conferences, workshops)
 
INFERENCE METHODS FOR FUZZY PREDICATE LOGIC BASED ON RESOLUTION PRINCIPLE
Hashim Habiballa
Year: 2007
presentations (congresses, symposia, conferences, workshops)
 
INFERENCE METHODS FOR FUZZY PREDICATE LOGIC BASED ON RESOLUTION PRINCIPLE
Hashim Habiballa
Year: 2007
abstract in proceedings
 
INFERENCE METHODS FOR FUZZY PREDICATE LOGIC BASED ON RESOLUTION PRINCIPLE
Hashim Habiballa
Year: 2007
abstract in proceedings
 
Logika (část I.)
Hashim Habiballa
Year: 2007, Matematika - fyzika - informatika
journal article
 
Logika (část II.)
Hashim Habiballa
Year: 2007, Matematika - fyzika - informatika
journal article
 
Logika (část III.)
Hashim Habiballa
Year: 2007, Matematika - fyzika - informatika
journal article
 
Matematická informatika - na pomezí matematiky a informatiky
Hashim Habiballa
Year: 2007
abstract in proceedings
 
Matematická olympiáda - krajské kolo kategorie P
Hashim Habiballa
Year: 2007
organizing conference, workshop
 
Matlab Program Library for Box-Costrained Global Optimization
Josef Tvrdík, Viktor Pavliska, Hashim Habiballa
Year: 2007
presentations (congresses, symposia, conferences, workshops)
 
Matlab Program Library for Box-Costrained Global Optimization
Josef Tvrdík, Viktor Pavliska, Hashim Habiballa
Year: 2007
abstract in proceedings
 
Matlab Program Library for Box-Costrained Global Optimization
Josef Tvrdík, Viktor Pavliska, Hashim Habiballa
Year: 2007
presentations (congresses, symposia, conferences, workshops)
 
Modern approaches teaching programming
Rostislav Fojtík, Hashim Habiballa
Year: 2007
abstract in proceedings
 
New trends in education of informatics at secondary school
Rostislav Fojtík, Hashim Habiballa
Year: 2007
abstract in proceedings
 
Non-clausal Resolution Based Formal Logical Systems (PhD. dissertation)
Hashim Habiballa
Year: 2007
final dissertation (rigorous, final, habilitation)
 
Od teorie formálních jazyků k jednoduchému překladači
Hashim Habiballa, Eva Volná, Rostislav Fojtík
Year: 2007, Matematika - fyzika - informatika I
journal article
 
Od teorie formálních jazyků k jednoduchému překladači II.
Hashim Habiballa, Eva Volná, Rostislav Fojtík
Year: 2007, Matematika - fyzika - informatika I
journal article
 
Příprava sluchově postižených studentů ke studiu aplikované informatiky
Hashim Habiballa, Zdeňka Telnarová, Lucie Habiballa
Year: 2007
abstract in proceedings
 
Příprava sluchově postižených studentů ke studiu na VŠ
Hashim Habiballa, Zdeňka Telnarová, Lucie Habiballa
Year: 2007, Technológia vzdelávania
journal article
 
PŘÍPRAVA SLUCHOVĚ POSTIŽENÝCH STUDENTŮ KE STUDIU VŠ - KURZ MATEMATIKA
Hashim Habiballa, Zdeňka Telnarová, Lucie Habiballa
Year: 2007
abstract in proceedings
 
Resolution Strategies for Fuzzy Description Logic
Hashim Habiballa
Year: 2007
abstract in proceedings
 
Resolution strategies for fuzzy predicate logic with evaluated syntax
Hashim Habiballa
Year: 2007
abstract in proceedings
 
Resolution strategies for fuzzy predicate logic with evaluated syntax
Hashim Habiballa
Year: 2007
abstract in proceedings
 
Unikátní učební osnovy pro SŠ v Izraeli
Hashim Habiballa
Year: 2007, Matematika-fyzika-informatika
journal article
 
VÝUKA INFORMATIKY NA STŘEDNÍCH ŠKOLÁCH
Hashim Habiballa, Rostislav Fojtík, Eva Volná, Zdeňka Telnarová
Year: 2007
abstract in proceedings
 
Výuka programování na střední škole
Rostislav Fojtík, Hashim Habiballa
Year: 2007
abstract in proceedings
 
Výuka předmětu Umělá Inteligence v LS, FPV UKF Nitra
Hashim Habiballa
Year: 2007
work experience abroad
 
13. rocnik konference stredoskolskych profesoru matematiky a informatiky
Jaroslav Hančl, Eva Volná, Hashim Habiballa, Rostislav Fojtík
Year: 2007
organizing conference, workshop
 
13. rocnik konference stredoskolskych profesoru matematiky a informatiky
Jaroslav Hančl, Eva Volná, Hashim Habiballa, Rostislav Fojtík
Year: 2007
organizing conference, workshop
 
Constantine the Philosopher University, Nitra
Hashim Habiballa
Year: 2006
work experience abroad
 
DIDAKTICKÉ ASPEKTY KONSTRUKTIVISTICKÉ VÝUKY DISCIPLÍN NA POMEZÍ MATEMATIKY A INFORMATIKY
Hashim Habiballa, Jozef Fulier, Miroslav Liška
Year: 2006, FPV UKF
specialist book chapter
 
DIDAKTICKÉ ROZPRACOVANIE DIALÓGOV V APLIKÁCIÁCH VYVINUTÝCH V C++ (práce k PhD. dizertační zkoušce)
Igor Koštál, Hashim Habiballa
Year: 2006
published expert opinions, reviews
 
Flexible computer science university studies
Cyril Klimeš, Hashim Habiballa
Year: 2006, ACM SIGCSE Bulletin
journal article
 
Flexible computer science university studies
Cyril Klimeš, Hashim Habiballa
Year: 2006
presentations (congresses, symposia, conferences, workshops)
 
Flexible computer science university studies
Cyril Klimeš, Hashim Habiballa
Year: 2006
abstract in proceedings
 
FUZZY DEDUCTIVE DATABASES
Hashim Habiballa, Alena Lukasová, Zdeňka Telnarová
Year: 2006, Acta Fac. Paed. Univ. Tyrnaviensis
journal article
 
FUZZY DEDUCTIVE DATABASES BASED ON RESOLUTION PRINCIPLE
Hashim Habiballa, Alena Lukasová, Zdeňka Telnarová
Year: 2006
abstract in proceedings
 
FUZZY DEDUCTIVE DATABASES BASED ON RESOLUTION PRINCIPLE
Hashim Habiballa, Alena Lukasová, Zdeňka Telnarová
Year: 2006
abstract in proceedings
 
FUZZY PREDICATE LOGIC AND RESOLUTION THEOREM PROVING
Hashim Habiballa
Year: 2006
abstract in proceedings
 
FUZZY PREDICATE LOGIC AND RESOLUTION THEOREM PROVING
Hashim Habiballa
Year: 2006
abstract in proceedings
 
INTERDISCIPLINARITY IN TEACHING NUMERICAL ANALYSIS
Hashim Habiballa, Eva Volná, Rostislav Fojtík
Year: 2006
abstract in proceedings
 
Matematická olympiáda - krajské kolo kategorie P
Hashim Habiballa
Year: 2006
organizing conference, workshop
 
Neklauzulární rezoluce v deskripční logice (rigorózní práce).
Hashim Habiballa
Year: 2006
final dissertation (rigorous, final, habilitation)
 
Non-clausal Resolution Theorem Proving for Fuzzy Description Logic
Hashim Habiballa
Year: 2006
abstract in proceedings
 
Non-clausal Resolution Theorem Proving for Fuzzy Description Logic
Hashim Habiballa
Year: 2006
abstract in proceedings
 
Numerical Methods in Computer Science Education
Hashim Habiballa, Rostislav Fojtík
Year: 2006
abstract in proceedings
 
Praktická cvičení algoritmů (distanční studijní opora)
Hashim Habiballa
Year: 2006
learning texts, university textbooks, tutorials, handbooks
 
Problematika výuky objektově orientovaného programování
Rostislav Fojtík, Hashim Habiballa
Year: 2006
abstract in proceedings
 
Resolution Based Reasoning in Description Logic
Hashim Habiballa
Year: 2006
abstract in proceedings
 
Resolution Based Reasoning in Description Logic
Hashim Habiballa
Year: 2006
abstract in proceedings
 
Resolution Principle in Fuzzy Predicate Logic
Hashim Habiballa
Year: 2006
abstract in proceedings
 
Resolution Principle in Fuzzy Predicate Logic
Hashim Habiballa
Year: 2006
presentations (congresses, symposia, conferences, workshops)
 
Resolution Principle in Fuzzy Predicate Logic
Hashim Habiballa
Year: 2006
presentations (congresses, symposia, conferences, workshops)
 
Resolution Principle in Fuzzy Predicate Logic
Hashim Habiballa
Year: 2006
presentations (congresses, symposia, conferences, workshops)
 
Resolution Principle in Fuzzy Predicate Logic
Hashim Habiballa
Year: 2006
presentations (congresses, symposia, conferences, workshops)
 
Resolution Principle in Fuzzy Predicate Logic
Hashim Habiballa
Year: 2006
abstract in proceedings
 
Výuka předmětu Umělá Inteligence v LS, FPV UKF Nitra
Hashim Habiballa
Year: 2006
work experience abroad
 
12. rocnik konference stredoskolskych profesoru matematiky a informatiky
Jaroslav Hančl, Eva Volná, Hashim Habiballa
Year: 2006
organizing conference, workshop
 
12. rocnik konference stredoskolskych profesoru matematiky a informatiky
Jaroslav Hančl, Eva Volná, Hashim Habiballa
Year: 2006
organizing conference, workshop
 
Matematická olympiáda - krajské kolo kategorie P
Hashim Habiballa
Year: 2005
organizing conference, workshop
 
Mathematical Logic and Deduction in Computer Science Education
Hashim Habiballa
Year: 2005
presentations (congresses, symposia, conferences, workshops)
 
Mathematical Logic and Deduction in Computer Science Education
Hashim Habiballa
Year: 2005
abstract in proceedings
 
Mobile technologies and distance education
Rostislav Fojtík, Hashim Habiballa
Year: 2005
abstract in proceedings
 
Non-clausal Resolution in Fuzzy Predicate Logic with Evaluated Syntax (background and implementation)
Hashim Habiballa
Year: 2005
abstract in proceedings
 
Non-clausal Resolution in Fuzzy Predicate Logic with Evaluated Syntax (background and implementation)
Hashim Habiballa
Year: 2005
abstract in proceedings
 
Non-clausal resolution in teaching mathematics and computer science
Hashim Habiballa
Year: 2005
presentations (congresses, symposia, conferences, workshops)
 
Non-clausal resolution in teaching mathematics and computer science
Jozef Fulier, Hashim Habiballa
Year: 2005, FPV UKF
specialist book chapter
 
Objektová knihovna evolučních algoritmů
Hashim Habiballa, Viktor Pavliska, David Bražina
Year: 2005
abstract in proceedings
 
Objektová knihovna evolučních algoritmů
Hashim Habiballa, Viktor Pavliska, David Bražina
Year: 2005
abstract in proceedings
 
Překladače
Hashim Habiballa
Year: 2005
learning texts, university textbooks, tutorials, handbooks
 
Regulární a bezkontextové jazyky II.
Hashim Habiballa
Year: 2005
learning texts, university textbooks, tutorials, handbooks
 
Resolution Principle in Fuzzy Predicate Logic
Hashim Habiballa
Year: 2005
abstract in proceedings
 
Resolution Principle in Fuzzy Predicate Logic
Hashim Habiballa
Year: 2005
abstract in proceedings
 
Vybrané heuristiky pro globální optimalizaci a jejich implementace v MATLABu
Jiří Blažek, Hashim Habiballa, Viktor Pavliska
Year: 2005
abstract in proceedings
 
Vybrané heuristiky pro globální optimalizaci a jejich implementace v MATLABu
Jiří Blažek, Hashim Habiballa, Viktor Pavliska
Year: 2005
abstract in proceedings
 
Vybrané heuristiky pro globální optimalizaci a jejich implementace v MATLABu
Jiří Blažek, Hashim Habiballa, Viktor Pavliska
Year: 2005
presentations (congresses, symposia, conferences, workshops)
 
Vybrané heuristiky pro globální optimalizaci a jejich implementace v MATLABu
Jiří Blažek, Hashim Habiballa, Viktor Pavliska
Year: 2005
presentations (congresses, symposia, conferences, workshops)
 
Vyčíslitelnost a složitost (část I.)
Hashim Habiballa
Year: 2005, Matematika - fyzika - informatika
journal article
 
Vyčíslitelnost a složitost (část II.)
Hashim Habiballa
Year: 2005, Matematika - fyzika - informatika
journal article
 
11. rocnik konference stredoskolskych profesoru matematiky a informatiky
Jaroslav Hančl, Eva Volná, Hashim Habiballa
Year: 2005
organizing conference, workshop
 
11. rocnik konference stredoskolskych profesoru matematiky a informatiky
Jaroslav Hančl, Eva Volná, Hashim Habiballa
Year: 2005
organizing conference, workshop
 
EFEKTIVITA VYUČOVÁNÍ TEORETICKÉ INFORMATIKY
Hashim Habiballa
Year: 2004
abstract in proceedings
 
E-Learning in Computer Science Education
Rostislav Fojtík, Hashim Habiballa
Year: 2004
abstract in proceedings
 
Formální jazyky a automaty (část I.)
Hashim Habiballa
Year: 2004, Matematika - fyzika - informatika : časopis pro výuku na základních a středních školách
journal article
 
Formální jazyky a automaty (část II.)
Hashim Habiballa
Year: 2004, Matematika-fyzika-informatika
journal article
 
Matematická olympiáda - krajské kolo kategorie P
Hashim Habiballa
Year: 2004
organizing conference, workshop
 
SPECIFICKÁ ODBORNÁ TÉMATA VE VÝUCE INFORMATIKY
Hashim Habiballa
Year: 2004
abstract in proceedings
 
Theoretical branches in teaching computer science
Hashim Habiballa
Year: 2004, International Journal of Mathematical Education in Science and Technology
journal article
 
Umělá inteligence
Hashim Habiballa
Year: 2004
learning texts, university textbooks, tutorials, handbooks
 
Využití programovacích metod při výuce teoretické informatiky (disertační práce)
Hashim Habiballa
Year: 2004
final dissertation (rigorous, final, habilitation)
 
APLIKAČNÍ VÝUKA TEORIE FORMÁLNÍCH JAZYKŮ
Hashim Habiballa
Year: 2003
abstract in proceedings
 
Didaktický experiment ve výuce teoretické informatiky
Hashim Habiballa
Year: 2003, Technológia vzdelávania
journal article
 
Efficiency of application concept in education of theoretical computer science
Hashim Habiballa
Year: 2003
abstract in proceedings
 
Experimentální výuka teoretické informatiky s využitím aplikačního pojetí
Hashim Habiballa
Year: 2003
abstract in proceedings
 
LFLC 2000 + MATLAB/SIMULINK - SYSTÉM PRO UNIVERSÁLNÍ APLIKACE FUZZY LOGIKY
Antonín Dvořák, Hashim Habiballa, Viktor Pavliska, Vilém Novák
Year: 2003
abstract in proceedings
 
Motivy studentů pro výběr distanční e-learningové formy studia aplikované informatiky
Rostislav Fojtík, Hashim Habiballa
Year: 2003
abstract in proceedings
 
PROGRAMÁTORSKÉ DIDAKTICKÉ POMŮCKY VE VÝUCE TEORETICKÉ INFORMATIKY (rigorózní práce)
Hashim Habiballa
Year: 2003
final dissertation (rigorous, final, habilitation)
 
PROLOG (distanční studijní opora)
Hashim Habiballa
Year: 2003
learning texts, university textbooks, tutorials, handbooks
 
Regulární a bezkontextové jazyky I.
Hashim Habiballa
Year: 2003
learning texts, university textbooks, tutorials, handbooks
 
Specific issues of computer science in secondary education
Hashim Habiballa, Rostislav Fojtík
Year: 2003
abstract in proceedings
 
Teoretické základy informatiky I.
Hashim Habiballa
Year: 2003
learning texts, university textbooks, tutorials, handbooks
 
Teoretické základy informatiky II.
Hashim Habiballa
Year: 2003
learning texts, university textbooks, tutorials, handbooks
 
The concept of LFLC 2000 - its specificity, realization and power of applications
Antonín Dvořák, Hashim Habiballa, Vilém Novák, Viktor Pavliska
Year: 2003, COMPUT IND
journal article
 
Využití softwarového balíku LFLC 2000
Hashim Habiballa, Vilém Novák, Antonín Dvořák, Viktor Pavliska
Year: 2003
abstract in proceedings
 
Application concept in education of theoretical computer science
Hashim Habiballa
Year: 2002
abstract in proceedings
 
Formální jazyky v myšlení informatika
Hashim Habiballa
Year: 2002
abstract in proceedings
 
Fuzzy General Resolution
Hashim Habiballa, Vilém Novák
Year: 2002
abstract in proceedings
 
Fuzzy General Resolution
Hashim Habiballa, Vilém Novák
Year: 2002
abstract in proceedings
 
Implementation of the non-clausal resolution theorem prover in education of theoretical computer science
Hashim Habiballa
Year: 2002
abstract in proceedings
 
LFLC 2000 + MATLAB/SIMULINK - SYSTÉM PRO UNIVERSÁLNÍ APLIKACE FUZZY LOGIKY
Antonín Dvořák, Vilém Novák, Viktor Pavliska, Hashim Habiballa
Year: 2002
abstract in proceedings
 
Metodika aplikačního pojetí při výuce teoretické informatiky
Hashim Habiballa
Year: 2002
abstract in proceedings
 
TEORETICKÁ INFORMATIKA NA POMEZÍ SEKUNDÁRNÍHO A TERCIÁRNÍHO VZDĚLÁVÁNÍ
Hashim Habiballa
Year: 2002
abstract in proceedings
 
Teoretická informatika ve vztahu k programátorským technikám
Hashim Habiballa
Year: 2002
abstract in proceedings
 
Vztah studentů informatiky k teoretickým disciplínám
Hashim Habiballa
Year: 2002
abstract in proceedings
 
PROBLEM SOLVING THROUGH FIRST-ORDER LOGIC (theory and practice of non-clausal resolution)
Josef Pech, Hashim Habiballa
Year: 1999
final dissertation (rigorous, final, habilitation)
 
University of Liverpool
Hashim Habiballa
Year: 1999
work experience abroad
 
Formální úpravy ve výrokové logice (aplikace Bachelor)
Hashim Habiballa
Year: 1997
final dissertation (rigorous, final, habilitation)
 

No record found.

View more records

View more records

View more records

View more records

View more records

View more records

View more records

View more records



Abbreviation
Subject
6PPRP
Programovací paradigmata a programování
66PRP
Programovací paradigmata a programování
ALDS1
Základy algoritmizace
ALDS2
Algoritmy a datové struktury
DSYSD
Distribuované systémy
DTINF
Teoretická informatika
DUINT
Umělá inteligence
FUZRI
Základy řízení a fuzzy řízení
GRAJA
Teorie jazyků a automatů
I2PS1
Úvod do počítačových sítí
LZUI1
Logika pro informatiky
LZUI2
Logika pro umělou inteligenci
OBPAI
Obhajoba bakal. práce-aplikovaná inform.
OBPDO
Obhajoba bakal.práce-dvouobor.studium IN
OBPIN
Obhajoba bakalářské práce - informatika
ODPIS
Obhajoba diplomové práce - Inform. syst.
PREKL
Překladače
PVVPV
Pedagog. výzkum ve vzdělávání přír. věd
QDEXS
Expertní systémy
QDRZN
Reprezentace znalostí
QDTEI
Teoretická informatika
QEXPS
Expertní systémy
QGEMO
Mat. principy geometrického modelování
QKOKR
Kódování a kryptografie
QPREK
Formální jazyky a gramatiky
QQEXS
Expertní systémy
QQRZN
Reprezentace znalostí
QQTEI
Teoretická informatika
QVYSL
Vyčíslitelnost a složitost
SZIN1
Část SZZ:Teoret.informatika a matematika
SZZK9
Část SZZ: Informatika
UVDIN
Základy informatiky
UVDOI
Úvod do informatiky
VYSL1
Vyčíslitelnost a složitost 1
VYSL2
Vyčíslitelnost a složitost 2
XALD1
Základy algoritmizace
XALD2
Algoritmy a datové struktury
XALG2
Algoritmy a datové struktury
XAPZO
Architektura počítačů a základy OS
XFLPR
Funkcionální a logické programování
XFUZR
Základy řízení a fuzzy řízení
XGRAJ
Gramatiky a jazyky
XGRJA
Teorie jazyků a automatů
XLIN1
Logika pro informatiky
XLZU1
Logika pro informatiky
XLZU2
Logika pro umělou inteligenci
XPREK
Překladače
XTILO
Teoretická informatika a logika
XUVDI
Úvod do informatiky
XUVDN
Základy informatiky
XVYS1
Vyčíslitelnost a složitost 1
XVYS2
Vyčíslitelnost a složitost 2
XZAIN
Základy teoretické informatiky
Y2ZIN
Základy informatiky
Y3UIL
Úvod do informatiky a logiky
2ALD1
Základy algoritmizace
2ALD2
Algoritmy a datové struktury
2ALG2
Algoritmy a datové struktury
2APZO
Architektura počítačů a základy OS
2GRAJ
Gramatiky a jazyky
2GRJA
Teorie jazyků a automatů
2LIN1
Logika pro informatiky
2LZU1
Logika pro informatiky
2UVDI
Úvod do informatiky
2UVDN
Základy informatiky
2ZAIN
Základy teoretické informatiky
3UVDI
Úvod do informatiky
6AIN2
Applied Informatics 2
6PUDI
Základy teoretické informatiky
66UDI
Základy teoretické informatiky
7AIN2
Aplikovaná informatika 2
7ALG2
Algoritmy a datové struktury
7GRAJ
Gramatiky a jazyky
7INFZ
Základy informatiky
7SMUI
Statist. metody pro učitele informatiky
7TILO
Teoretická informatika a logika
7UVDI
Úvod do informatiky
7VYS1
Vyčíslitelnost a složitost 1
7ZAIN
Základy teoretické informatiky
8EXSY
Expertní systémy
8GRAJ
Formální jazyky a gramatiky
8VPTI
Vybrané partie teor. informatiky
8VYSL
Vyčíslitelnost a složitost
9GRAJ
Formal Languages and Grammars
9VYSL
Computability and Complexity



Author
Title
Type of thesis
Year
Pektor Ondřej
System for evaluating competencies
Doctoral thesis
2022
Hapl Lukáš
An Influence of the Specific Multi-paradigm Programming on Digital Logic Education
Doctoral thesis
2021
Jendryščík Radek
Constructivism in Theoretical Computer Science Education
Doctoral thesis
2021
Suchánek Otto
The Use of Artificial Intelligence in Education
Advanced thesis
Muchová Gabriela
Fuzzy logic in web structures recognition
Master's thesis
2022
Botor Tomáš
Multiplatform source code optimization
Master's thesis
2017
Ertel Tomáš
Fuzzy logic analysis in sound processing
Master's thesis
2017
Hložanka Ondřej
Application of NP-complete problems in real-life tasks
Master's thesis
2016
Hireš Matěj
Paralelization of fuzzy logic analysis
Master's thesis
2015
Mejzlíková Martina
Pattern recognition in categorization of web documents
Master's thesis
2015
Buroň Tomáš
Internet security in informatics secondary education
Master's thesis
2014
Bobřík Michal
E-learning as a support tool for alternative education
Master's thesis
2013
Hromada Jiří
Teaching theoretical computer science on secondary schools
Master's thesis
2013
Potyšová Zuzana
Problem solving of artificial intelligence issues by means of declarative paradigm
Master's thesis
2013
Schenk Jiří
Automated syntactic analysis
Master's thesis
2013
Stupka Tomáš
Automated Theorem Proving Systems
Master's thesis
2013
Mráz Pavel
Methods analysis teaching on secondary schools
Master's thesis
2012
Fojtíková Veronika
Software support of communication abilities of persons with specific defects
Master's thesis
2011
Kaloč Jakub
Inference algorithms for fuzzy type theory
Master's thesis
2011
Kalusková Zuzana
Problem-oriented tasks from theory of algorithms
Master's thesis
2011
Slovák Zdeněk
Information system for text generation
Master's thesis
2011
Šlachta Radek
The development of tools for directory services
Master's thesis
2011
Macoszková Silvie
Efectiveness of resolution strategies in two-valued logic
Master's thesis
2010
Mokrý Vojtěch
Fuzzy Logic Applications
Master's thesis
2010
Novosád Tomáš
Therotical informatic practic using
Master's thesis
2010
Búran Peter
Inference system for fuzzy description logic
Master's thesis
2009
Janošec Lukáš
Effectiveness of computational models
Master's thesis
2009
Jendryščík Radek
Effectiveness of inference in fuzzy description logic
Master's thesis
2009
Klapper Martin
Experimental teaching of logic at secondary school
Master's thesis
2009
Ohlídal Jaroslav
Error analysis of learning theory of formal languages and automata
Master's thesis
2009
Sulír Miroslav
Experimental teaching of formal languages and automata at high schools
Master's thesis
2009
Turček Tomáš
Effectiveness of inference in fuzzy predicate logic
Master's thesis
2009
Günther Pavel
Application of automated theorem proing in fuzzy predicate logic
Master's thesis
2008
Holubová Zuzana
Experimental teaching of informatics at elementary school
Master's thesis
2008
Juřica Tomáš
Fuzzy deductive database - implementation by the help of resolution principle
Master's thesis
2008
Kubala Jan
Using animation in learning comutability and complexity
Master's thesis
2008
Koběrský Aleš
Implementation of effective methods for compiler creation
Master's thesis
2005
Noháček Jiří
Automatization of Constructing Compilers
Master's thesis
2005
Karp Ondřej
Artificial intelligence integration in CMS systems
Bachelor's thesis
2024
Muchová Gabriela
Fuzzy logic analysis implementation on mobile platform
Bachelor's thesis
2020
Ertel Tomáš
Application of logical deduction for time series prediction
Bachelor's thesis
2015
Menšík Jan
Algorithms for searching of strings
Bachelor's thesis
2015
Peterková Ivana
Automated optical recognition
Bachelor's thesis
2015
Žůrek Filip
Fuzzy finite automata
Bachelor's thesis
2015
Hložanka Ondřej
Types and modifications of Turing machine
Bachelor's thesis
2014
Vančura Jan
Application of time series prediction by fuzzy logic
Bachelor's thesis
2014
Stárek Petr
Problem-oriented tasks from theory of algorithms
Bachelor's thesis
2013
Sturmová Kateřina
Application of Pattern Prerecognition
Bachelor's thesis
2013
Vincík Michal
Modelling of knowledge bases by fuzzy logic
Bachelor's thesis
2013
Bobřík Michal
Navigation systems
Bachelor's thesis
2011
Schenk Jiří
Automatized generation of parser
Bachelor's thesis
2011
Kostera Luděk
Scheduling systems
Bachelor's thesis
2010
Lubojacký Jiří
State-space search algorithms
Bachelor's thesis
2010
Malý Pavel
Information system for videoshop
Bachelor's thesis
2010
Mráz Pavel
Wi-fi nets visualization through GPS
Bachelor's thesis
2010
Adamcová Michaela
Selected formal models for biological systems
Bachelor's thesis
2009
Bolomová Michaela
Symbolic approach vs. connectionism in artificial intelligence
Bachelor's thesis
2009
Cieslar Martin
Characteristics of UMPC and netbooks
Bachelor's thesis
2009
Figura Michal
Problem-oriented tasks in JAVA
Bachelor's thesis
2009
Fojtíková Veronika
Design of applications for physically and mentally handicapped persons
Bachelor's thesis
2009
Kaplan Jiří
WxWidgets as a tool for alternative design of applications
Bachelor's thesis
2009
Kvasnička Martin
Comparison of freeware tools for application design in C++
Bachelor's thesis
2009
Slovák Zdeněk
Automatic text generation
Bachelor's thesis
2009
Šlachta Radek
Directory services and their implementation in intranet systems
Bachelor's thesis
2009
Chromý Petr
History a perspectives of automated reasoning
Bachelor's thesis
2008
Grulich Roman
Determinism vs. nedeterminism in Computer Science
Bachelor's thesis
2008
Hrabal Roman
Problem-oriented tasks from complexity theory
Bachelor's thesis
2008
Janošcová Ivana
Suggestion and creation of exemplary knowledge bases for fuzzy deducation and their testing with FPLGERDS system
Bachelor's thesis
2008
Kalusková Zuzana
Problem-oriented tasks from context-free languages and stack automata
Bachelor's thesis
2008
Macoszková Silvie
Resolution principle in artificial intelligence and logic
Bachelor's thesis
2008
Peterková Milena
Problem-oriented tasks from regular languages and finite automata
Bachelor's thesis
2008
Mojdl Marek
VISUAL SOLUTIONS OF EXAMPLES IN COMPUTER SCIENCE - STRUCTURED AND OBJECT ORIENTED PROGRAMMING
Bachelor's thesis
2007
Pavlorková Kateřina
Efectivity of resolution strategies in system FPLGERDS on knowledge bases
Bachelor's thesis
2007
Bouzek David
Differential calculus - vivid solutions of tasks
Bachelor's thesis
2006
Čopjak Jakub
The usage teoretical informatics in practical informatics
Bachelor's thesis
2006
Duroň Pavel
Practical computer problems - principles of text typing supported by computers
Bachelor's thesis
2006
Dvořáková Petra
The solving demonstration of exercises from informatics - spreadsheet program
Bachelor's thesis
2006
Ficenc Tomáš
Visual solution of the mathematical tasks - logic
Bachelor's thesis
2006
Heinc Dalibor
Visual task solutions in computer science- algorithmizations
Bachelor's thesis
2006
Juřica Tomáš
Automated conversion of description logic formulas into predicate logic
Bachelor's thesis
2006
Liška Petr
Visual solutions of mathematical tasks - derivation
Bachelor's thesis
2006
Lišková Eva
Visual solutions of mathematical tasks - integrals
Bachelor's thesis
2006
Marciniszynová Eva
Principles of search algorithm
Bachelor's thesis
2006
Michnik Tomasz
Context-free grammars transformation into Q-grammars and their parsing
Bachelor's thesis
2006
Neumannová Markéta
VISUAL SOLUTION OF EXERCISES FROM MATHEMATICS AREA: ALGEBRA OF REAL NUMBERS
Bachelor's thesis
2006
Novotný Jiří
Názorné řešení úloh z oblasti matematiky - lineární algebra
Bachelor's thesis
2006
Voitle Marek
Visual problem solution in mathematics - set theory
Bachelor's thesis
2006
Janošec Lukáš
Sorting algoritms principles
Bachelor's thesis
2005
Kovařčík Martin
Principles of Combinatorial Algorithms
Bachelor's thesis
2005
Pěčka Radomír
Methods and Results of Teoretical Informatics in Algorithm Development and Programming
Bachelor's thesis
2005



Logic based methods of deduction and knowledge extraction
Main solver
doc. RNDr. PaedDr. Hashim Habiballa, Ph.D., PhD.
Period
1/2015 - 12/2015
Provider
Specifický VŠ výzkum
State
finished
 
Knowledge extraction methods and its usage for automated deduction
Main solver
doc. RNDr. PaedDr. Hashim Habiballa, Ph.D., PhD.
Period
1/2014 - 12/2014
Provider
Specifický VŠ výzkum
State
finished
 

rss
social hub