-
COHESIVE Information System (CIS) Virtual Machine
Project JIP2 COHESIVE COHESIVE: One Health Structure In Europe Virtual Machine of CIS (Cohesive Information System) related to the Deliverable D-4.1.1 Implemented... -
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... -
emgr - Empirical Gramian Framework (2.0)
emgr - EMpirical GRamian framework for model reduction of (nonlinear) input-output systems. More information at: https://gramian.de -
Simulink-based dual-band Galileo/GPS simulator (acquisition and tracking)
The attachment contain a Dual-band Dual-GNSS Simulink-based simulator for the acquisition and tracking of GNSS signals (Galileo E1/E5 and GPS L1/L5). The simulator and its... -
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... -
Inequality plot
MATLAB code to plot inequalities in 2-D spaces. It is possible to plot multiple inequalities using the & operator. It is also possible to customize color and resolution. For... -
sgsaenger/vipster v1.18b
VIsual Periodic STructure EditoR Visualization and editing framework for atomistic simulations. For more information, please visit the Homepage. -
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:...