1 to 10 of 415 Results
Dec 12, 2024
Ferrari, Patrik; Liu, Min, 2024, "Simulation for quasi-geodesic in ASEP and speed changed ASEP", https://doi.org/10.60507/FK2/PESMFT, bonndata, V1
This repository contains the code to simulate ASEP and ASEPsc. Apart from the particle's position, it can also be used to simulate the endpoint of quasi-geodesic in both processes. A data set containing the results of one million trials is also provided. |
Dec 12, 2024 -
Simulation for quasi-geodesic in ASEP and speed changed ASEP
Plain Text - 378 B -
MD5: 5015492acb7aa3963704bbfcc00d9592
|
Dec 12, 2024 -
Simulation for quasi-geodesic in ASEP and speed changed ASEP
Plain Text - 1.1 KB -
MD5: a2e2341a3a347194780a745ea62fbbf5
|
Dec 12, 2024 -
Simulation for quasi-geodesic in ASEP and speed changed ASEP
ZIP Archive - 291.7 KB -
MD5: 873176f90ea9a9fa62fcda6007e0e5bc
This document contains the data of the simulation results and the Mathematica code used to analyze this data. |
Dec 12, 2024 -
Simulation for quasi-geodesic in ASEP and speed changed ASEP
ZIP Archive - 14.0 KB -
MD5: f51e79ef984e1ec3617f9018c0cd9b96
This file contains all the MATLAB-based codes: distribution of maximizer of the Airy2 process minus parabola, ASEP, ASEPsc, quasi-geodesic, and so on. |
Dec 12, 2024 -
Simulation for quasi-geodesic in ASEP and speed changed ASEP
Adobe PDF - 331.5 KB -
MD5: ecd23401e9f5d8f2c1fc271bfef64831
This document contains a list of codes and data, as well as the simulation methods we used. |
Nov 5, 2024
Brand, Timo; Held, Stephan, 2024, "Chromatic Numbers from Exact Decision Diagrams in Exact Arithmetic", https://doi.org/10.60507/FK2/ZE9C3L, bonndata, V1
This dataset contains source code and consoles for computing chromatic numbers with exact decision diagrams, solving integer programs with exact arithmetic. The chromatic number of the DIMACS instance r1000.1c could be determined for the first time. There are 3 files: - ddruns_ma... |
Markdown Text - 848 B -
MD5: d97dfaf04f65fded991377d4fb4ba0b9
Data set README |
ZIP Archive - 41.4 KB -
MD5: 10fa4645ff4ff9d5c0504204d65a1208
C++ code for generating exact decision diagrams for graph coloring. |
ZIP Archive - 25.5 MB -
MD5: 293beb08800f0b928fc73551c3eb2f87
Bash scripts to download and compile SCIP and ddcolors and for computing & solving graph coloring ILPs based on exact decision diagrams. |