Tietotekniikan tutkijakoulujen väitöskirjat ja lisensiaatintutkimukset vuonna 1994 Tähän raporttiin on koottu tiedot tietotekniikan tutkijakouluihin kuuluvilla laitoksilla hyväksytyistä väitöskirjoista ja lisensiaatintutkimuksista: COMAS: Jyväskylän yliopisto: tietojenkäsittelytieteiden laitos, tieteellisen laskennan laboratorio HeCSE: Helsingin yliopisto: tietojenkäsittelytieteen laitos; Teknillinen korkeakoulu: digitaalitekniikan laitos, informaatiotekniikan laboratorio, tietojenkäsittelyopin laboratorio ECSE: Joensuun yliopisto: tietojenkäsittelytieteen laitos; Kuopion yliopisto: tietojenkäsittelytieteen ja sovelletun matematiikan laitos; Lappeenrannan teknillinen korkeakoulu: tietotekniikan osasto TISE: Tampereen teknillinen korkeakoulu: tietotekniikan osasto; Tampereen yliopisto: tietojenkäsittelytieteen laitos TUCS: Turun kauppakorkeakoulu: tietojärjestelmätiede; Turun yliopisto: matemaattisten tieteiden laitos osittain; Åbo Akademi: IAMSR, institutionen för informationsbehandling Työt on valittu mukaan hallinnollisin kriteerein, ei tieteenalan mukaan. Tutkijakoulujen välillä on huomattavia eroja. Väitöskirjat: Helsingin yliopisto Eloranta Jaana: Minimal Transition Systems with Respect to Divergence Preserving Behavioural Equivalences Jyväskylän yliopisto Taivalsaari Antero: A Critical View of Inheritance and Reusability on Object-oriented Programming Kaisa Miettinen: On the Methodology of Multiobjective Optimization with Applications Markku Miettinen: Approximation of Hemivariational Inequalities and Optimal Control Problems Jukka-Pekka Santanen: On Bounding Approach for Timing Simulation of Digital Integrated Circuits Pasi Tarvainen: Block Relaxation Methods for Algebraic Obstacle Problems with M-Matrices: Theory and Applications Kuopion yliopisto Grönfors Tapio: Novel Methods of Syntactic Pattern Recognition for Peak Detection of Auditory Brainstream Responses Putkonen Anne: A Methodology for Supporting Analysis, Design and Maintenance of Object-oriented Systems Lappeenrannan teknillinen korkeakoulu Heikkonen Jukka: Subsymbolic Representations, Self-Organizing Maps and Object Motion Learning Koskinen Jukka: Knapsack Sets for Cryptography Kälviäinen Heikki: Randomized Hough Transform: New Extensions Turunen Esko: A Mathematical Study of Fuzzy Logic; an Algebraic Approach Tampereen teknillinen korkeakoulu Sun Tong: Design of Order Statistic Based Filters for Image Processing Applications Kuosmanen Pauli: Statistical Analysis and Optimization of Stack Filters Nieminen Hannu: Analysis of musculo-skeletal loading using eletromyography and biomechanical modelling Egiazarian Karen: Efficient Algorithms for Digital Filtering and Pattern Recognition Yang Ruikang: Weighted Median Filters: Analysis, Optimal Design and Applications Loula Pekka: Nonlinear Methods of Processing Physiological Signals in Anesthesia and Vigilance Karema Teppo: Oversampling A/D and D/A converters Using One-bit Sigma-Delta Modulation Techniques Nieweglowski Jacek: Signal Processing Algorithms for Image Communication Systems Nurmi Jari: Application Specific Digital Signal Processors: Architecture and Transferable Layout Design Tampereen yliopisto Heiskanen Ari: Issues and Factors Affecting the Success and Failure of a Students Record System Development Process Teknillinen korkeakoulu Joutsensalo Jyrki: Conventional and Neural Methods for Estimating Principal Component Type Subspaces with Application to Sinusoidal Frequency Estimation Kangas Jari: On the Analysis of Pattern Sequences by Self-Organizing Maps Koivunen Marja-Riitta: ActorTools: Tools for User Interface Modeling, Development, and Analysis Korpela Mikko: Nigerian Practice in Computer Systems Development: A Multidisiplinary Framework Applied to Health Informatics Södergrd Caj: Design and Development of a Set of Colour Image Systems for Graphic Arts Production Tyrväinen Pasi: On Domain Modelling for Technical Documentation Retrieval Turun yliopisto Fränti Pasi: Block Coding in Image Compression Knuutila Timo: On the Inductive Inference of Regular String and Tree Languages Renvall Ari: Cryptographic Protocols and Techniques for Communication Lisensiaatintutkimukset Helsingin yliopisto Ahonen Helena: Generating Grammars for Structures Documents Using Grammatical Inference Methods Joensuun yliopisto Forsell Martti: Design and Analysis of Some Chip Level Parallel Architectures Jyväskylän yliopisto Halttunen Veikko: Organizational perspectives on strategic information systems planning: Towards a better understanding of organizational contingencies Kelly Steven: Towards Better MetaCASE and CAME Environments Kyppö Jorma: Verkkojen ja karttojen upottaminen ei-konvekseille pinnoille Marttiin Pentti: Methodology Engineering in CASE Shells: design issues and current practice Rossi Matti: CAME Tools for Meta-Edit Tolvanen Juha-Pekka: Methodology Engineering in CASE: Towards an Incremental Approach Jari Toivanen: Fictitious Domain Method Applied to Shape Optimization Tampereen yliopisto Hyrskykari Aulikki: Algoritmien animaatiokehittimen suunnittelu ja toteutus. Wikström Carl-Erik: An Investigation of Factors Influencing the Success of Customer-Oriented Marketing Information Systems Tampereen teknillinen korkeakoulu Rinne Jukka: Performance and Analysis of OFDM for Digital TV Broadcasting System Soininen Riku: Digital Image Resizing Techniques Lampinen Harri: Simulation and Modeling Methods Utilizing Modern Analog Simulators Trast Ismo: Kuplivaan leijukerrostekniikkaan perustuvann kattilan säädöt Aalto Ari: Tiedonhallintaratkaisut oliokeskeisessä sovelluksessa Kellomäki Pertti: Analysis of a Stabilizing Protocol: A Case Study in Reasoning about Action Systems Teknillinen korkeakoulu Janhunen Tomi: Investigations on cautious autoepistemic reasoning Kurimo Mikko: Application of Learning Vector Quantization and Self-Organizing Maps for training continuous density and semi-continuous Markov models Lappalainen Vesa: Paikkatiedon analysointitoiminnot, sotilaallinen tarkastelu Pollari-Malmi Kerttu: Batch Updates and Concurrency Control in Disk-Based Indices Valkealahti Kimmo: Neural networks in multispectral satellite image classification Ylönen Tatu: Shadowing Paging is Feasible Turun kauppakorkeakoulu Auer Timo: Assessment of IS-related Organizational Maturity Kuisma Ismo: Ohjelmistokaupan ongelmat, ostajan ja myyjän vuorovaikutus systeemityöhankkeissa Leino Timo: Yrityksen tietohallintostrategian suunnitteluprosessia tukevan päätöstukijärjestelmän rakentaminen Sirkemaa Seppo: Laajan tietojärjestelmän rakentaminen yksikkökohtaisista järjestelmistä: onnistumiseen vaikuttavat tekijät Turun yliopisto Koski Antti: On structural recognition methods applied to ECG analysis Käkölä Timo: The role of individual and organizational learning in IT-enabled and -conditioned organizational change: a structuration theoretic analysis Lipponen Marjo: Primality in the Post Correspondence Problem: Associated Words and Languages Jurvanen Eija: On Recognizing Trees Deterministically from Root to Frontier Åbo Akademi Aaltonen Jaana: Financial Risk Classification of Finnish Listed Companies by Accounting Data Långbacka Thomas: Tools for developing and verifying distributed programs Viitanen Sami: Parallel global optimization Tutkijakouluittain tutkinnot jakautuvat seuraavasti: Tutkijakoulu Lisensiaatteja Tohtoreita COMAS 7 5 ECSE 1 6 HECSE 7 7 TISE 8 10 TUCS 11 3 yhteensä 34 31