Metrics
111,005 Downloads
Featured Dataverses

In order to use this feature you must have at least one published or linked dataverse.

Publish Dataverse

Are you sure you want to publish your dataverse? Once you do so it must remain published.

Publish Dataverse

This dataverse cannot be published because the dataverse it is in has not been published.

Delete Dataverse

Are you sure you want to delete your dataverse? You cannot undelete this dataverse.

Advanced Search

1 to 10 of 384 Results
Dec 12, 2024 - Bonn Mathematics
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.
Plain Text - 378 B - MD5: 5015492acb7aa3963704bbfcc00d9592
Plain Text - 1.1 KB - MD5: a2e2341a3a347194780a745ea62fbbf5
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.
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.
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 - Bonn Mathematics
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.
Add Data

Log in to create a dataverse or add a dataset.

Share Dataverse

Share this dataverse on your favorite social media networks.

Link Dataverse
Reset Modifications

Are you sure you want to reset the selected metadata fields? If you do this, any customizations (hidden, required, optional) you have done will no longer appear.