TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Julkaisut

  1. 2019
  2. Julkaistu

    Formula size games for modal logic and mu-calculus

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

    Tutkimustuotosvertaisarvioitu

  3. Julkaistu

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

    Qian, Y., Chen, K. & Yu, H., 17 lokakuuta 2019, ISPA 2019 - 11th International Symposium on Image and Signal Processing and Analysis. Loncaric, S., Bregovic, R., Carli, M. & Subasic, M. (toim.). IEEE, s. 352-354 3 Sivumäärä (International Symposium on Image and Signal Processing and Analysis, ISPA; painos 2019-September).

    Tutkimustuotosvertaisarvioitu

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

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

    Tutkimustuotosvertaisarvioitu

  5. Julkaistu

    On the Succinctness of Atoms of Dependency

    Vilander, M. & Lück, M., 20 elokuuta 2019, julkaisussa : Logical Methods in Computer Science. 15, 3, s. 17:1-17:28 28 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  6. Julkaistu

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

    Robertsén, F., Mattila, K. & Westerholm, J., 10 heinäkuuta 2019, julkaisussa : Concurrency Computation. 31, 13, 16 Sivumäärä, e5072.

    Tutkimustuotosvertaisarvioitu

  7. Julkaistu

    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 toukokuuta 2019, julkaisussa : PLoS Computational Biology. 15, 5, e1007033.

    Tutkimustuotosvertaisarvioitu

  8. Julkaistu

    On the complexity of restoring corrupted colorings

    De Biasi, M. & Lauri, J., toukokuuta 2019, julkaisussa : Journal of Combinatorial Optimization. 37, 4, s. 1150-1169 20 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  9. Hyväksytty/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, (Hyväksytty/In press) julkaisussa : Computers and Mathematics with Applications.

    Tutkimustuotosvertaisarvioitu

  10. Emptiness problems for distributed automata

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

    Tutkimustuotosvertaisarvioitu

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

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

    Tutkimustuotosvertaisarvioitu

Edellinen 1 2 3 4 5 6 7 8 Seuraava