200 items found

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

Filter Results
  • software

    digicademy/xtriples: 1.4.0

    A generic webservice to extract RDF statements from XML resources – https://xtriples.lod.academy (Release 1.4.0).
  • software

    bigSCale2

    Framework for clustering, phenotyping, pseudotiming and inferring gene regulatory networks from single cell data.
  • software

    Modelling of the percolation process

    This application allows modelling percolation lattice in order to approximate the mean number of clusters, implemented with several different algorithms.
  • software

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

    HTCOE Model

    Configuration files for HTCOE Model.
  • software

    Cylineup

    CyLineUp is a Cytoscape plugin that lets you import gene expression data and creates a ‘small multiples’ visualization from it.
  • software

    The deal.II tutorial step-70: Massively parallel non-matching grid simulation...

    In this tutorial we consider a mixing problem for laminar flows. For rotating impellers, the use of Arbitrary Lagrangian Eulerian formulations (in which the fluid domain is...
  • software

    COHESIVE Information System (CIS) Virtual Machine

    Project JIP2 COHESIVE COHESIVE: One Health Structure In Europe   Virtual Machine of CIS (Cohesive Information System) related to the Deliverable D-4.1.1 Implemented...
  • software

    Aerodynamics Code Used In Wind Energy Science Paper "Dynamic Inflow Effects I...

    This small MATLAB code has been used to generate the plots in the Wind Energy Science paper "Dynamic inflow effects in measurements and high-fidelity...
  • software

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

    d-torrance/tanglenum: Initial results

    Enumeration of planar Tangles
  • software

    H-1B Visa Petition Analysis from 2011 to 2016

    This is an analysis of the non-immigrant temporary work visa, most commonly referred to as, H1-B visa. The dataset comprises an array of employers from across the United States...
  • software

    Initial Prototype Of Claimchain Data Structure

    A core and experimental implementation of ClaimChain.
  • software

    Ups-Irit System #2 For Track1: Kmeans+Select

    We run a k-means (k=100 clusters, L2 norm) on the baseline MFCCs (static, first and second derivative, 39-d) that are ZCA whitened on a per-file basis. We then re-estimate the...
  • software

    Parameter Calculator

    The software "Parameter Calculation" serves as a demonstration for calculating parameters as part of my bachelor thesis "Learning Analytics in Flipped Classroom -...
  • software

    Refinement Kinds: Type-safe Programming with Practical Type-level Computation...

    Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Artifact) This is the artifact for the paper Refinement Kinds: Type-safe Programming with...
  • software

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

    An Agent-Based Simulation of the Stolper-Samuelson Effect

    This is the source code of the model described in the paper "An Agent-Based Simulation of the Stolper-Samuelson Effect", which was published in the journal Computational...
  • software

    Arcticcritter

    Arcticcritter is a prototype webbased data exploration and retrieval tool build to showcase visualization techniques and to enable user-driver demand analysis for...
  • software

    kurmanji-stemmer: the second release

    NLTK based kurmanji stemmer