-
The CernVM File System: v2.5.1
The CernVM-File System (CernVM-FS) provides a scalable, reliable and low-maintenance software distribution service. It was developed to assist scientific collaborations to... -
Decidable Subtyping for Path Dependent Types - Artifact
A proof of subtype decidability for the Wyvself and Wyvfix variants of Wyvern, formalised in Coq. The associated type systems are described in greater detail in the associated... -
greenelab/continuous_analysis: Continuous Analysis v1.0
This release is associated with the in press version of the continuous analysis manuscript. -
Software for Control of Autonomous Robots Using Fuzzy Logic Controllers Tuned...
Software for Control of Autonomous Robots Using Fuzzy Logic Controllers Tuned by Genetic Algorithms This software implements the autonomous control of a robot by using a fuzzy... -
JuliaFEM/ModelReduction.jl: A Julia package to reduce the dimensions of model...
ModelReduction is a repository of JuliaFEM to reduce the dimension of a model for multibody dynamics problems. The package includes e.g. the Guyan reduction and the... -
BioMoDeL/aesop: AESOP 1.1.0
Documentation can be found at http://aesop.readthedocs.io Webserver implementation can be found at https://aeolus.engr.ucr.edu/aesop -
Simple-Web-Server: a fast and flexible HTTP/1.1 C++ client and server library
A simple, fast, platform independent HTTP and HTTPS client and server library implemented using C++11 and Asio. Created to be an easy way to make REST resources available from... -
Ocean model of Protactinium, Thorium and Particles (ProThorP)
ProThorP [pɹoθɔrp] is a model of thorium, protactinium and particles. More specifically, at the moment, it is a conceptual model that describes, and a numerical model that... -
SSPredict: A Solid Solution Strengthening Prediction and Visualization Tool
This tool visualizes the solid solution strengthening stress of complex concentrated alloys (CCAs) in pseudo-ternary diagrams. The contour plot is combined with phase... -
Computational files for publication "Destabilizing evolutionary and eco-evolu...
Maple, Matlab, and R computational files for all analysis in "Destabilizing evolutionary and eco-evolutionary feedbacks drive eco-evo cycles in empirical systems" by... -
Regularised ADMM reconstruction algorithm for X-ray CT (ADMM-tomo)
Regularised ADMM-type iterative reconstruction algorithm for X-ray tomographic reconstruction. Software highlights: Tomographic projection data are simulated without the... -
Event Adjudication Committee Jury Room (Eac-Jury Room)
Event Adjudication Committee - Jury Room, A web-based jury portal built for the DO-Touch.NET Practice-Based Research Network's Event Adjudication Committee. This project is... -
PRIMo rev 3.1 - Pesticide Residue Intake Model calculator
Since 2007 the EFSA PRIMo (Pesticide Residue Intake Model), an Excel based calculation spreadsheet, is the standard tool used at EU level to perform the dietary risk assessment... -
Gender Classification Of Human Faces
Gender recognition is consider as one of the interesting visual task for an extremely social animal like us humans, many social interactions critically depend on the correct... -
Water Balance Model For Lake Victoria
This release includes the data analysis and modelling used in Vanderkelen et al., 2018a and b. Preprocessed data necessary to run the model is available upon... -
Dataset generator for "Mining a maximum weighted set of disjoint submatrices"
Dataset generator for "Mining a maximum weighted set of disjoint submatrices" -
Geoffbarrett/Batchtintv2: Batchtintv2
BatchTINTV2 is A GUI created by the Taub Institute in order to create an end-user friendly batch processing solution to complement Axona's new command line modification of TINT. -
Simulation Software For Predicting Adolescent Social Networks To Stop Smoking...
Source code for a simulation model used in a paper entitled "Predicting Adolescent Social Networks to Stop Smoking in Secondary Schools" submitted to EJORS. This is written for... -
MATLAB scripts for processing the dataset "Full RREA Dataset" (DOI: 10.5281/z...
Set of MATLAB scripts used for the Article : "Evaluation of Monte Carlo tools for high energy atmospheric physics II: relativistic runaway electron avalanches" by D....