Julkaisut

Lisää hakuvaihtoehtoja

Yksikkö

Aseta uudelleen

Tyyppi

Kieli

Julkaisuvuosi

Julkaisukategoria

Onko vertaisarvioitu

Kokoteksti

1 - 10 / 225Sivun koko: 10

Järjestys:: Julkaisuvuosi

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:
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.
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:
Julkaistu
A fun-accuracy trade-off in game-based learning
Greipl, S., Ninaus, M., Bauer, D., Kiili, K. & Moeller, K., 2019, Games and Learning Alliance - 7th International Conference, GALA 2018, Proceedings. Söbke, H., Gentile, M. & Allegra, M. (toim.). Springer Verlag, s. 167-177 11 Sivumäärä (Lecture Notes in Computer Science; painos 11385).
Tutkimustuotos › › vertaisarvioitu

Kokoteksti:
Julkaistu
Alternating-time temporal logic ATL with finitely bounded semantics
Goranko, V., Kuusisto, A. & Rönnholm, R., 2019, julkaisussa : Theoretical Computer Science.
Tutkimustuotos › › vertaisarvioitu

Kokoteksti: