-
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". -
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". -
TractSeg pretrained weights - TOM72 - Part1
Pretrained weights for TractSeg for output type "TOM". Part2: Second 18 bundles -
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... -
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... -
Code from the paper "Subset-Saturated Cost Partitioning for Optimal Classical...
The zipfile contains an extended version of the Fast Downward planning system (http://fast-downward.org). The code for subset-saturated cost partitioning can be found in the...