TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Julkaisut

  1. 2020
  2. Julkaistu

    On the zeros of the partial Hosoya polynomial of graphs

    Ghorbani, M., Dehmer, M., Cao, S., Feng, L., Tao, J. & Emmert-Streib, F., 1 heinäkuuta 2020, julkaisussa : Information Sciences. 524, s. 199-215 17 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  3. Julkaistu

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

    Haukkanen, P., Mattila, M. & Mäntysalo, J., 1 huhtikuuta 2020, julkaisussa : Journal of Combinatorial Theory. Series A. 171, 105161.

    Tutkimustuotosvertaisarvioitu

  4. Game-theoretic semantics for ATL+ with applications to model checking

    Goranko, V., Kuusisto, A. & Rönnholm, R., 2020, julkaisussa : Information and Computation. 104554.

    Tutkimustuotosvertaisarvioitu

  5. 2019
  6. 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 marraskuuta 2019, julkaisussa : Parallel Computing. 91, 17 Sivumäärä, 102584.

    Tutkimustuotosvertaisarvioitu

  7. Julkaistu

    Satisfiability of modal inclusion logic: Lax and strict semantics

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

    Tutkimustuotosvertaisarvioitu

  8. Julkaistu

    Hermitian normalized Laplacian matrix for directed networks

    Yu, G., Dehmer, M., Emmert-Streib, F. & Jodlbauer, H., 1 elokuuta 2019, julkaisussa : Information Sciences. 495, s. 175-184 10 Sivumäärä

    Tutkimustuotosvertaisarvioitu

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

  10. Julkaistu

    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., maaliskuuta 2019, julkaisussa : Journal of Supercomputing. 75, 3, s. 1298-1309 12 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  11. Julkaistu

    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 tammikuuta 2019, julkaisussa : Information Sciences. 471, s. 19-28 10 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  12. Julkaistu

    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., tammikuuta 2019, julkaisussa : Journal of Signal Processing Systems. 91, 1, s. 1-7

    Tutkimustuotosvertaisarvioitu

Edellinen 1 2 3 4 5 6 7 8 ...23 Seuraava