Teadus- ja arendustegevuse aastaaruanne

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.