Tarkvaraosakonna sügisseminar Jäneda Õppe-ja Nõuandekeskuses 8. - 9. novembril 1996.a.

Participating in the Joint Seminar of Software and Control Systems Departments of IoC at Jäneda, 8. - 9. November, 1996.

Ettekanded on toodud esitamise järjekorras

• J. Villemson
  "Tippudel transitiivsetest permutatsioonigraafidest"
  
  
• P. Laud
  "About Coupled Context-Free Grammars"
  
  
• J. Penjam
  "Automaatide õppimisest"
  
  
• Ü. Kotta
  "Algebralised meetodid mittelineaarsete juhtimissüsteemide lineariseerimisel"
  
  
• I. Randvee
  "Seostatud alamsüsteemide oleku ja parameetrite adaptiivsest hindamisest" ("Adaptive Estimation Scheme for Linear Interconnected Subsystems")
  
  
• Ü. Nurges
  "Lineaarsete dünaamiliste süsteemide stabiilsuspiirkonna aproksimeerimine"
  
  
• T. Uustalu, V. Vene
  "A logical semantics of NUT's production rules"
  
  
• V. Kotkas
  "Marsruutimise algoritme"
  
  
• R. Valt
  "NUTi laiendused" ("NUT Extensions. Interoperability of Programming Languages")
  
  
• E. Meister, A. Eek
  "Eesti keele foneetiline andmebaas"
  
  
• K. Uustalu
  "Loomuliku keele töötlemisest"
  
  
• E. Meister, T. Altosaar
  "Kõnelejatuvastus"
  
  
• U. Kaljulaid, J. Penjam
  "Attribuutautomaatide põimik, fiiberkorrutis ning nende rakendused"
  
  
• A. Kalja
  "ATM-võrgu projekt" / "Tehisintellekt masinprojekteerimises"
  
  
• M. Kääramees
  "Kestvusarvutuse spetsifikatsioonide teisendamine ajaga automaadiks" ("Transforming Duration Calculus Implementables into Timed Automata")
  
  
• J. Vain
  "Hübriidsete süsteemide mudelite täpsustamisest" ("Refinement of hybrid system models")
  
  
• T. Riismaa
  Hierarhiate klassifitseerimisest"
  
  
• J. Penjam, M. Meriste, V. Vene
  "Automaatatribuutide teooria ja rakendused"
  
  
• H.-M. Haav
  "Galois võredel baseeruv objektide klassifitseerimise meetod" ("An Object Classifier Based on Galois Approach")
  
  
• E. Tõugu
  "Teadaolevad NUTi "rakendused""
  
  
• M. Veanes
  "Simultaneous rigid E-unification is undecidable"
  
  
• T. Uustalu, V. Vene
  "A cube of proof-systems for the intuitionistic predicate mu,nu-logic"
  
  
• A. Eek, E. Meister
  "Eesti keele häälikumallid"

Osales veel A.Järg