-
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... -
r37980778c78--8b3c814f97d2f2909b4415c6145bfdf2
Scripts for running spectral nudging of multiple models Can be applied on any atmosphere general circulation models (AGCMs) Current status: CAM4/CAM5: implemented. ECHAM6: work... -
shannon-lab/zapdos: Initial Zapdos release
This is the initial release of Zapdos, a code meant for finite element modeling of plasma fluid equations. Demonstrated Zapdos capability includes: - Full coupling in one... -
Testing exponentiality based on the extropy of record values
In this paper, we first present a characterization of exponential distribution based on the extropy of record values and next introduce a goodness-of-fit test for... -
r37980778c78--99f714fa5c3ced1318c86f724f8f5f22
This deposit contains : 1 matlab script for mono-phase computation - Grainsize_BEV_Code_MonoPhase.m 1 matlab script for mono-phase results display -... -
r37980778c78--c0e8ade04ff9edcb912ed78c9185a8e6
Code to reproduce examples for the paper "Optimal monotonicity--preserving perturbations of a given Runge-Kutta method" by Inmaculada HIgueras, David I. Ketcheson, and Tihamer... -
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,... -
Co.Temp - Comparing Series Of Temperatures
This program aims to offer useful information on temperature series (i.e.: identify the biases in the daily maximum and minimum temperature, compare manual and automatic weather... -
Script S1 - The Case of Moulay Ismael - Fact or Fancy?
The Python script we used for the simulation. Comments in the program explain the variables used and describe the steps of the calculations. (PY) -
r37980778c78--cd3e9a703854bcc5c942542f54256720
This project contains the companion codes of the paper P. Benner, S. Grundel, P. Mlinarić, Clustering-based model order reduction for nonlinear systems for clustering-based... -
r37980778c78--72a7e4ddd4278dff61451391a866302a
This is version 1.0 of the M4 proper motion membership catalog, released in conjunction with the Wallace 2018 publication in the Research Notes of the American Astronomical... -
Codes for paper "An Empirical Study of C++ Vulnerabilities in Crowd-Sourced C...
Codes for the paper "An Empirical Study of C++ Vulnerabilities in Crowd-Sourced Code Examples" -
r37980778c78--7b9f98c9852f78d4fd93c081c5e6f282
Helpful functions for using mesh code (80km to 125m) data in Japan. Visualize mesh code using 'ggplot2' and 'leaflet', etc. -
r37980778c78--91bf4aaec3e4d8984ce0a1bec4ae8950
miR2Trait: an integrated resource for investigating miRNA-Disease associations -
r37980778c78--931ea05a4ca5d1a046356058196359ad
This is the code used for the results displayed in "A Direct Measure of Inefficiency within Couples: Tax Optimization in French cohabiting couples". -
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...
