OU > O univerzitě > Struktura univerzity > Fakulty a ústavy > Přírodovědecká fakulta

Hashim Habiballa

Základní
Životopis
Publikační činnost
Výuka
Vedené závěrečné práce
Projekty a granty

titul, jméno, příjmení:doc. RNDr. PaedDr. Hashim Habiballa, PhD, Ph.D.
místnost, podlaží, budova: A 306, budova A
A 332, budova A
funkce:vedoucí katedry
obor činnosti:
katedra / středisko (fakulta): Katedra informatiky a počítačů (Přírodovědecká fakulta)
telefon, mobil: 553 46 2170
553 46 2174
e-mail: hashim.habiballa@osu.cz
osobní WWW stránka:http://www.volny.cz/habiballa/



Nenalezen žádný záznam.



Hireš, M., Habiballa, H. a Novák, V. Parallelization of fuzzy logic analysis for pattern recognition. In: CSOC 2016: Advances in Intelligent Systems and Computing, Volume 465, 2016 2016-04-22 Prague. Berlin: Springer Verlag, 2016. s. 445-456. ISBN 978-3-319-33620-6.
Volná, E., Kotyrba, M. a Habiballa, H. ECG Prediction Based on Classification via Neural Networks and Linguistic Fuzzy Logic Forecaster. THESCIENTIFICWORLDJO. 2015, č. 2015, s. 1-10. ISSN 1537-744X.
Novák, V., Habiballa, H., Hurtík, P. a Štěpnička, M. Recognition of Damaged Letters Based on Mathematical Fuzzy Logic Analysis. Journal of Applied Logic. 2015, roč. 13, s. 94-104. ISSN 1570-8683.
Habiballa, H., Novák, V., Dyba, M. a SCHENK, J. EQ-ALGEBRAS AUTOMATED GENERATION BASED ON GENETIC ALGORITHMS. In: 20-th Intl. Conference on Soft Computing - MENDEL. Brno: Brno University of Technology, 2014. Brno University of Technology, 2014. s. 341-346. ISBN 978-80-214-4984-8.
Volná, E., Kocian, V., Janošek, M., Habiballa, H. a Novák, V. Damaged Letter Recognition Methodology: A Comparison Study. In: IJCCI 2013. Portugal: SCITEPRESS - Science and Technology Publications, 2013. SCITEPRESS - Science and Technology Publications, 2013. s. 535-541. ISBN 978-989-8565-77-8.
Habiballa, H., Volná, E., Janošek, M. a Kotyrba, M. Modelling And Reasoning With Fuzzy Logic Redundant Knowledge Bases. In: PROCEEDINGS 27th European Conference on Modelling and Simulation ECMS 2013. Sbr.-Dudweiler, Germany: European Council for Modelling and Simulation, 2013. European Council for Modelling and Simulation, 2013. s. 361-366. ISBN 978-0-9564944-6-7.
Novák, V., Hurtík, P. a Habiballa, H. Recognition of heavily distorted characters on metal. In: Proceedings of the 2013 Joint IFSA World Congress NAFIPS Annual Meeting (IFSA/NAFIPS). IEEE, 2013. s. 733-738. ISBN 978-1-4799-0347-4.
Volná, E., Habiballa, H. a Fojtík, R. Constructivist Approaches of Innovation in one School-University Partnership. In: What's Worth Aiming for in Educational Innovation and Change?. Germany: WAXMANN, 2012. s. 109-121. ISBN 978-3-8309-2747-1.
Konečná, P. a Habiballa, H. STUDENTS' AUTOEVALUATION IN THE FIRST YEAR OF SCIENCE STUDY FIELDS ESPECIALLY IN MATHEMATICS PHASE 2. Journal of Applied Mathematics. 2012, č. 5, s. 247-252. ISSN 1337-6365.

Zobrazit všechny publikace



