Timo Erkkilä

Learn More
MOTIVATION Tissue heterogeneity, arising from multiple cell types, is a major confounding factor in experiments that focus on studying cell types, e.g. their expression profiles, in isolation. Although sample heterogeneity can be addressed by manual microdissection, prior to conducting experiments, computational treatment on heterogeneous measurements have(More)
Tampere Verification Tool (TVT) is a collection of programs for automated verification of concurrent and reactive systems. TVT has its roots in process algebras and explicit state space exploration, but in addition to actions, our formalism allows use of state-based information in the form of truth-valued state propositions. Furthermore, it contains three(More)
Monitoring of bacterial populations requires automated analysis tools that provide accurate cell type quantification results. Here, methods for automated image analysis and bacteria type classification are presented. The classification method employs several discriminative features, calculated from automatically segmented images, for class determination.(More)
BACKGROUND Cluster analysis has become a standard computational method for gene function discovery as well as for more general explanatory data analysis. A number of different approaches have been proposed for that purpose, out of which different mixture models provide a principled probabilistic framework. Cluster analysis is increasingly often supplemented(More)
This paper describes our submission to the eighth annual MLSP competition organized by Amazon during the 2012 IEEE MLSP workshop. Our approach is based on a nearest-neighbor-like classifier with a distance metric learned from samples. The method was second in the final standings with prediction accuracy of 81 %, while the winning submission was 87 %(More)
  • 1