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.



Artificial Intelligence (ChatGPT) and Bloom’s Taxonomy in Theoretical Computer Science Education
Hashim Habiballa, Martin Kotyrba, Eva Volná, Vladimír Bradáč, Martin Dušek
Year: 2025, APPLIED SCIENCES-BASEL
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
 
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
 
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
 

Application of Finite Automata in Multiagent Systems
Tomáš Sladčík, Hashim Habiballa
Year: 2026
abstract in proceedings
 
Multi-agent System for Intelligent Heating Control: Implementation and Evaluation Using Home Assistant and Neural Networks
Tomáš Sladčík, Hashim Habiballa
Year: 2026
abstract in proceedings
 
Artificial Intelligence (ChatGPT) and Bloom’s Taxonomy in Theoretical Computer Science Education
Hashim Habiballa, Martin Kotyrba, Eva Volná, Vladimír Bradáč, Martin Dušek
Year: 2025, APPLIED SCIENCES-BASEL
journal article
 
Student Perceptions and Preferences in Personalized AI-driven Learning
Marta Slepánková, Kristýna Kiliánová, Petra Kočková, Kateřina Kostolányová, Martin Kotyrba, Hashim Habiballa ... other authors
Year: 2025, Acta Informatica Pragensia
journal article
 
Use Case of Implementation Backpropagation for Arduino and ESP32 Microcontrollers into Smart Home
Tomáš Sladčík, Hashim Habiballa
Year: 2025
abstract in proceedings
 
Two-layer automata based design for multiagent system
Tomáš Sladčík, Hashim Habiballa, Martin Kotyrba
Year: 2024
abstract in proceedings
 
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
 
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, Aplimat - Journal of Applied Mathematics
journal article
 
Fuzzy techniques for time series prediction
Martin Kotyrba, Eva Volná, Michal Janošek, Václav Kocian, Hashim Habiballa
Year: 2011
abstract in proceedings
 
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
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)
Igor Koštál, Hashim Habiballa
Year: 2006
published expert opinions, reviews
 
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
presentations (congresses, symposia, conferences, workshops)
 
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
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)
 
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
Jozef Fulier, Hashim Habiballa
Year: 2005, FPV UKF
specialist book chapter
 
Non-clausal resolution in teaching mathematics and computer science
Hashim Habiballa
Year: 2005
presentations (congresses, symposia, conferences, workshops)
 
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



No record found. Database Maintenance.



No record found. Database Maintenance.



No record found. Database Maintenance.

RSS
social hub