Teadus- ja arendustegevuse aastaaruanne


Tulemuste publitseerimine Teema 0321769s01



Yüklə 1,02 Mb.
səhifə7/23
tarix02.11.2017
ölçüsü1,02 Mb.
#27648
1   2   3   4   5   6   7   8   9   10   ...   23

Tulemuste publitseerimine

Teema 0321769s01

Raamatud, kogumikud ja ajakirjade erinumbrid


  1. Lehiste, I., Teras, P., Help, T., Lippus, P., Meister, E., Pajusalu, K., Viitso, T.-R. Meadow Mari Prosody. Linguistica Uralica, Supplementary Series, Vol.2. Tallinn Teaduste Akadeemia Kirjastus, 2005, 141 pp.

  2. Advances in databases and information systems : 9th East European Conference, ADBIS 2005, Tallinn, Estonia, September 12-15, 2005, proceedings / Eds. J. Eder, H.-M. Haav, A. Kalja , J. Penjam. - New York : Springer, 2005. 391 pp. - (Lecture notes in computer science ; 3631).

  3. Advances in Databases and Information Systems, Proceedings of Ninth East European Conference ADBIS 2005, J. Eder, H.-M. Haav, A. Kalja, J. Penjam (Eds.), Tallinn University of Technology Press, 2005, 263 pp.

  4. Advanced Functional Programming: 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures / Eds. V. Vene, T. Uustalu. - Berlin : Springer, 2005. 357 p. - (Lecture Notes in Computer Science ; 3622).

  5. The Second Baltic Conference on Human Language Technologies : proceedings, April 4-5, 2005, Tallinn, Estonia / Eds. M. Langemets, P. Penjam. - Tallinn : Institute of Cybernetics, 2005. 383 p.

  6. Proceedings of the Ninth Symposium on Programming Languages and Software Tools : Tartu, Estonia, August 13-14, 2005 / Eds. V. Vene, M. Meriste. Tartu : Tartu University Press, 2005, 234 pp.

