-
A general proof certification framework for modal logic - Implementation
This archive contains the lambda-prolog implementation of a general proof certification framework for modal logic -
Sentinelflow: automated satellite image workflow for Sentinel-2
Search, download and patch Copernicus Sentinel-2 data into appealing color images. Colors are adapted to human perception and fit for dark oceans as well as bright snow... -
TUBYDI- Assistir Filmes e Séries online grátis
Se você não planeja Ouvir musicas, o App "Tubydi" é a melhor opção, pois é semelhante ao Tubydi Ocplus, mas não... -
r37980778c78--931ea05a4ca5d1a046356058196359ad
This is the code used for the results displayed in "A Direct Measure of Inefficiency within Couples: Tax Optimization in French cohabiting couples". -
Shoreline Analyst and End Point Rate for QGIS
This model can calculate the shift of two shoreline or coastline, rate and estimate the future position by End Point Rate equation (EPR). Input parameters Year be Simulate:...
