Projects per year
Organization profile
Organisation Profile
Helsinki Institute for Information Technology HIIT is a joint research institute of Aalto University and the University of Helsinki for basic and applied research on information technology. Its research ranges from fundamental methods and technologies to novel applications and their impact on people and society. Read more here
International and National Collaboration
Publications and projects within past five years.
Profiles
Tero Aittokallio
- Helsinki Institute for Information Technology
- Bioinformatics
- Institute for Molecular Medicine Finland - Senior Researcher
- Doctoral Programme in Biomedicine - Supervisor for doctoral programme
- Doctoral Programme in Clinical Research - Supervisor for doctoral programme
- Doctoral Programme in Drug Research - Supervisor for doctoral programme
- Doctoral Programme in Integrative Life Science - Supervisor for doctoral programme
Person: U3 Research and teaching staff, UH
Khalid Alnajjar
- Department of Computer Science - Doctoral Student
- Discovery Research Group/Prof. Hannu Toivonen
- Doctoral Programme in Computer Science
Person: U1 Research and teaching staff, UH
Dmitrii Bychkov
- Helsinki Institute for Information Technology
- Institute for Molecular Medicine Finland - Doctoral Student
- Doctoral Programme in Biomedicine
Person: U1 Research and teaching staff, UH
Jukka Corander
- Department of Mathematics and Statistics - Professor
- Helsinki Institute for Information Technology
- Biostatistics Helsinki
- Doctoral Programme in Mathematics and Statistics - Supervisor for doctoral programme
- Doctoral Programme in Population Health - Supervisor for doctoral programme
Person: UH, U4 Research and teaching staff
Research Units
Discovery Research Group/Prof. Hannu Toivonen
Department of Computer Science, Helsinki Institute for Information Technology
Organisational unit: Research Group
Projects 2006 2023
Symbolic Techniques for Formally Verified and Explainable AI
01/01/2020 → 31/12/2022
Project: Research project
Declarative Boolean Optimization: Pushing the Envelope
01/09/2019 → 31/08/2023
Project: Research project
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
Project: Research project
xCESE: Extreme Continuous Experimentation in Software Engineering
Männistö, T., Fagerholm, F., Yaman, S. & Toivonen, H. T.
01/09/2018 → 31/08/2022
Project: Research project
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 → …
Project: Research project
Publications 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 p. (Frontiers in Artificial Intelligence and Applications).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › 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 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Open Access
File
Differentially private Markov chain Monte Carlo
Heikkilä, M., Jälkö, J., Dikmen, O. & Honkela, A., 9 Jan 2020, Advances in Neural Information Processing Systems. Wallach, H., Larochelle, H., Beygelzimer, A., d'Alché-Buc, F., Fox, E. & Garnett, R. (eds.). NEURAL INFORMATION PROCESSING SYSTEMS (NIPS), Vol. 32. 11 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Open Access
Discovering Causal Graphs with Cycles and Latent Confounders: An Exact Branch-and-Bound Approach
Rantanen, K., Hyttinen, A. & Järvisalo, M., 2020, In : International Journal of Approximate Reasoning. 117, p. 29-49 21 p.Research output: Contribution to journal › Article › Scientific › 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 PressResearch output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Open Access
File
Activities 1990 2021
Expressiveness versus Efficiency Workshop, part of the Satisfiability: Theory, Practice, and Beyond Program
Matti Järvisalo (Member of organizing committee)2021
Activity: Participating in or organising an event types › Organisation and participation in conferences, workshops, courses, seminars
The 29th International Joint Conference on Artificial Intelligence (Event)
Hannu Toivonen (Programme Committee Member)11 Jul 2020 → 17 Jul 2020
Activity: Publication peer-review and editorial work types › Editor of research anthology/collection/conference proceedings
7th Computational Creativity Symposium at AISB 2020 (Event)
Hannu Toivonen (Programme Committee Member)6 Apr 2020 → 9 Apr 2020
Activity: Publication peer-review and editorial work types › Peer review of manuscripts
The 42nd Annual Meeting of the Cognitive Science Society (CogSci) (Event)
Hannu Toivonen (Programme Committee Member)29 Jul 2020 → 1 Aug 2020
Activity: Publication peer-review and editorial work types › Peer review of manuscripts
Eighteenth International Symposium on Intelligent Data Analysis (IDA 2020) (Event)
Hannu Toivonen (Programme Committee Vice Chair)27 Apr 2020 → 29 Apr 2020
Activity: Publication peer-review and editorial work types › Editor of research anthology/collection/conference proceedings
Prizes
2019 IJCAI-JAIR Best Paper Prize
Armin Biere (Recipient), Marijn J.H. Heule (Recipient), Matti Järvisalo (Recipient), Florian Lonsing (Recipient) & Martina Seidl (Recipient), 2019
Prize: Prizes and awards
Award for a distinguished Master's thesis in Behavioural Sciences
Jukka Toivanen (Recipient), 11 Jun 2013
Prize: Prizes and awards
Datasets
The 12 Million Most Frequent English Grammatical Relations and their Frequencies
Alnajjar, K. (Creator), Zenodo, 30 May 2018
Dataset
Effects of Cooperation Policy and Network Topology on Performance of In-Network Caching
Wang, L. (Creator), Bayhan, S. (Creator), Kangasharju, J. (Creator), IEEE Communications Letters, 2014
DOI: 10.1109/LCOMM.2014.013114.132647
Dataset
Press / Media
Re: iTWire - Free Artificial Intelligence Training
09/01/2020
1 item of Media coverage
Press/Media: Press / Media
Interviewed about Y2K in Hufvudstadsbladet
31/12/2019
1 item of Media coverage
Press/Media: Press / Media
An AI Christmas Gift; Finland Offers Free Online Course On AI To Educate 1% EU Citizens On The Basics of AI
29/12/2019
1 item of Media coverage
Press/Media: Press / Media
Finland gives European citizens an artificial intelligence course for Christmas | Trends
25/12/2019
1 item of Media coverage
Press/Media: Press / Media