bonndata

Metrics

146,217 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.

License: MIT

11 to 20 of 389 Results

ReadMe.pdf 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.
Chromatic Numbers from Exact Decision Diagrams in Exact Arithmetic 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_main.zip contains scripts to reproduce the results - ddruns.tar contains...
README.md Nov 5, 2024 - Chromatic Numbers from Exact Decision Diagrams in Exact Arithmetic Markdown Text - 848 B - MD5: d97dfaf04f65fded991377d4fb4ba0b9 Data set README
ddcolors-flow_extraction.zip Nov 5, 2024 - Chromatic Numbers from Exact Decision Diagrams in Exact Arithmetic ZIP Archive - 41.4 KB - MD5: 10fa4645ff4ff9d5c0504204d65a1208 C++ code for generating exact decision diagrams for graph coloring.
ddruns-main.zip Nov 5, 2024 - Chromatic Numbers from Exact Decision Diagrams in Exact Arithmetic 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.
ddruns.tar Nov 5, 2024 - Chromatic Numbers from Exact Decision Diagrams in Exact Arithmetic TAR Archive - 6.6 GB - MD5: 1f11b823ef41cf5ad062162568025430 Tar file containing all logfiles & certificates of exact decision diagram compilations (ddlogs).
Short Implementation of Adaptive Conforming, Nonconforming, Mixed, and Discontinuous Galerkin FEM's Jul 31, 2024 - Bonn Mathematics Gedicke, Joscha, 2024, "Short Implementation of Adaptive Conforming, Nonconforming, Mixed, and Discontinuous Galerkin FEM's", https://doi.org/10.60507/FK2/HAHOLC, bonndata, V2 This software, written for Matlab, contains four different finite element methods to solve the Poisson model problem on a two-dimensional L-shaped domain with homogeneous Dirichlet boundary conditions and a constant right-hand side equal to one.
BISECT.m Jul 31, 2024 - Short Implementation of Adaptive Conforming, Nonconforming, Mixed, and Discontinuous Galerkin FEM's MATLAB Source Code - 891 B - MD5: 3644e9f7e2ca060d5546fd904dc0856e
CAFEM.m Jul 23, 2024 - Short Implementation of Adaptive Conforming, Nonconforming, Mixed, and Discontinuous Galerkin FEM's MATLAB Source Code - 751 B - MD5: 7a9f68ab213371f6475152664a269752
CESTIMATE.m Jul 23, 2024 - Short Implementation of Adaptive Conforming, Nonconforming, Mixed, and Discontinuous Galerkin FEM's MATLAB Source Code - 566 B - MD5: ca1801e58a43cef5c116e270e4c6d4ad

ReadMe.pdf

Dec 12, 2024 - Simulation for quasi-geodesic in ASEP and speed changed ASEP

Adobe PDF - 331.5 KB -

This document contains a list of codes and data, as well as the simulation methods we used.

Chromatic Numbers from Exact Decision Diagrams in Exact Arithmetic

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_main.zip contains scripts to reproduce the results - ddruns.tar contains...

README.md

Nov 5, 2024 - Chromatic Numbers from Exact Decision Diagrams in Exact Arithmetic

Markdown Text - 848 B -

Data set README

ddcolors-flow_extraction.zip

Nov 5, 2024 - Chromatic Numbers from Exact Decision Diagrams in Exact Arithmetic

ZIP Archive - 41.4 KB -

C++ code for generating exact decision diagrams for graph coloring.

ddruns-main.zip

Nov 5, 2024 - Chromatic Numbers from Exact Decision Diagrams in Exact Arithmetic

ZIP Archive - 25.5 MB -

Bash scripts to download and compile SCIP and ddcolors and for computing & solving graph coloring ILPs based on exact decision diagrams.

ddruns.tar

Nov 5, 2024 - Chromatic Numbers from Exact Decision Diagrams in Exact Arithmetic

TAR Archive - 6.6 GB -

Tar file containing all logfiles & certificates of exact decision diagram compilations (ddlogs).

Short Implementation of Adaptive Conforming, Nonconforming, Mixed, and Discontinuous Galerkin FEM's

Jul 31, 2024 - Bonn Mathematics

Gedicke, Joscha, 2024, "Short Implementation of Adaptive Conforming, Nonconforming, Mixed, and Discontinuous Galerkin FEM's", https://doi.org/10.60507/FK2/HAHOLC, bonndata, V2

This software, written for Matlab, contains four different finite element methods to solve the Poisson model problem on a two-dimensional L-shaped domain with homogeneous Dirichlet boundary conditions and a constant right-hand side equal to one.

BISECT.m

Jul 31, 2024 - Short Implementation of Adaptive Conforming, Nonconforming, Mixed, and Discontinuous Galerkin FEM's

MATLAB Source Code - 891 B -

CAFEM.m

Jul 23, 2024 - Short Implementation of Adaptive Conforming, Nonconforming, Mixed, and Discontinuous Galerkin FEM's

MATLAB Source Code - 751 B -

CESTIMATE.m

Jul 23, 2024 - Short Implementation of Adaptive Conforming, Nonconforming, Mixed, and Discontinuous Galerkin FEM's

MATLAB Source Code - 566 B -

Add Data

Share Dataverse

Link Dataverse

Reset Modifications