Julkaisut

Lisää hakuvaihtoehtoja

Yksikkö

Aseta uudelleen

Tyyppi

Kieli

Julkaisuvuosi

Julkaisukategoria

Onko vertaisarvioitu

Kokoteksti

1 - 10 / 229Sivun koko: 10

Järjestys:: Julkaisuvuosi

2020
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ä
Tutkimustuotos › › vertaisarvioitu

Kokoteksti:
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.
Tutkimustuotos › › vertaisarvioitu

Kokoteksti:
Game-theoretic semantics for ATL⁺ with applications to model checking
Goranko, V., Kuusisto, A. & Rönnholm, R., 2020, julkaisussa : Information and Computation. 104554.
Tutkimustuotos › › vertaisarvioitu

Kokoteksti:
2019
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.
Tutkimustuotos › › vertaisarvioitu

Kokoteksti:
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.
Tutkimustuotos › › vertaisarvioitu

Kokoteksti:
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ä
Tutkimustuotos › › vertaisarvioitu

Kokoteksti:
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.
Tutkimustuotos › › vertaisarvioitu

Kokoteksti:
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ä
Tutkimustuotos › › vertaisarvioitu

Kokoteksti:
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ä
Tutkimustuotos › › vertaisarvioitu

Kokoteksti:
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
Tutkimustuotos › › vertaisarvioitu

Kokoteksti: