2012 |
|
261 | Sami Virpioja. Learning Constructions of Natural Language: Statistical Models and Evaluations. PhD thesis, Aalto University, December 2012. |
|
|
260 | Tommi Vatanen. Missing value imputation using subspace methods with applications on survey data. Master's thesis, Aalto University, Espoo, Finland, 2012. |
|
2011 |
|
259 | Jussi Gillberg. Targeted learning by imposing asymmetric sparsity. Master's thesis, Aalto University, Department of Information and Computer Science, June 2011. |
|
|
258 | Peter Smit. Stacked transformations for foreign accented speech recognition. Master's thesis, Aalto University School of Science, May 2011. |
|
|
257 | Mika Sulkava. Nonidentiteettiongelma: Henkilöön vaikuttaminen ja hyvinvoinnin raja-arvot. Bachelor's thesis, University of Helsinki, Finland, February 2011. |
|
|
256 | Billy Bob Brumley. Covert Timing Channels, Caching, and Cryptography. Doctoral dissertation, Aalto University School of Science, 2011. |
|
|
255 | Jori Dubrovin. Efficient Symbolic Model Checking of Concurrent Systems. PhD thesis, Aalto University School of Science, 2011. |
|
|
254 | KyungHyun Cho. Improved Learning Algorithms for Restricted Boltzmann Machines. Master's thesis, Aalto University School of Science, 2011. |
|
2010 |
|
253 | Leo Lahti. Probabilistic Analysis of the Human Transcriptome with Side Information. Diss, AALTO-ICS, ESPOO, December 2010. |
|
|
252 | Sakari Ellonen. Synthesis of Moore machines from LTL specifications. Master's thesis, Aalto University, School of Science and Technology, Faculty of Information and Natural Sciences, Espoo, Finland, Dec 2010. |
|
|
251 | Antti Sorjamaa. Methodologies for Time Series Prediction and Missing Value Imputation. PhD thesis, Aalto University School of Science and Technology, November 2010. |
|
|
250 | Yoan Miche. Developing Fast Machine Learning Techniques with Applications to Steganalysis Problems. PhD thesis, Aalto University School of Science and Technology (Espoo, Finland) and INPG (Grenoble, France), November 2010. |
|
|
249 | Jaakko Viinikanoja. Locally linear robust bayesian dependency modeling of co-occurrence data. Master's thesis, Aalto University, School of Science and Technology, Department of Information and Computer Science, August 2010. |
|
|
248 | Ilari Nieminen. Tag recommendation in folksonomies. Master's thesis, Aalto University School of Science and Technology, Faculty of Information and Natural Sciences, Department of Information and Computer Science, Espoo, Finland, June 2010. |
|
|
247 | Paul Wagner. On the stability of reinforcement learning under partial observability and generalizing representations. Master's thesis, Aalto University School of Science and Technology, Faculty of Information and Natural Sciences, Department of Information and Computer Science, Espoo, Finland, June 2010. |
|
|
246 | Seppo Virtanen. Bayesian exponential family projections. Master's thesis, Aalto University School of Science and Technology, Department of Information and Computer Science, June 2010. |
|
|
245 | Miia Hermelin. Multidimensional Linear Cryptanalysis. PhD thesis, Aalto University School of Science and Technology, 2010. |
|
|
244 | Prem Raj Adhikari. Mixture modelling of multiresolution 0-1 data. Master's thesis, Aalto University School of Science and Technology, PO Box 15400, FI-00076 Aalto, Espoo, Finland, 2010. |
|
|
243 | Reima Karhila. Cross-lingual acoustic model adaptation for speaker-independent speech recognition. Master's thesis, Aalto University, 2010. |
|
|
242 | André Schumacher. Distributed Optimization Algorithms for Multihop Wireless Networks. PhD thesis, Aalto University School of Science and Technology, 2010. |
|
|
241 | Maija Nevala. Discovering functional gene-microRNA modules with probabilistic methods. Master's thesis, Aalto University School of Science and Technology, Department of Information and Computer Science, 2010. |
|
2009 |
|
240 | Luis Gabriel De Alba Rivera. Modeling and profiling people's way of living: A data mining approach to a health survey. Master's thesis, Helsinki University of Technology, December 2009. |
|
|
239 | Jaakko Luttinen. Gaussian-process factor analysis for modeling spatio-temporal data. Master's thesis, Helsinki University of Technology, December 2009. |
|
|
238 | Emil Eirola. Variable selection with the delta test in theory and practice. Master's thesis, Helsinki University of Technology, November 2009. |
|
|
237 | Tommi Suvitaival. Bayesian two-way analysis of high-dimensional collinear metabolomics data. Master's thesis, Helsinki University of Technology, Department of Information and Computer Science, October 2009. |
|
|
236 | Juuso Parkkinen. Generative probabilistic models of biological and social network data. Master's thesis, Helsinki University of Technology, Department of Information and Computer Science, September 2009. |
|
|
235 | Klaus Venesmaa. Influence of standards IEEE-754 and IEEE-854 and floating point's precision to data mining and machine learning methods. Master's thesis, Helsinki University of Technology, May 2009. |
|
|
234 | Federico Montesino Pouzols. Mining and Control of Network Traffic by Computational Intelligence. Doctoral dissertation, University of Seville, Seville, Spain, April 2009. |
|
|
233 | Tommi Syrjänen. Logic Programs and Cardinality Constraints: Theory and Practice. Doctoral dissertation, TKK Dissertations in Information and Computer Science TKK-ICS-D12, Helsinki University of Technology, Faculty of Information and Natural Sciences, Department of Information and Computer Science, Espoo, Finland, 2009. |
|
|
232 | Antti E.J. Hyvärinen. Approaches to Grid-Based SAT Solving. Licentiate's thesis, Helsinki University of Technology, Department of Information and Computer Science, 2009. |
|
2008 |
|
231 | Marcus Dobrinkat. Domain adaptation in statistical machine translation systems via user feedback. Master's thesis, Helsinki University of Technology, Department of Information and Computer Science, Espoo, Finland, December 2008. |
|
|
230 | Markus Ojala. Randomization of real-valued matrices for assessing the significance of data mining results. Master's thesis, Helsinki University of Technology, Department of Information and Computer Science, February 2008. |
|
|
229 | Antti Ukkonen. Algorithms for Finding Orders and Analyzing Sets of Chains. PhD thesis, Helsinki University of Technology, 2008. |
|
|
228 | Matti Järvisalo. Structure-Based Satisfiability Checking: Analyzing and Harnessing the Potential. Doctoral dissertation, TKK Dissertations in Information and Computer Science TKK-ICS-D10, Helsinki University of Technology, Faculty of Information and Natural Sciences, Department of Information and Computer Science, Espoo, Finland, 2008. |
|
|
227 | Emilia Oikarinen. Modularity in Answer Set Programs. Doctoral dissertation, TKK Dissertations in Information and Computer Science TKK-ICS-D7, Helsinki University of Technology, Faculty of Information and Natural Sciences, Department of Information and Computer Science, Espoo, Finland, 2008. |
|
|
226 | Sven Laur. Cryptographic Protocol Design. Doctoral dissertation, TKK Dissertations in Information and Computer Science TKK-ICS-D2, Helsinki University of Technology, Faculty of Information and Natural Sciences, Department of Information and Computer Science, Espoo, Finland, 2008. |
|
|
225 | Dmitrij Lagutin. Redesigning Internet—The Packet Level Authentication Architecture. Licentiate's thesis, Helsinki University of Technology, Department of Information and Computer Science, 2008. |
|
|
224 | Vesa Ojala. Counterexample analysis for automated refinement of data abstracted state machine models. Master's thesis, Helsinki University of Technology, Department of Information and Computer Science, 2008. |
|
|
223 | Kari Kähkönen. Automated dynamic test generation for sequential Java programs. Master's thesis, Helsinki University of Technology, Department of Information and Computer Science, 2008. |
|
|
222 | Jussi Lahtinen. Model checking timed safety instrumented systems. Master's thesis, Helsinki University of Technology, Department of Information and Computer Science, 2008. |
|
|
221 | Jani Lampinen. Interface specification methods for software components. Master's thesis, Helsinki University of Technology, Department of Information and Computer Science, 2008. |
|
|
220 | Matti Koskimies. Applying model checking to analysing safety instrumented systems. Master's thesis, Helsinki University of Technology, Department of Information and Computer Science, 2008. |
|
|
219 | Aleksi Hänninen. Boolean satisfiability problem and cryptography. Master's thesis, Helsinki University of Technology, Department of Information and Computer Science, 2008. |
|
|
218 | Perttu Halonen. Tiedonlouhinnan käyttö tietoturvan tarkkailussa. Master's thesis, Helsinki University of Technology, Department of Information and Computer Science, 2008. |
|
|
217 | Nikolaj Tatti. Advances in Mining Binary Data; Itemsets as Summaries. PhD thesis, Helsinki University of Technology, 2008. |
|
|
216 | Sven Laur. Cryptographic Protocol Design. Doctoral dissertation, Helsinki University of Technology, 2008. TKK Dissertations in Information and Computer Science, TKK-ISC-D2. |
|
|
215 | Mika Sulkava. Learning from environmental data: methods for analysis of forest nutrition time series. D.Sc. thesis, Helsinki University of Technology, Dissertations in Computer and Information Science, Report D24, Espoo, Finland, January 2008. |
|
2007 |
|
214 | Henrik Petander. A network mobility management architecture for a heterogeneous network environment. Research Report A108, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, December 2007. Doctoral dissertation. ISBN 978-951-22-9098-7. |
|
|
213 | Matti Järvisalo. Impact of Restricted Branching on Clause Learning SAT Solving. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2007. |
|
|
212 | Maarit Hietalahti. Requirements for a security architecture for clustered ad-hoc networks. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2007. |
|
|
211 | Sami Kauppinen. Trust evaluation in component-based software architecture. Master's thesis, Helsinki University of Technology, Department of Computer Scienceand Engineering, Laboratory for Theoretical Computer Science, 2007. |
|
|
210 | Risto Hakala. Linear cryptanalysis of two stream ciphers. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2007. |
|
|
209 | Samuli Larvala. Differential compression for efficient software updating. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2007. |
|
|
208 | Antti J. Tuominen. Managing global connectivity with IPv6 in heterogeneous mobility scenarios. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2007. |
|
|
207 | Eugen Czeizler. The Inverse Neighborhood Problem and Applications of Welch Sets in Automata Theory. PhD thesis, University of Turku, Department of Mathematics, Turku Center for Computer Science, Dissertations No. 85, Turku, Finland, 2007. Honours: The thesis was approved ``with honours´´. |
|
|
206 | Janne Toivola. Modular specification of dynamic Bayesian networks for time series analysis. Master's thesis, Helsinki University of Technology, Espoo, Finland, January 2007. |
|
|
205 | Ulpu Remes. Speaker-based segmentation and adaptation in automatic speech recognition. Master's thesis, Helsinki University of Technology, 2007. |
|
2006 |
|
204 | Antti Ajanki. Geenisäätelyn mallinnus tilanneriippuvilla bayes-verkoilla. Master's thesis, Helsinki University of Technology, Department of Electrical and Communications Engineering, December 2006. |
|
|
203 | Misa Keinänen. Techniques for solving boolean equation systems. Research Report A105, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, November 2006. Doctoral dissertation. |
|
|
202 | Heikki Tauriainen. Automata and linear temporal logic: Translations with transition-based acceptance. Research Report A104, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, September 2006. Doctoral dissertation. |
|
|
201 | Nicolau Gonçalves. Exploratory analysis of MRI: a tissue segmentation study. Master's thesis, Helsinki University of Technology, Espoo, Finland, July 2006. |
|
|
200 | Janne Lundberg. A wireless multicast delivery architecture for mobile terminals. Research Report A103, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, May 2006. Doctoral dissertation. |
|
|
199 | Satu Elisa Schaeffer. Algorithms for nonuniform networks. Research Report A102, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, April 2006. Doctoral dissertation. |
|
|
198 | Satu Elisa Schaeffer. Algorithms for nonuniform networks. PhD thesis, Helsinki University of Technology, Department of Computer Science and Engineering, April 2006. |
|
|
197 | Mikko Korpela. Analysis of changes in gene expression time series data. Master's thesis, Helsinki University of Technology, Finland, February 2006. |
|
|
196 | Emilia Oikarinen. Modular Answer Set Programming. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2006. |
|
|
195 | Janne Nykopp. Stratum—yleiskäyttöinen automaattinen koneisharjoitusjärjestelmä. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2006. |
|
|
194 | Jukka Valkonen. Ad-Hoc Security Associations for Wireless Devices. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2006. |
|
|
193 | Billy Bob Brumley. Efficient elliptic curve algorithms for compact digital signatures. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2006. |
|
|
192 | Amir Houshang Taheri. An application programming interface for vertical handover enabled applications. Master's thesis, Helsinki University of Technology, Department of Electrical and Communications Engineering, 2006. |
|
|
191 | Antti Ahonen. Radio network optimisation with spatial database tools. Master's thesis, Helsinki University of Technology, Department of Electrical and Communications Engineering, 2006. |
|
|
190 | Jukka Honkola. Modeling the SpaceWire network architecture with the Lyra method. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2006. |
|
|
189 | Jori Dubrovin. Jumbala — an action language for UML state machines. Master's thesis, Helsinki University of Technology, Department of Engineering Physics and Mathematics, 2006. |
|
|
188 | Mats Sjöberg. Content-based retrieval of hierarchical objects with PicSOM. Master's thesis, Laboratory of Computer and Information Science, Helsinki University of Technology, 2006. |
|
|
187 | Tapani Raiko. Bayesian Inference in Nonlinear and Relational Latent Variable Models. PhD thesis, Helsinki University of Technology, Espoo, Finland, 2006. |
|
2005 |
|
186 | Sami Virpioja. New methods for statistical natural language modeling. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory of Computer and Information Science, December 2005. |
|
|
185 | Antti Autere. Extensions and applications of the  algorithm. Research Report A98, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, November 2005. Doctoral dissertation. |
|
|
184 | Catharina Candolin. Securing Military Decision Making in a Network-centric Environment. Doctoral dissertation, TKK Dissertations 20, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, Espoo, Finland, November 2005. |
|
|
183 | Catharina Candolin. Securing Military Decision Making in a Network-centric Environment. Doctoral dissertation, TKK Dissertations 20, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, Espoo, Finland, November 2005. |
|
|
182 | Catharina Candolin. Securing Military Decision Making in a Network-centric Environment. Doctoral dissertation, TKK Dissertations 20, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, Espoo, Finland, November 2005. |
|
|
181 | Antti Sorjamaa. Strategies for the long-term prediction of time series using local models. Master's thesis, Helsinki University of Technology, October 14 2005. Master Thesis obtained with the grade 5. |
|
|
180 | Toni Jussila. On bounded model checking of asynchronous systems. Research Report A97, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, October 2005. Doctoral dissertation. |
|
|
179 | Timo Latvala. Automata-theoretic and bounded model checking for linear temporal logic. Research Report A95, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, August 2005. Doctoral dissertation. |
|
|
178 | Petteri Kaski. Algorithms for classification of combinatorial objects. Research Report A94, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, June 2005. Doctoral dissertation. |
|
|
177 | Matti Pöllä. Modeling anticipatory behavior with self-organizing neural networks. Master's thesis, Helsinki University of Technology, Espoo, Finland, May 2005. |
|
|
176 | Misa Kristian Keinänen. Solving Boolean Equation Systems. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, April 2005. |
|
|
175 | Misa Kristian Keinänen. Solving Boolean Equation Systems. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, April 2005. |
|
|
174 | Jarkko Ylipaavalniemi. Variability of independent components in functional magnetic resonance imaging. Master's thesis, Helsinki University of Technology, Espoo, Finland, March 2005. |
|
|
173 | Antti Honkela. Advances in Variational Bayesian Nonlinear Blind Source Separation. PhD thesis, Helsinki University of Technology, Espoo, Finland, 2005. |
|
|
172 | Janne Lundberg. A Wireless Multicast Delivery Architecture for Mobile Terminals. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2005. |
|
|
171 | Misa Keinänen. Solving Boolean Equation Systems. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2005. |
|
|
170 | Ville Salmensuu. Feasibility of IPsec as a secure mobility management technology.. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2005. |
|
|
169 | Lasse Kiviluoto. Sperner capacity of directed graphs. Master's thesis, Helsinki University of Technology, Department of Electrical and Communications Engineering, 2005. |
|
|
168 | Tommi Vainikainen. Applying graph rewriting to model transformations. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2005. |
|
|
167 | Anssi Rajaniemi. Verkkopankin toimintavarmuuden turvaaminen tietoverkon näkökulmasta. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2005. |
|
|
166 | Antti Hyvärinen. SATU: A system for distributed propositional satisfiability checking in computational GRIDs. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2005. |
|
|
165 | Topi Pohjolainen. Model checking a client-server system with a scalable level of concurrency. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2005. |
|
|
164 | Stefano Marinoni. Performance of wireless ad hoc routing protocols — a simulation study in realistic environments. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2005. |
|
|
163 | Tuulia Kullberg. The effect of the access point selection method on reachability between a mobile ad hoc node and a fixed node. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2005. |
|
|
162 | Pauli Aho. Extending a generic constraint solver over polymorphic data. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2005. |
|
|
161 | Hannes Heikinheimo. Inferring taxonomic hierarchies from 0-1 data. Master's thesis, Helsinki University of Technology, 2005. |
|
|
160 | Jaakko Väyrynen. Learning linguistic features from natural text data by independent component analysis. Master's thesis, Helsinki University of Technology, 2005. |
|
|
159 | Oskar Kohonen. Generering av naturligt språk från emergenta representationer. Master's thesis, Helsinki University of Technology, Espoo, Finland, 2005. |
|
|
158 | Tiina Lindh-Knuutila. Simulating the emergence of a shared conceptual system in a multi-agent environment. Master's thesis, Helsinki University of Technology, 2005. |
|
2004 |
|
157 | Catharina Candolin. Information warfare and security in a network-centric environment. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Dec 2004. |
|
|
156 | Catharina Candolin. Information warfare and security in a network-centric environment. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Dec 2004. |
|
|
155 | Harri Haanpää. Constructing certain combinatorial structures by computational methods. Research Report A89, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, February 2004. Doctoral dissertation. |
|
|
154 | Harri Haanpää. Constructing Certain Combinatorial Structures by Computational Methods. Electronic version of doctoral thesis, Helsinki University of Technology, February 2004. http://lib.hut.fi/Diss/2004/isbn9512269422/. |
|
|
153 | Antti Ukkonen. Data mining techniques for discovering partial orders. Master's thesis, Helsinki University of Technology, 2004. |
|
|
152 | Catharina Candolin. Information warfare and security in a network-centric environment. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2004. |
|
|
151 | Erkki Ruponen. Integrointitestauksen EXIT-kriteerit Symbian-pohjaisessa ohjelmistotuotteessa. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2004. |
|
|
150 | Annikka Aalto. Automatic translation of SDL into high level Petri nets. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2004. |
|
|
149 | Heikki Rantanen. Analyzing the Random-Walk algorithm for SAT. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2004. |
|
|
148 | Harriet Beaver. Using rule-based constraint programming to find MAPs for Bayesian networks. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2004. |
|
|
147 | Mikko Särelä. Measuring the effects of mobility on reactive ad hoc routing protocols. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2004. |
|
|
146 | Matti Järvisalo. Proof complexity of cut-based tableaux for Boolean circuit satisfiability checking. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2004. |
|
|
145 | Jaakko Peltonen. Data Exploration with Learning Metrics. PhD thesis, Helsinki University of Technology, Dissertations in Computer and Information Science, Report D7, Espoo, Finland, 2004. Award-winning: Doctoral thesis award of the Pattern Recognition Society of Finland, for the best Finnish doctoral thesis in the field of pattern recognition 2004-2005. |
|
2003 |
|
144 | Marko Mäkelä. Efficient computer-aided verification of parallel and distributed software systems. Research Report A81, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, November 2003. Doctoral dissertation. |
|
|
143 | Tommi Junttila. On the symmetry reduction method for Petri nets and similar formalisms. Research Report A80, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, September 2003. Doctoral dissertation. |
|
|
142 | Mika Sulkava. Identifying spatial and temporal profiles from forest nutrition data. Master's thesis, Helsinki University of Technology, Espoo, Finland, June 2003. |
|
|
141 | Satu Elisa Virtanen. Properties of nonuniform random graph models. Licentiate thesis, Helsinki University of Technology, Department of Computer Science and Engineering, March 2003. |
|
|
140 | Arto Klami. Regularized discriminative clustering. Master's thesis, Helsinki University of Technology, 2003. |
|
|
139 | Satu Virtanen. Properties of Nonuniform Random Graph Models. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2003. |
|
|
138 | Yki Kortesniemi. Managing the usage of authorisation certificates. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2003. |
|
|
137 | Teemu Tynjälä. Combining abstractions and reachability analysis: a case study of RLC protocol. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2003. |
|
|
136 | Heikki Tauriainen. On translating linear temporal logic into alternating and nondeterministic automata. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2003. |
|
|
135 | Tommi Syrjänen. Logic programming with cardinality constraints. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2003. |
|
|
134 | Tuomo Pyhälä. Specification-based test selection in formal conformance testing. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2003. |
|
|
133 | Shuqin Li-Kokko. An SPKI based secure multicast architecture with copyright protection. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2003. |
|
|
132 | Antti Järvinen. Smart card based configuration and authentication in mobile IPv6. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2003. |
|
|
131 | Teemu Vainio. The applicability of Bluetooth in ad hoc networks. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2003. |
|
|
130 | Niyue Chen. Enterprise portal as the enterprise integration solution. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2003. |
|
|
129 | Johan Wállen. On the differential and linear properties of addition. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2003. |
|
|
128 | Nikolaj Cankar. Model based testing using UML. Master's thesis, Helsinki University of Technology, Department of Electrical and Communications Engineering, 2003. |
|
|
127 | Emilia Oikarinen. Testing the equivalence of disjunctive logic programs. Master's thesis, Helsinki University of Technology, Department of Engineering Physics and Mathematics, 2003. |
|
|
126 | Amaury Lendasse. Analyse et prédiction de séries temporelles par méthodes non linéaires: Application à des données industrielles et financières. PhD thesis, Université catholique de Louvain, 2003. |
|
|
125 | Leo Lahti. Comparative functional genome analysis using associative clustering. Master's thesis, Helsinki University of Technology, 2003. (in Finnish). |
|
2002 |
|
124 | Sam Sandqvist. Aspects of modelling and simulation of genetic algorithms: A formal approach. Research Report A74, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, Espoo, Finland, September 2002. Doctoral dissertation. |
|
|
123 | Keijo Heljanko. Combining symbolic and partial order methods for model checking 1-safe Petri nets. Research Report A71, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, Espoo, Finland, February 2002. Doctoral dissertation. |
|
|
122 | Timo Latvala. On Model Checking Safety Properties. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2002. |
|
|
121 | Petteri Kaski. A Census of Steiner Triple Systems and Some Related Combinatorial Objects. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2002. |
|
|
120 | Lauri Tarkkala. On the construction of collision-resistant accumulators. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2002. |
|
|
119 | Jing Lin. An architectural solution driven by business, enabled through technology, with and integration perspective. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2002. |
|
|
118 | Erkki Pulliainen. Reducing retrieval time in high-latency computer networks using predictive caching. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2002. |
|
|
117 | Terje Bergström. Context awareness in symbian os based smart-phones. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2002. |
|
|
116 | Matti Kokkola. An architecture for time critical short message services. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2002. |
|
|
115 | Henrik Petander. Authorization of mobile IPv6. Master's thesis, Helsinki University of Technology, Department of Electrical and Communications Engineering, 2002. |
|
|
114 | Yafeng Wang. A gateway architecture for content charging. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2002. |
|
|
113 | Matti Salonen. Solution for content and service mediation. Master's thesis, Helsinki University of Technology, Department of Electrical and Communications Engineering, 2002. |
|
|
112 | Catharina Candolin. Network management and routing in mobile military ad hoc networks. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2002. |
|
|
111 | Henri Grönblom. Software quality improvement through software product process definition and development. Master's thesis, Helsinki University of Technology, Department of Electrical and Communications Engineering, 2002. |
|
|
110 | Timo Karilinna. Analysointityökalun käytettävyyden parantaminen. Master's thesis, Helsinki University of Technology, Department of Electrical and Communications Engineering, 2002. |
|
|
109 | Elina Parviainen. Modeling the operation of Margolus quantum cellular automaton using high-level Petri nets. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2002. |
|
2001 |
|
108 | Antti Honkela. Nonlinear switching state-space models. Master's thesis, Helsinki University of Technology, Espoo, 2001. |
|
|
107 | Toni Jussila. Bounded Model Checking for Verifying Concurrent Programs. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2001. |
|
|
106 | Maarit Hietalahti. Efficient key agreement for ad-hoc networks. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2001. |
|
|
105 | Jari Katajavuori. An architecture for dynamic software upgrading over-the-air in mobile systems. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2001. |
|
|
104 | Petteri Kaski. Isomorph-free exhaustive generation of combinatorial designs. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2001. |
|
|
103 | Harri Kuusisto. Käyttäjän sähköinen tunnistaminen ja yksityisyys. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, 2001. |
|
|
102 | Rauni Pääkkönen. Implementing a formal agent description language. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2001. |
|
|
101 | Veera Lehtonen. Implementation of a robust electronic voting system. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2001. |
|
|
100 | Viktor Rosendahl. A customized very long intruction word processor for Viterbi decoding. Master's thesis, Helsinki University of Technology, Department of Electrical and Communications Engineering, 2001. |
|
|
99 | Janne Olavi Salmi. An adaptive mobility management mechanism for ip networks using ad hoc routing. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, 2001. |
|
|
98 | Kjell Sand. Development of unit and module testing in embedded systems. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2001. |
|
|
97 | Sami Olavi Virtanen. Effective long code generation in WCDMA. Master's thesis, Helsinki University of Technology, Department of Electrical and Communications Engineering, 2001. |
|
|
96 | Jaakko Peltonen. Self-organizing maps in learning metrics. Master's thesis, Helsinki University of Technology, Department of Engineering Physics and Mathematics, 2001. Award-winning: Master's thesis award 2002 for best Finnish Master's thesis in technology, granted by Tekniikan Akateemisten Liitto TEK ry and Tekniska Föreningen i Finland TFiF r.f. |
|
|
95 | Tapani Raiko. Hierarchical nonlinear factor analysis. Master's thesis, Helsinki University of Technology, Espoo, Finland, 2001. |
|
2000 |
|
94 | Jaakko Hollmén. User Profiling and Classification for Fraud Detection in Mobile Communications Networks. Doctoral dissertation, Helsinki University of Technology, December 2000. |
|
|
93 | Tuomas Aura. Authorization and availability - aspects of open network security. Research Report A64, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, Espoo, Finland, November 2000. Doctoral dissertation. |
|
|
92 | Patrik Simons. Extending and implementing the stable model semantics. Research Report A58, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, Espoo, Finland, April 2000. Doctoral dissertation. |
|
|
91 | Harri Haanpää. Computational Methods for Ramsey Numbers. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2000. |
|
|
90 | Marko Mäkelä. A Reachability Analyzer for Algebraic System Nets. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2000. |
|
|
89 | Mika Jalkanen. Sales statistics process - formal specification and implementation. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2000. |
|
|
88 | Teijo Kuoppala. Junan tiedonsiirtoverkkoon kuuluvien reaaliaikaprotokollien mallintaminen ja analysointi verkkoteoreettisin menetelmin. Master's thesis, Helsinki University of Technology, Department of Electrical and Communications Engineering, 2000. |
|
|
87 | Timo Latvala. Model checking linear temporal logic properties of Petri nets with fairness constraints. Master's thesis, Helsinki University of Technology, Department of Electrical and Communications Engineering, 2000. |
|
|
86 | Heikki Tauriainen. Automated testing of Büchi automata translators for linear temporal logic. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2000. |
|
1999 |
|
85 | Jaakko Hollmén. Probabilistic Approaches to Fraud Detection. Licentiate's thesis, Helsinki University of Technology, December 1999. |
|
|
84 | Antti Huima. Analysis of cryptographic protocols via symbolic state space enumeration. Master's thesis, Helsinki University of Technology, May 1999. [This thesis was nominated the best Master's Thesis on the area of Computer Science by The Finnish Society for Computer Science in 1999.] |
|
|
83 | Tommi Junttila. Detecting and Exploiting Data Type Symmetries of Algebraic System Nets during Reachability Analysis. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 1999. |
|
|
82 | Keijo Heljanko. Deadlock and Reachability Checking with Finite Complete Prefixes. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 1999. |
|
|
81 | Antti Huima. Analysis of cryptographic protocols via symbolic state space enumeration. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 1999. |
|
|
80 | Ismo Kangas. Luotettava tiedonsiirto matkaviestimen ja pakettikytkentäisen digitaalisen GSM-matkapuhelinverkon välillä. Master's thesis, Helsinki University of Technology, Department of Electrical and Commucations Engineering, 1999. |
|
|
79 | Janne Palonen. Controlling and monitoring a distributed ISP environment. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 1999. |
|
|
78 | Tommi Syrjänen. A rule-based formal model for software configuration. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 1999. |
|
|
77 | Kimmo Raivio. Receiver Structures Based on Self-Organizing Maps. Doctoral dissertation, Acta Polytechnica Scandinavica, Mathematics, Computing and Management in Engineering Series No. 96, Helsinki University of Technology, 1999. |
|
|
76 | R. Vigário. Independent Component Approach to the Analysis of EEG and MEG signals. D. sc. (tech), Helsinki University of Technology, Department of Computer Science and Engineering, Finland, 1999. |
|
1998 |
|
75 | Teemu Tynjälä. Reachability-based verification of dss1 protocol. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, December 1998. |
|
|
74 | Kimmo Varpaaniemi. On the stubborn set method in reduced state space generation. Research Report A51, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, Espoo, Finland, May 1998. Doctoral dissertation. |
|
|
73 | Tomi Janhunen. Non-monotonic systems: A framework for analyzing semantics and structural properties of NMR. Research Report A49, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, Espoo, Finland, March 1998. Doctoral dissertation. |
|
|
72 | Tomi Janhunen. Non-Monotonic Systems: A Framework for Analyzing Semantics and Structural Properties of Non-Monotonic Reasoning. PhD thesis, Helsinki University of Technology, Department of Computer Science and Engineering, March 1998. |
|
|
71 | Tommi Junttila. Enabling broadband services. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1998. |
|
|
70 | Tapio Manner. Extending verification of industrial TNSDL programs with formal methods by using EMMA. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1998. |
|
|
69 | Marko Mäkelä. Implementing the front-end of an SDL compiler. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1998. |
|
|
68 | Teemu Tynjälä. Reachability-based verification of DSSI protocol. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1998. |
|
1997 |
|
67 | Kari J. Nurmela. Constructing Spherical Codes by Global Optimization Methods. Doctoral dissertation, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, Espoo, Finland, November 1997. |
|
|
66 | Patrik Simons. Towards Constraint Satisfaction through Logic Programs and the Stable Model Semantics. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1997. |
|
|
65 | Eero Lassila. Towards Optimizing Code Generation by Domain-Sensitive Macro Expansion. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1997. |
|
|
64 | Tuomas Aura. On the Structure of Delegation Networks. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1997. |
|
|
63 | Keijo Heljanko. Model checking the branching time temporal logic CTL. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1997. |
|
|
62 | Tero Jyrinki. Dynamical analysis of SDL programs with predicate/transition nets. Master's thesis, Helsinki University of Technology, Department of Electrical and Communications Engineering, 1997. |
|
|
61 | Markus Malmqvist. Methodology of dynamical analysis of SDL programs using predicate/transition nets. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1997. |
|
|
60 | Timo Honkela. Self-Organizing Maps in Natural Language Processing. PhD thesis, Helsinki University of Technology, Espoo, Finland, 1997. |
|
|
59 | Mikko Kurimo. Using Self-Organizing Maps and Learning Vector Quantization for Mixture Density Hidden Markov Models. PhD thesis, Helsinki University of Technology, Espoo, Finland, 1997. |
|
|
58 | Timo Honkela. Self-Organizing Maps in Natural Language Processing. PhD thesis, Helsinki University of Technology, Espoo, Finland, 1997. |
|
1996 |
|
57 | Jussi Rintanen. Lexicographic ordering as a basis of priorities in default reasoning. Research Report A41, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, Espoo, Finland, December 1996. Doctoral dissertation. |
|
|
56 | Jaakko Hollmén. Process modeling using the self-organizing map. Master's thesis, Helsinki University of Technology, February 1996. |
|
|
55 | Tino Pyssysalo. An Induction Theorem for Ring Protocols of Processes Describes Using Predicate/Transition Nets. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1996. |
|
|
54 | Tuomas Aura. Time processes of time petri nets. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1996. |
|
|
53 | Jukka Helme. Yhteyspohjaisten tietoliikenneprotokollien mallintamisesta ja analysoinnista. Master's thesis, Helsinki University of Technology, Department of Electrical and Communications Engineering, 1996. |
|
|
52 | Asko Nykänen. Suomenkielen lauseenjäsennysympäristön suunnittelu ja toteutus. Master's thesis, Helsinki University of Technology, Department of Electrical and Communications Engineering, 1996. |
|
|
51 | Mervi Salmi-Saarinen. A study of wireless communication. Master's thesis, Helsinki University of Technology, Department of Electrical and Communications Engineering, 1996. |
|
1995 |
|
50 | Johan Lilius. On the structure of high-level nets. Research Report A33, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, Espoo, Finland, March 1995. Doctoral dissertation. |
|
|
49 | Jari Juopperi. PrT-net Based Analysis of Information Flow Security Nets. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1995. |
|
|
48 | Kari Nurmela. Constructing Spherical Codes by Global Optimization Methods. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1995. |
|
|
47 | Aapo Rautiainen. Konformanssitestaus hajautetussa testausarkkitehtuurissa. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1995. |
|
|
46 | Patrik Simons. Efficient implementation of the stable model semantics for normal logic programs. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1995. |
|
1994 |
|
45 | Tomi Janhunen. Investigations on Cautious Autoepistemic Reasoning. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1994. |
|
|
44 | Kari Hakulinen. Soluverkkoprotokollien tietokoneavusteinen testaus. Master's thesis, Helsinki University of Technology, Department of Electrical and Communications Engineering, 1994. |
|
|
43 | Tino Pyssysalo. The modelling and analysis of a high speed data bus with predicate/transition nets. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1994. |
|
|
42 | Mika Rautila. Prosessialgebran käyttö älyverkkopalveluiden määrityksessä ja analysoinnissa. Master's thesis, Helsinki University of Technology, Department of Electrical and Communications Engineering, 1994. |
|
|
41 | Jari Saarhelo. Tekoäly valuprosessin suunnittelussa. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1994. |
|
|
40 | Pauli Väisänen. A study of model determination problems in s5 logic. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1994. |
|
|
39 | R. Vigário. On linear and nonlinear pca neural networks: Separation abilities and production of visual receptive fields. Mestrado, University of Lisbon, Faculty of Sciences, Portugal, 1994. |
|
1993 |
|
38 | Patric R. J. Östergård. Construction methods for covering codes. Research Report A25, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, Espoo, Finland, September 1993. Doctoral dissertation. |
|
|
37 | Ilkka Niemelä. Autoepistemic logic as a unified basis for nonmonotonic reasoning. Research Report A24, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, Espoo, Finland, August 1993. Doctoral dissertation. |
|
|
36 | Ilkka Niemelä. Autoepistemic Logic as a Unified Basis for Nonmonotonic Reasoning. PhD thesis, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, August 1993. |
|
|
35 | Jussi Rintanen. Priorities and Nonmonotonic Reasoning. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1993. |
|
|
34 | Kimmo Varpaaniemi. Efficient Detection of Deadlock in Petri Nets. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1993. |
|
|
33 | Sam Sandqvist. On Finding Optimal Potential Customers from a Large Marketing Database – A Genetic Algorithm Approach. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1993. |
|
|
32 | Tomi Janhunen. Weakened negative introspection in autoepistemic reasoning. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1993. |
|
|
31 | Kari Nurmela. Constructing combinatorial designs by local search. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1993. |
|
|
30 | Jorma Paananen. Tietokantakäyttöliittymän toteutus kahdessa graafisessa ympäristössä. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1993. |
|
|
29 | Juha-Pekka Patinen. An interactive theorem prover for linear logic. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1993. |
|
|
28 | Olavi Pesonen. Tehdasmalli konepajan työsuunnittelussa. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1993. |
|
|
27 | Kim Sandström. Värinkodistuksen estimointi tavanomaisen painojäljen videokuvasta. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1993. |
|
|
26 | Kimmo Raivio. Detection of nonlinearly distorted and multipath propagated signals using Self-Organizing Maps. Licentiate's thesis, Helsinki University of Technology, Espoo, Finland, 1993. |
|
|
25 | Samuel Kaski. Hermoverkkomalleissa tapahtuvaan kilpailuoppimiseen liittyvät mekanismit (Mechanisms connected with competitive learning in neural network models). Master's thesis, Helsinki University of Technology, 1993. (In Finnish). |
|
|
24 | Tomi Janhunen. Weakened negative introspection in autoepistemic reasoning. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, January 1993. |
|
1992 |
|
23 | Nisse Husberg. High level distributed transition systems in categories. Research Report A19, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, Espoo, Finland, November 1992. Doctoral dissertation. |
|
|
22 | Unto Pulkkinen. Paperin painettavuustekijöiden määrityksen online-menetelmät. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1992. |
|
|
21 | Marja-Liisa Hämäläinen. Verkkoteoreettisten menetelmien käyttö tietoliikenneyhteyskäytäntöjen suunnittelun apuvälineenä. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1992. |
|
|
20 | Kimmo Koskinen. Ohjausyksikön ohjelmiston suunnittelu maksuvälinekortin kÿttöön. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1992. |
|
|
19 | Jussi Rintanen. Stratification and tractability in nonmonotonic reasoning. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1992. |
|
|
18 | Mikko Kurimo. Combinations of adaptive vector quantization methods and hidden Markov models in speech recognition. Master's thesis, Helsinki University of Technology, Espoo, Finland, 1992. (in Finnish). |
|
|
17 | R. Vigário. Analyse et modélisation de trajectoires acoustiques par reséaux de neurones pour la reconnaissance automatique de la parole. Lincenciatura, University of Lisbon, Faculty of Sciences, Portugal, 1992. |
|
|
16 | Samuel Kaski. Viivemukautuvat topografiset komponentit: Tuntoärsykkeisiin liittyvät aivojen jännitevasteet uudella menetelmällä analysoituina (Latency-adjusting topographic components model: An analysis of somatosensory evoked potentials with a novel method). Master's thesis, University of Helsinki, 1992. (In Finnish). |
|
1991 |
|
15 | Johan Lilius. Text Distribution Service - the Unified Telematic Media for Distributed Office Applications. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1991. |
|
|
14 | Jukka Oranen. On the Compositionality and Analysis of High-Level Nets. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1991. |
|
|
13 | Östergård. Construction of Mixed Covering Codes. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1991. |
|
|
12 | Kimmo Varpaaniemi. UNIX-ympäristössä toimivan ohjelmistoliitännän suunnittelu ja verkkoteoreettinen analysointi. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1991. |
|
|
11 | Jan Wasastjerna. Kansainvälisen konsernin tietoliikennekonseptin suunnittelu. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1991. |
|
1990 |
|
10 | Antti Laine. The Analysis of a Communication Protocol Using High Level Petri Nets. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1990. |
|
|
9 | Pekka Oksala. Permutaatiomenetelmä lomakkeella välitettävän tiedon salaamiseksi. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1990. |
|
|
8 | Kari Björn. A Failure Model of a Distributed Transaction Processing System. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1990. |
|
|
7 | Marko Rauhamaa. A Comparative Study of Methods for Efficient Reachability Analysis. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1990. |
|
|
6 | Leo Kulikov. Konekäännös puumuunnoksin. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1990. |
|
|
5 | Patric Östergård. Säkerhetsaspekter vid datakommunikation över allmänna nät. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1990. |
|
|
4 | Jan Juopperi. Nollatietämystodistimen toiminnan kuvaaminen modaalilogiikkaa käyttäen. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1990. |
|
|
3 | Juha Viljavuori. Tietojärjestelmän hajautuksen suunnittelu UNIX-ympäristössä. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1990. |
|
|
2 | Kimmo Raivio. Combining linear equalization and self-organizing adaptation in dynamic discrete-signal detection. Master's thesis, Helsinki University of Technology, Espoo, Finland, 1990. |
|
1989 |
|
1 | Ilkka Niemelä. Automating Autoepistemic Reasoning. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science, Espoo, Finland, 1989. |
|
