cometadata/datacite-titles-descriptions-related-identifiers huggingface dataset:
DOI: 10.5281/zenodo.5790079
title: A dataset of 150000 terminal weighted projective spaces

description: <strong>Weighted projective spaces with at worst terminal singularities</strong> A dataset of 150000 randomly generated weighted projective spaces with at worst terminal singularities, in dimensions 1 to 10. The data consists of the plain text files "rank_1_dim_N.txt" where N, which is the dimension of the weighted projective space, is in the range 1 to 10. Each line of the file is a sequence of weights of length N+1. For example, the first line of "rank_1_dim_4.txt" is: [1,2,5,14,21] and this corresponds to the 4-dimensional weighted projective space P(1,2,5,14,21). For details, see the paper: "Machine learning the dimension of a Fano variety", Tom Coates, Alexander M. Kasprzyk, and Sara Veneziale, <em>Nature Communications</em>, <strong>14:</strong>5526 (2023). doi:10.1038/s41467-023-41157-1 Magma code capable of generating this dataset is in the file "generate_rank_1.m". If you make use of this data, please cite the above paper and the DOI for this data: doi:10.5281/zenodo.5790079
DOI: 10.5281/zenodo.5790095
title: A dataset of 200000 terminal toric varieties of Picard rank 2

description: <strong>Toric varieties of Picard rank 2 with at worst terminal singularities</strong> A dataset of 200000 randomly generated toric varieties of Picard rank 2 with at worst terminal Q-factorial singularities, in dimensions 2 to 10. The data consists of the plain text files "rank_2_dim_N.txt" where N, which is the dimension of the toric variety, is in the range 2 to 10. Each line of the file specifies the entries of a (2 x N+2)-matrix. For example, the first line of "rank_2_dim_4.txt" is: [[1,3,5,4,1,0],[0,1,2,5,3,1]] and this corresponds to the 4-dimensional toric variety with weight matrix 1 3 5 4 1 0<br> 0 1 2 5 3 1 and stability condition given by the sum of the columns, which in this case is 14<br> 12 For details, see the paper: "Machine learning the dimension of a Fano variety", Tom Coates, Alexander M. Kasprzyk, and Sara Veneziale, <em>Nature Communications</em>, <strong>14:</strong>5526 (2023). doi:10.1038/s41467-023-41157-1 Magma code capable of generating this dataset is in the file "generate_rank_2.m". If you make use of this data, please cite the above paper and the DOI for this data: doi:10.5281/zenodo.5790096
DOI: 10.5281/zenodo.5790096
title: A dataset of 200000 terminal toric varieties of Picard rank 2

description: <strong>Toric varieties of Picard rank 2 with at worst terminal singularities</strong> A dataset of 200000 randomly generated toric varieties of Picard rank 2 with at worst terminal Q-factorial singularities, in dimensions 2 to 10. The data consists of the plain text files "rank_2_dim_N.txt" where N, which is the dimension of the toric variety, is in the range 2 to 10. Each line of the file specifies the entries of a (2 x N+2)-matrix. For example, the first line of "rank_2_dim_4.txt" is: [[1,3,5,4,1,0],[0,1,2,5,3,1]] and this corresponds to the 4-dimensional toric variety with weight matrix 1 3 5 4 1 0<br> 0 1 2 5 3 1 and stability condition given by the sum of the columns, which in this case is 14<br> 12 For details, see the paper: "Machine learning the dimension of a Fano variety", Tom Coates, Alexander M. Kasprzyk, and Sara Veneziale, <em>Nature Communications</em>, <strong>14:</strong>5526 (2023). doi:10.1038/s41467-023-41157-1 Magma code capable of generating this dataset is in the file "generate_rank_2.m". If you make use of this data, please cite the above paper and the DOI for this data: doi:10.5281/zenodo.5790096
DOI: 10.34740/kaggle/dsv/6445270
title: Egypt Gold Prices | Daily Updated
DOI: 10.6084/m9.figshare.24115230
title: DATA PENELITIAN TERBARU, KATEGORI AWAL, CHI SQUARE, BBATU JUNRRREJO

description: Data for manuscript :THE ASSOCIATION BETWEEN LIFESTYLE FACTORS WITH HYPERTENSION CONTROL in INDONESIAN PRIMARY HEALTH CARE: A CROSS SECTIONAL STUDY<br>
DOI: 10.57841/casdc.0002143
title: 煤热解数据集
DOI: 10.6084/m9.figshare.24115374
title: Plant RNA-Image Repository

