Model checking verifies the correctness of nuclear power plant safety systems
The study utilises model checking to address the insufficiencies of testing and simulation in the verification of safety systems.
The object of Jussi Lahtinen’s dissertation was to find a more formal and mathematical approach to system verification and to develop model checking practices that are suitable for the nuclear industry. The traditional system verification methods, such as testing and simulation, do not have enough coverage to address the increasing digitalisation of safety automation systems.
Regression modelling reconstructs weather forecasts for the past from animal teeth
Research data was collected from Kenyan national parks over the past 60 years, combined with traits of the teeth of herbivorous mammals.
In the new study, the annual rainfall and average temperatures in the national parks are inferred from the teeth of herbivorous mammals. Such reverse engineering opens up new opportunities for interpreting fossil records. The results were recently published in the journal PNAS.
Giant leap in ABC inference scalability
HIIT scientists Michael Gutmann and Corander published a machine learning based ABC inference approach in the Journal of Machine Learning Research. Their method (BOLFI) is based on Bayesian optimization with Gaussian processes and is generally applicable to simulator models with intractable likelihoods. Without sacrificing accuracy, BOLFI speeds up posterior computation by 3-4 orders of magnitude compared with the state-of-the-art sequential Monte Carlo algorithms.
HIIT participated to the 10th International Workshop on Machine Learning in Systems Biology
Fri, 16.09.201610th International Workshop on Machine Learning in Systems BiologySeptember 3-4 2016, World Forum, The Hague
The tenth edition of MLSB was organized as a two-day satellite meeting before ECCB2016, the European Conference on Computational Biology (September 5-7, 2016) by Dick de Ridder and Aalt-Jan van Dijk (Wageningen University, The Netherlands) and Juho Rousu and Harri Lähdesmäki (Aalto University, Finland) at the World Foru
HIIT scientists present the most advanced GWAS method for bacteria to date
A HIIT-wide team led by professor Jukka Corander included several scientists from both UH and Aalto with a joint mission to create the most advanced and computationally best scalable method for genome-wide association (GWAS) studies in bacteria. The team had a close collaboration with the Pathogen Genomics Group at the Wellcome Trust Sanger Institute where GWAS is an important step towards unraveling the secrets behind evolution and success of numerous major human pathogens from large-scale population genomic data.
20 Postdoctoral Researcher and Research Fellow Positions in ICT (Helsinki, Finland)
Aalto University and University of Helsinki, the two leading universities in Finland within computer science and information technology, are looking for excellent researchers in several areas of ICT.
Positions are available in the following areas:
Women need role models in information technology and information about the benefits of the technology
The Helsinki Institute for Information Technology (HIIT) arranged a film evening in the premises of the software company Futurice in May. HIIT showed the American documentary film ‘Code Debugging the Gender Gap’, which focuses on programming, gender and minorities.
New HIIT research programs selected
The HIIT Board decided in their meeting on June 1st to launch the following new HIIT research programs in August:
BREW is a learning workshop organized by PhD students in bioinformatics
BREW 2016 Bioinformatics Research and Education Workshop was organized in Helsinki in May. BREW is a series of annual workshops for PhD students in bioinformatics and computational biology, which aims to give an introduction to scientific conferences, including submission, peer review and presentation of scientific papers. All participants both present a paper and participate in the programme committee, reviewing papers from other participants.
Järvisalo to deliver IJCAI-16 Early Career Spotlight as one of the most active early career AI researchers in the world
Dr. Matti Järvisalo has been invited to deliver one of the Early Career Spotlight Talks at IJCAI-16, 22nd International Joint Conference on Artificial Intelligence taking place In New York City, USA, in July 2016. IJCAI is the prestigious number-one conference on artificial intelligence world-wide.