Publications of type Licentiate thesis
2013
31.
A data model based approach for visual analytics of monitoring data (2013)
AUTHORS:
Järvinen Paula
30.
Monitoring sleep quality with non-invasive sensors (2013)
AUTHORS:
Rinta-Koski Olli Pekka
2012
29.
Finnish Language Speech Recognition for Dental Health Care (2012)
AUTHORS:
Enarvi Seppo
28.
Machine learning methods for data security (2012)
AUTHORS:
Hegedüs József
27.
Theory and applications of marker-based augmented reality (2012)
AUTHORS:
Siltanen Sanni
2009
26.
Approaches to grid-based SAT-solving (2009)
AUTHORS:
Hyvärinen Antti E. J.
25.
Studies on elliptic curve cryptography engineering (2009)
AUTHORS:
Brumley Billy Bob
2008
24.
Cryptographic key management architectures for environments with independent subdomains (2008)
AUTHORS:
Kiviharju Mikko
23.
Redesigning Internet - The Packet Level Authentication architecture (2008)
AUTHORS:
Lagutin Dmitrij
2007
22.
Impact of Restricted Branching on Clause Learning SAT Solving (2007)
AUTHORS:
Järvisalo Matti
21.
Segmentation of time series and sequences using basis representatios (2007)
AUTHORS:
Hiisilä Heli
2006
20.
Modular Answer Set Programming (2006)
AUTHORS:
Oikarinen Emilia
2005
19.
Methods for Comparing Subspace Clusterings (2005)
AUTHORS:
Patrikainen Anne
18.
Solving Boolean Equation Systems (2005)
AUTHORS:
Keinänen Misa Kristian
2004
17.
A Wireless Multicast Delivery Architecture for Mobile Terminals (2004)
AUTHORS:
Lundberg Janne
16.
Grammar Formalism for Controlled Language Machine Translation: Augmented Lexical Entries (2004)
AUTHORS:
Lehtola Aarno
15.
Information warfare and security in a network-centric environment (2004)
AUTHORS:
Candolin Catharina
14.
Oppimisjärjestelmien ja ennakkotiedon integrointi tehdasvalmistusprosessien mallinnuksessa (2004)
AUTHORS:
Vilkama Esa
2003
13.
A Census of Steiner Triple Systems and Some Related Combinatorial Objects (2003)
AUTHORS:
Kaski Petteri
12.
Combining Abstractions with Reachability Analysis: A Case study of a UMTS Radio Protocol Verification Project (2003)
AUTHORS:
Tynjälä Teemu
11.
Jalkapallon syöttöjakaumien visualisointi, ryhmittely ja SOM-kartoitus (2003)
AUTHORS:
Juutila Rauno
10.
Logic Programming with Cardinality Constraints (2003)
AUTHORS:
Syrjänen Tommi
9.
Managing the Usage of Authorisation Certificates (2003)
AUTHORS:
Kortesniemi Yki
8.
On Model Checking Safety Properties (2003)
AUTHORS:
Latvala Timo
7.
On Translating Linear Temporal Logic into Alternating and Nondeterministic Automata (2003)
AUTHORS:
Tauriainen Heikki
6.
Properties of nonuniform random graph models (2003)
AUTHORS:
Virtanen Satu Elisa
2001
5.
Bounded Model Checking for Verifying Concurrent Programs (2001)
AUTHORS:
Jussila Toni
1999
4.
Probabilistic Approaches to Fraud Detection (1999)
AUTHORS:
Hollmén Jaakko
1993
3.
Detection of nonlinearly distorted and multipath propagated signals using Self-Organizing Maps (1993)
AUTHORS:
Raivio Kimmo
1991
2.
Oppivat aliavaruusmenetelmät spektri- ja kepstripohjaisessa foneemitunnistuksessa (1991)
AUTHORS:
Laaksonen Jorma
1989
1.
Automating Autoepistemic Reasoning (1989)
AUTHORS:
Niemelä Ilkka