Paper "Overview and Analysis of the SAT Challenge 2012 Solver Competition" accepted to Artificial Intelligence
The article Overview and Analysis of the SAT Challenge 2012 Solver Competition by Adrian Balint (Ulm University, Germany), Anton Belov (University College Dublin, Ireland), Matti Järvisalo (University of Helsinki and HIIT), and Carsten Sinz (Karlsruhe Institute of Technology, Germany) has been accepted for publication in Artificial Intelligence.
Strategic partnership with NSF Science and Technology Center for Science of Information
Aalto University and University of Helsinki have signed an agreement to become strategic partners of the NSF Science and Technology Center for Science of Information. The collaboration activities will be coordinated by Helsinki Institute for Information Technology HIIT, a joint research institute of the two Finnish universities. The member universities of the SoI center are Purdue (leader), Bryn Mawr, Howard, MIT, Princeton, Stanford, Texas A&M, UC Berkeley, UCSD and Urbana-Champaign.
HIIT coordinates Aalto Digi Platform
Digitalization is having a tremendous effect in today's and tomorrow's industries, economics and society at large. Digitalization is a key strong area at Aalto University, and the Digi Platform will further enhance Aalto's role in the field. HIIT's role is to coordinate Aalto Digi Platform in practice, linking it to University of Helsinki, too.
Find related research by combining models of experimental data
In a proof of concept study, HIIT researchers have shown that it is possible to find relevant earlier research direcly based on the experimental data, better than by the standard keyword searches on annotations of the data. The results corresponded well with citations between the journal papers in which the data sets had been first publicized, to the extent of even finding errors in the data. The search is scalable, with linear complexity, given models learned separately for each data set. The work was done with European Bioinformatics Institute EBI of EMBL, and published in PLOS ONE.
New evolutionary mechanism for bacterial populations discovered
Mutations and horizontal transfer of genes represent evolutionary mechanisms which have been studied extensively over decades. Until now, the role of horizontally changing gene regulatory elements at the level of population evolution has been unknown. In a study published in PNAS, professor Jukka Corander joined forces with scientists at MIT and Tel Aviv University showed that horizontal rewiring of gene regulatory elements is a ubiquitous mechanisms across different species of bacteria and holds considerable potential for their adaptation to changing environmental conditions.