Jelenlegi hely

Az Informatikai Intézeten folyó kutatások

" "

Intézetünk egységein számos különböző területen folynak kutatások. Ezen területek folyamatosan bővülő listájából néhány az alábbi felsorolásban látható.

Operációkutatás

  •  kombinatorikus optimalizálás
  •  globális optimalizálás, intervallum analízis

Mesterséges intelligencia

  •  minta illesztés, alakfelismerés
  •  neuronhálók, genetikus algoritmusok
  •  beszédfelismerés, EKGAlkalmazott számítástudomány
  •  párhuzamos és osztott számítások
  •  fordítóprogramok

Elméleti számítástudomány (Automaták, formális nyelvek)

  •  automaták algebrai elmélete
  •  automaták és formális logika
  •  formális nyelvek és formális hatványsorok
  •  faautomaták és fatranszformátorok, termátíró rendszerek
  •  a fixpontok azonosságelmélete, iterációs elméletek
  •  formális szemantika, process algebrák
  •  szekvenciális áramkörök algebrai elmélete
  •  attribútumnyelvtanok

Elméleti számítástudomány (Diszkrét matematika)

  •  bonyolultság elmélet

Hálózatok

  •   migráció IPv4-ről IPv6-ra

Képfeldolgozás (Image processing)

  • Ipari alkalmazások (Industrial Applications)
  • Markov modellek (Markov Models)
  • Műtéti tervezés (Surgical Planning)
  • Orvosi alkalmazások (Medical Applications)
  • Regisztráció (Registration)
  • Szegmentálás (Segmentation)
  • Távérzékelés (Remote Sensing)
  • Térinformatika (Geoinformatics)
  • Tomográfia- Diszkrét tomográfia (Tomography - Discrete Tomography)
  • Variációs módszerek (Variational Methods)
  • Vázkijelölés (Skeletonization)

Műszaki Informatika

  •  véletlenszerű zajok és fluktuációk hasznosítása
  •  robotika
  •  vezeték nélküli szenzorok, szenzorhálózatok
  •  számítógép-vezérelt műszerek
  •  orvosi méréstechnika és jelanalízis
  •  számítógéppel segített kísérletező oktatás