-
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... -
r37980778c78--c5c454bcb94149a9473a307107205f4e
Physics analysis framework, built with emphasis on specialisation and modularity. -
r37980778c78--818cb456907266f007cc591fd5da7237
GRMHD_con2prim is a general-purpose framework that comes with various methods for the recovery of primitive variables from conservative variables in general-relativistic... -
r37980778c78--e961c19024d89c30af75670c1a8114a6
SmartPLS 3.2.9 Professional Full Version This Is A Portable Form Of SmartPLS 3.2.9 Professional Full Version No Need To Install, Instantly Used To Download Portable SmartPLS... -
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... -
r37980778c78--87eb0422a95bc6d3b59ada90ea7db50c
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. -
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". -
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... -
r37980778c78--4cc4ea2d5820b1d256f7735e5c05f3f5
The polyhedron repository contains simple Python code to do robust point-in-polygon and point-in-polyhedron testing. This is the first official release of the code in this... -
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:... -
r37980778c78--353f71b0628c89bb5616c7610bc67bb9
TAGGS is a tool to geotag tweets based on the tweet content. First, tweets are collected over a 24-hour period. Each individual tweet within this timeframe is analyzed on an... -
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.