-
eschnett/ASDF.jl: Require at least Julia 1.0
A Julia implementation of the Advanced Scientific Data Format (ASDF) -
digicademy/xtriples: 1.4.0
A generic webservice to extract RDF statements from XML resources – https://xtriples.lod.academy (Release 1.4.0). -
bigSCale2
Framework for clustering, phenotyping, pseudotiming and inferring gene regulatory networks from single cell data. -
Neural Networks on Random Graphs
A collection of 1020 neural networks based on random graphs of various types implemented in PyTorch. These networks were used in the paper Romuald A. Janik, Aleksandra Nowak,... -
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 -
Matlab code and simulated data for paper ""Distributed Zeroth Order Optimizat...
This is a Matlab code and simulated matlab data for paper “Distributed Zeroth Order Optimization Over Random Networks: A Kiefer-Wolfowitz Stochastic Approximation... -
Pet Adoption Metadata Analysis
This is a capstone project intend to use visualization and NLP in order to predict adoption speed by using other variables in the metadata. -
jpmesh: Utilities for Japanese Mesh Code
Helpful functions for using mesh code (80km to 125m) data in Japan. Visualize mesh code using 'ggplot2' and 'leaflet', etc. -
IANW-Projects/2019_SBP_vector_calculus_REPRO
Basic vector calculus theorems (existence of scalar and vector potentials, Helmholtz Hodge decomposition) in the context of classical finite difference SBP operators -
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. -
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... -
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... -
Assessment of meso-micro offline coupling methodology based on driving CFDWin...
In this repository you can find the jupyter notebook that was used to post-process CFDWindSCM simulations of the GABLS3 diurnal cycle case. Based on this work a Windbench... -
Military, Healthcare, and Education Visualization Project
A visualization project that researches trends in military, healthcare, and education expenditures by government. This project uses the Google Charts API. -
ccostr: An R package for estimating mean costs with censored data
An R package, ccostr, which calculates estimates of mean cost given censored data - Version 0.1.0 -
Host and Viral Traits Predict Zoonotic Spillover from Mammals
This compendium includes the code, data, documentation, metadata and figure source files that accompany this research. -
Isabelle/DOF
Isabelle/DOF is a Document Ontology Framework (DOF), on top of Isabelle/HOL, allowing to annotate text elements in formal developments with structured, typed meta-information... -
Shortcut Formula - Confusion Method - Matlab Implementation
This package provides a Matlab Implementation of a shortcut formula published at CHES 2012 ("A Statistical Model for DPA with Novel Algorithmic Confusion Analysis", Yunsi Fei,... -
Matlab code and simulated data for paper ""Convergence rates for distributed ...
This is a Matlab code and simulated Matlab data for the paper: D. Jakovetic, D. Bajovic, A.K. Sahu and S. Kar, “Convergence rates for distributed stochastic optimization...