Loading...
Loading...
Mathematical datasets, statistical benchmarks, probability, optimization, operations research
3,080 datasets
Formal Lean 4 theorem-proof pairs produced as part of the OProver project. The dataset contains 6,804,694 records across 73 parquet shards, uploaded by author m-a-p. It was last updated on the Hugging Face platform in May 2026.
Florida and surrounding regions were the focus of the CAMEX-4 DC-8 Microwave Temperature Profiler dataset. This dataset contains vertical profiles of atmospheric temperature derived from passive microwave radiometer measurements at 56.6 and 58.8 GHz, collected aboard a DC-8 aircraft during the campaign from August 16 to September 25, 2002. The National Aeronautics and Space Administration produced these data, which generate a temperature profile every three kilometers along the flight path.
56.6 and 58.8 GHz frequencies were used by the Microwave Temperature Profiler (MTP) on the ER-2 aircraft to measure atmospheric thermal emissions. The instrument produced an altitude temperature profile every three kilometers along the flight path during the CAMEX-4 campaign. Data collection was managed by the National Aeronautics and Space Administration from the Jacksonville Naval Air Station, Florida.
A 5.5 KB Excel file containing statistical comparison results for machine learning classifiers. The dataset, authored by Sawera Qureshi, was last updated on May 21, 2026. It likely contains results from paired t-tests performed across cross-validation folds.
Performance metrics and statistical comparisons for classification models targeting Mild Cognitive Impairment and Alzheimer's Disease. The 9.5 KB Excel file was authored by Minsoo Kim and last updated on May 21, 2026. It is shared under a CC-BY-4.0 license on the figshare platform.
Weihong Zhao authored a statistical analysis of semantic similarity metrics applied to individual sentence pairs. The dataset is available as a 5.5 KB Excel file on figshare. It was last updated on May 21, 2026.
A dataset and MATLAB implementation for the DSDRO algorithm, focusing on bike-sharing system rebalancing with dynamic pricing. The materials include station coordinates, station demand data, and source code for the PSO-LNS solver, ablation study, and validation scripts. The dataset is authored by Jianrong Cai and was last updated on April 16, 2026.
Bayesian Model Parameters for Velocity (log(cm/s)) is a dataset of statistical parameters. Diego Lievano Parra authored the dataset, which was last updated on May 21, 2026. The dataset is stored in an XLS file and is 9.5 KB in size.
Benchmark performance data for the AIOSS cryptographic hash-chain ledger format. The dataset includes append throughput, chain verification speed, and file size comparisons across JSON and binary encoding formats. Authored by Lois-Kleinner Alpasan of The Anticloud by Lois-Kleinner, it was last updated on June 24, 2026.
Processed data supporting all figures in the paper "Quantum Statistical Plasmonic Metacrystals". The 41.5 KB XLSX file was authored by Chenglong You and last updated on May 25, 2026. It is licensed for reuse under CC-BY-4.0.
8.8 MB of Excel tables contain defect rate data updated using Bayesian methods. The data includes output from two numerical optimization programs and raw sensitivity analysis results, provided by Qingyu Hong in May 2026 to validate the study's methods.
Contingency tables and Fisher's exact test results for pairwise comparisons of genes absent from large clades. Statistical significance is denoted by asterisks, with p-values less than 0.01 indicated by two asterisks (**) and p-values less than 0.05 indicated by one asterisk (*). The dataset was authored by Xiao Liang and last updated on May 11, 2026.
Contingency tables and Fisher’s exact test results for pairwise comparisons of primate-specific genes. The dataset includes p-values and odds ratios, with statistical significance denoted by asterisks. Author Xiao Liang published this 5.5 KB Excel file on figshare in May 2026.
Data used to propose an Optimization-Guided Override Policy. The dataset was authored by David, Lemuel Kenneth and is hosted on Harvard Dataverse. It was last updated on 2026-06-30.
A 210.7 KB PDF authored by Joan del Castillo, last updated in April 2026, presents model-free methods for estimating extreme probabilities. The methodology is grounded in order statistics theory and requires only the assumption of a finite expectation. It is applicable to almost any sample size and its results are comparable to those from extreme value theory.
Maryam Mahdifar from Mashhad University of Medical Sciences investigated the synergistic anti-cancer effects of galbanic acid and arsenic trioxide on MT-2 cells, an Adult T-cell leukemia cell line. The study measured IC50 values, cell viability, cell cycle distribution, P-glycoprotein activity, and mRNA expression levels for six key genes. Results indicate the combination synergistically inhibited cell proliferation and induced apoptosis.
Suk Joo Bae published a dataset on 2026-04-08, containing data and models for optimizing preventive maintenance schedules for a fleet of repairable systems. The 95.7 KB dataset includes files in CSV, TXT, XLSX, and R formats, applying mixed-effects and frailty frameworks to nonhomogeneous Poisson process models for failure data. It is intended for reliability prediction and cost optimization over a system's lifespan.
Mr. Wingate's Arithmetick is a historical text authored by Edmund Wingate. The dataset, sourced from paperswithcode, likely contains the text of this work on common arithmetic. The specific content, format, and size require verification after download.
925 nearly natural Alpine catchments provide hydro-climatic data for stochastic streamflow simulation. The dataset, authored by Manuela I. Brunner, is published on the Papers with Code platform under an Open Access (green) license. Its specific columns, file formats, and temporal coverage are not detailed in the available metadata.
Iosr Journals published a paper titled 'To Analyze the Use of Statistical Tool/S for Cost Effectiveness and Quality of Products'. The dataset is hosted on the Papers with Code platform and is licensed as Open Access (green). The specific data format, size, and content details are not provided in the available metadata.