Keresés
6 találatból megjelenítve: 1-6
Cím: Változó indexű Lebesgue-terek és alkalmazásuk a Fourier-analízisben
Szerző:
Dátum: 2017
Feltöltve: 2019-02-08
(2017)
A disszertációm első fejezetében felépítettük a Musielak-Orlicz-tereket, majd a Musielak-Orlicz-terekből kiindulva jutottunk el a változó indexű Lebesgue-terekhez. Bemutattuk ezen tereknek számos, fontos tulajdonságát, ...
Cím: Quality Aspects of TTCN-3 Based Test Systems
Szerző:
Dátum: 2017
Feltöltve: 2019-03-06
(2017)
A doktori dolgozat TTCN-3 -ban írt tesztrendszerek kódminőségének vizsgálatáról szól.
Az elemzésekhez először a TTCN-3 nyelvhez kapcsolódó gyanús kódmintákat határoztam meg (code smells), majd ezeket az ISO-9126 és ISO-25010 ...
Cím: Programhelyesség-bizonyítás fordítási időben
Szerző:
Dátum: 2017
Feltöltve: 2019-02-08
(2017)
A dolgozat első tézise egy formális programmodellt vezet be haladási és biztonsági kritériumok megfogalmazására alkalmas temporális logikai operátorokkal. A modell levezetési szabályai bizonyítással együtt kerülnek ...
Cím: Data Mining in Genomics, Metagenomics and Connectomics
Szerző:
Dátum: 2017
Feltöltve: 2019-01-16
(2017)
Létrehoztuk az AmphoraNet-et, egy könnyen használható webszervert, amely minden egyes a metagenomban talált filogenetikai marker gén szekvenciához kijelöl egy rendszertani csoportot. A webszerver az AMPHORA2 munkafolyamaton ...
Cím: A programozás tanulásának és tanításának támogatása elektronikus tananyagba beépíthető interaktív animációs modellekkel
Szerző:
Dátum: 2017
Feltöltve: 2019-01-11
(2017)
Cím: A digitális technológiák szerepe és lehetőségei a programozás tanításában
Szerző:
Dátum: 2017
Feltöltve: 2019-01-11
(2017)
Dolgozatom témája a digitális technológiák szerepe és lehetőségei a programozás tanításában, melyben az objektum-orientált programozás alapfogalmainak a vizualizációjára helyezem a hangsúlyt.
Szisztematikus irodalomkutatást ...