UO > About > Organizational Structure > Faculties & Institutes > Centre of Excellence IT4Innovations, division of UO, Institute for Research and Applications of Fuzzy Modeling

Hashim Habiballa

Hashim Habiballa

Academic degree, name, surname:doc. RNDr. PaedDr. Hashim Habiballa, PhD, Ph.D.
Room, floor, building: A 306, Building A
A 332, Building A
Position: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:
Personal website:



No record found.



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

Parallelization of fuzzy logic analysis for pattern recognition
Matěj Hireš, Hashim Habiballa, Vilém Novák
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

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

EQ-ALGEBRAS AUTOMATED GENERATION BASED ON GENETIC ALGORITHMS
Hashim Habiballa, Vilém Novák, Martin Dyba, Jiří SCHENK
Year: 2014
abstract in proceedings

Damaged Letter Recognition Methodology
Eva Volná, Václav Kocian, Michal Janošek, Hashim Habiballa, Vilém Novák
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

Recognition of heavily distorted characters on metal
Vilém Novák, Petr Hurtík, Hashim Habiballa
Year: 2013
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
Hashim Habiballa, Rostislav Miarka
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
abstract in proceedings

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
presentations (congresses, symposia, conferences, workshops)

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
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)

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)
Hashim Habiballa, Igor Koštál
Year: 2006
published expert opinions, reviews

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

Flexible computer science university studies
Cyril Klimeš, Hashim Habiballa
Year: 2006, ACM SIGCSE Bulletin
journal article

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
presentations (congresses, symposia, conferences, workshops)

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
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
abstract in proceedings

Mathematical Logic and Deduction in Computer Science Education
Hashim Habiballa
Year: 2005
presentations (congresses, symposia, conferences, workshops)

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
Hashim Habiballa, Jozef Fulier
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
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)

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

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)
Hashim Habiballa, Josef Pech
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



AbbreviationSubject
ALDS1Základy algoritmizace
ALDS2Algoritmy a datové struktury
BKPOSPočítačové sítě
DSYSDDistribuované systémy
DTESYTechnické a systémové prostředky
DTINFTeoretická informatika
DUINTUmělá inteligence
FUZRIZáklady řízení a fuzzy řízení
GRAJATeorie jazyků a automatů
I2PS1Úvod do počítačových sítí
LZUI1Logika pro informatiky
LZUI2Logika pro umělou inteligenci
OBPAIObhajoba bakal. práce-aplikovaná inform.
OBPDOObhajoba bakal.práce-dvouobor.studium IN
OBPINObhajoba bakalářské práce - informatika
ODPISObhajoba diplomové práce - Inform. syst.
ODPS1Obhajoba diplomové práce - Uč. inf. 1ob
ODPS2Obhajoba diplomové práce - Uč. inf. 2 ob
PREKLPřekladače
PVVPVPedagog. výzkum ve vzdělávání přír. věd
QDEXSExpertní systémy
QDRZNReprezentace znalostí
QDTEITeoretická informatika
QEXPSExpertní systémy
QGEMOMat. principy geometrického modelování
QKOKRKódování a kryptografie
QPREKFormální jazyky a gramatiky
QQEXSExpertní systémy
QQRZNReprezentace znalostí
QQTEITeoretická informatika
QVYSLVyčíslitelnost a složitost
RAPUMAplikace umělé inteligence
SZIN1Část SZZ:Teoret.informatika a matematika
SZZK9Část SZZ: Informatika
SZZ11Část SZZ: Informatika s didaktikou
SZZ13Část SZZ: Informatika s didaktikou
UVDINZáklady informatiky
UVDOIÚvod do informatiky
VYSL1Vyčíslitelnost a složitost 1
VYSL2Vyčíslitelnost a složitost 2
XALD1Základy algoritmizace
XALD2Algoritmy a datové struktury
XALG2Algoritmy a datové struktury
XAPZOArchitektura počítačů a základy OS
XFLPRFunkcionální a logické programování
XFUZRZáklady řízení a fuzzy řízení
XGRAJGramatiky a jazyky
XGRJATeorie jazyků a automatů
XLIN1Logika pro informatiky
XLZU1Logika pro informatiky
XLZU2Logika pro umělou inteligenci
XPREKPřekladače
XTILOTeoretická informatika a logika
XUVDIÚvod do informatiky
XUVDNZáklady informatiky
XVYS1Vyčíslitelnost a složitost 1
XVYS2Vyčíslitelnost a složitost 2
XZAINZáklady teoretické informatiky
Y2ZINZáklady informatiky
1OPS1Operační systémy 1
1OPS2Operační systémy 2
1POLPPrvky elektronických počítačů
1POS2Počítačové sítě 2
1UVDIÚvod do informatiky
2ALD1Základy algoritmizace
2ALD2Algoritmy a datové struktury
2ALG2Algoritmy a datové struktury
2APZOArchitektura počítačů a základy OS
2GRAJGramatiky a jazyky
2GRJATeorie jazyků a automatů
2LIN1Logika pro informatiky
2LZU1Logika pro informatiky
2POS2Počítačové sítě 2
2UVDIÚvod do informatiky
2UVDNZáklady informatiky
2ZAINZáklady teoretické informatiky
3UVDIÚvod do informatiky
6AIN2Applied Informatics 2
6PUDIZáklady teoretické informatiky
66UDIZáklady teoretické informatiky
7AIN2Aplikovaná informatika 2
7ALG2Algoritmy a datové struktury
7GRAJGramatiky a jazyky
7SMUIStatist. metody pro učitele informatiky
7TILOTeoretická informatika a logika
7UVDIÚvod do informatiky
7VYS1Vyčíslitelnost a složitost 1
7ZAINZáklady teoretické informatiky
8GRAJFormální jazyky a gramatiky
8VYSLVyčíslitelnost a složitost
9GRAJFormal Languages and Grammars
9VYSLComputability and Complexity


