Publications

1997

Scientific publications

  1. U. Kaljulaid, O. Sokratova. tex2html_wrap_inline139-rings; their flat and projective representations. Invited talk at the Mal'cev Meeting, 3p. Novosibirsk,
  2. U. Kaljulaid, J. Penjam. On two algebraic constructions for automata. Research report CS92/97 of The Institute of Cybernetics, Tallinn, 1997, 27p.. 1997.
  3. J.Kiho, D.Brodski, A.Podlipski. Control Structure Transformations in the Program Multiviewer. Proc. 5-th Symposium on Programming Languages and Software Tools, June 7-8, 1997, Jyväskylä, Finland, pp. 61-71
  4. V.Palm, A.Jalas, J.Kiho, T.Tenno. A Computerized System for Storage, Processing and Prognostication of Data with Orientation Towards the Use of Correlation Equations. Organic Reactivity, vol.31, 1(104), 1997, pp. 111-133
  5. A.Jalas, J.Kiho, V.Palm, T.Tenno. Data Structure and Menu-Based Access of the Rate and Equilibrium Constants of Heterolytic Organic Reactions. Organic Reactivity, vol.31, 1(104), 1997, pp. 135-140
  6. J.Kiho. Algoritmid ja andmestruktuurid. Tartu Ülikool, 1997, 124 lk.
  7. J.Kiho. Väike Java leksikon. Tartu Ülikool, 1997, 36 lk.
  8. M. Koit. Implementing a dialog system. Proc. of international conference on Computational Linguistics and its applications "Dialogue 97". Moscow, 1997, 12 p.
  9. M. Koit. Modelling human-computer interaction. G. Grahne (ed.). SCAI-97 - Sixth Scandinavian Conference on Artificial Intelligence: Research announcements. Technical report C-1997-49, Dpt of Computer Science, University of Helsinki, 1997. 8 pp.
  10. A. Buldas, P. Laud, H. Lipmaa, J. Villemson. Ajatempli protokollid, turvavajadused ja tehnilised nõuded. Technical Report DO-LU-X-22-1297, Cybernetica Ltd, detsember 1997, 46 lk.
  11. H. Lipmaa. IP-tasemel krüpteerimine. Report DO-V-T-20-1297, Cybernetica Ltd, 1997
  12. V. Hanson, A. Buldas, T. Martens, H. Lipmaa, A. Ansper, V. Tulit. Infossteemide turve I, Küberneetika AS, 1997, 125 lk.
  13. K. Müürisep. Syntactic analysis of natural language using Constraint Grammar and corpus-based patterns. Papers of the Second Swiss-Estonian Student Workshop on Computational and Theoretical Linguistics. Zurich, 1997.
    Electronic publication.
  14. R. Prank, T. Õunapuu. Intelligent Tutoring System for Proof Building Exercises. New Media and Telematic Technologies for Education in Eastern European Countries. Twente University Press, Enschede (The Netherlands); pp 371-376.
  15. R. Prank Good diagnostics = adequate stepwise solution interface? Proc. International Conference on Technology in Mathematics Teaching. Koblenz, 1997, CD-publication. 10 p.
  16. T. Puolakainen. Inducing Constraint Grammar from corpora. Papers of the Second Swiss-Estonian Student workshop on Computational and Theoretical Linguistics. Zurich, 1997.
    Electronic publication.
  17. J. Nerbonne, L. Karttunen, E. Paskaleva, G. Proszeky, T. Roosmaa. Reading more into Foreign Languages. Proceedings of the Fifth Conference on Applied Natural Language Processing, Washington, 1997, pp. 830-835.
  18. G. Proszeky, T. Roosmaa. English for Estonians, Hungarians and Bulgarians. Language teaching and Language Technology conf. proc., Gröningen, 1997, 8p.
  19. T. Tamme, T. Tammet, R. Prank. Loogika. Mõtlemisest tõestamiseni. Tartu Ülikooli Kirjastus, 1997. (x+412 lk.)
  20. I. Sillitoe, M. Tombak, A. Isotamm. On the representation of Boolean functions using compact look-up tables via parallel and variable overlapping schemes. Proceedings of the Fifth Symposium on Programming Languages and Software Tools, Jyväskylä, Finland, 1997, pp. 96-105.
  21. E. Vainikko. Robust Additive Schwarz Methods - Parallel Implementations and Applications. Thesis for the degree of Doctor Scientarum, Department of Informatics, University of Bergen, March 1997, 117pp.
  22. P. E. Bjørstad, M. Dryja, E. Vainikko. Robust Additive Schwarz Methods on Unstructured Grids. Domain Decomposition in Science and Engineering, Proceedings from the 9th International Conference on Domain Decomposition Metods, Bergen, June 1996, John Wiley & Sons, 1997, 11p.
  23. T. Uustalu, V. Vene. A Cube of Proof Systems for the Intuitionistic Predicate tex2html_wrap_inline141-Logic (short conference version), Selected Papers 8th Nordic Workshop on Programming Theory, NWPT'96, Oslo, Norway, 4-6 Dec. 1996 (post-conference proceedings), Research Report 248, Dept. of Informatics, Univ. of Oslo,1997, pp 237-246.
  24. V. Vene, T. Uustalu, E. Tyugu. Logical Semantics of NUT Extended with Production Rules. Proceedings of the Fifth Symposium on Programming Languages and Software Tools, Jyväskylä, June 7-8, 1997, pp 145-154.
  25. T. Uustalu, V. Vene. A Cube of Proof Systems for the Intuitionistic Predicate tex2html_wrap_inline141-Logic (full version). Report R 97:15, Dept. of Teleinformatics, Royal Inst. of Techn., Stockholm, 1997.

