TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Julkaisut

  1. A1 Alkuperäisartikkeli
  2. Julkaistu

    Necessary and sufficient conditions for the existence of solution of generalized fuzzy relation equations A ⇔X = B

    Turunen, E., 1 lokakuuta 2020, julkaisussa : Information Sciences. 536, s. 351-357 7 Sivumäärä

    Tutkimustuotosvertaisarvioitu

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

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

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

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

    Tutkimustuotosvertaisarvioitu

  6. PRBS-based loop gain identification and output impedance shaping in DC microgrid power converters

    Khodamoradi, A., Liu, G., Mattavelli, P., Messo, T. & Abedini, H., 2020, julkaisussa : Mathematics and Computers in Simulation. 13 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  7. Vehicle Attribute Recognition by Appearance: Computer Vision Methods for Vehicle Type, Make and Model Classification

    Ni, X. & Huttunen, H., 2020, julkaisussa : Journal of Signal Processing Systems.

    Tutkimustuotosvertaisarvioitu

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

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

  10. Julkaistu

    Model checking and validity in propositional and modal inclusion logics

    Hella, L., Kuusisto, A., Meier, A. & Virtema, J., 1 syyskuuta 2019, julkaisussa : JOURNAL OF LOGIC AND COMPUTATION. 29, 5, s. 605-630 26 Sivumäärä

    Tutkimustuotosvertaisarvioitu

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

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