description: The Plant RNA-Image Repository is a compiled database of plant images and omics data. The dataset contains images of four distinct plant maladies, including powdery mildew, rust, leaf spot, and blight, as well as gene expression and metabolite data. Using a high-resolution camera in a controlled environment at the facility of the various Agriculture Universities of the Khyber Pakhtunkhwa, Pakistan. We captured 26940 images of plants, where each class has different number of samples for each disease type. Each image was labelled with the disease type corresponding to it. The images were preprocessed by resizing them to 224x224 pixels and standardizing the pixel values. In addition to collecting images of the same plants, we also collected gene expression and metabolite data. We extracted RNA from the plant leaves using a commercial reagent and sequenced it on an Illumina HiSeq 4000 platform. The average length of the 100 million pairedend readings obtained was 150 base pairs. The unprocessed reads were trimmed with Trimmomatic and aligned with STAR against the reference genome. We counted the number of reads that mapped to each gene using featureCounts, and then identified differentially expressed genes between healthy and diseased plants using the DESeq2 package in R. Using gas chromatography-mass spectrometry (GC-MS), we gathered additional metabolite information. Using a methanol-water extraction protocol, we extracted metabolites from the plant leaves and analyzed the extracts using GC-MS.
DOI: 10.6084/m9.figshare.24115467
title: 3GCs for AmpC-E BSIs - Data set.xlsx

description: Data set used for ''Clinical Outcomes of Third-Generation Cephalosporin Definitive Therapy for Bloodstream Infections Due to Enterobacterales with Potential AmpC Induction: A Single-center Retrospective Study''
DOI: 10.6084/m9.figshare.24115467.v1
title: 3GCs for AmpC-E BSIs - Data set.xlsx

description: Data set used for ''Clinical Outcomes of Third-Generation Cephalosporin Definitive Therapy for Bloodstream Infections Due to Enterobacterales with Potential AmpC Induction: A Single-center Retrospective Study''
DOI: 10.14457/cu.res.2011.94
title: การศึกษาผลไม้ไทยที่มีฤทธิ์ยับยั้งการเจริญเติบโตและลดการเกาะติดเซลล์กระเพาะอาหาร ของเชื้อ Helicobacter pylori
DOI: 10.14457/cu.res.2018.27
title: ชีวภูมิศาสตร์และวิวัฒนาการของสัตว์ไม่มีกระดูกสันหลังในดิน (หอยทาก กิ้งกือ ตะขาบ และไส้เดือนดิน) และบทบาทในระบบนิเวศบริการ
DOI: 10.14457/cu.res.2018.28
title: โครงการภูมิคุ้มกันของกุ้งกับการควบคุมโรค
DOI: 10.5281/zenodo.3884423
title: Scientometric analysis and knowledge mapping of literature-based discovery (1986–2020)

description: Dataset accompanying the paper "Scientometric analysis and knowledge mapping of literature-based discovery (1986–2020)".
DOI: 10.7910/dvn/9argzn/7kek6q
title: Model_oc_53_V1 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/bwm4e8
title: Model_oc_223_M&A (v0=1e13).tab

description: :unav
DOI: 10.7910/dvn/9argzn/clmwdn
title: build_TBL_V1.dat

description: :unav
DOI: 10.7910/dvn/9argzn/djl3fl
title: FigureS1.jpg

description: :unav
DOI: 10.7910/dvn/9argzn/dxrlvc
title: Model_oc_108_M&A (v0=1e13).tab

description: :unav
DOI: 10.7910/dvn/9argzn/kv8ero
title: Model_oc_299_V3 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/mgc1e6
title: Model_oc_146_V3 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/nhybnz
title: Model_ic_9_V2 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/nkgk30
title: Model_oc_271_M&A (v0=1e13).tab

description: :unav
DOI: 10.7910/dvn/9argzn/qeznr9
title: Model_oc_134_M&A (v0=1e12).tab

description: :unav
DOI: 10.7910/dvn/9argzn/wjdgrk
title: Model_ic_58_M&A (v0=1e12).tab

description: :unav
DOI: 10.7910/dvn/9argzn/z5dhkp
title: Model_oc_109_V1 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/zrndc3
title: Model_oc_90_V2 (v0=1e14).tab

