| 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 |
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
|
| 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 |
abstract in proceedings
|
| Resolution Principle in Fuzzy Predicate Logic |
| Hashim Habiballa |
| Year: 2006 |
presentations (congresses, symposia, conferences, workshops)
|
| Resolution Principle in Fuzzy Predicate Logic |
| Hashim Habiballa |
| Year: 2006 |
presentations (congresses, symposia, conferences, workshops)
|
| Resolution Principle in Fuzzy Predicate Logic |
| Hashim Habiballa |
| Year: 2006 |
presentations (congresses, symposia, conferences, workshops)
|
| Resolution Principle in Fuzzy Predicate Logic |
| Hashim Habiballa |
| Year: 2006 |
presentations (congresses, symposia, conferences, workshops)
|
| Resolution Principle in Fuzzy Predicate Logic |
| Hashim Habiballa |
| Year: 2006 |
abstract in proceedings
|
| Výuka předmětu Umělá Inteligence v LS, FPV UKF Nitra |
| Hashim Habiballa |
| Year: 2006 |
work experience abroad
|
| 12. rocnik konference stredoskolskych profesoru matematiky a informatiky |
| Jaroslav Hančl, Eva Volná, Hashim Habiballa |
| Year: 2006 |
organizing conference, workshop
|
| 12. rocnik konference stredoskolskych profesoru matematiky a informatiky |
| Jaroslav Hančl, Eva Volná, Hashim Habiballa |
| Year: 2006 |
organizing conference, workshop
|
| Matematická olympiáda - krajské kolo kategorie P |
| Hashim Habiballa |
| Year: 2005 |
organizing conference, workshop
|
| Mathematical Logic and Deduction in Computer Science Education |
| Hashim Habiballa |
| Year: 2005 |
presentations (congresses, symposia, conferences, workshops)
|
| Mathematical Logic and Deduction in Computer Science Education |
| Hashim Habiballa |
| Year: 2005 |
abstract in proceedings
|
| Mobile technologies and distance education |
| Rostislav Fojtík, Hashim Habiballa |
| Year: 2005 |
abstract in proceedings
|
| Non-clausal Resolution in Fuzzy Predicate Logic with Evaluated Syntax (background and implementation) |
| Hashim Habiballa |
| Year: 2005 |
abstract in proceedings
|
| Non-clausal Resolution in Fuzzy Predicate Logic with Evaluated Syntax (background and implementation) |
| Hashim Habiballa |
| Year: 2005 |
abstract in proceedings
|
| Non-clausal resolution in teaching mathematics and computer science |
| Hashim Habiballa, 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 |
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) |
| 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.
