-
Maps of the Iberian Peninsula – comparison Xi, Omega recension
Ptolemy's catalogue of localities contains a list of places with their coordinates that enables to draw maps of the Iberian Peninsula. Ptolemy's text came down to us in... -
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 -
Artifact (Software + Dataset) For "The Impact Of Regular Expression Denial Of...
# Ecosystem-scale regexp study Welcome to the FSE'18 artifact for the ESEC/FSE paper "The Impact of Regular Expression Denial of Service (ReDoS) in Practice: an... -
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... -
Polaris: A Separation Logic For Concurrent Randomized Programs
This is the archived artifact associated with the paper " A Separation Logic for Concurrent Randomized Programs" by Joseph Tassarotti and Robert Harper. The... -
Osm Street Blocks Extraction
This repository contains a Python script (Jupyter notebook) implementing extraction of street blocks from OpenStreetMap (or other sources of vectorial data) using PostGis. -
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:... -
Comparative Analysis of State-Level Energy Efficiency and Renewable Energy Po...
This website contains a comparative analysis of state-level energy efficiency and renewable energy (EERE) policies. Links to the original data sources can be found in the website.