Other publications

  1. K. Müürisep, Tiina Puolakainen. Arvuti õpib eesti keelt. Postimees, 27.03.1997.
  2. K. Müürisep, Tiina Puolakainen. Eesti keele automaatne süntaktiline analüüs kitsenduste grammatika abil. Arvutustehnika ja andmetöötlus 1, 1997, lk. 47-53, Arvutustehnika ja andmetöötlus 2, 1997, lk. 37-39, Arvutustehnika ja andmetöötlus 3, 1997, lk. 30-33, Arvutustehnika ja andmetöötlus 4, 1997, lk. 27-31.
  3. R. Prank. TH - olukorrast ja plaanidest “õpitarkvara alal. Õpetajate Leht, 11.04.1997, lk.12.
  4. T. Matiisen, T. Tamme. Agenditehnoloogia ülevaade. Arvutimaailm nr. 7 (1997), lk. 41-44; nr. 8 (1997), lk. 49-53.
  5. J. Villemson. Matemaatikaolümpiaadist. Õpetajate Leht, 25.04.1997, lk. 11.
  6. J. Villemson. Eestlased edukad ka matemaatikaolümpiaadil. Õpetajate Leht, 15.08.1997, lk 1.
  7. H. Lipmaa. Turvalised virtuaalsed privaatvõrgud. Arvutimaailm 2/97 lk. 6-7.

1996

