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

3,051 to 3,060 of 7,224 Results
PvArNu_means_interaction.csv
Jul 5, 2023 - Data for ‘The interplay of computational complexity and memory load during quantifier verification’
Comma Separated Values - 16.1 KB - MD5: ffbef1f3e06a7c88989b009e02af3132
T_sum_2TA.csv
Jul 5, 2023 - Data for ‘The interplay of computational complexity and memory load during quantifier verification’
Comma Separated Values - 3.7 KB - MD5: 3441d4af6efe20392e58803954c4aed1
T_sum_4A.csv
Jul 5, 2023 - Data for ‘The interplay of computational complexity and memory load during quantifier verification’
Comma Separated Values - 3.7 KB - MD5: 43a01c4299570192f9cbb6ace92e20e0
T_sum_4FA.csv
Jul 5, 2023 - Data for ‘The interplay of computational complexity and memory load during quantifier verification’
Comma Separated Values - 3.7 KB - MD5: 7e97677b9152d72a2e6e24099775b13c
T_sum_4N.csv
Jul 5, 2023 - Data for ‘The interplay of computational complexity and memory load during quantifier verification’
Comma Separated Values - 8.4 KB - MD5: 60be37cf654b6036b95420827a2b14e7
T_sum_4TA.csv
Jul 5, 2023 - Data for ‘The interplay of computational complexity and memory load during quantifier verification’
Comma Separated Values - 3.7 KB - MD5: b4c6854e5a820a88afb393a75806eb49
T_sum_allA.csv
Jul 5, 2023 - Data for ‘The interplay of computational complexity and memory load during quantifier verification’
Comma Separated Values - 5.4 KB - MD5: 431df0340448c6231c9740ee66ee57bd
T_sum_allN.csv
Jul 5, 2023 - Data for ‘The interplay of computational complexity and memory load during quantifier verification’
Comma Separated Values - 8.4 KB - MD5: aa22fe22351db16f13e1287473fd76e3
T_sum_TA.csv
Jul 5, 2023 - Data for ‘The interplay of computational complexity and memory load during quantifier verification’
Comma Separated Values - 3.7 KB - MD5: bcc39a2f363d6c61961319c6b00c537e
WM_measures.mat
Jul 5, 2023 - Data for ‘The interplay of computational complexity and memory load during quantifier verification’
MATLAB Data - 889 B - MD5: 22a3159a0f6f05fa3dbdb3624506c4cb
Add Data

Log in to create a dataverse or add a dataset.

Log In
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.