Tampere University of Technology

TUTCRIS Research Portal

Publications

  1. 2019
  2. E-pub ahead of print

    Programming languages for data-Intensive HPC applications: A systematic mapping study

    Amaral, V., Norberto, B., Goulão, M., Aldinucci, M., Benkner, S., Bracciali, A., Carreira, P., Celms, E., Correia, L., Grelck, C., Karatza, H., Kessler, C., Kilpatrick, P., Martiniano, H., Mavridis, I., Pllana, S., Respício, A., Simão, J., Veiga, L. & Visa, A., 8 Nov 2019, In : Parallel Computing. 91, 17 p., 102584.

    Research output: Contribution to journalArticleScientificpeer-review

  3. E-pub ahead of print

    Studying the inertias of LCM matrices and revisiting the Bourque-Ligh conjecture

    Haukkanen, P., Mattila, M. & Mäntysalo, J., 14 Oct 2019, In : Journal of Combinatorial Theory. Series A. 171, 105161.

    Research output: Contribution to journalArticleScientificpeer-review

  4. Published

    Satisfiability of modal inclusion logic: Lax and strict semantics

    Hella, L., Kuusisto, A., Meier, A. & Vollmer, H., 1 Oct 2019, In : ACM TRANSACTIONS ON COMPUTATIONAL LOGIC. 21, 1, 7.

    Research output: Contribution to journalArticleScientificpeer-review

  5. Published

    Hermitian normalized Laplacian matrix for directed networks

    Yu, G., Dehmer, M., Emmert-Streib, F. & Jodlbauer, H., 1 Aug 2019, In : Information Sciences. 495, p. 175-184 10 p.

    Research output: Contribution to journalArticleScientificpeer-review

  6. Published

    High-performance SIMD implementation of the lattice-Boltzmann method on the Xeon Phi processor

    Robertsén, F., Mattila, K. & Westerholm, J., 10 Jul 2019, In : Concurrency Computation. 31, 13, 16 p., e5072.

    Research output: Contribution to journalArticleScientificpeer-review

  7. Published

    Analysis of an efficient parallel implementation of active-set Newton algorithm

    San Juan Sebastián, P., Virtanen, T., Garcia-Molla, V. M. & Vidal, A. M., Mar 2019, In : Journal of Supercomputing. 75, 3, p. 1298-1309 12 p.

    Research output: Contribution to journalArticleScientificpeer-review

  8. Published

    Towards detecting structural branching and cyclicity in graphs: A polynomial-based approach

    Dehmer, M., Chen, Z., Emmert-Streib, F., Mowshowitz, A., Shi, Y., Tripathi, S. & Zhang, Y., 1 Jan 2019, In : Information Sciences. 471, p. 19-28 10 p.

    Research output: Contribution to journalArticleScientificpeer-review

  9. Published

    ALMARVI System Solution for Image and Video Processing in Healthcare, Surveillance and Mobile Applications

    Al-Ars, Z., van der Vlugt, S., Jääskeläinen, P. & van der Linden, F., Jan 2019, In : Journal of Signal Processing Systems. 91, 1, p. 1-7

    Research output: Contribution to journalArticleScientificpeer-review

  10. Published

    A fun-accuracy trade-off in game-based learning

    Greipl, S., Ninaus, M., Bauer, D., Kiili, K. & Moeller, K., 2019, Games and Learning Alliance - 7th International Conference, GALA 2018, Proceedings. Söbke, H., Gentile, M. & Allegra, M. (eds.). Springer Verlag, p. 167-177 11 p. (Lecture Notes in Computer Science; vol. 11385).

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

  11. Published

    Alternating-time temporal logic ATL with finitely bounded semantics

    Goranko, V., Kuusisto, A. & Rönnholm, R., 2019, In : Theoretical Computer Science.

    Research output: Contribution to journalArticleScientificpeer-review

Previous 1 2 3 4 5 6 7 8 ...23 Next