PUBLIKATSIOONID 2007 - Tallinna Tehnikaülikooli raamatukogu

INFOTEHNOLOOGIA TEADUSKOND* Udal, A., Velmre, E. Investigation of charge carrier lifetime temperaturedependencein 4H-SiC diodes // Silicon carbide and related materials 2006. [S.l.] :Trans Tech Publications, 2007. p. 375-378. (Materials Science Forum ; 556/557).Uustalu, T., Vene, V. Comonadic functional attribute evaluation // Trends infunctional programming. Volume 6. Bristol : Intellect, 2007. p. 145-162.Uustalu, T. An Estonian Research Excellence Centre in Gomputer Science // Estonia :member state of NATO and the EU : international business handbook 2007–2008.Tallinn : Euroinformer, [2007]. p. 182-190.Uustalu, T. Arvutiteaduse teooria Rõuges // A & A (2007) 2, lk. 50-51.* Vain, J., Raiend, K., Kull, A., Ernits, J.-P. Synthesis of test purpose directedreactive planning tester for nondeterministic systems (extended abstracts) //NWTP'07/FLACOS'07 Workshop Proceedings : Oslo, 10–12 October 2007. Oslo :University of Oslo, 2007. p. 55-57.Vain, J., Raiend, K., Kull, A., Ernits, J.-P. Synthesis of test purpose directed reactiveplanning tester for nondeterministic systems // 22 nd IEEE/ACM InternationalConference on Automated Software Engineering (ASE 2007) : November 5–9, 2007,Atlanta, Georgia, USA. [S.l.] : ACM Press, 2007. p. 363-372.Vain, J. Robotite parved // Horisont (2007) 3, lk. 46-47.* Vainik, E., Kirt, T. What can self-organizing maps reveal about the structure ofemotion concepts : an Estonian case study // First SALC Conference : FirstConference of the Swedish Association for Language and Cognition (SALC) : LundUniversity, Nov. 29–Dec. 1, 2007 : book of abstracts. Lund : Lund University, 2007.p. 106-107.Vapper, V. Sõltumatute ketaste liiasmassiiv (RAID) // A & A (2007) 5, lk. 28-37.* Vassiljev, S., Tepandi, J. Stabilisation of aggressive population in simulationenvironment // Proceedings of the IADIS Multi Conference on Computer Science andInformation Systems. Part 1, Intelligent Systems and Agents. [S.l.] : IADIS Press,2007. p. 189-194.Veanes, M., Ernits, J., Campbell, C. State isomorphism in model programs withabstract data structures // Formal Techniques for Networked and Distributed Systems– FORTE 2007 : 27 th IFIP WG 6.1 International Conference : Tallinn, Estonia, June27–29, 2007 : proceedings. Berlin : Springer, 2007. p. 112-127. (Lecture notes incomputer science ; 4574).Veanes, M., Ernits, J.-P., Campbell, C. State isomorphism in model programs withabstract data structures // Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDKteise aastakonverentsi artiklite kogumik : 11.–12. mai 2007, Viinistu kunstimuuseum.[Tallinn : Tallinna Tehnikaülikool, 2007]. lk. 43-46.Velmre, E. Thomas Johann Seebeck (1770–1831) // Proceedings of the EstonianAcademy of Sciences. Engineering. 13 (2007) 4, p. 276-282.Viilukas, T., Raik, J. Using test pattern generation tool decider in hardwareverification // Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK teise48