-
Artifact for "Chain Free String Constraints"
A zip file containing the artifact, benchmark suites, and script for installing and reproducing the results of the paper "Chain Free String Constraints" accepted... -
Code/Data Release: Fast Multipole Method results, Development Of A Performanc...
This archive contains the material required to reproduce the results for the PhD thesis "Development Of A Performance-Portable Framework For Atomistic Simulations". -
Supplemental Material for Astrophysical Journal paper "Improved Coupling of H...
A Jupyter notebook containing several derivations of equations in the paper "Improved Coupling of Hydrodynamics and Nuclear Reactions via Spectral Deferred Corrections" -
Dpw901E17/Vulkan-Application: First Release
This is the Vulkan repository accompanying the paper "Comparing Direct3D 12 and Vulkan on Performance and Programmability". -
Parameter Calculator
The software "Parameter Calculation" serves as a demonstration for calculating parameters as part of my bachelor thesis "Learning Analytics in Flipped Classroom -... -
Source Code For "A Comparative Study Of Endoderm Differentiation In Humans An...
Source code for the publication, "A comparative study of endoderm differentiation in humans and chimpanzees". -
Residential Income Segregation: A Behavioral Model Of The Housing Market
This is the code to replicate the results in Pangallo et al. "Residential income segregation: A behavioral model of the housing market" -
weecology/bbs-forecasting: Accepted at PeerJ
Code for reproducing analysis in Harris, Taylor, and White 2018 "Forecasting biodiversity in breeding birds using best practices" -
Decoding CUDA Binary artifact
This is a software artifact for our paper "Decoding CUDA Binary", published in CGO'19 (International Symposium on Code Generation and Optimization). -
ehaacker/Segmented-Regression-for-Wells: First release
This release is identical to version 0.1, but v0.1 didn't show up in Zenodo to get a DOI, so this is a test to see if that was because of the "pre-release" toggle.... -
Analysis Of Dna Scanning By Endov And Hogg1 Proteins: The Source Code
The analysis code related to the paper published in Nature Communication titled: "Breaking the speed limit with multimode fast scanning of DNA by Endonuclease V" Arash... -
Scripts for effects of coordinating support policy changes on renewable powe...
These scripts were used by the authors for "Effects of coordinating support policy changes on renewable power investor choices in Europe" to calculate results.... -
N-Witt/Collection-Document-Summaries-Ecir-2018: Publication Ready Code
This Repository contains the code for the paper "Collection-Document Summaries" -
Codes for : Two Remarks on SOS with Rational Coefficients.
These are the codes (Magma, Python and GAP) used to obtain the data in the paper "Two Remaks on Sums of Squares with Rational Coefficients" by Claus Scheiderer and... -
TractSeg pretrained weights - TOM72 - Part1
Pretrained weights for TractSeg for output type "TOM". Part2: Second 18 bundles -
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,... -
Electrum specification of a toy notification system
Electrum specification of a toy notification system, accompanying the article "A Bounded Domain Property for an Expressive Fragment of First-Order Linear Temporal... -
Mathematica Package For Calculation Of Q Factors Of Strained Non-Uniform Beams
Package for calculation of Q factors of strained beams with non-uniform width and thickness together with supplementary theory note. Possible boundary conditions... -
Data processing scripts and model output data of the paper "Starved, stuffed ...
# Data processing scripts and model output data of the paper "Starved, stuffed and wasteful: symptoms of an advancing nutrition transition" Bodirsky, Benjamin Leon,... -
Polaris: A Separation Logic For Concurrent Randomized Programs
This is the archived artifact associated with the paper " A Separation Logic for Concurrent Randomized Programs" by Joseph Tassarotti and Robert Harper. The...