Automated theorem provers and their role in cryptography

By Morten Rotvold Solberg and Kristian Gjøsteen In the 1970s, Fields Medal winner Paul Cohen made the prediction that in the future, mathematicians would be replaced by computers, implying that all of mathematics – including the writing of proofs – could be automated (Sriraman, 2017). While arguably bold, Cohen’s prediction […]

Read more

35th ECMI Modelling Week in Verona

This week ECMI held its 35th Modelling Week in Verona, Italy with around 60 participants from all over Europe. These annual modelling weeks at ECMI partner universities involve students working for a week in small multinational groups on projects based on real problems. Each group is led by an ECMI-instructor […]

Read more

Improving tax collection with big data analytics

Tax evasion is one of the major obstacles to increasing the competitiveness of an economy. It directly and negatively affects the conditions for business activities in the market for the companies that legally declare and pay taxes, making their production costs, and, consequently, the price of their products and services […]

Read more

Pursuing of Adaptive Linear Multistep Methods

A Hungarian-Swedish cooperation At the end of January two renowned guest professors joined Department of Applied Analysis and Computational Mathematics at Eötvös Loránd University. Professors Carmen Arévalo (Lund University, Sweden) and Gustaf Söderlind (Lund University, Sweden) had an enormous influence to the numerical analysis group at the Department. Professor Söderlind […]

Read more

Applied Mathematics – Data Science Master Program

Department of Mathematics and Informatics, Faculty of Science University of Novi Sad is starting with a new two year (120 ECTS) master program Applied Mathematics – Data Science from October 2016. The program will be in English and is designed in close cooperation with Biosense Research Institute (www.biosense.rs) and Engineering […]

Read more

Detecting cell motion during early embryogenesis

by Lukas F. Lang (RICAM, Austrian Academy of Sciences, Austria) l…@ricam.oeaw.ac.at Our main motivation is to estimate cell motion in time-lapse volumetric microscopy images depicting fluorescently labelled cells of a live zebrafish embryo. It has been only recently possible to obtain high-resolution observations of biological model organisms such as the […]

Read more
1 2 3
%d bloggers like this: