Contents

• Introduction
  • General Information
  • Specialization of the Software Department
  • Chair of Theoretical Informatics
  • IT & CS Education Development Centre for Estonian Universities (CIDEC)
• Research Activites in 1996
  • Integration of Deductive and Inductive Synthesis of Programs
    J.Penjam)
    • References of the Section
  • An Object Classification Method for OODB
    (H.-M.Haav)
  • Algebraic Theory of Automata
    • Compositions of Attributed Automata
      (V.Vene, M.Meriste, J.Penjam)
      • Primitive Attributed Automata
      • Basic composition operators
      • Properties of Composition Operators
      • Conclusions
    • Constructions on Automata
      (U. Kaljulaid)
  • Applications of AI Techniques
    • AI in Mechanical Engineering Design
      (A.Kalja)
    • Natural Language Processing
      (K.Uustalu)
    • Digital Image Interpretation (Visual Languages Implementation)
      (A.Järg)
  • Development of the NUT Programming System
    (Mait, Rando ja Närep)
    • Development of the NUT programming system
      (M.Harf)
      • Extension of the automatic program synthesis
      • Implementation of the large object memory in the NUT system
    • Interoperability of KB Systems
      (R.Valt)
  • List of Publications
  • Defences of Dissertations
  • Graduate Studies
    • PhD Students
    • Master students
  • Participation in International Co-operation Programmes
  • Lectures Given by the Staff Members
    • Lecture courses
    • Lectures, Conference and Seminare Talks
  • Membership in Scientific Organisations
  • Visiting
  • Other activities of the members of the Department
  • Organisation of Scientific conferences, Meetings, Schools
    • Tarkvaraosakonna sügisseminar Jäneda Õppe-ja Nõuandekeskuses 8. - 9. novembril 1996.a.
    • Second International Baltic Workshop on DB and IS
    • Nordic-Baltic Summer School
    • Graduate Students Winter School at Pühajärve
    • Tarkvaraosakonna seminarid 1996.a.
  • Development of Computer System of the Software Department
    • Hardware
    • Software
• Conclusions
• Overview of the Software Department
  • Personnel
• About this document ...