Applications of Cloud Computing in Education |
Lukáš HAPL, Hashim Habiballa |
Year: 2021 |
abstract in proceedings
|
Automated Generation of EQ-Algebras through Genetic Algorithms |
Hashim Habiballa, Eva Volná, Martin Kotyrba |
Year: 2021, MATHEMATICS |
journal article
|
Concept of Cloud Computing in Education |
Lukáš HAPL, Hashim Habiballa |
Year: 2021 |
abstract in proceedings
|
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 |
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, 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 |
abstract in proceedings
|
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 |
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 |
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)
|
Matlab Program Library for Box-Costrained Global Optimization |
Josef Tvrdík, Viktor Pavliska, Hashim Habiballa |
Year: 2007 |
abstract in proceedings
|
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, ACM SIGCSE Bulletin |
journal article
|
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)
|
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, Jozef Fulier |
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 |
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
|
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) |
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.