AuthorTitleType of thesisYear
Botor TomášMultiplatform source code optimizationMaster's thesis 2017 
Ertel TomášFuzzy logic analysis in sound processingMaster's thesis 2017 
Hložanka OndřejApplication of NP-complete problems in real-life tasksMaster's thesis 2016 
Hireš MatějParalelization of fuzzy logic analysisMaster's thesis 2015 
Mejzlíková MartinaPattern recognition in categorization of web documentsMaster's thesis 2015 
Buroň TomášInternet security in informatics secondary educationMaster's thesis 2014 
Bobřík MichalE-learning as a support tool for alternative educationMaster's thesis 2013 
Hromada JiříTeaching theoretical computer science on secondary schoolsMaster's thesis 2013 
Potyšová ZuzanaProblem solving of artificial intelligence issues by means of declarative paradigmMaster's thesis 2013 
Schenk JiříAutomated syntactic analysisMaster's thesis 2013 
Stupka TomášAutomated Theorem Proving SystemsMaster's thesis 2013 
Mráz PavelMethods analysis teaching on secondary schoolsMaster's thesis 2012 
Fojtíková VeronikaSoftware support of communication abilities of persons with specific defectsMaster's thesis 2011 
Kaloč JakubInference algorithms for fuzzy type theoryMaster's thesis 2011 
Kalusková ZuzanaProblem-oriented tasks from theory of algorithmsMaster's thesis 2011 
Slovák ZdeněkInformation system for text generationMaster's thesis 2011 
Šlachta RadekThe development of tools for directory servicesMaster's thesis 2011 
Macoszková SilvieEfectiveness of resolution strategies in two-valued logicMaster's thesis 2010 
Mokrý VojtěchFuzzy Logic ApplicationsMaster's thesis 2010 
Novosád TomášTherotical informatic practic usingMaster's thesis 2010 
Búran PeterInference system for fuzzy description logicMaster's thesis 2009 
Janošec LukášEffectiveness of computational modelsMaster's thesis 2009 
Jendryščík RadekEffectiveness of inference in fuzzy description logicMaster's thesis 2009 
Klapper MartinExperimental teaching of logic at secondary schoolMaster's thesis 2009 
Ohlídal JaroslavError analysis of learning theory of formal languages and automataMaster's thesis 2009 
Sulír MiroslavExperimental teaching of formal languages and automata at high schoolsMaster's thesis 2009 
Turček TomášEffectiveness of inference in fuzzy predicate logicMaster's thesis 2009 
Günther PavelApplication of automated theorem proing in fuzzy predicate logicMaster's thesis 2008 
Juřica TomášFuzzy deductive database - implementation by the help of resolution principleMaster's thesis 2008 
Kubala JanUsing animation in learning comutability and complexityMaster's thesis 2008 
Školeková ZuzanaExperimental teaching of informatics at elementary schoolMaster's thesis 2008 
Koběrský AlešImplementation of effective methods for compiler creationMaster's thesis 2005 
Noháček JiříAutomatization of Constructing CompilersMaster's thesis 2005 
Muchová GabrielaFuzzy logic analysis implementation on mobile platformBachelor's thesis 2020 
Ertel TomášApplication of logical deduction for time series predictionBachelor's thesis 2015 
Menšík JanAlgorithms for searching of stringsBachelor's thesis 2015 
Peterková IvanaAutomated optical recognitionBachelor's thesis 2015 
Žůrek FilipFuzzy finite automataBachelor's thesis 2015 
Hložanka OndřejTypes and modifications of Turing machineBachelor's thesis 2014 
Vančura JanApplication of time series prediction by fuzzy logicBachelor's thesis 2014 
Stárek PetrProblem-oriented tasks from theory of algorithmsBachelor's thesis 2013 
Sturmová KateřinaApplication of Pattern PrerecognitionBachelor's thesis 2013 
Vincík MichalModelling of knowledge bases by fuzzy logicBachelor's thesis 2013 
Bobřík MichalNavigation systemsBachelor's thesis 2011 
Schenk JiříAutomatized generation of parserBachelor's thesis 2011 
Kostera LuděkScheduling systemsBachelor's thesis 2010 
Lubojacký JiříState-space search algorithmsBachelor's thesis 2010 
Malý PavelInformation system for videoshopBachelor's thesis 2010 
Mráz PavelWi-fi nets visualization through GPSBachelor's thesis 2010 
Adamcová MichaelaSelected formal models for biological systemsBachelor's thesis 2009 
Bolomová MichaelaSymbolic approach vs. connectionism in artificial intelligenceBachelor's thesis 2009 
Cieslar MartinCharacteristics of UMPC and netbooksBachelor's thesis 2009 
Figura MichalProblem-oriented tasks in JAVABachelor's thesis 2009 
Fojtíková VeronikaDesign of applications for physically and mentally handicapped personsBachelor's thesis 2009 
Kaplan JiříWxWidgets as a tool for alternative design of applicationsBachelor's thesis 2009 
Kvasnička MartinComparison of freeware tools for application design in C++Bachelor's thesis 2009 
Slovák ZdeněkAutomatic text generationBachelor's thesis 2009 
Šlachta RadekDirectory services and their implementation in intranet systemsBachelor's thesis 2009 
Chromý PetrHistory a perspectives of automated reasoningBachelor's thesis 2008 
Grulich RomanDeterminism vs. nedeterminism in Computer ScienceBachelor's thesis 2008 
Hrabal RomanProblem-oriented tasks from complexity theoryBachelor's thesis 2008 
Janošcová IvanaSuggestion and creation of exemplary knowledge bases for fuzzy deducation and their testing with FPLGERDS systemBachelor's thesis 2008 
Kalusková ZuzanaProblem-oriented tasks from context-free languages and stack automataBachelor's thesis 2008 
Macoszková SilvieResolution principle in artificial intelligence and logicBachelor's thesis 2008 
Peterková MilenaProblem-oriented tasks from regular languages and finite automataBachelor's thesis 2008 
Mojdl MarekVISUAL SOLUTIONS OF EXAMPLES IN COMPUTER SCIENCE - STRUCTURED AND OBJECT ORIENTED PROGRAMMINGBachelor's thesis 2007 
Pavlorková KateřinaEfectivity of resolution strategies in system FPLGERDS on knowledge basesBachelor's thesis 2007 
Bouzek DavidDifferential calculus - vivid solutions of tasksBachelor's thesis 2006 
Čopjak JakubThe usage teoretical informatics in practical informaticsBachelor's thesis 2006 
Duroň PavelPractical computer problems - principles of text typing supported by computersBachelor's thesis 2006 
Dvořáková PetraThe solving demonstration of exercises from informatics - spreadsheet programBachelor's thesis 2006 
Ficenc TomášVisual solution of the mathematical tasks - logicBachelor's thesis 2006 
Heinc DaliborVisual task solutions in computer science- algorithmizationsBachelor's thesis 2006 
Juřica TomášAutomated conversion of description logic formulas into predicate logicBachelor's thesis 2006 
Liška PetrVisual solutions of mathematical tasks - derivationBachelor's thesis 2006 
Lišková EvaVisual solutions of mathematical tasks - integralsBachelor's thesis 2006 
Marciniszynová EvaPrinciples of search algorithmBachelor's thesis 2006 
Michnik TomaszContext-free grammars transformation into Q-grammars and their parsingBachelor's thesis 2006 
Neumannová MarkétaVISUAL SOLUTION OF EXERCISES FROM MATHEMATICS AREA: ALGEBRA OF REAL NUMBERSBachelor's thesis 2006 
Novotný JiříNázorné řešení úloh z oblasti matematiky - lineární algebraBachelor's thesis 2006 
Voitle MarekVisual problem solution in mathematics - set theoryBachelor's thesis 2006 
Janošec LukášSorting algoritms principlesBachelor's thesis 2005 
Kovařčík MartinPrinciples of Combinatorial AlgorithmsBachelor's thesis 2005 
Pěčka RadomírMethods and Results of Teoretical Informatics in Algorithm Development and ProgrammingBachelor's thesis 2005 


Logic based methods of deduction and knowledge extraction
Main solverdoc. RNDr. PaedDr. Hashim Habiballa, PhD, Ph.D.
Period1/2015 - 12/2015
ProviderSpecifický VŠ výzkum
Statefinished
Knowledge extraction methods and its usage for automated deduction
Main solverdoc. RNDr. PaedDr. Hashim Habiballa, PhD, Ph.D.
Period1/2014 - 12/2014
ProviderSpecifický VŠ výzkum
Statefinished
social hub