-
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... -
(Artifact) Safecracker: Leaking Secrets through Compressed Caches
This tarball includes the final supporting materials of the paper titled "Safecracker: Leaking Secrets through Compressed Caches" published in ASPLOS 2020. -
Emergence of diverse life cycles and life histories at the origin of multicel...
The simulation code associated with the paper titled "Emergence of diverse life cycles and life histories at the origin of multicellularity". For details on how... -
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...