Scientific publications

  1. Kaljulaid U. On two discrete models concerning structures of mathematics and languages; with English summary (in Estonian). Tartu-Tallinn:Acad. of Sci.Publ. (Schola Biotheoretica XXII). 1996, pp.84 -95.
  2. Kiho J., Oja A. Designing a program multiviewer. Proc. 7-th Nordic Workshop on Programming Theory, Nov.1-3, 1995, (in Programming Methodology Group Report 86, Jan. 1996). Sweden,Göteborg, pp. 165-184
  3. Jalas A., Kiho J., Palm V., Tenno T. A computerized system for the storage, processing and prognostication of data with orientation toward the use of correlation equations. The 7-th International Conference on Correlation Analysis in Chemistry. Japan:ACROS FUKUOKA, Sept. 1-6, 1996, p.18
  4. Kiho J. Qasi-Structured Programming Techniques. Abstracts of NWPT'96. Oslo, Dec. 3-5, 1996, p. 11.
  5. Koit M. Towards development of a model of dialogue (in Russian). Proc. of inter-national conference on Computational Linguistics and its applications "Dialogue 95". Moscow, 1996, 4 p.
  6. Koit M., Roosmaa T. Overview of the uses of the corpus of Estonian literary language: current possibilities. Estonian in the Changing World. University of Tartu, 1996, pp. 33-42.
  7. Koit M. Implementing a dialogue model on the computer. Estonian in the Changing World. University of Tartu, 1996, pp. 99-114.
  8. Koit M., Roosmaa T., Õim H. Teaching computational linguistics: one vision. Estonian in the Changing World. University of Tartu, 1996, pp. 115-122.
  9. Koit M. Developing and studying Computational Linguistics (in Estonian). Language and Literature, Tallinn, 1996, No. 3, pp. 171-178.
  10. Meriste M., Penjam J., Vene V. Models of Attributed Automata. Institute of Cybernetics, Estonian Academy of Sciences and Department of Computer Science (Res. Rep. CS90/96). Tallinn, 1996, 21 pp.
  11. Meriste M., Penjam J., Vene V. Attributed Automata Model of Computing. In: Abstracts of NWPT'96. Oslo, Dec 3-5, 1996, p. 21.
  12. Prank R. Towards Flexible programs For Exercises in Mathematics. Hypermedia in Tallinn'96. Proceedings. Tallinn Technical University, May 22-24, 1996, pp. 188-192.
  13. Prank R. Are we ready to teach Information Technology to the teachers? Tutkimuksia, 162, 33-42. Helsinkin yliopiston opettajankoulutuslaitos, 1996.
  14. Järvi T., Pöial J., Penjam J., Vain J. A Graduate School in Information Technology and Computer Science in Estonia:Feasibility Study.- Tempus CME-01011-95 Final Report. Tartu, October 1996, 10 pp.
  15. Tamme T. Logic book. Part I. Classical logic (in Estonian). MSc thesis. Tartu University, Tartu, 1996, 98 pp.
  16. Sillitoe I. P. W., Tombak M. A compact look-up table structure for low level binary image processing. Accepted by journal of Real-Time Imaging., 12 pp.
  17. Tombak M., Tuulmets L. Entrance exams in mathematics, University of Tartu, 1995. (textbook in Estonian). Tallinn:Koolibri Publishing Company, 1996, 56 p.
  18. Villems A. Computer Mediated Communication (CMC) as a tool in estonia Education. Hypermedia'96. Tallinn, 1996, pp. 231-235.
  19. Normak P., Rohtla H., Villems A. Information Technology in Estonian Teacher Training. Pan-European Collaborative Projects in Teacher Education. Cesky Krulov, July 1996, pp. 176-181.
  20. Barajas M., Villems A. Using telecommunication in tutoring teachers: case study from two Spanish and Estonian experiences. ATEE Conference Glasgow, Sept. 1996 (avaldamisel).
  21. Villems A. Andmebaasid. Relatsiooniline mudel. Magistritöö. (WWW-s).
  22. Villems A., Leego E. Infosüsteem Internetis:Kursuse materjalid.
  23. Barajas M., Donnelly P., MacCarney J., Rohtla A., Sancho J., Villems A., Winch J. TEMPUS PROJECT S-JEP 07256 Estonia: Information Technology in Teacher Education.- Pan-European Collaborative Projects in Teacher Education. Cesky Krulov, July 1996, p. 227.
  24. Uustalu T., Vene V. A Cube of Proof-systems for Intuitionistic Predicate-logic. In: Abstracts of NWPT'96. Oslo, Dec. 3-5, 1996, p. 21.

