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)
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)
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)
  • 1