Jelenlegi hely
Hírek, aktualitások
-
Minimization of non-deterministic weighted tree automata
Előadó: Andreas Maletti (University of Stuttgart)Cím: Minimization of non-deterministic weighted tree automataDátum: 2012-12-11Időpont: 14:00-15:00Helyszí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 modelsDátum: 2012-12-04Időpont: 14:00-15:00Helyszín: Árpád tér 2. II. em. 220. sz.
-
Futasidobeli verifikacio szamitogepes rendszerekben
Előadó: Majzik Istvan (BME)Cím: Futasidobeli verifikacio szamitogepes rendszerekbenDátum: 2012-11-27Időpont: 14:00-15:00Helyszín: Árpád tér 2. II. em. 220. sz.
-
Sok-karu rablo algoritmusok parhuzamositasa
Előadó: Szorenyi BalazsCím: Sok-karu rablo algoritmusok parhuzamositasaDátum: 2012-11-20Időpont: 14:00-15:00Helyszín: Árpád tér 2. II. em. 220. sz.
-
Ekvivalens reprezentaciok kozti atirasok koltsegerol
Előadó: Ivan SzabolcsCím: Ekvivalens reprezentaciok kozti atirasok koltsegerolDátum: 2012-11-13Időpont: 14:00-15:00Helyszí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 utakDátum: 2012-11-06Időpont: 14:00-15:00Helyszín: Árpád tér 2. II. em. 220. sz.
-
Teljesen elosztott adatbanyaszat millios halozatok felett
Előadó: Jelasity MarkCím: Teljesen elosztott adatbanyaszat millios halozatok felettDátum: 2012-10-30Időpont: 14:00-15:00Helyszín: Árpád tér 2. II. em. 220. sz.
-
Tipusos lambda-kalkulusok
Előadó: Csornyei Zoltan (ELTE)Cím: Tipusos lambda-kalkulusokDátum: 2012-10-16Időpont: 14:00-15:00Helyszí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önDátum: 2012-10-09Időpont: 14:00-15:00Helyszín: Árpád tér 2. II. em. 220. sz.
-
A Knuth-Bendix kiegeszitesi eljaras
Előadó: Vágvölgyi SándorCím: A Knuth-Bendix kiegeszitesi eljarasDátum: 2012-10-02Időpont: 14:00-15:00Helyszí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 problemDátum: 2012-09-25Időpont: 14:00-15:00Helyszí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 automataDátum: 2012-09-18Időpont: 14:00-15:00Helyszí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 algoritmusDátum: 2013-05-14Időpont: 14:00-15:00Helyszín: Árpád tér 2. II. em. 220. sz.
-
Nem-logikus döntések haszna avagy a gépi intelligencia matematikája
Előadó: Dr. Dombi József (SZTE)Cím: Nem-logikus döntések haszna avagy a gépi intelligencia matematikájaDátum: 2013-05-07Időpont: 14:00-15:00Helyszín: Árpád tér 2. II. em. 220. sz.
-
Konfliktusok és feloldásuk a Wikipédiában: adatelelemzés es modellezés
Előadó: Prof. Dr. Kertész János (BME)Cím: Konfliktusok és feloldásuk a Wikipédiában: adatelelemzés es modellezésDátum: 2013-04-30Időpont: 14:00-15:00Helyszín: Árpád tér 2. II. em. 220. sz.