Arvutiteaduse instituudi seminar, kevad 2005

Seminari eesmärgiks on instituudi õppejõudude, teadurite ja doktorantide uuemate teaduspublikatsioonide (ja üldisemalt käsil oleva teadustöö) tutvustamine.
Toimumisaeg: neljapäeviti 15:00 -16:00 (peale kohvikoosolekut)
Koht: Liivi 2-317 (ATI puhkeruum)

Ajakava

Kuupäev ja aegTeema EttekandjaKoht
22.02
16:15 		Transforming System Views in Software Design Walter Dosch aud. 202
23.02
10:15 		Specification and Refinement of Interactive Systems Walter Dosch aud. 202
25.02
14:15 		Specification, Configuration, and Deployment in eHome Systems Ulrich Norbisrath
Adam Malik
Priit Salumaa
14.04 Tarkvaraarendusprotsessi täiustamise tulemuslikkuse hindamisest Uuno Puus
28.04 SSBDD-de arvu leidmisega ekvivalentsed ülesanded Ahti Peder
05.05 DNA mustrite kauguste mõju geenide avaldumisele Jelena Zaitseva
06.05
12:15 		Designated Verifier Signature Schemes: Attacks, New Security Notions and A New Construction Helger Lipmaa
12.05 Interaktiivse õppimise keskkonna T-algebra disaini põhimõtted Dmitri Lepp
Marina Issakova
19.05 Attempto Controlled English Kaarel Kaljurand
26.05 Keskkonna tundmaõppimise kasulikkusest ajakriitilistel mobiilsete robotite missioonidel Kristo Heero
30.05
14:15 		Voice over IP - fundaments, trends and impacts Arto Karila aud. 111
Skype: Telephony done the peer-to-peer way Ahti Heinla

Varasemad semestrid