Other publications

  1. Kiho J. Applied informatics curriculum design.- Computers and Data Processing, 1996, No. 7, pp. 41-46 (in Estonian).
  2. Meriste M. Arvutuskeskuse muutuv roll. Arvutustehnika ja Andmetöötlus. Tallinn:Ventuur, 1996, nr. 4 ja 5, lk. 2 ja lk.2-8.
  3. Meriste M. Arvutiga reisile. Arvutustehnika ja Andmetöötlus. Tallinn:Ventuur, 1996, nr. 6, lk. 2-5.
  4. Müürisep K. Ülevaade üldistatud faasistruktuurigrammatikast. Arvutustehnika ja Andmetöötlus. Tallinn:Ventuur, 1996, nr. 1 ja 2, lk. 21-24 ja lk. 31-38.
  5. Müürisep K., Puolakainen T. Eesti keele automaatne süntaktiline analüüs kitsen-duste grammatika abil. Arvutustehnika ja Andmetöötlus. Tallinn:Ventuur, 1996, nr. 10 ja 11, lk. 25-27 ja lk. 23-28.
  6. Prank R. IOI'96: Eestile on kombeks kolm medalit korraga. Arvutustehnika ja Andmetöötlus. Tallinn:Ventuur, 1996, nr. 10,11,12, lk. 28-36, lk. 28-34, lk. 39-45.
  7. Pöial J. Problems of graduate education in the field of computer science and information technology (in Estonian). Computers and Data Processing, Tallinn, No. 4, 1996, 38 - 44.
  8. Truu A. Nupunurk. Arvutustehnika ja Andmetöötlus. Tallinn:Ventuur, 1996, nr. 1 lk. 41-45.
  9. Truu A. Nupunurk. Arvutustehnika ja Andmetöötlus. Tallinn:Ventuur, 1996, nr. 2 lk. 47-51.
  10. Truu A. Nupunurk. Arvutustehnika ja Andmetöötlus. Tallinn:Ventuur, 1996, nr. 3 lk. 46-49.
  11. Truu A. Nupunurk. Arvutustehnika ja Andmetöötlus. Tallinn:Ventuur, 1996, nr. 5 lk. 41-44.
  12. Truu A. Nupunurk. Arvutustehnika ja Andmetöötlus. Tallinn:Ventuur, 1996, nr. 6 lk. 42-47.
  13. Truu A. Nupunurk. Arvutustehnika ja Andmetöötlus. Tallinn:Ventuur, 1996, nr. 8 lk. 39-44.
  14. Truu A. Nupunurk. Arvutustehnika ja Andmetöötlus. Tallinn:Ventuur, 1996, nr. 9 lk. 41-46.
  15. Truu A. Nupunurk. Arvutustehnika ja Andmetöötlus. Tallinn:Ventuur, 1996, nr. 10 lk. 49-51.
  16. Truu A. Nupunurk. Arvutustehnika ja Andmetöötlus. Tallinn:Ventuur, 1996, nr. 11 lk. 45-50.
  17. Truu A. Nupunurk. Arvutustehnika ja Andmetöötlus. Tallinn:Ventuur, 1996, nr. 12 lk. 46-48.

