-
The Run Control Framework, Data, And Version Of Parflow Used In The Publicati...
The tar ball containing the RCF, data, and version of ParFlow relevant to the publication: A run control framework to streamline profiling, porting, and tuning simulation... -
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 -
Poly-(3-hexylthiophene) Model and Code for Molecular Dynamic Simulations
Here we present files necessary for simulating our united-atom poly-(3-hexylthiophene) model in molecular dynamics. The input file "P3HT_Blends.py" acts a wrapper... -
Code from the paper "Counterexample-guided Cartesian Abstraction Refinement f...
The zipfile contains revision 837b876fa51d of the Fast Downward planning system (http://fast-downward.org). The code for counterexample-guided Cartesian abstraction... -
Radagio: Adagio From R
This package is an R wrapper for the ADAGIO software (http://ngonga.github.io/, https://github.com/ngonga/adagio) that was originally written in Java by Axel Ngonga. -
Software for Control of Autonomous Robots Using Fuzzy Logic Controllers Tuned...
Software for Control of Autonomous Robots Using Fuzzy Logic Controllers Tuned by Genetic Algorithms This software implements the autonomous control of a robot by using a fuzzy... -
SSPredict: A Solid Solution Strengthening Prediction and Visualization Tool
This tool visualizes the solid solution strengthening stress of complex concentrated alloys (CCAs) in pseudo-ternary diagrams. The contour plot is combined with phase... -
github.com/denis-yuen/bcellmagic
B cell repertoire analysis pipeline with immcantation framework. Usage: The typical command for running the pipeline is as follows: nextflow run... -
gap-packages/Semigroups: 3.0.2
This is an minor release fixing some minor issues in the last release. The following issues were resolved: Issue 330 InversesOfSemigroupElement some times returned an... -
geoschem/geos-chem: GEOS-Chem 12.0.0 release
GEOS-Chem 12.0.2 Released 10 Oct 2018 This release contains fixes for minor issues that were discovered after the GEOS-Chem 12.0.1 release, namely: (1) Fixed local-time... -
Acc_Mcc
This script compute the ACC and MCC using a txt file containing the values of the confusion matrix (FP,FN,TP,TN). -
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,... -
IC-PCP profiling: software and data set
We study the scheduling decisions for handling deadline-constrained workflows in the context of planning customized virtual infrastructures in the cloud. We specifically focus... -
face feature detection for gaze estimation
This software uses dlib facilities ( http://dlib.net/ ) for the detection of face features around the eye that allow for the estimation of the gaze direction in still images.... -
TUBYDI- Assistir Filmes e Séries online grátis
Se você não planeja Ouvir musicas, o App "Tubydi" é a melhor opção, pois é semelhante ao Tubydi Ocplus, mas não... -
Platform Builder Prototype
The Platform Builder approach, which is involved in the CRYSTAL project with Grant Agreement No. ARTEMIS-2012-1-332830 and detailed in the specification document [D602-021,... -
CyPDM: A fast package to apply the phase disperion minimization algorithm
A fast package to apply the phase disperion minimization (PDM) algorithm, based on PyAstronomy module PyPDM (https://github.com/sczesla/PyAstronomy). The package is written in... -
Transient Typechecks are (Almost) Free [Artifact]
Transient gradual typing imposes run-time type tests that typically cause a linear slowdown in programs' performance. This performance impact discourages the use of type...