Mesterséges Intelligencia és Rendszertervezés Tanszék
4-értékű logika (1) · absztrakció (3) · absztrakció finomítás (1) · alkalmazás (1) · állapottérkép (1) · állapottérképek (1) · Amazon AWS (1) · Amazon EC2 (1) · Amazon felhő (1) · Amazon Web Services (1) · AmazonECS (1) · analízis (2) · architektúra (1) · architektúra modellezés (1) · autonóm jármű (1) · autonóm járművek (1) · Bayesi optimalizáció (1) · biztonságkritikus rendszerek (1) · C# (1) · CEGAR (2) · CPS (2) · docker compose (1) · Docker image (1) · Docker konténerek (1) · elosztott rendszer (1) · EPAS (1) · extra-funkcionális (1) · fekete doboz teszt (1) · felhő (1) · formális verifikáció (2) · Futásidejű monitorozás (1) · Galileo (1) · genetikus algoritmus (1) · gráf vizualizáció (1) · Grafana (1) · gráfgenerálás (1) · heurisztikus optimalizálás (1) · hibafa (1) · hibatűrő rendszerek (1) · időzített automata (1) · időzített rendszerek (1) · IoT (1) · Java backend (1) · Jetty (1) · kiber-fizikai rendszer (1) · Komplex Esemény Feldolgozás (1) · Konvolúciós neurális hálózat (1) · közlekedési tábla felismerés (1) · kritikus rendszerek (1) · logikai következtetés (1) · logikai megoldó (1) · lusta absztrakció (1) · Markov (1) · Markov-lánc (2) · megbízhatóság (2) · megbízhatósági analízis (1) · megbízhatósági modellezés (1) · mély tanulás (1) · modell alapú tesztelés (1) · modell generálás (1) · modell transzformáció (1) · modellellenőrzés (2) · műhold (1) · nemlineáris optimalizálás (1) · OpenTelemetry (1) · paraméteroptimalizálás (1) · parciális modell (1) · parciális modellek (2) · probabilisztikus programozás (2) · probabilisztikus verifikáció (1) · Prometheus (1) · Refinery (1) · relációs adatbázis (1) · rendelkezésre állás (1) · skálázatóság (1) · SysML (1) · szerkesztő (1) · szimuláció (1) · szolgáltatásbiztonság (1) · sztochasztikus (1) · sztochasztikus analízis (1) · teljesítmény (1) · tenzorreprezentációk (1) · tervezési tér bejárás (2) · tesztgenerálás (2) · tudásbázis (1) · UWP (1) · valós idejű rendszerek (1) · verifikáció (1) · webalkalamzás (1) · WebSocket (1) · Windows (1)
Összesen 17 szakdolgozat és diplomaterv. Összes téma megtekintése »