Artiklid ajakirjades ja kogumikes


  1. Abel, A., Matthes, R., Uustalu, T. Iteration and coiteration schemes for higher-order and nested datatypes. - Theoretical Computer Science, 2005, 333, 1-2, 3-66.

  2. Alumäe, T. Phonological and morphological modeling in large vocabulary continuous Estonian speech recognition system. - In: The Second Baltic Conference on Human Language Technologies : proceedings, April 4-5, 2005, Tallinn, Estonia / Eds. M. Langements, P. Penjam. Tallinn : Institute of Cybernetics (Tallinn University of Technology); Institute of the Estonian Language, 2005, 89-94.

  3. Alumäe, T. Using adaptive stochastic morphosyntactic language model for two-pass large vocabulary Estonian speech recognition. - In: SPECOM 2005 : 10th International Conference Speech and Computer, 17-19 October, 2005, Patras, Greece, Proceedings / Eds. G. Kokkinakis [et al.]. Patras : University of Patras, 2005, 515-518.

  4. Barthe, G., Rezk, T., Saabas, A. Proof obligations preserving compilation : extended abstract. - In: Proceedings of the 3rd International Workshop on Formal Aspects in Security and Trust (FAST2005)held in Newcastle upon Tyne, 18-19 July 2005 / Eds. T. Dimitrakos [et al.] : Istituto di Informatica e Telematica, 2005, 109-123. (IIT Technical Report TR-13/2005).

  5. Beringer, L., Hofmann, M., Momigliano, A., and Shkaravska, O. Automatic Certification of Heap Consumption, In Logic for Programming, Artificial Intelligence, and Reasoning, Springer, 2005, 3452, 347-362.

  6. Eppendahl, A., Maigre, R. Mobile camera parameter recovery in an unknown environment without point features. - In: Proceedings 2005 IEEE International Symposium on Computational Intelligence in Robotics and Automation CIRA 2005 : June 27-30, 2005, Espoo, Finland. Piscataway, NJ : IEEE, 2005, 279-283.

  7. Ghani, N., Johann, P., Uustalu, T., Vene, V. Monadic augment and generalised short cut fusion. - In: ICFP '05. Proceedings of the Tenth ACM SIGPLAN International Conference on Functional Programming, September 26-28, 2005, Tallinn, Estonia. New York : ACM Press, 2005, 294-305.

  8. Ghani, N., Johann, P., Uustalu, T., Vene, V. Monadic augment and generalised short cut fusion. - ACM SIGPLAN Notices, 2005, 40, 9, 294-305.

  9. Grigorenko, P., Saabas, A., Tyugu, E. COCOVILA - compiler-compiler for visual languages. - Electronic Notes in Theoretical Computer Science, 2005, 141, 4, 137-142.

  10. Grigorenko, P., Saabas, A., Tyugu, E. Visual tool for generative programming. - In: Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering ESEC/FSE-13. New York : ACM Press, 2005, 249-252.

  11. Grigorenko, P., Saabas, A., Tyugu, E. Visual tool for generative programming. - ACM SIGSOFT Software Engineering Notes, 2005, 30, 5, pp. 249-252

  12. Grossschmidt, G., Harf, M., Djurovic, M. Modelling and simulation of steady-state conditions of a hydraulic load-sensing system. - In: Hydraulic and Pneumatics '2005 : Problems and development tendencies in the beginning decade of the 21st Century, Wroclaw, 17-19 maja 2005, 2005, 439-447.

  13. Grossschmidt, G., Harf, M. Modelling and simulation of hydraulic load-sensing systems using object-oriented programming environment. - In: Simulation in Wider Europe : 19th European Conference on Modelling and Simulatiom ECMS 2005, June 1-4, 2005, Riga, Latvia / Eds. Y. Merkuryev [et al.]. Riga : Riga Technical University, 2005, 605-609.

  14. Haav, H.-M. An ontology learning and reasoning framework. - In: EJC 2005 : Proceedings of the 15th European-Japanese Conference on Information Modelling and Knowledge Bases : May 16-19, 2005, Tallinn / Eds. Y. Kiyoki [et al.]. Tallinn : Tallinn University of Technology Press, 2005, 198-205.

  15. Haav, H.-M. Combining FCA and a logic language for ontology representations. - In: Databases and Information Systems : Selected Papers from Sixth International Baltic Conference DB&IS'2004 / Eds. J. Barzdins, A. Caplinskas. Amsterdam : IOS Press, 2005, 259-270. (Frontiers in artificial intelligence and applications; 118).

  16. Kalja, A., Odrats, I. Data exchange layer X-Road in use for the third year. - In: Information Technology in Public Administration of Estonia : Yearbook 2004 / Ed. I. Odrats. Tallinn : Estonian Informatics Centre, 2005, 19-24.

  17. Kalja, A., Reitsakas, A., Saard, N.  eGovernment in Estonia: best practices. - In: Technology Management: A Unifying Discipline for Melting the Boundaries / Eds. T. R. Anderson [et al.]. Piscataway, NJ : IEEE Operations Center, 2005, 500-506.

  18. Kotkas, V. Structural synthesis of programs with preconditions. - In: Proceedings of the Ninth Symposium on Programming Languages and Software Tools : Tartu, Estonia, August 13-14, 2005 / Eds. V. Vene, M. Meriste. Tartu : Tartu University Press, 2005, 70-81.

  19. Laud, P., Uustalu, T., Vene, V. Type systems equivalent to dataflow analyses for imperative languages. - In: Proc. of 3rd APPSEM II Workshop, APPSEM'05 (Frauenchiemsee, Sept. 2005) / Eds. M. Hofmann, H.-W. Loidl. München : Ludwig-Maximilians-Univ., 2005, 12 pp.

  20. Laud, P., Vene, V. A type system for computationally secure information flow. - In: Fundamentals of Computation Theory : 15th International Symposium, FCT 2005, Lübeck, Germany, August 17-20, 2005, Proceedings / Eds. M. Liskiewicz, R. Reischuk. Berlin : Springer, 2005, 365-377. (Lecture Notes in Computer Science ; 3623).

  21. Meister, L., Meister, E. Acoustic correlates of Russian accent in Estonian. - In: SPECOM 2005 : 10th International Conference Speech and Computer, 17-19 October, 2005, Patras, Greece, Proceedings / Eds. G. Kokkinakis [et al.]. Patras : University of Patras, 2005, 437-440.

  22. Robal, T., Kalja, A. e-EDU - an information system for e-learning services. - In: Databases and Information Systems : Selected Papers from Sixth International Baltic Conference DB&IS'2004 / Eds. J. Barzdins, A. Caplinskas. Amsterdam : IOS Press, 2005, 288-298. (Frontiers in artificial intelligence and applications; 118).

  23. Sanko, J. Evolutionary program construction. - In: MENDEL 2005 : 11th International Conference on Soft Computing, June 15-17, 2005, Brno, Czech Republic / Eds. M. Radomil, O. Pavel. Brno : Brno University of Technology, 2005, 73-78.

  24. Shkaravska, O. Types with semantics: soundness proof assistant. - In: MERLIN '05 : Proceedings of the Third ACM SIGPLAN Workshop on MEchanized Reasoning about Languages with variable biNding, September 30, 2005, Tallinn, Estonia / Eds. A.Momigliano, R. Pollack. New York : ACM Press, 2005, 50-57.

  25. Shkaravska, O. Amortized heap-space analysis for first-order functional programs. - In: Sixth Symposium on Trends in Functional Programming, TFP 2005 : Tallinn, Estonia, 23-24 September 2005, proceedings / Ed. M. van Eekelen. Tallinn : Institute of Cybernetics at Tallinn Technical University, 2005, 281-296.

  26. Tiidemann, T., Kalja, A. TRIZ and EXPERTPRIZ type AI software in engineering and education. - In: TRIZ Future 2005 [World Conference] : November 16 to 18, 2005, Graz, Austria / Ed. J. Jantschgi. Graz : Leykam, 2005, 175-181.

  27. Tyugu, E. Describing knowledge architectures. - In: EJC 2005. Proceedings of the 15th European-Japanese Conference on Information Modelling and Knowledge Bases : May 16-19, 2005, Tallinn / Eds. Y. Kiyoki [et al.]. Tallinn : Tallinn University of Technology Press, 2005, 356-361.

  28. Tyugu, E., Matskin, M. Logical instruments for dynamic web service composition. - In: Proc. Intl. Symposium on Web Services and Applications ISWS'05. Las Vegas: CSREA Press, 2005, 87-93.

  29. Tyugu, E. Metainterfaces support structural and object-oriented software composition. - In: Proc. Conference on Software Engineering Research and Practice SERP'05. Las Vegas : CSREA Press, 2005, 189-192.

  30. Tyugu, E. Understanding knowledge architectures. - Knowledge-Based Systems, 2005. (In press)

  31. Uustalu, T., Vene, V. Signals and comonads. - Journal of Universal Computer Science, 2005, 11, 7, 1310-1326.

  32. Uustalu, T., Vene, V. Signals and comonads. - In: Proc. of 9th Brazilian Symposium on Programming Languages, SBLP'05, Recife,Brazil, May 23-25, 2005) / Eds. M. A. Musicante, R. M. F. Lima. Recife : Univ. de Pernambuco, 2005, 215-228.

  33. Uustalu, T., Vene, V. Comonadic functional attribute evaluation. - In: Sixth Symposium on Trends in Functional Programming,TFP 2005 : Tallinn,Estonia,23-24 September 2005 : Proceedings / Ed. M. van Eekelen. Tallinn : Institute of Cybernetics at Tallinn Technical University, 2005, 33-43.

  34. Uustalu, T., Vene, V. The essence of dataflow programming (short version). - In: Programming Languages and Systems : Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings / Ed. K. Yi. Berlin : Springer, 2005, 2-18. (Lecture Notes in Computer Science ; 3780).

  35. Võhandu, L., Alumäe, T., Viikmäe, B., Sirts, K. Estonian speech-driven PC-interface for disabled persons. - n: The Second Baltic Conference on Human Language Technologies : proceedings, April 4-5, 2005, Tallinn, Estonia / Eds. M. Langements, P. Penjam. Tallinn : Institute of Cybernetics (Tallinn University of Technology); Institute of the Estonian Language, 2005, 359-364.

Teesid


  1. Saabas, A., Uustalu, T. Compositional type systems for stack-based low-level languages (extended abstract). - In: Proc. of 3rd APPSEM II Workshop, APPSEM'05 (Frauenchiemsee, Sept. 2005) / Eds. M. Hofmann, H.-W. Loidl. München : Ludwig-Maximilians-Univ., 2005, 2 pp.

  2. Uustalu, T. Partiality via coinductive types (abstract). - Oberwolfach Reports: European Mathematical Society, 2005, 2, 807.

Yüklə 1,02 Mb.

Dostları ilə paylaş:
1   2   3   4   5   6   7   8   9   10   ...   23




Verilənlər bazası müəlliflik hüququ ilə müdafiə olunur ©muhaz.org 2024
rəhbərliyinə müraciət

gir | qeydiyyatdan keç
    Ana səhifə


yükləyin