TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Julkaisut

  1. Julkaistu

    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 tammikuuta 2018, 2017 IEEE International Conference on Computer Vision Workshops, ICCVW 2017. IEEE, s. 27-35 9 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  2. Julkaistu

    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, s. 162-176 (International Conference on Concurrency Theory; painos 7454).

    Tutkimustuotosvertaisarvioitu

  3. Julkaistu

    Can stubborn sets be optimal?

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

    Tutkimustuotosvertaisarvioitu

  4. Julkaistu

    Simple O (m log n) time Markov chain lumping

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

    Tutkimustuotosvertaisarvioitu

  5. Julkaistu

    Asymptotic Proportion of Hard Instances of the Halting Problem

    Valmari, A., 2014, julkaisussa : Acta Cybernetica. 21, 3, s. 307-330 24 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  6. Julkaistu

    Simple bisimilarity minimization in O(m log n) time

    Valmari, A., 2011, julkaisussa : Fundamenta Informaticae. 105, 3, s. 319-339

    Tutkimustuotosvertaisarvioitu

  7. Julkaistu

    Does the Shannon bound really apply to all data structures

    Valmari, A., 2013, julkaisussa : Proceedings of the Estonian Academy of Sciences. 62, 1, s. 47-58 12 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  8. Julkaistu

    Opiskelijan myyttiset 1 600 tuntia

    Valmari, A., 2005, julkaisussa : Tietojenkäsittelytiede. 24, s. 4-7

    Tutkimustuotosvertaisarvioitu

  9. Julkaistu

    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. (toim.). Turku, Finland: TURKU CENTRE FOR COMPUTER SCIENCE, s. 176-183 (Russian Finnish Symposium on Discrete Mathematics; painos 17).

    Tutkimustuotosvertaisarvioitu

  10. Julkaistu

    All Linear-Time Congruences for Familiar Operators

    Valmari, A., 2013, julkaisussa : Logical Methods in Computer Science. 9, 4, s. 1-34 34 Sivumäärä, 11.

    Tutkimustuotosvertaisarvioitu

Lataa lista Rajaa hakutulokset 1 000 tai pienemmäksi jotta voit ladata.