Leif Eriksson

Cette étude se concentre sur les variables quantifiées existentiellement dans le QBF, avec pour objectif des solutions efficaces.

OpenMetBuoys fournissent des données essentielles sur les interactions entre la glace de mer et les vagues dans la zone de glace marginale.