description: :unav
DOI: 10.14457/cu.res.1999.7
title: การสำรวจองค์ความรู้เชิงแนวคิด ทฤษฎี บทบาทและความสำคัญต่อสังคมของโครงข่ายความปลอดภัยทางสังคม (Social Safety Net)
DOI: 10.14457/cu.res.2001.20
title: โครงการพัฒนาหลักสูตรมัคคุเทศก์น้อย งานไม้แกะสลักและงานไม้ สำหรับหมู่บ้านหัตกรรมไม้และแกะสลักบ้านถวาย : กรณีศึกษาโรงเรียนบ้านต้นแก้ว อำเภอหางดง จังหวัดเชียงใหม่
DOI: 10.14457/cu.res.2007.101
title: เผยแพร่ผลการศึกษาวิจัยเรื่องผลประโยชน์ชาติทางทะเล
DOI: 10.14457/cu.res.2010.133
title: โครงการการใช้พอลิเมอร์บรัชที่มีหมู่คาร์บอกซิลเป็นฟิล์มบางฟังก์ชันแนลสำหรับการประยุกต์ทางเทคโนโลยีชีวภาพและนาโนเทคโนโลยี
DOI: 10.14457/cu.res.2011.95
title: โครงการการพัฒนาเทคนิคการเตรียมตัวอย่างเพื่อการตรวจวิเคราะห์สารปนเปื้อนและสารตกค้างในอาหาร
DOI: 10.5281/zenodo.3884130
title: National Emissions Inventory crosswalk for the InMAP Source-Receptor Matrix (ISRM) dataset

description: The InMAP Source-Receptor Matrix (ISRM) estimates the air quality impacts of emissions released from any source location in the contiguous United States to any receptor location. Specifically, the values in the ISRM dataset are the change in PM<sub>2.5</sub> concentration (µg m<sup>-3</sup>) in any receptor grid cell per unit of emissions (µg sec<sup>-1</sup>) in any source grid cell. ISRM was created from repeated runs of the Intervention Model for Air Pollution (InMAP), isolating the impact of emissions from every grid cell in InMAP and from three emission heights representing ground-level, low-stack, and high-stack emissions. A file of the marginal impacts of emissions from each source location is also included ("marginal_values.csv"), which summarizes the estimates in ISRM by each source grid cell in terms of monetary damages ($ tonne<sup>-1</sup>), increased mortality (deaths tonne<sup>-1</sup>), and population exposure (population*µg m<sup>-3</sup> tonne<sup>-1</sup>). These files join the US EPA National Emissions Inventory to the ISRM to facilitate future analyses. The original ISRM file can be found here: https://zenodo.org/record/3590127#.Xt0Z4GhKhPb
DOI: 10.7910/dvn/9argzn/05ncat
title: TEST3-data-v013.tab

description: :unav
DOI: 10.7910/dvn/9argzn/49oq3i
title: build_TBL_V3.dat

