200 items found

Types: software Groups: Datacite Tags: 19999 Mathematical Sciences not elsewhere classified

Filter Results
  • software

    Gitlab2Graph

    A Pipeline processor to extract data from Gitlab and transform into a graph representation.
  • software

    Parameterized Model Counting For String And Numeric Constraints

    "Parameterized Model Counting for String and Numeric Constraints" tool. Please see README for instructions.
  • software

    Brahms V1.0: A Fast, Physically-Based Subglacial Hydrology Model For Continen...

    F90 tarbundle for BraHMs V1.0 and associated basic test/validation setup. Code associated with Kavanagh, M. and Tarasov, L.: BrAHMs V1.0: A fast, physically-based subglacial...
  • software

    Ghiordy/Curso-Microcontroladores: Initial version

    You can find keypad, seven segments, and hardware interrupts
  • software

    zschutzman/enumerator: v0.1.5

    Code for enumerating polyomino tilings of grid graphs.
  • software

    Supplementary code for the Graduation Project: Methods of tropical mathematic...

    Supplementary code for the master's thesis. Department of Statistical Modelling, Saint Petersburg State University. 2018
  • software

    Data for Selene's variants and visualizations tutorial

    These are the data files required to run the variants and visualizations tutorial, along with outputs from running the tutorial.  
  • software

    MATLAB code for the CbCI algorithm (an immunization algorithm)

     MATLAB code for the CbCI algorithm, an immunization algorithm for networks with community structure.   It requires a data file for the community structure,...
  • software

    mega-sweep

    The mega-sweep mini-app aims to take the mega-stream kernel and fit it within a KBA-style sweep iteration structure. The compute kernel is similar to mega-stream, but additional...
  • software

    BioMedICUS Data 1.8.1

    Data models used to run BioMedICUS.
  • software

    Fitko - Global Fit Of 2Des Data

    MATLAB routines to global fit population kinetics and oscillations of 2DES datasets. MUOS Group, Dept. of Chemical Sciences, University of Padova. Prof. Elisabetta...
  • software

    Artifact for Staged Abstract Interpreters (OOPSLA 2019)

    The artifact for Staged Abstract Interpreters (OOPSLA 2019).
  • software

    modeLLtest: An R Package for Unbiased Model Comparison using Cross Validation

    This is an updated version after minor changes per JOSS. This JOSS-accepted paper introduces the R package ``modeLLtest``. ``modeLLtest`` implements a variety of tests using...
  • software

    Source Code And Data For "A Model Of Bacterial Toxin-Dependent Pathogenesis E...

    This package contains supplementary material and the source code for the simulator used in the manuscript: A model of bacterial toxin-dependent pathogenesis explains infective...
  • software

    Friction

    MATLAB code to compute the Darcy-Weisbach friction factor for turbulent flow in pipelines, using different methods.
  • software

    GBIF.jl - a Julia package to access biodiversity data

    Interact with the Global Biodiversity Information Facility API from Julia
  • software

    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...
  • software

    Artifact for "A Round-Efficient Distributed Betweenness Centrality Algorithm"

    This is an artifact for generating the figures found in the PPoPP 2019 paper titled "A Round-Efficient Distributed Betweenness Centrality Algorithm".
  • software

    GLAM-Workbench/queensland-state-archives

    This repository includes notebooks exploring data from the Queensland State Archives.
  • software

    GAIA-UNIL/G2S: G2S_v0.95

    A flexible MPS framework, including Quantile Sampling (QS) and Narrow Distribution Selection (NDS)