Jelenlegi hely

Hírek, aktualitások

  • Probabilistic MSO Logic
    Előadó: Thomas Weidner (University of Leipzig)
    Cím: Probabilistic MSO Logic
    Dátum: 2014-09-24
    Időpont: 15:00-16:00
    Helyszín: Irinyi ép. III. lh. I. em. szeminárium terem
  • Vezetéknélküli FES mérőrendszer fejlesztése
    Előadó: Mingesz Róbert
    Cím: Vezetéknélküli FES mérőrendszer fejlesztése
    Dátum: 2014-09-23
    Időpont: 14:00-15:00
    Helyszín: Árpád tér 2. II. em. 220. sz.
  • Minimization of non-deterministic weighted tree automata
    Előadó: Andreas Maletti (University of Stuttgart)
    Cím: Minimization of non-deterministic weighted tree automata
    Dátum: 2012-12-11
    Időpont: 14:00-15:00
    Helyszín: Árpád tér 2. II. em. 220. sz.
  • Higher-order recursion schemes and their automata models
    Előadó: Arnaud Carayol (Universite' Paris Est)
    Cím: Higher-order recursion schemes and their automata models
    Dátum: 2012-12-04
    Időpont: 14:00-15:00
    Helyszín: Árpád tér 2. II. em. 220. sz.
  • Futasidobeli verifikacio szamitogepes rendszerekben
    Előadó: Majzik Istvan (BME)
    Cím: Futasidobeli verifikacio szamitogepes rendszerekben
    Dátum: 2012-11-27
    Időpont: 14:00-15:00
    Helyszín: Árpád tér 2. II. em. 220. sz.
  • Sok-karu rablo algoritmusok parhuzamositasa
    Előadó: Szorenyi Balazs
    Cím: Sok-karu rablo algoritmusok parhuzamositasa
    Dátum: 2012-11-20
    Időpont: 14:00-15:00
    Helyszín: Árpád tér 2. II. em. 220. sz.
  • Ekvivalens reprezentaciok kozti atirasok koltsegerol
    Előadó: Ivan Szabolcs
    Cím: Ekvivalens reprezentaciok kozti atirasok koltsegerol
    Dátum: 2012-11-13
    Időpont: 14:00-15:00
    Helyszín: Árpád tér 2. II. em. 220. sz.
  • Közel legrövidebb utak
    Előadó: Friedl Katalin (BME)
    Cím: Közel legrövidebb utak
    Dátum: 2012-11-06
    Időpont: 14:00-15:00
    Helyszín: Árpád tér 2. II. em. 220. sz.
  • Teljesen elosztott adatbanyaszat millios halozatok felett
    Előadó: Jelasity Mark
    Cím: Teljesen elosztott adatbanyaszat millios halozatok felett
    Dátum: 2012-10-30
    Időpont: 14:00-15:00
    Helyszín: Árpád tér 2. II. em. 220. sz.
  • Tipusos lambda-kalkulusok
    Előadó: Csornyei Zoltan (ELTE)
    Cím: Tipusos lambda-kalkulusok
    Dátum: 2012-10-16
    Időpont: 14:00-15:00
    Helyszín: Árpád tér 2. II. em. 220. sz.
  • Komplex számítási feladatok gyorsítása újrakonfigurálható áramkörökön
    Előadó: Nagy Zoltán (MTA SZTAKI)
    Cím: Komplex számítási feladatok gyorsítása újrakonfigurálható áramkörökön
    Dátum: 2012-10-09
    Időpont: 14:00-15:00
    Helyszín: Árpád tér 2. II. em. 220. sz.
  • A Knuth-Bendix kiegeszitesi eljaras
    Előadó: Vágvölgyi Sándor
    Cím: A Knuth-Bendix kiegeszitesi eljaras
    Dátum: 2012-10-02
    Időpont: 14:00-15:00
    Helyszín: Árpád tér 2. II. em. 220. sz.
  • On the weighted closure problem
    Előadó: Jacques Sakarovitch (CNRS / Telecom ParisTech)
    Cím: On the weighted closure problem
    Dátum: 2012-09-25
    Időpont: 14:00-15:00
    Helyszín: Árpád tér 2. II. em. 220. sz.
  • Quantum Turing automata
    Előadó: Bartha Miklos (Memorial University of Newfoundland St. John's, NL, Canada)
    Cím: Quantum Turing automata
    Dátum: 2012-09-18
    Időpont: 14:00-15:00
    Helyszín: Árpád tér 2. II. em. 220. sz.
  • Tudománymetria és a PageRank algoritmus
    Előadó: Prof. Dr. Csendes Tibor (SZTE)
    Cím: Tudománymetria és a PageRank algoritmus
    Dátum: 2013-05-14
    Időpont: 14:00-15:00
    Helyszín: Árpád tér 2. II. em. 220. sz.

Oldalak