Tampere University of Technology

TUTCRIS Research Portal

Publications

  1. 2019
  2. Published

    Formula size games for modal logic and mu-calculus

    Hella, L. T. & Vilander, M. S., 13 Dec 2019, In : JOURNAL OF LOGIC AND COMPUTATION. exz025.

    Research output: Contribution to journalArticleScientificpeer-review

  3. Published

    Fast fourier color constancy and grayness index for ISPA illumination estimation challenge

    Qian, Y., Chen, K. & Yu, H., 17 Oct 2019, ISPA 2019 - 11th International Symposium on Image and Signal Processing and Analysis. Loncaric, S., Bregovic, R., Carli, M. & Subasic, M. (eds.). IEEE, p. 352-354 3 p. (International Symposium on Image and Signal Processing and Analysis, ISPA; vol. 2019-September).

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

  4. 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

  5. Published

    On the Succinctness of Atoms of Dependency

    Vilander, M. & Lück, M., 20 Aug 2019, In : Logical Methods in Computer Science. 15, 3, p. 17:1-17:28 28 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

    Reduced level of docosahexaenoic acid shifts GPCR neuroreceptors to less ordered membrane regions

    Javanainen, M., Enkavi, G., Guixà-Gonzaléz, R., Kulig, W., Martinez-Seara, H., Levental, I. & Vattulainen, I., 1 May 2019, In : PLoS Computational Biology. 15, 5, e1007033.

    Research output: Contribution to journalArticleScientificpeer-review

  8. Published

    On the complexity of restoring corrupted colorings

    De Biasi, M. & Lauri, J., May 2019, In : Journal of Combinatorial Optimization. 37, 4, p. 1150-1169 20 p.

    Research output: Contribution to journalArticleScientificpeer-review

  9. Accepted/In press

    Cuts for 3-D magnetic scalar potentials: Visualizing unintuitive surfaces arising from trivial knots

    Stockrahm, A., Lahtinen, V., Kangas, J. J. J. & Kotiuga, P. R., 2019, (Accepted/In press) In : Computers and Mathematics with Applications.

    Research output: Contribution to journalArticleScientificpeer-review

  10. E-pub ahead of print

    Emptiness problems for distributed automata

    Kuusisto, A. & Reiter, F., 2019, In : Information and Computation. 104503.

    Research output: Contribution to journalArticleScientificpeer-review

  11. E-pub ahead of print

    Modeling mass transfer in fracture flows with the time domain-random walk method

    Kuva, J., Voutilainen, M. & Mattila, K., 2019, In : COMPUTATIONAL GEOSCIENCES.

    Research output: Contribution to journalArticleScientificpeer-review

Previous 1 2 3 4 5 6 7 8 Next