Publications

Advanced search options

Organisational unit

Reset

Type

Language

Publication year

Publication category

Peer-reviewed

Full text

1 - 10 out of 225Page size: 10

Sort by: Publication date

2019
E-pub ahead of print
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 Nov 2019, In : Parallel Computing. 91, 17 p., 102584.
Research output: Contribution to journal › Article › Scientific › peer-review

Full text:
E-pub ahead of print
Studying the inertias of LCM matrices and revisiting the Bourque-Ligh conjecture
Haukkanen, P., Mattila, M. & Mäntysalo, J., 14 Oct 2019, In : Journal of Combinatorial Theory. Series A. 171, 105161.
Research output: Contribution to journal › Article › Scientific › peer-review

Full text:
Published
Satisfiability of modal inclusion logic: Lax and strict semantics
Hella, L., Kuusisto, A., Meier, A. & Vollmer, H., 1 Oct 2019, In : ACM TRANSACTIONS ON COMPUTATIONAL LOGIC. 21, 1, 7.
Research output: Contribution to journal › Article › Scientific › peer-review

Full text:
Published
Hermitian normalized Laplacian matrix for directed networks
Yu, G., Dehmer, M., Emmert-Streib, F. & Jodlbauer, H., 1 Aug 2019, In : Information Sciences. 495, p. 175-184 10 p.
Research output: Contribution to journal › Article › Scientific › peer-review

Full text:
Published
High-performance SIMD implementation of the lattice-Boltzmann method on the Xeon Phi processor
Robertsén, F., Mattila, K. & Westerholm, J., 10 Jul 2019, In : Concurrency Computation. 31, 13, 16 p., e5072.
Research output: Contribution to journal › Article › Scientific › peer-review

Full text:
Published
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., Mar 2019, In : Journal of Supercomputing. 75, 3, p. 1298-1309 12 p.
Research output: Contribution to journal › Article › Scientific › peer-review

Full text:
Published
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 Jan 2019, In : Information Sciences. 471, p. 19-28 10 p.
Research output: Contribution to journal › Article › Scientific › peer-review

Full text:
Published
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., Jan 2019, In : Journal of Signal Processing Systems. 91, 1, p. 1-7
Research output: Contribution to journal › Article › Scientific › peer-review

Full text:
Published
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. (eds.). Springer Verlag, p. 167-177 11 p. (Lecture Notes in Computer Science; vol. 11385).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

Full text:
Published
Alternating-time temporal logic ATL with finitely bounded semantics
Goranko, V., Kuusisto, A. & Rönnholm, R., 2019, In : Theoretical Computer Science.
Research output: Contribution to journal › Article › Scientific › peer-review

Full text: