Informatikai Tanszékcsoport>>> Kutatás>>>

In English

Kutatás

  Projektek

  Beszámolók

  Együttműködés

  Szemináriumok

Az Informatikai Tanszékcsoporton folyó kutatások:

 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, EKG

 Alkalmazott 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