ZkratkaNázev předmětu
ALDS1Základy algoritmizace
ALDS2Algoritmy a datové struktury
BKPOSPočítačové sítě
DTESYTechnické a systémové prostředky
FUZRIZáklady řízení a fuzzy řízení
GRAJATeorie jazyků a automatů
I2PS1Úvod do počítačových sítí
LZUI1Logika pro informatiky
LZUI2Logika pro umělou inteligenci
OBPAIObhajoba bakal. práce-aplikovaná inform.
OBPDOObhajoba bakal.práce-dvouobor.studium IN
OBPINObhajoba bakalářské práce - informatika
ODPAIObhajoba diplomové práce - AI
ODPISObhajoba diplomové práce - Inform. syst.
ODPS1Obhajoba diplomové práce - Uč. inf. 1ob
ODPS2Obhajoba diplomové práce - Uč. inf. 2 ob
POLPOPrvky elektronických počítačů
PREKLPřekladače
PVVPVPedagog. výzkum ve vzdělávání přír. věd
QGEMOMat. principy geometrického modelování
QKOKRKódování a kryptografie
QPREKFormální jazyky a gramatiky
QVYSLVyčíslitelnost a složitost
RABJ1Regulární a bezkontextové jazyky 1
RABJ2Regulární a bezkontextové jazyky 2
RAPUMAplikace umělé inteligence
SZIN1Část SZZ:Teoret.informatika a matematika
SZRVDČás SZZ: Reprezentace a viz. dat a znal.
SZZK9Část SZZ: Informatika
SZZ11Část SZZ: Informatika s didaktikou
SZZ13Část SZZ: Informatika s didaktikou
TVPRETvorba překladačů
UVDINZáklady informatiky
UVDOIÚvod do informatiky
VYSL1Vyčíslitelnost a složitost 1
VYSL2Vyčíslitelnost a složitost 2
VYSO1Software ve vzdělávání 1
XALD1Základy algoritmizace
XALD2Algoritmy a datové struktury
XAPZOArchitektura počítačů a základy OS
XFLPRFunkcionální a logické programování
XFUZRZáklady řízení a fuzzy řízení
XGRJATeorie jazyků a automatů
XLZU1Logika pro informatiky
XLZU2Logika pro umělou inteligenci
XPOLPPrvky elektronických počítačů
XPREKPřekladače
XRAB1Regulární a bezkontextové jazyky 1
XRAB2Regulární a bezkontextové jazyky 2
XTVPRTvorba překladačů
XUVDIÚvod do informatiky
XVYS1Vyčíslitelnost a složitost 1
XVYS2Vyčíslitelnost a složitost 2
YLZU2Logické základy umělé inteligence
YOPSYOperační systémy
YTZI1Teoretické základy informatiky 1
YTZI2Teoretické základy informatiky 2
Y2ZINZáklady informatiky
1OPS1Operační systémy 1
1OPS2Operační systémy 2
1POLPPrvky elektronických počítačů
1RAB1Regulární a bezkontextové jazyky 1
1UVDIÚvod do informatiky
2ALD1Základy algoritmizace
2ALD2Algoritmy a datové struktury
2APZOArchitektura počítačů a základy OS
2GRJATeorie jazyků a automatů
2LZU1Logika pro informatiky
2POLPPrvky elektronických počítačů
2POS2Počítačové sítě 2
2RAB1Regulární a bezkontextové jazyky 1
2RAB2Regulární a bezkontextové jazyky 2
2UVDIÚvod do informatiky
3APZOArchitektura počítačů a základy OS
3UVDIÚvod do informatiky
6OPS1Operační systémy 1
6UVDIÚvod do informatiky