1995

  1. Kaasik, Ü., Abel, M. Koolimatemaatika sõnastik. Kirj. "Avita", Tallinn, 1995, 191 lk.
  2. Kaasik, Ü., Abel, M. Eesti-inglise-vene matemaatikasõnastik. TÜ kirj., 384 lk.
  3. Kiho, J. Quasi-Structured Programs. Proc of the 4th Symposium on Programming Languages and Softwere Tools. Visegrad, Hungary, June 8 - 14, 1995. Pp 67 - 78.
  4. Kiho, J., Oja, A. Designing a Program Multiviewer. Abstracts of the Nordic Workshop on Programming Theory, Göteborg, Sweden, Nov 1-3, 1995, pp 24-25.
  5. Koit, M. User Modelling in a Dialogue System. Dialogue'95: Computer Linguistics and Applications. Proceedings of the Workshop, Moskow, 1995, 71, 1 lk.
  6. Meriste, M., Penjam, J. Attributed Models of Executable Specifications. Research Report CS80/95, Institute of Cybernetics, Tallinn 1995, 28 pp.
  7. Meriste, M., Penjam, J. Attributed Models of Executable Specifications. In Proc. of PLILP'95, Lect.Notes. Comp. Sci., no. 982, Springer -Verlag, 1995, pp 459-460.
  8. Meriste, M., Penjam, J. et al. Knowledge Based Software Techniques. Technical Report CS81/95, Dept. of Computer Science, Institute of Cybernetics, Tallinn 1995, 40 pp.
  9. Meriste, M., Vene, V. Attributed Automata and Language Recognizers. Proc. 4th Symposium on Programming Languages and Software Tools, Visegrad, Hungary,June 9-10, 1995 lk. 114 -121.
  10. Meriste, M., Penjam, J. et al. Knowledge Based Software Techniques. Technical Report CS83/95, Dept. of Computer Science, Institute of Cybernetics, Tallinn 1995, 45 pp.
  11. Prank, R. Computerised Exercises on Elementary Mathematical Logic. The fifth Nordic Conference on Computer Aided Learning, Stockholm, 1995, p. 22.
  12. Pöial, J., Tombak, M., Soo, V. A Forth-Oriented Compiler and its Applications. Forth Dimensions (ISSN-0884-0822), Oakland, California, USA, 1995 Vol XVI No 5, Jan-Feb 95, pp. 21-22.
  13. Pöial, J. Remarks on Language Extensibility. Proc. 4th Symposium on Programming Languages and Software Tools, Visegrad, Hungary, June 9-10, 1995, pp. 108 - 113.
  14. Tombak, M., Sillitoe, I.P. On the Superposition of Boolean Functions. Proceedings of the Fourth Symposium on Programming Languages and Software Tools, Budapest, 1995, 288-295.
  15. Bjorstad, P., Dryja, M., Vainikko, E. Domain Decomposition Method in Sciences and Engineering. In: Additive Schwarz Methods with No Subdomain Overlap and New Coarse Spaces: Proc from the 8th International Conference on Domain Decomposition Methods, May 1995, Bejing, pp xx-yy.
  16. Bjorstad, P., Moe, R., Olafsen, R., Vainikko, E. Domain Decomposition Technicues in Parallelization of the 3-dimensional FRONTSIM. Parallel Programming and Applications: Proc. Of the Workshop on Parallel Programming and Computation (ZEUS'95) and the 4th Nordic Transputer Conference (NTUG), Linköping University, pp. 92-110.
  17. Villems, A. Two e-mail based projects from Estonia. In From Smoke Signals to Satellite II. An International Survey of Distance Education and Teacher Training by ICEM - International Council for Educational Media. University of Central Florida, pp. 47 - 52.

1994

  1. Penjam,J., Tõugu,E., Kalja,A., Meriste,M., Kaljulaid,U. Knowledge Based Systems. Technical Report CS73/94, Computer Science Department Institute of Cybernetics, Estonian Academy of Sciences, Tallinn, 1994, 59 p.
  2. Kiho,J. Algoritmid ja andmestruktuurid. Tartu, TÜ kirjastus, 1994, 87 lk.
  3. Kiho,J. Self-Reducing Control Structures in the Sketchy Programming Environ- ment. Proc of Nordic Workshop on Programming Environment Reseach. Lund, June 1-3, 1994, 333-334.
  4. Juhola,M., Koski,A., Meriste,M. Structural Recognition of One-dimensional Patterns, Proceedings of the Conference on Artificial Intelligence Reseach in Finland, Turku, Finland August 1994, 95-113.
  5. Meriste,M. Attributed automata: some results and open problems. Research Report CS75/94, Institute of Cybernetics, Estonian Academy of Sciences and Department of Computer Science, University of Tartu, Tallinn, 1994.
  6. Roosmaa,T. Language Technology in Estonia, in Seminar Reports Language & Technology in Europe 2000, Riga,10-11. nov. 94.
  7. Isotamm,A., Jagomägi,J., Tombak,M., Türnpu,H. Programmipakett CHCOORD 1.10 kaartide matemaatiliste aluste ja geodeetiliste andmete teisendamiseks. Kaardikoja Teataja, Tartu, 1994, Nr. 1. 11-14.
  8. Pöial,J. A Bit of History. FORTH Dimensions (ISSN 0884-0822), Oakland, CA, USA, 1994, Vol. XVI, No 4, 17,20.
  9. Pöial,J. Algebraic Specification of Stack Effects. FORTH Dimensions, (ISSN 0884-0822), Oakland, CA, USA, 1994, Vol XVI No 4, 18-20.
  10. Pöial,J. Forth and Formal Language Theory. EuroForth'94, Winchester, UK, 1994, 47-52.

About this document ...

0-html_version

Mati Tombak
Reede, 06. Veebruar 1998. 13:45:33 EET