相关数据集
ESBMC-v7.3 evaluation
Evaluation for ESBMC-v7.3. Please follow the instructions in README to obtain the dataset, scripts and binaries.
Zenodo2023-07-23 更新00
Cp2CrS5, G = -3422.030804, DG = -4.14 => Triplet G = -3422.053582
Gaussian 16 (C01) calculation
Zenodo2026-05-02 更新00
Appendix 1 in Phylogenetic relationships and sectional delineation within Gentiana (Gentianaceae)
Appendix 1. Samples used in this study and classified according to our new sectional treatment with collectors and collection numbers,locality data, and herbaria where voucher specimens are deposited.
Zenodo2025-04-05 更新00
DCASE 2021 Challenge Task 2 Additional Training Dataset
Description This dataset is the "additional training dataset" for the DCASE 2021 Challenge Task 2 "Unsupervised Anomalous Sound Detection for Machine Condition Monitoring unde
Zenodo2021-06-09 更新00
MOTIVIC DECOMPOSITION AND THE HODGE CONJECTURE: A PROOF VIA K3 SURFACES AND LOGICAL CALABI-YAU MANIFOLDS
We prove the Hodge conjecture for all smooth projective complex manifolds. The proof unifies three fundamental streams: (1) a logical-geometric construction based on the principle I2C = −Id that pro
Zenodo2026-03-12 更新00