AutorNázev práceTypRok
Hložanka OndřejAplikace NP-úplných problémů v reálných úloháchdiplomová 2016 
Hireš MatějParalelizace fuzzy logické analýzydiplomová 2015 
Mejzlíková MartinaRozpoznávání struktur v kategorizaci webových dokumentůdiplomová 2015 
Buroň TomášInternetová kriminalita a bezpečnost ve výuce informatiky na středních školáchdiplomová 2014 
Bobřík MichalE-learning jako podpora studia na waldorfské školediplomová 2013 
Hromada JiříVyužití výukové aplikace z oblasti teoretické informatiky na SŠdiplomová 2013 
Potyšová ZuzanaŘešení úloh umělé inteligence pomocí deklarativního paradigmatudiplomová 2013 
Schenk JiříAutomatizace syntaktické analýzydiplomová 2013 
Stupka TomášSystémy automatizovaného dokazování větdiplomová 2013 
Mráz PavelAnalýza metod vyučování informatiky na středních školáchdiplomová 2012 
Fojtíková VeronikaSoftwarová podpora komunikačních schopností osob se specifickými poruchamidiplomová 2011 
Kaloč JakubAlgoritmy pro inferenční systémy založené na fuzzy teorii typůdiplomová 2011 
Kalusková ZuzanaProblémové úlohy z oblasti teorie vyčíslitelnostidiplomová 2011 
Slovák ZdeněkInformační systém pro generování textudiplomová 2011 
Šlachta RadekVývoj nástrojů pro adresářové službydiplomová 2011 
Macoszková SilvieEfektivita rezolučních strategií ve dvouhodnotové logicediplomová 2010 
Mokrý VojtěchAplikace fuzzy logikydiplomová 2010 
Novosád TomášUžití teoretické informatiky v praxidiplomová 2010 
Búran PeterInferenční systém pro fuzzy deskripční logikudiplomová 2009 
Janošec LukášEkvivalence výpočetních modelůdiplomová 2009 
Jendryščík RadekEfektivita inference ve fuzzy deskripční logicediplomová 2009 
Klapper MartinExperimentální výuka logiky na střední školediplomová 2009 
Ohlídal JaroslavAnalýza chyb při učení teorie formálních jazyků a automatůdiplomová 2009 
Sulír MiroslavExperimentální výuka teorie formálních jazyků a automatů na středních školáchdiplomová 2009 
Turček TomášEfektivita inference ve fuzzy predikátové logicediplomová 2009 
Günther PavelAplikace automatizovaného dokazování vět ve fuzzy predikátové logicediplomová 2008 
Juřica TomášFuzzy deduktivní databáze - Implementace pomocí rezolučního principudiplomová 2008 
Kubala JanVyužití animace při výuce vyčíslitelnosti a složitostidiplomová 2008 
Školeková ZuzanaExperimentální výuka informatiky na základní školediplomová 2008 
Koběrský AlešImplementace efektivních metod tvorby překladačůdiplomová 2005 
Noháček JiříAutomatizace tvorby překladačůdiplomová 2005 
Ertel TomášAplikace logické dedukce pro predikci časových řadbakalářská 2015 
Menšík JanAlgoritmy pro vyhledávání řetězcůbakalářská 2015 
Peterková IvanaAutomatizace rozpoznávání vzorůbakalářská 2015 
Žůrek FilipFuzzy konečné automatybakalářská 2015 
Hložanka OndřejVarianty a modifikace Turingova strojebakalářská 2014 
Vančura JanPraktické aplikace predikce časových řad pomocí fuzzy logikybakalářská 2014 
Stárek PetrProblémové úlohy z oblasti teorie vyčíslitelnostibakalářská 2013 
Sturmová KateřinaMetoda Pattern Prerecognition (PREPIC) v praktických aplikacíchbakalářská 2013 
Vincík MichalModelování znalostních bázích prostředky fuzzy logikybakalářská 2013 
Bobřík MichalNavigační systémybakalářská 2011 
Schenk JiříAutomatické nástroje pro generování syntaktických analyzátorůbakalářská 2011 
Kostera LuděkPlánovací systémybakalářská 2010 
Lubojacký JiříMetody prohledávání stavového prostorubakalářská 2010 
Malý PavelInformační systém pro videopůjčovnybakalářská 2010 
Mráz PavelVizualizace Wi-Fi sítí prostřednictvím GPSbakalářská 2010 
Adamcová MichaelaVybrané modelovací formalismy pro biologické systémybakalářská 2009 
Bolomová MichaelaSymbolický funkcionalismus vs. konekcionismus v umělé inteligencibakalářská 2009 
Cieslar MartinCharakteristiky UMPC a netbookůbakalářská 2009 
Figura MichalProblémové úlohy z oblasti algoritmizace v Javěbakalářská 2009 
Fojtíková VeronikaTvorba aplikací pro osoby se zdravotním a mentálním postiženímbakalářská 2009 
Kaplan JiříWxWidgets jako nástroj pro alternativní vývoj aplikacíbakalářská 2009 
Kvasnička MartinPorovnání freewarových prostředků pro vývoj aplikací v C++bakalářská 2009 
Slovák ZdeněkAutomatické generování textubakalářská 2009 
Šlachta RadekAdresářové služby a jejich implementace pro intranetové systémybakalářská 2009 
Chromý PetrHistorie a perspektivy automatizovaného usuzování v umělé inteligencibakalářská 2008 
Grulich RomanPojem determinismu a nedeterminismu v informaticebakalářská 2008 
Hrabal RomanProblémové úlohy z oblasti teorie složitosti algoritmůbakalářská 2008 
Janošcová IvanaNávrh a tvorba ukázkových znalostních bází pro fuzzy dedukci a jejich testování systémem FPLGERDSbakalářská 2008 
Kalusková ZuzanaProblémové úlohy z oblasti bezkontextových jazyků a zásobníkových automatůbakalářská 2008 
Macoszková SilvieRezoluční princip v umělé inteligenci a logicebakalářská 2008 
Peterková MilenaProblémové úlohy z oblasti regulárních jazyků a konečných automatůbakalářská 2008 
Mojdl MarekNázorné řešení úloh z oblasti informatiky - strukturované vs. objektově orientované programováníbakalářská 2007 
Pavlorková KateřinaEfektivita rezolučních strategií systému FPLGERDS na znalostních bázíchbakalářská 2007 
Bouzek DavidNázorné řešení úloh z oblasti matematiky - diferenciální početbakalářská 2006 
Čopjak JakubMetody a výsledky teoretické informatiky v aplikované informaticebakalářská 2006 
Duroň PavelNázorné řešení úloh z oblasti informatiky - principy počítačem podporované sazby textubakalářská 2006 
Dvořáková PetraNázorné řešení úloh z oblasti informatiky - tabulkové procesorybakalářská 2006 
Ficenc TomášNázorné řešení úloh z oblasti matematiky - logikabakalářská 2006 
Heinc DaliborNázorné řešení úloh z oblasti informatiky - algoritmizace úlohbakalářská 2006 
Juřica TomášAutomatizace konverze formulí deskripční logiky do predikátové logikybakalářská 2006 
Liška PetrNázorné řešení úloh z oblasti matematiky - derivace funkce jedné proměnnébakalářská 2006 
Lišková EvaNázorné řešení úloh z oblasti matematiky - integrál funkce jedné proměnnébakalářská 2006 
Marciniszynová EvaPrincipy vyhledávacích algoritmůbakalářská 2006 
Michnik TomaszPřevod obecných bezkontextových gramatik na q-gramatiky a jejich syntaktická analýzabakalářská 2006 
Neumannová MarkétaNázorné řešení úloh z oblasti matematiky: Algebra reálných číselbakalářská 2006 
Novotný JiříNázorné řešení úloh z oblasti matematiky - lineární algebrabakalářská 2006 
Voitle MarekNázorné řešení úloh z oblasti matematiky - Teorie množinbakalářská 2006 
Janošec LukášPrincipy třídících algoritmůbakalářská 2005 
Kovařčík MartinPrincipy kombinatorických algoritmůbakalářská 2005 
Pěčka RadomírMetody a výsledky teoretické informatiky v algoritmizaci a programováníbakalářská 2005 


Logické metody dedukce a extrakce znalostí
Hlavní řešiteldoc. RNDr. PaedDr. Hashim Habiballa, PhD, Ph.D.
Období1/2015 - 12/2015
PoskytovatelSpecifický VŠ výzkum
Stavukončený
Metody extrakce znalostí a jejich využití pro automatizovanou dedukci
Hlavní řešiteldoc. RNDr. PaedDr. Hashim Habiballa, PhD, Ph.D.
Období1/2014 - 12/2014
PoskytovatelSpecifický VŠ výzkum
Stavukončený