-
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 -
Parameter Calculator
The software "Parameter Calculation" serves as a demonstration for calculating parameters as part of my bachelor thesis "Learning Analytics in Flipped Classroom -... -
greenelab/continuous_analysis: Continuous Analysis v1.0
This release is associated with the in press version of the continuous analysis manuscript. -
Gaitsym2016
GaitSym2016 is a multibody dynamic package based on the ODE physics engine and used to simulate a variety of biorealistic models. This version was used to generate the output... -
Intermediate computations for the paper "Optimal monotonicity--preserving per...
Intermediate computations for the paper "Optimal monotonicity--preserving perturbations of a given Runge-Kutta method" by Inmaculada HIgueras, David I. Ketcheson, and...