{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,13]],"date-time":"2026-04-13T17:17:53Z","timestamp":1776100673793,"version":"3.50.1"},"reference-count":70,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Visual. Comput. Graphics"],"published-print":{"date-parts":[[2023]]},"DOI":"10.1109\/tvcg.2023.3326516","type":"journal-article","created":{"date-parts":[[2023,10,23]],"date-time":"2023-10-23T18:05:45Z","timestamp":1698084345000},"page":"1-11","source":"Crossref","is-referenced-by-count":16,"title":["EVM: Incorporating Model Checking into Exploratory Visual Analysis"],"prefix":"10.1109","author":[{"given":"Alex","family":"Kale","sequence":"first","affiliation":[{"name":"University of Chicago, USA"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-4200-6774","authenticated-orcid":false,"given":"Ziyang","family":"Guo","sequence":"additional","affiliation":[{"name":"Northwestern University, USA"}]},{"given":"Xiao Li","family":"Qiao","sequence":"additional","affiliation":[{"name":"Northwestern University, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6175-1655","authenticated-orcid":false,"given":"Jeffrey","family":"Heer","sequence":"additional","affiliation":[{"name":"University of Washington, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6826-3550","authenticated-orcid":false,"given":"Jessica","family":"Hullman","sequence":"additional","affiliation":[{"name":"USA"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tics.2011.01.003"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1111\/cgf.13678"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1080\/10618600.1996.10474701"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1214\/ss\/1177013104"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1214\/12-aos1077"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1098\/rsta.2009.0120"},{"key":"ref7","first-page":"171","article-title":"A data viewer for multivariate data","volume-title":"Proc. of the 18th Symposium on the Interface","author":"Buja","year":"1987"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/3290605.3300298"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/iv-2.2019.00032"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3025453.3025922"},{"key":"ref11","first-page":"512","article-title":"A data mining approach to predict forest fires using meteorological data","volume-title":"New Trends in Artificial Intelligence, Proc. of the 13th EPIA","author":"Cortez"},{"key":"ref12","first-page":"5","article-title":"Using data mining to predict secondary school student performance","volume-title":"Proc. of 5th FUture BUsiness TEChnology Conference (FUBUTEC)","author":"Cortez"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1098\/rsos.200805"},{"key":"ref14","author":"Dua","year":"2017","journal-title":"UCI machine learning repository"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1111\/rssa.12378"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1111\/j.1751-5823.2003.tb00203.x"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1198\/106186004x11435"},{"key":"ref18","first-page":"1","volume-title":"The garden of forking paths: Why multiple comparisons can be a problem, even when there is no \u201cfishing expedition\u201d or \u201cp-hacking\u201d and the research hypothesis was posited ahead of time","volume":"348","author":"Gelman","year":"2013"},{"key":"ref19","article-title":"Bayesian workflow","author":"Gelman","year":"2020","journal-title":"arXiv preprint"},{"key":"ref20","first-page":"443","article-title":"Cognitive dimensions of notations","volume-title":"Proc. of the 5th Conference of the British Computer Society, Human-Computer Interaction Specialist Group on People and Computers V","author":"Green"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/3544548.3581236"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3462-1"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/tvcg.2013.119"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1162\/99608f92.3ab8a587"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pone.0142444"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/3491102.3501888"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/tvcg.2018.2864909"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/tvcg.2021.3114824"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1111\/j.1467-8640.1989.tb00315.x"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/tvcg.2020.3028984"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/3290605.3300912"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/3411764.3445798"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.14778\/3229863.3240493"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1080\/00031305.2015.1077728"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1080\/01621459.2013.808157"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/tvcg.2022.3209460"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/3411764.3445356"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.2307\/2981576"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1111\/cgf.13902"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.3758\/s13423-019-01645-2"},{"key":"ref41","author":"Ooms","year":"2014","journal-title":"The opencpu system: Towards a universal interface for scientific computing through separation of concerns"},{"key":"ref42","author":"Pinheiro","year":"2020","journal-title":"nlme: Linear and Nonlinear Mixed Effects Models"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/beliv.2018.8634103"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1111\/j.1467-9876.2005.00510.x"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/tvcg.2015.2467091"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1177\/0956797611417632"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/2945.981851"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.4135\/9781452233253.n6"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1080\/01621459.2015.1108848"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1090\/qam\/99740"},{"key":"ref51","article-title":"Exploratory data analysis as part of a larger whole","volume-title":"Proc. of the 18th conference on design of experiments in army research and development i","volume":"1010","author":"Tukey"},{"key":"ref52","volume-title":"Exploratory data analysis","author":"Tukey","year":"1977"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1145\/1464291.1464366"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1162\/99608f92.7d099fd0"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1080\/10618600.2016.1209116"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1002\/wics.1208"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1109\/tvcg.2015.2467931"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1109\/vast.2017.8585647"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.21105\/joss.01686"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1002\/sam.11271"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1109\/tvcg.2010.161"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.2307\/2346786"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1007\/0-387-28695-0"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1145\/3025453.3025768"},{"key":"ref65","article-title":"Towards a bayesian model of data visualization cognition","volume-title":"IEEE Visualization Workshop on Dealing with Cognitive Biases in Visualisations (DECISIVe)","author":"Wu","year":"2017"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1109\/tvcg.2020.3028957"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1177\/1745691617693393"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1145\/3173574.3174053"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1109\/tvcg.2021.3114679"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1145\/3035918.3064019"}],"container-title":["IEEE Transactions on Visualization and Computer Graphics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/2945\/4359476\/10291034.pdf?arnumber=10291034","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,12]],"date-time":"2024-01-12T03:31:11Z","timestamp":1705030271000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10291034\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"references-count":70,"URL":"https:\/\/doi.org\/10.1109\/tvcg.2023.3326516","relation":{},"ISSN":["1077-2626","1941-0506","2160-9306"],"issn-type":[{"value":"1077-2626","type":"print"},{"value":"1941-0506","type":"electronic"},{"value":"2160-9306","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023]]}}}