Kérlek válassz szakirányt az alábbiak közül:
| Dátum | Megnevezés | Meghirdető | Létszám | |
|---|---|---|---|---|
|
2016-06-15 |
Egyszerű, hatékony algoritmusok faautomaták eldöntési problémáinak a megoldására |
Vágvölgyi Sándor |
0 / 1 |
|
|
2016-06-15 |
Determinisztikus leszálló, felszálló és reguláris szűkítésű fatranszformációk kompozíciói |
Vágvölgyi Sándor |
0 / 1 |
|
|
2016-06-15 |
Kongruencia lezárási algoritmusok |
Vágvölgyi Sándor |
0 / 1 |
|
|
2016-06-17 |
Szabályozott környezetfüggetlen nyelvtanok |
Gombás Éva |
0 / 1 |
|
|
2016-06-21 |
A felismerhető sövény nyelvek eldöntési problémáinak a megoldása |
Vágvölgyi Sándor |
0 / 1 |
|
|
2016-06-22 |
Rangolatlan fákat felismerő faautomaták minimalizálása |
Fülöp Zoltán |
0 / 1 |
|
|
2016-06-22 |
Valós idejű rendszerek vizsgálata a Kronos modell-ellenőrzővel |
Gombás Éva |
0 / 1 |
|
|
2016-06-24 |
A rezolúció ER és LER kiterjesztései |
Iván Szabolcs |
1 / 1 |
|
|
2016-06-24 |
Reguláris kifejezések kisméretű automatává konvertálása |
Iván Szabolcs |
0 / 1 |
|
|
2016-06-24 |
Logikai hálózatok minimalizálása |
Iván Szabolcs |
0 / 1 |
|
|
2016-06-24 |
Reguláris kifejezések minimalizálása |
Iván Szabolcs |
0 / 1 |
|
|
2016-07-01 |
Automaták implementációja és alkalmazásai |
Németh Zoltán |
0 / 1 |
|
|
2016-07-01 |
Absztrakció a szoftvertervezésben az Alloy specifikációs nyelv segítségével |
Németh Zoltán |
0 / 1 |
|
|
2016-07-04 |
Faautomaták minimalizálása biszimulációra vonatko zóan |
Fülöp Zoltán |
0 / 1 |
|
|
2016-07-07 |
Szimbolikus automaták minimalizálása |
Fülöp Zoltán |
0 / 1 |
|
|
2016-07-20 |
Automataelméleti feladatok generálása |
Fülöp Zoltán |
1 / 1 |
|
|
2016-08-25 |
Automataelméleti eredmények implementálása komputer algebrai rendszerben |
Németh Zoltán |
0 / 1 |
|
|
2016-08-25 |
Web alapú kérdésbank fejlesztése matematikai logikai tudásszint-méréshez |
Németh Zoltán |
1 / 1 |
|
|
2016-08-26 |
Web alapú kérdésbank fejlesztése automataelméleti tudásszint-méréshez |
Németh Zoltán |
0 / 1 |
|
|
2016-08-29 |
Valószínűségi rendszerek vizsgálata a PRISM modell-ellenőrzővel |
Gombás Éva |
0 / 1 |
|
|
2016-09-07 |
Zsarolóprogramok |
Németh Zoltán |
1 / 1 |
|
|
2016-09-07 |
A CVE-2015-7547 azonosítójú Linux libc hiba elemzése |
Németh Zoltán |
1 / 1 |
|
|
2016-09-13 |
NP-nehéz problémák "nehéz" példányai |
Iván Szabolcs |
0 / 1 |
|
|
2016-09-13 |
NP-teljes problémák megoldása visszavezetéssel |
Iván Szabolcs |
0 / 1 |
|
|
2016-09-13 |
A Cutting Sticks probléma |
Iván Szabolcs |
1 / 1 |
|
|
2016-09-14 |
Az ASLR memóriavédelem és megkerülhetősége |
Németh Zoltán |
1 / 1 |
|
|
2016-09-19 |
Linux kernel sérülékenységek és kihasználhatóságuk |
Németh Zoltán |
1 / 1 |
|
|
2017-02-10 |
Forest automaták |
Iván Szabolcs |
1 / 1 |
|
|
2017-09-26 |
Elemzési algoritmusok környezetfüggetlen nyelvekre |
Gazdag Zsolt Zoltán |
1 / 1 |
|
|
2017-10-11 |
Súlyozott faautomatákra vonatkozó eldönthetőségi kérdések |
Fülöp Zoltán |
1 / 1 |
|
|
2017-10-24 |
Hijacking System Software with Hardware Assisted Virtualization |
Németh Zoltán |
1 / 1 |
|
|
2017-11-22 |
Funkcionális programozás a kliens-oldalon |
Iván Szabolcs |
0 / 1 |
|