description: :unav
DOI: 10.7910/dvn/9argzn/5aguu0
title: Model_ic_25_M&A (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/ajylzr
title: FigureS2.jpg

description: :unav
DOI: 10.7910/dvn/9argzn/aqb63p
title: FigureS4.jpg

description: :unav
DOI: 10.7910/dvn/9argzn/awjvij
title: Model_oc_199_V1 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/b8idgj
title: FigureS3.jpg

description: :unav
DOI: 10.7910/dvn/9argzn/bcdnit
title: TEST3-data-v012.tab

description: :unav
DOI: 10.7910/dvn/9argzn/bkkohl
title: TEST1-data-v014.tab

description: :unav
DOI: 10.7910/dvn/9argzn/ebhbtg
title: Model_oc_275_M&A (v0=1e12).tab

description: :unav
DOI: 10.7910/dvn/9argzn/g9srqm
title: Model_oc_195_V1 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/id0l0y
title: Model_oc_245_V1 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/jbxcsg
title: Model_oc_13_V3 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/kkdale
title: Model_oc_81_V1 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/lcn8bt
title: build_TBL_V2.dat

description: :unav
DOI: 10.7910/dvn/9argzn/odhyo5
title: Model_oc_182_M&A (v0=1e12).tab

description: :unav
DOI: 10.7910/dvn/9argzn/qwdinq
title: Model_oc_218_V2 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/r9ago3
title: Model_oc_7_V2 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/rkssvp
title: Model_oc_287_V3 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/s9vta2
title: Model_oc_268_M&A (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/sqqosl
title: build_TBL_M&A.dat

description: :unav
DOI: 10.7910/dvn/9argzn/w3vf59
title: TBL_M&A.ps

description: :unav
DOI: 10.7910/dvn/9argzn/wdtxm7
title: Model_oc_178_V3 (v0=1e14).tab

description: :unav
DOI: 10.14457/cu.res.1999.8
title: การวิจัยเพื่อค้นหาสารต้านมาลาเรียจากพืชสมุนไพรไทย
DOI: 10.14457/cu.res.2012.136
title: โครงการ คุณลักษณะทางโมเลกุลและการพัฒนาชุดอีไลซา ในการวินิจฉัยโรคเลือดจางติดต่อในไก่
DOI: 10.14457/cu.res.2013.105
title: การศึกษาอุปสงค์เพื่อการปรับตัวทางด้านอุปทานของนักท่องเที่ยวชาวตะวันออกกลาง
DOI: 10.7910/dvn/9argzn/5po2rr
title: Model_oc_128_V2 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/6valyv
title: Model_oc_185_V1 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/9jcdjo
title: Model_ic_57_V2 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/9tst27
title: TBL_V3.ps

description: :unav
DOI: 10.7910/dvn/9argzn/aupqvl
title: Model_oc_193_V1 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/bb2vy0
title: Model_oc_36_V3 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/buqmxz
title: Venus_mantle_M&A.dat

description: :unav
DOI: 10.7910/dvn/9argzn/epinpb
title: Venus_mantle_V3.dat

description: :unav
DOI: 10.7910/dvn/9argzn/gztp4b
title: Venus_lowermantle_M&A.dat

description: :unav
DOI: 10.7910/dvn/9argzn/hhnajm
title: Venus_mantle_V2.dat

description: :unav
DOI: 10.7910/dvn/9argzn/j0agkq
title: Model_oc_49_M&A (v0=1e13).tab

description: :unav
DOI: 10.7910/dvn/9argzn/kjt2su
title: Model_oc_158_M&A (v0=1e13).tab

description: :unav
DOI: 10.7910/dvn/9argzn/lcx02p
title: Model_oc_125_M&A (v0=1e13).tab

description: :unav
DOI: 10.7910/dvn/9argzn/le9vpl
title: TEST2-data.tab

description: :unav
DOI: 10.7910/dvn/9argzn/m2orrl
title: TBL_V2.ps

description: :unav
DOI: 10.7910/dvn/9argzn/qghdln
title: Model_oc_166_M&A (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/rjoius
title: Model_oc_122_M&A (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/sfri1m
title: Model_oc_242_V3 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/uea0kf
title: Model_oc_157_V3 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/xx5wzd
title: Venus_mantle_V1.dat

description: :unav
DOI: 10.7910/dvn/9argzn/y6ebwf
title: Model_ic_2_M&A (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/y8bpov
title: TBL_V1.ps

description: :unav
DOI: 10.7910/dvn/9argzn/yhx3uw
title: Model_oc_202_V3 (v0=1e14).tab

description: :unav
DOI: 10.14457/cu.res.2000.14
title: การพัฒนาระบบและกลไลของการตรวจสอบการบริหารราชการแผ่นดิน
DOI: 10.14457/cu.res.2011.96
title: การเตรียมและการวิเคราะห์สมบัติของแกนฟันปลอมเซรามิกซิลิคอนไนไตรด์
DOI: 10.14457/cu.res.2017.36
title: พิร์โรลิดินิลเพปไทด์นิวคลีอิกแอซิดที่มีคอนฟอร์เมชันถูกจำกัด: หน้าที่ใหม่และการประยุกต์ใช้
DOI: 10.14457/cu.the.2017.77
title: ปัญหาความรับผิดของผู้ประกอบธุรกิจขนส่งที่ไม่ได้รับอนุญาต : กรณีศึกษาอูเบอร์
DOI: 10.7910/dvn/9argzn/06kywp
title: Model_ic_14_V2 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/0em9vx
title: Model_oc_275_M&A (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/2f6jks
title: Model_oc_140_M&A (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/3bdq4i
title: Model_oc_2_M&A (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/8kim6h
title: Model_ic_16_V2 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/8qbbtr
title: Model_oc_88_V1 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/9ylxhv
title: Model_ic_60_M&A (v0=1e13).tab

description: :unav
DOI: 10.7910/dvn/9argzn/awankh
title: Model_ic_64_V1 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/bachwc
title: Model_oc_76_V2 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/bg7udf
title: Model_oc_254_M&A (v0=1e12).tab

description: :unav
DOI: 10.7910/dvn/9argzn/bhinis
title: Model_ic_11_V1 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/cn0ncq
title: Model_ic_61_V1 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/gl5btl
title: Model_oc_13_M&A (v0=1e13).tab

description: :unav
DOI: 10.7910/dvn/9argzn/gstlw2
title: Model_oc_21_V1 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/jldguk
title: Model_oc_273_V1 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/l3gi0g
title: Model_oc_187_M&A (v0=1e13).tab

description: :unav
DOI: 10.7910/dvn/9argzn/mkyghx
title: Model_ic_20_M&A (v0=1e12).tab

description: :unav
DOI: 10.7910/dvn/9argzn/mmidc1
title: Model_ic_5_M&A (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/nlph2a
title: Model_oc_97_M&A (v0=1e13).tab

description: :unav
DOI: 10.7910/dvn/9argzn/qahfh6
title: Model_oc_174_V2 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/qdbsuj
title: Model_oc_25_M&A (v0=1e12).tab

description: :unav
DOI: 10.7910/dvn/9argzn/rsgyvv
title: Model_ic_10_M&A (v0=1e12).tab

description: :unav
DOI: 10.7910/dvn/9argzn/xc3pam
title: Model_ic_39_V2 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/yqzqho
title: Model_oc_293_V1 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/z4etdl
title: Model_oc_228_M&A (v0=1e12).tab

description: :unav
DOI: 10.7910/dvn/9argzn/zipze4
title: Model_oc_55_M&A (v0=1e12).tab

description: :unav
DOI: 10.7910/dvn/9argzn/2pc583
title: Model_ic_17_M&A (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/9buk7n
title: Model_ic_50_M&A (v0=1e13).tab

description: :unav
DOI: 10.7910/dvn/9argzn/aze4eg
title: Model_oc_74_V2 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/bpa9qj
title: Model_oc_159_V3 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/bviwud
title: Model_oc_53_V2 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/clfvng
title: Model_oc_70_V3 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/crutmi
title: Model_ic_36_M&A (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/efhkjr
title: Model_oc_188_M&A (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/faoejr
title: Model_oc_265_V3 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/g9ppal
title: Model_ic_60_V1 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/gd6ood
title: Model_oc_205_M&A (v0=1e13).tab

description: :unav
DOI: 10.7910/dvn/9argzn/gfbxth
title: Model_oc_19_V3 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/gj7h0z
title: Model_ic_11_V3 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/hd3awf
title: Model_ic_48_V2 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/jgt0rv
title: Model_ic_50_V1 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/jhgiwy
title: Model_ic_32_V1 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/jzro8u
title: Model_oc_76_V1 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/lbf8xo
title: Model_ic_36_V1 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/lslb8v
title: Model_oc_243_V2 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/n5vbbq
title: Model_oc_262_V1 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/nff26o
title: Model_oc_1_V2 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/nquzkr
title: Model_ic_54_M&A (v0=1e13).tab

description: :unav
DOI: 10.7910/dvn/9argzn/p02b5d
title: Model_ic_3_V1 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/rfrdkh
title: Model_oc_254_V2 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/spbz6b
title: Model_ic_24_M&A (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/tz0bwe
title: Model_oc_27_M&A (v0=1e12).tab

description: :unav
DOI: 10.7910/dvn/9argzn/vqmpw1
title: Model_oc_84_M&A (v0=1e13).tab

description: :unav
DOI: 10.7910/dvn/9argzn/vyijo0
title: Model_oc_125_V2 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/wvaupt
title: Model_oc_1_M&A (v0=1e13).tab

description: :unav
DOI: 10.7910/dvn/9argzn/zw5tps
title: Model_oc_40_M&A (v0=1e13).tab

description: :unav
DOI: 10.5281/zenodo.3884413
title: Fast Bit-Vector Satisfiability

description: SMT-LIB2 queries from two symbolic analysis platforms and twenty programs pinpoint qsym
DOI: 10.7910/dvn/9argzn/4ayhgd
title: Model_ic_4_V2 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/5aq1av
title: Model_oc_166_M&A (v0=1e13).tab

description: :unav
DOI: 10.7910/dvn/9argzn/7f6zjp
title: Model_ic_28_M&A (v0=1e13).tab

description: :unav
DOI: 10.7910/dvn/9argzn/cm00ik
title: Model_ic_61_M&A (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/dqwdrn
title: Model_ic_47_V3 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/faa937
title: Model_oc_274_V3 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/fki4p0
title: Model_ic_21_V1 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/gm6dkm
title: Model_ic_64_M&A (v0=1e13).tab

description: :unav
DOI: 10.7910/dvn/9argzn/gxmwww
title: Model_ic_47_M&A (v0=1e13).tab

description: :unav
DOI: 10.7910/dvn/9argzn/hrjsiy
title: Model_ic_34_M&A (v0=1e13).tab

description: :unav
DOI: 10.7910/dvn/9argzn/hrx7hb
title: Model_ic_3_M&A (v0=1e12).tab

description: :unav
DOI: 10.7910/dvn/9argzn/i0ktmz
title: Model_oc_222_M&A (v0=1e13).tab

description: :unav
DOI: 10.7910/dvn/9argzn/i46rlf
title: Model_oc_297_V3 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/jcw0on
title: Model_oc_61_M&A (v0=1e13).tab

description: :unav
DOI: 10.7910/dvn/9argzn/klcvpo
title: Model_oc_55_V1 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/kmreas
title: Model_oc_21_M&A (v0=1e13).tab

description: :unav
DOI: 10.7910/dvn/9argzn/knj0mz
title: Model_oc_89_M&A (v0=1e12).tab

description: :unav
DOI: 10.7910/dvn/9argzn/lpy0am
title: Model_oc_99_V2 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/lrowbk
title: Model_oc_27_V3 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/mzh8tb
title: Model_oc_251_M&A (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/nanqlw
title: Model_oc_285_M&A (v0=1e13).tab

description: :unav
DOI: 10.7910/dvn/9argzn/nhob9x
title: Model_oc_167_M&A (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/nvuayp
title: Model_oc_84_V1 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/nzunbc
title: Model_oc_23_V2 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/opaszg
title: Model_oc_38_M&A (v0=1e13).tab

description: :unav
DOI: 10.7910/dvn/9argzn/r7xder
title: Model_ic_7_V3 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/tlglia
title: Model_oc_71_V2 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/wd4vuj
title: Model_oc_146_M&A (v0=1e13).tab

description: :unav
DOI: 10.7910/dvn/9argzn/xyy8vb
title: Model_oc_18_V2 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/yawmny
title: Model_oc_19_M&A (v0=1e12).tab

description: :unav
DOI: 10.7910/dvn/9argzn/ztpjaf
title: Model_ic_20_V1 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/1ilhio
title: Model_oc_21_V3 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/2erhse
title: Model_oc_2_M&A (v0=1e12).tab

description: :unav
DOI: 10.7910/dvn/9argzn/3jlaqz
title: Model_ic_56_V2 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/5h95ic
title: Model_oc_297_V2 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/5j4tub
title: Model_oc_94_V1 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/5pqi1z
title: Model_oc_177_M&A (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/6qwkuq
title: Model_oc_49_V2 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/abqwtc
title: Model_oc_46_V1 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/ad0hmn
title: Model_oc_37_M&A (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/agibnm
title: Model_ic_28_V3 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/b2cflr
title: Model_oc_227_M&A (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/c1toxy
title: Model_oc_133_V2 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/cdpsmr
title: Model_oc_120_M&A (v0=1e12).tab

description: :unav
DOI: 10.7910/dvn/9argzn/fp50bp
title: Model_ic_62_V2 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/go99x6
title: Model_oc_84_M&A (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/he7fsn
title: Model_ic_33_V3 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/i44atx
title: Model_oc_87_M&A (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/iura4q
title: Model_oc_59_V2 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/k1ecc9
title: Model_ic_34_V2 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/k6f3jz
title: Model_ic_12_M&A (v0=1e12).tab

description: :unav
DOI: 10.7910/dvn/9argzn/lbgcck
title: Model_ic_37_M&A (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/lj9wdn
title: Model_ic_51_M&A (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/lytemv
title: Model_oc_43_V1 (v0=1e14).tab

description: :unav
DOI: 10.7910/dvn/9argzn/owzepl
title: Model_oc_186_V2 (v0=1e14).tab

description: :unav