-
PESTS: Partial Evaluator of Simple Transition Systems
In the TACAS paper, it is proved that natural projection reduces to partial model checking and, when cast in a common setting, the two are equivalent. In addition, there... -
MATLAB tools for PMA transfer function evaluation (mat-tfer-pma)
Evaluates the transfer function for particle mass analyzers, including the centrifugal particle mass analyzer (CPMA) and aerosol particle mass analyzer (APM).------------The... -
gCube PerformFISH-Apps Portlet
PerformFISH Apps is a set of portlet for the implementation of the Form Submission useful to calculate KPIs Support Bugs and support requests can be reported in the gCube... -
DOI Test project
A simple project containing dummy code to test the connection of GitHub repositories with Zenodo. -
r37980778c78--a7239f9cc7d8a9720c4eba12716b97e9
MATLAB program that produced the figures and numbers for A gravitational interaction potential unifies gravity with other forces--the cornerstone of Theory of Everything papers. -
Movingsem; An R Function To Compute Moving Window Structural Equation Models ...
Function to compute moving window structural equation models in R as in Jassey et al. (in press, Global Change Biology). This function is build for the sem R package but can be... -
scikit-tda/kepler-mapper: JOSS Release
Use sphinx-gallery for documentation examples (#164) Removed mutable arguments (#165) Minor JOSS edits (#166) Allow sparse matrices in map function (PR #163) -
r37980778c78--66fffaf0d00379fbcdd905c04be792e8
The basicsums package provides an object-oriented programming interface for computing for computing structural sums and the effective conductivity of random composites.... -
Reprozip: 1.0.11
(reprounzip-docker, reprounzip-vagrant, and reprounzip-vistrails didn't change) Bugfixes: Write timestamp in config with timezone offset Always fix up PATH on MacOS (to... -
Ag-Gipp/Citeplag: Initial Release
Prototype of an external plagiarism detection system that combines the analysis of citations and text in academic documents to improve the identification of disguised forms of... -
r37980778c78--b54295bbe9d6e9febb9e9ea51c180c04
# Diverse-score is a code that computes diversity score of a set of plans (or its subset) for a given metric. ## Implemented metrics are defined by: 1. Pairwise measure:... -
Living Lab Data Web App 2018
A web application hosted https://www.cemac.leeds.ac.uk/living-lab/ to retrievable and display air quality data around Leeds University Campus. The source code is open source and... -
BART: version 0.2.08
Changes: new tools: index poly wshfl zexp index: generate indices poly: generate polynomial patterns (Siddharth Iyer) wshfl: wave-shuffling (Siddharth Iyer) zexp: replace... -
r37980778c78--ff52a6b3397f49f288a621614e608210
The PUMA Repository is a collection of Pascal units supporting medical informatics. It contains reusable source code for a wide field of health-care application development. The... -
r37980778c78--813822adc6cddea59395371d4a26e6ab
TriScale Anonymous This repository contains artifacts related to TriScale (source code, notebooks, etc.). It is currently anonymous for double-blind review. TriScale: A... -
r37980778c78--c8a86cd825ecdc8d23af924ab921cf9a
Linear elasticity including active skeletal muscle model solving the concentric contraction of an idealized biceps brachii. -
r37980778c78--9b20fd69231e8707067cbe0f37b8318d
Quick SSVEP is a web-based application that provides easy to setup SSVEP (Steady State Visually Evoked Potential) stimulation interfaces. When a stimulus in the visual field...