Academy of Finland  
Funding decision
Applicant / Contact person Koivisto, Mikko
Organisation University of Helsinki
Project title Adaptive Techniques for Approximate Counting (ATAC)
Decision No. 316771
Decision date 18.06.2018
Funding period 01.09.2018 - 31.08.2022
Funding 497 884
Project description
Computing a sum of terms can be prohibitively demanding when the terms are numerous and specified only implicitly - the case in various applications in mathematics, physics, and statistics. The project "Adaptive Techniques for Approximate Counting" seeks novel methods to solve such counting problems well in practice. We allow the computation time vary in unpredictable ways from one problem instance to another. We also allow the solution deviate from the exact value, but require the method to yield an upper bound on the deviation. Our methodology combines viewpoints of two research areas, algorithm theory and artificial intelligence. We focus on a few problems from machine learning and computational geometry, for which the state of the art is insufficient. The four-year project will be conducted at the Department of Computer Science of University of Helsinki, by a team of a few researchers. The project includes significant collaboration with other teams in Finland and abroad.