Tampere University of Technology

TUTCRIS Research Portal

Publications

  1. Published

    DCASE 2016 Acoustic Scene Classification Using Convolutional Neural Networks

    Valenti, M., Diment, A., Parascandolo, G., Squartini, S. & Virtanen, T., 1 Sep 2016, Proceedings of the Detection and Classification of Acoustic Scenes and Events 2016 Workshop (DCASE2016). Tampere University of Technology. Department of Signal Processing

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  2. Published

    A convolutional neural network approach for acoustic scene classification

    Valenti, M., Squartini, S., Diment, A., Parascandolo, G. & Virtanen, T., 30 Jun 2017, 2017 International Joint Conference on Neural Networks, IJCNN 2017. IEEE, p. 1547-1554 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  3. Published

    Optimizing gaze direction in a visual navigation task

    Välimäki, T. & Ritala, R., 8 Jun 2016, 2016 IEEE International Conference on Robotics and Automation (ICRA) . IEEE, p. 1427-1432 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  4. Published

    Network-wide adaptive burst detection depicts neuronal activity with improved accuracy

    Välkki, I. A., Lenk, K., Mikkonen, J. E., Kapucu, F. E. & Hyttinen, J. A. K., 31 May 2017, In : Frontiers in Computational Neuroscience. 11, 40.

    Research output: Contribution to journalArticleScientificpeer-review

  5. Published

    Analysis of spatial heterogeneity in normal epithelium and preneoplastic alterations in mouse prostate tumor models

    Valkonen, M., Ruusuvuori, P., Kartasalo, K., Nykter, M., Visakorpi, T. & Latonen, L., 20 Mar 2017, In : Scientific Reports. 7, 44831.

    Research output: Contribution to journalArticleScientificpeer-review

  6. Published

    Metastasis detection from whole slide images using local features and random forests

    Valkonen, M., Kartasalo, K., Liimatainen, K., Nykter, M., Latonen, L. & Ruusuvuori, P., 2017, In : Cytometry Part A. 91, 6, p. 555-565

    Research output: Contribution to journalArticleScientificpeer-review

  7. Published

    Dual Structured Convolutional Neural Network with Feature Augmentation for Quantitative Characterization of Tissue Histology

    Valkonen, M., Kartasalo, K., Liimatainen, K., Nykter, M., Latonen, L. & Ruusuvuori, P., 19 Jan 2018, 2017 IEEE International Conference on Computer Vision Workshops, ICCVW 2017. IEEE, p. 27-35 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  8. Published

    All Linear-Time Congruences for Familiar Operators Part 2: Infinite LTSs

    Valmari, A., 2012, CONCUR 2012 - Concurrency Theory. 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings. Lecture Notes in Computer Science. Berlin: Springer, p. 162-176 (International Conference on Concurrency Theory; vol. 7454).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  9. Published

    Can stubborn sets be optimal?

    Valmari, A. & Hansen, H., 2010, In : Lecture Notes in Computer Science. 6128, p. 43-62

    Research output: Contribution to journalArticleScientificpeer-review

  10. Published

    Simple O (m log n) time Markov chain lumping

    Valmari, A. & Franceschinis, G., 2010, In : Lecture Notes in Computer Science. 6015, p. 38-52

    Research output: Contribution to journalArticleScientificpeer-review

  11. Published

    Asymptotic Proportion of Hard Instances of the Halting Problem

    Valmari, A., 2014, In : Acta Cybernetica. 21, 3, p. 307-330 24 p.

    Research output: Contribution to journalArticleScientificpeer-review

  12. Published

    Simple bisimilarity minimization in O(m log n) time

    Valmari, A., 2011, In : Fundamenta Informaticae. 105, 3, p. 319-339

    Research output: Contribution to journalArticleScientificpeer-review

  13. Published

    Does the Shannon bound really apply to all data structures

    Valmari, A., 2013, In : Proceedings of the Estonian Academy of Sciences. 62, 1, p. 47-58 12 p.

    Research output: Contribution to journalArticleScientificpeer-review

  14. Published

    Opiskelijan myyttiset 1 600 tuntia

    Valmari, A., 2005, In : Tietojenkäsittelytiede. 24, p. 4-7

    Research output: Contribution to journalArticleScientificpeer-review

  15. Published

    Sizes of Up-To-n Halting Testers

    Valmari, A., 2012, Proceedings of the Second Russian Finnish Symposium on Discrete Mathematics 2012, RuFiDiM II, 25-28 September, Turku, Finland. TUCS Lecture Notes. Halava, V., Karhumäki, J. & Matiyasevich, Y. (eds.). Turku, Finland: TURKU CENTRE FOR COMPUTER SCIENCE, p. 176-183 (Russian Finnish Symposium on Discrete Mathematics; vol. 17).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  16. Published

    All Linear-Time Congruences for Familiar Operators

    Valmari, A., 2013, In : Logical Methods in Computer Science. 9, 4, p. 1-34 34 p., 11.

    Research output: Contribution to journalArticleScientificpeer-review

  17. Published

    All Linear-Time Congruences for Finite LTSs and Familiar Operators

    Valmari, A., 2012, Proceedings of the 12th International Conference on Application of Concurrency to System Design, ACSD 2012, 27-29 June 2012, Hamburg, Germany. Los Alamitos, CA: IEEE Computer Society, p. 12-21 12909180. (Application of Concurrency to System Design).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  18. Published

    Does the Shannon Bound Really Apply to Data Structures?

    Valmari, A., 2011, SPLST'11 12th Symposium on Programming Languages and Software Tools, Tallinn, Estonia, October 5-7, 2011. Penjam, J. (ed.). Tallinn: TUT Press, Institute of Cybernetics at Tallinn University of Technology, p. 174-184 (Symposium on Programming Languages and Software Tools SPLST).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  19. Published

    Old and New Algorithms for Minimal Coverability Sets

    Valmari, A. & Hansen, H., 2012, Application and Theory of Petri Nets. 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings. Lecture Notes in Computer Science. Berlin: Springer, p. 208-227 (International Conference on Application and Theory of Petri Nets and Concurrency; vol. 7347).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  20. Published

    Kuinka kiltti mutta tarpeeton pikku algoritmi sai tärkeän tehtävän

    Valmari, A., 2010, In : Tietojenkäsittelytiede. 30, p. 33-55

    Research output: Contribution to journalArticleScientificpeer-review

  21. Published

    Fast brief practical DFA minimization

    Valmari, A., 2012, In : Information Processing Letters. 112, 6, p. 213-217

    Research output: Contribution to journalArticleScientificpeer-review

  22. Published

    The Asymptotic Behaviour of the Proportion of Hard Instances of the Halting Problem

    Valmari, A., 2013, SPLST '13, 13th Symposium on Programming Languages and Software Tools, August 26-27, 2013, Szeged, Hungary. Kiss, A. (ed.). Szeged, Hungary: University of Szeged, p. 170-184 15 p. (Symposium on Programming Languages and Software Tools).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  23. Published

    Ovatko kaikki lottorivit satunnaisia?

    Valmari, A., 2012, In : Liaani. 5, p. 6-7

    Research output: Contribution to journalArticleGeneral public

  24. Published

    A Simple Character String Proof of the "True but Unprovable'' Version of Gödel's First Incompleteness Theorem

    Valmari, A., 2014, In : Electronic Proceedings in Theoretical Computer Science. 151, p. 355-369 15 p., 25.

    Research output: Contribution to journalArticleScientificpeer-review

  25. Published

    Can Stubborn Sets be Optimal?

    Valmari, A. & Hansen, H., 2011, In : Fundamenta Informaticae. 113, 3-4, p. 377-397

    Research output: Contribution to journalArticleScientificpeer-review

  26. Published

    External Behaviour of Systems of State Machines with Variables

    Valmari, A., 2013, The 5th Advanced Course on Petri Nets, September 2010, Rostock, Germany, Transactions on Petri Nets and Other Models of Concurrency VII.. Jensen, K., van der Aalst, W. M. P., Balbo, G., Koutny, M. & Wolf, K. (eds.). Berlin, Heidelberg: Springer, p. 255-299 45 p. (Lecture Notes in Computer Science; vol. 7480).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  27. Published

    Stop It, and Be Stubborn!

    Valmari, A., 21 Jun 2015, Application of Concurrency to System Design (ACSD): 2015 15th International Conference on . Haar, S. & Meyer, R. (eds.). IEEE Computer Society, p. 10-19 10 p. 2

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  28. Published

    A State Space Tool for Concurrent System Models Expressed In C++

    Valmari, A., 14 Dec 2015, SPLST 2015 Symposium on Programming Languages and Software Tools: Proceedings of the 14th Symposium on Programming Languages and Software Tools (SPLST'15) Tampere, Finland, Oct 9-10, 2015. Nummenmaa, J., Sievi-Korte, O. & Mäkinen, E. (eds.). CEUR-WS.org, Vol. 1525. p. 91-105 15 p. 7. (CEUR Workshop Proceedings; vol. 1525).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  29. Published

    Fair testing and stubborn sets

    Valmari, A. & Vogler, W., 2016, Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings. Springer Verlag, p. 225-243 19 p. (Lecture Notes in Computer Science; vol. 9641).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  30. Published

    Stubborn Set Intuition Explained

    Valmari, A. & Hansen, H., 2016, Petri Nets and Software Engineering 2016: Proceedings of the International Workshop on Petri Nets and Software Engineering 2016, including the International Workshop on Biological Processes & Petri Nets 2016. Cabac, L., Kristensen, L. M. & Rölke, H. (eds.). CEUR-WS, p. 213-232 20 p. (CEUR Workshop Proceedings; vol. 1591).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  31. Published

    MathCheck: a tool for checking math solutions in detail

    Valmari, A. & Kaarakka, T., Sep 2016, SEFI 2016 Annual Conference Proceedings: Engineering Education on Top of the World: Industry University Cooperation. European Society for Engineering Education SEFI

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  32. Published

    Stubborn sets with frozen actions

    Valmari, A., 2017, Reachability Problems - 11th International Workshop, RP 2017, Proceedings. Springer Verlag, p. 160-175 16 p. (Lecture Notes in Computer Science; vol. 10506).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  33. Published

    Fair testing and stubborn sets

    Valmari, A. & Vogler, W., 2018, In : International Journal on Software Tools for Technology Transfer. p. 589-610 22 p.

    Research output: Contribution to journalArticleScientificpeer-review

  34. Published

    Progress Checking for Dummies

    Valmari, A. & Hansen, H., 2018, Formal Methods for Industrial Critical Systems. Howar, F. & Barnat, J. (eds.). Springer International Publishing, Vol. 11119. p. 115-130 (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  35. Published

    Utilizing knowledge networks in virtual or augmented reality solution creation

    Vanhalakka, J., Ilvonen, I. & Väätäjä, H., 2017, Proceedings of the 18th European Conference on knowledge Management ECKM 2017: 7-8 September 2017, Barcelona, Spain. Marimon, F., Mas-Machuca, M., Berbegal-Mirabent, J. & Bastida, R. (eds.). Academic Conferences and Publishing International, p. 1008-1014 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  36. Published

    Business Model of Long-term Browser-based Games - Income without Game Packages

    Vanhatupa, J-M., 2011, 7th International Conference on Next Generation Web Services Practices NWeSP 2011, 19-21, October 2011, Salamanca, Spain. Piscataway, NJ: IEEE, p. 369-372 (International Conference on Next Generation Web Services Practices NWeSP).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  37. Published

    Browser games: The new frontier of social gaming

    Vanhatupa, J-M., 2010, Recent Trends in Wireless and Mobile Networks, Second International Networks, WiMo 2010, Ankara, Turkey, June 2010. Communications in Computer and Information Science. Özcan, A., Chaki, N. & Nagalamai, D. (eds.). p. 349-355

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  38. Published

    On the Development of Browser Games - Technologies of an Emerging Genre

    Vanhatupa, J-M., 2011, 7th International Conference on Next Generation Web Services Practices NWeSP 2011, 19-21, October 2011, Salamanca, Spain. Piscataway, NJ: IEEE, p. 363-368 (International Conference on Next Generation Web Services Practices NWeSP).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  39. Published

    Organizing and evaluating course on embedded programming

    Vanhatupa, J-M., Salminen, A. & Järvinen, H-M., 2010, Koli Calling '10, Proceedings of the 10th Koli Calling International Conference on Computing Education Research, October 28th to 31st, 2010, Koli National Park, Finland. p. 1-6 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  40. Published

    On the Development of Browser Games - Current Technologies and the Future

    Vanhatupa, J-M., 2012, In : International Journal of Computer Information Systems and Industrial Management Applications. 5, p. 60-68

    Research output: Contribution to journalArticleScientificpeer-review

  41. Published

    Towards extensible and personalized computer role-playing game fantasy worlds

    Vanhatupa, J-M., 2012, 4th Computer science and Electronic Engineering Conference, CEEC 2012, 12th-13th September 2012, Colchester, Essex, UK. Piscataway, NJ: Institute of Electrical and Electronics Engineers IEEE, p. 187-190 (Computer Science and Electronic Engineering Conference).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  42. Published

    Game Engines in Game Programming Education – Experiences from Use of the CAGE Game Engine

    Vanhatupa, J-M., 2011, 11th Koli Calling International Conference on Computing Education Research, November 17th to 20th, 2011, Koli National Park, Finland. ACM, p. 118-119 (Koli Calling International Conference on Computing Education Research).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  43. Published

    Browser games for online communities

    Vanhatupa, J-M., 2010, In : International Journal of Wireless and Mobile Networks. 2, 3, p. 39-47

    Research output: Contribution to journalArticleScientificpeer-review

  44. Published

    Personalized Side-Quest Generation for Computer Role-Playing Games

    Vanhatupa, J-M., 2011, SPLST'11 12th Symposium on Programming Languages and Software Tools, Tallinn, Estonia, October 5-7, 2011. Penjam, J. (ed.). Tallinn: TUT Press, Institute of Cybernetics at Tallinn University of Technology, p. 196-206 (Symposium on Programming Languages and Software Tools SPLST).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  45. Published

    Business Model of Long-term Browser-based Games - Income without Game Packages

    Vanhatupa, J-M., 2012, In : International Journal of Computer Information Systems and Industrial Management Applications. 5, p. 195-202

    Research output: Contribution to journalArticleScientificpeer-review

  46. Published

    Guidelines for Personalizing the Player Experience in Computer Role-Playing Games

    Vanhatupa, J-M., 2011, Proceedings of the 6th International Conference on the Foundations of Digital Games FDG'11, Bordeaux, France, June 29th-July 1st, 2011. ACM International Conference Proceedings Series. New York, NY: ACM, p. 46-52 (International Conference on the Foundations of Digital Games FDG).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  47. Published

    Tool support for computer role-playing game programming : foundations, guidelines and applications

    Vanhatupa, J-M., 17 Oct 2014, Tampere: Tampere University of Technology. 76 p. (Tampere University of Techology. Publication; vol. 1237)

    Research output: Book/ReportDoctoral thesisCollection of Articles

  48. Published

    Counteract or Assist?: Influence of Dynamic Force-feedback on Emotions

    van Oosterhout, A., Jumisko-Pyykkö, S. & Alonso, M. B., Dec 2016, Proceedings of the 15th International Conference on Mobile and Ubiquitous Multimedia. New York, NY, USA: ACM, p. 241-247 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  49. Published

    Ripple thermostat: Affecting the emotional experience through interactive force feedback and shape change

    Van Oosterhout, A., Alonso, M. B. & Jumisko-Pyykkö, S., 20 Apr 2018, Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems . ACM, 655

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  50. Published

    Process assessment in very small entities

    Varkoi, T., 2010, Proceedings, Seventh International Conference on the Quality of Information and Communications Technology QUATIC, 29 September - 2 October 2010, Porto, Portugal. Abreu, F. B. E. & de Faria, J. P. (eds.). p. 436-440

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Download list To download, please limit the number of search results to 1,000 or less.