Organisationsprofil

Forskningsinstitutet för informationsteknik, HIIT, är ett samarbete mellan Helsingfors universitet och Aalto-universitetet. HIITs uppgift är att bedriva grundforskning och tillämpad forskning inom informationsteknik på en internationellt hög nivå, i nära samarbete med IT-industrin och vetenskaper som tillämpar informationsteknik, samt att ge forskarutbildning och högre utbildning förenad med forskning i samarbete med institutionerna vid olika fakulteter. Läs mera här

Internationellt och inhemskt samarbete Publikationer och projekt inom de senaste fem åren.

Personer

Tero Aittokallio

tero.aittokallio@helsinki.fi

Forskningsinstitutet för informationsteknologi
Bioinformatics
Institutet för molekylärmedicin i Finland - äldre forskare
Doctoral Programme in Biomedicine - Handledare för doktorandprogram
Doctoral Programme in Clinical Research - Handledare för doktorandprogram
Doctoral Programme in Drug Research - Handledare för doktorandprogram
Doctoral Programme in Integrative Life Science - Handledare för doktorandprogram

Person: U3 Undervisnings- och forskningspersonal, HU

Khalid Alnajjar

khalid.alnajjar@helsinki.fi

Person: U1 Undervisnings- och forskningspersonal, HU

Wray Lindsay Buntine

wray.buntine@helsinki.fi

Avdelningen för datavetenskap - Titeln docent
Forskningsinstitutet för informationsteknologi

Person: HU

Dmitrii Bychkov

dmitrii.bychkov@helsinki.fi

Person: U1 Undervisnings- och forskningspersonal, HU

Jukka Corander

jukka.corander@helsinki.fi

Avdelningen för matematik och statistik - professor
Forskningsinstitutet för informationsteknologi
Biostatistics Helsinki
Doctoral Programme in Mathematics and Statistics - Handledare för doktorandprogram
Doctoral Programme in Population Health - Handledare för doktorandprogram

Person: HU, U4 Undervisnings- och forskningspersonal

Forskningsenheter

Hannu Toivonen / Ansvarig forskare

Avdelningen för datavetenskap, Forskningsinstitutet för informationsteknologi

Organisation: Forskningsgrupper

Intelligent Interactive Information Access research group / Patrik Floréen

Forskningsinstitutet för informationsteknologi, Avdelningen för datavetenskap

Organisation: Forskningsgrupper

Samuel Kaski / Ansvarig forskare

Forskningsinstitutet för informationsteknologi, Avdelningen för datavetenskap

Organisation: Forskningsgrupper

Projekt 2006 2023

2 Ej startad
13 Aktiv
26 Färdig

Symbolic Techniques for Formally Verified and Explainable AI

Järvisalo, M.

01/01/2020 → 31/12/2022

Projekt: Forskningsprojekt

Declarative Boolean Optimization: Pushing the Envelope

Järvisalo, M.

01/09/2019 → 31/08/2023

Projekt: Forskningsprojekt

Embeddia: Cross-Lingual Embeddings for Less-Represented Languages in European News Media

Toivonen, H. T., Linden, C., Granroth-Wilding, M., Leppänen, L., Alnajjar, K. & Zosa, E.

01/01/2019 → 31/12/2021

Projekt: Forskningsprojekt

xCESE: Extreme Continuous Experimentation in Software Engineering

Männistö, T., Fagerholm, F., Yaman, S. & Toivonen, H. T.

01/09/2018 → 31/08/2022

Projekt: Forskningsprojekt

Sporttia Stadiin!

Peltonen, J., Uusitalo, A., Eklund, D., Tervaniemi, M., Huotilainen, M., Kaseva, K., Toivonen, T., Willberg, E., Roos, T., Kaartinen, J. & Mäntyjärvi, J.

01/08/2018 → …

Projekt: Forskningsprojekt

Publikationer 1983 2020

Algorithms for Dynamic Argumentation Frameworks: An Incremental SAT-Based Approach

Niskanen, A. & Järvisalo, M., 2020, (!!Accepted/In press) Proceedings of the 24th European Conference on Artificial Intelligence (ECAI 2020). IOS PRESS, 7 s. (Frontiers in Artificial Intelligence and Applications).

Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

Deciding Acceptance in Incomplete Argumentation Frameworks

Niskanen, A., Neugebauer, D., Järvisalo, M. & Rothe, J., 2020, (!!Accepted/In press) Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI 2020). AAAI Press, 8 s.

Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

Öppen tillgång

Fil

Discovering Causal Graphs with Cycles and Latent Confounders: An Exact Branch-and-Bound Approach

Rantanen, K., Hyttinen, A. & Järvisalo, M., 2020, I : International Journal of Approximate Reasoning. 117, s. 29-49 21 s.

Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review

Finding Most Compatible Phylogenetic Trees over Multi-State Character

Korhonen, T. & Järvisalo, M., 2020, (!!Accepted/In press) Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI 2020). AAAI Press

Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

Öppen tillgång

Fil

High-dimensional structure learning of binary pairwise Markov networks: A comparative numerical study

Pensar, J., Xu, Y., Puranen, S., Pesonen, M., Kabashima, Y. & Corander, J., jan 2020, I : Computational Statistics & Data Analysis. 141, s. 62-76 15 s.

Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review

Öppen tillgång