{"meta":{"page":1,"per_page":50,"max_per_page":100,"total":45,"total_is_capped":false,"direct_labels_cover":3,"predictions_cover":45,"direct_label_status":"direct model label, unvalidated","prediction_status":"machine_predicted_unvalidated (Codex and Gemma teacher distillation)","score_status":"score_only:v0-immature-baseline (scores rank; they never assert a category)","snapshot":{"source":"OpenAlex, pinned release, all 482 partitions","release":"2026-06-24","frame_built":"2026-07-12","author_layer_release":"2026-06-26"},"query_hash":"81f72d4dcd75","filters":{"venue":"EPiC series in computing"}},"results":[{"id":"W2397007421","doi":"10.29007/44jw","title":"The Turing O-Machine and the DIME Network Architecture: Injecting the Architectural Resiliency into Distributed Computing","year":2018,"lang":"en","type":"article","venue":"EPiC series in computing","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":29,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Object Research Systems (Canada)","funders":"","keywords":"Computer science; Turing machine; Oracle; Distributed computing; Virtual machine; Theoretical computer science; Operating system; Programming language; Computation","authors":[{"name":"Rao Mikkilineni","is_ca":true},{"name":"Albert Comparini","is_ca":true},{"name":"Giovanni Morana","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.006140681895732632,"gpt":0.2380729585410363,"spread":0.2319322766453037,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00120562,0.0003911225,0.0003403275,0.0004998253,0.00107747,0.002809195,0.001174735,0.001448887,0.002195815],"category_scores_gemma":[0.003992768,0.0003180626,0.0004323068,0.0004072547,0.005511827,0.005586952,0.003179284,0.002766456,0.0004845712],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001090715,"about_ca_system_score_gemma":0.000959485,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0011627,"about_ca_topic_score_gemma":0.0007433234,"domain_scores_codex":[0.999218,0.0002403007,0.00003659813,0.0001308012,0.0002574996,0.0001168446],"domain_scores_gemma":[0.9986456,0.0004615002,0.00008027961,0.000510492,0.0001370232,0.0001652053],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00009324846,0.00003724765,0.0005040262,0.00007095444,0.00001603634,0.0001778471,0.0008226146,0.01946918,0.006292531,0.9362487,0.002306523,0.03396112],"study_design_scores_gemma":[0.00006143396,0.0001723758,0.0004844983,0.0000937978,0.00002870006,0.0003438446,0.0004281805,0.1887571,0.0155239,0.6901287,0.1039074,0.00007011089],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.08299109,0.00162269,0.835854,0.006730714,0.0005134357,0.000127805,0.00005854531,0.002363152,0.06973848],"genre_scores_gemma":[0.7997136,0.0009553957,0.1886633,0.0007912944,0.000146499,0.000185714,0.0000530552,0.0002444902,0.009246661],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002809195,"threshold_uncertainty_score":0.007913768,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4200324797","doi":"10.29007/xwl1","title":"ARCH-COMP 2021 Category Report: Falsification with Validation of Results","year":2021,"lang":"en","type":"article","venue":"EPiC series in computing","topic":"Physical Unclonable Functions (PUFs) and Hardware Security","field":"Computer Science","cited_by":23,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"McMaster University","funders":"JST-Mirai Program; Core Research for Evolutional Science and Technology; Exploratory Research for Advanced Technology; National Science Foundation; Division of Civil, Mechanical and Manufacturing Innovation; Division of Industrial Innovation and Partnerships; Defense Advanced Research Projects Agency; ACT-X; Japan Society for the Promotion of Science; European Commission","keywords":"Novelty; Computer science; Competition (biology); Arch; Work (physics); Artificial intelligence; Software engineering; Engineering; Psychology","authors":[{"name":"Gidon Ernst","is_ca":false},{"name":"Paolo Arcaini","is_ca":false},{"name":"Ismail Bennani","is_ca":false},{"name":"Aniruddh Chandratre","is_ca":false},{"name":"Alexandre Donzé","is_ca":false},{"name":"Georgios Fainekos","is_ca":false},{"name":"Goran Frehse","is_ca":false},{"name":"Khouloud Gaaloul","is_ca":false},{"name":"Jun Inoue","is_ca":false},{"name":"Tanmay Khandait","is_ca":false},{"name":"Logan Mathesen","is_ca":false},{"name":"Claudio Menghi","is_ca":true},{"name":"Giulia Pedrielli","is_ca":false},{"name":"Marc Pouzet","is_ca":false},{"name":"Masaki Waga","is_ca":false},{"name":"Shakiba Yaghoubi","is_ca":false},{"name":"Yoriyuki Yamagata","is_ca":false},{"name":"Zhenya Zhang","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.0166020675808463,"gpt":0.2502045175981701,"spread":0.2336024500173238,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.06261049,0.00352644,0.001904696,0.005809655,0.004252432,0.0141957,0.006009588,0.00609515,0.05426424],"category_scores_gemma":[0.09574836,0.001183409,0.002579872,0.003271116,0.003617157,0.005367197,0.01010566,0.005877451,0.04401661],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.006168898,"about_ca_system_score_gemma":0.009123452,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.007008589,"about_ca_topic_score_gemma":0.006553012,"domain_scores_codex":[0.9219511,0.02102806,0.003340022,0.006220107,0.04174747,0.005713278],"domain_scores_gemma":[0.8136225,0.04778877,0.005156309,0.05052072,0.0742306,0.008680977],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.003421275,0.0010073,0.005457134,0.001216473,0.0002420758,0.0006874319,0.0007659822,0.009972168,0.006781883,0.02992964,0.8482473,0.09227125],"study_design_scores_gemma":[0.0009446104,0.002003966,0.007133042,0.000738492,0.0001742931,0.001220267,0.001249998,0.03326058,0.05138672,0.03262584,0.8688669,0.000395265],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.110915,0.006596228,0.2710294,0.02340113,0.0316184,0.004749195,0.1214645,0.1275637,0.3026625],"genre_scores_gemma":[0.3295937,0.001499713,0.2077179,0.006508431,0.003010457,0.003602954,0.2627384,0.04820253,0.137126],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.06261049,"threshold_uncertainty_score":0.3311199,"prediction_status":"machine_predicted_unvalidated"},"labels":[{"model":"gemma","categories":[],"domain":null,"study_design":"bench_or_experimental","genre":"empirical","about_ca_system":false,"about_ca_topic":false,"confidence":"low"},{"model":"gpt","categories":[],"domain":null,"study_design":"simulation_or_modeling","genre":"empirical","about_ca_system":false,"about_ca_topic":false,"confidence":"medium"}],"label_agreement":"split"},{"id":"W4387735129","doi":"10.29007/6nqs","title":"ARCH-COMP23 Category Report: Falsification","year":2023,"lang":"en","type":"article","venue":"EPiC series in computing","topic":"Physical Unclonable Functions (PUFs) and Hardware Security","field":"Computer Science","cited_by":15,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"McMaster University","funders":"JST-Mirai Program; Core Research for Evolutional Science and Technology; ACT-X; Japan Society for the Promotion of Science; European Commission; Natural Sciences and Engineering Research Council of Canada; Defense Advanced Research Projects Agency; Electronic Components and Systems for European Leadership; Exploratory Research for Advanced Technology; Division of Civil, Mechanical and Manufacturing Innovation; National Science Foundation","keywords":"Benchmark (surveying); Arch; Computer science; Competition (biology); Temporal logic; Cyber-physical system; Software engineering; Data science; Artificial intelligence; Theoretical computer science; Engineering; Civil engineering","authors":[{"name":"Claudio Menghi","is_ca":true},{"name":"Paolo Arcaini","is_ca":false},{"name":"Walstan Baptista","is_ca":false},{"name":"Gidon Ernst","is_ca":false},{"name":"Georgios Fainekos","is_ca":false},{"name":"Federico Formica","is_ca":true},{"name":"Sauvik Gon","is_ca":false},{"name":"Tanmay Khandait","is_ca":false},{"name":"A. Kundu","is_ca":false},{"name":"Giulia Pedrielli","is_ca":false},{"name":"Jarkko Peltomäki","is_ca":false},{"name":"Iván Porres","is_ca":false},{"name":"R. L. Ray","is_ca":false},{"name":"Masaki Waga","is_ca":false},{"name":"Zhenya Zhang","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02443590830536669,"gpt":0.2745188595835987,"spread":0.250082951278232,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0196413,0.002953922,0.00160065,0.00440285,0.003423885,0.009612543,0.005081551,0.005039667,0.07601599],"category_scores_gemma":[0.04506953,0.0009388309,0.0026603,0.003190147,0.002161759,0.006853102,0.006787135,0.005347886,0.05132535],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00642676,"about_ca_system_score_gemma":0.007739023,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0125451,"about_ca_topic_score_gemma":0.01109209,"domain_scores_codex":[0.9733925,0.006268633,0.001077169,0.002644708,0.01442429,0.002192717],"domain_scores_gemma":[0.9162331,0.02343143,0.002475038,0.0206091,0.03300473,0.004246633],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.002154646,0.0007161994,0.002770971,0.001011866,0.000133583,0.0003387463,0.0001795735,0.01273486,0.003241091,0.03279,0.8918507,0.05207789],"study_design_scores_gemma":[0.0008925732,0.00133732,0.003124783,0.0005007471,0.0001460546,0.000960791,0.0007356043,0.05644134,0.03126137,0.05975964,0.844592,0.0002477971],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.07165765,0.00586366,0.1825929,0.02421292,0.02384862,0.002762308,0.2298142,0.1048667,0.3543811],"genre_scores_gemma":[0.2439145,0.002135589,0.09673135,0.006882177,0.002607509,0.001990761,0.4821198,0.0231899,0.1404285],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.07601599,"threshold_uncertainty_score":0.2542988,"prediction_status":"machine_predicted_unvalidated"},"labels":[{"model":"gemma","categories":[],"domain":null,"study_design":"not_applicable","genre":"other","about_ca_system":false,"about_ca_topic":false,"confidence":"high"},{"model":"gpt","categories":[],"domain":null,"study_design":"design_other","genre":"other","about_ca_system":false,"about_ca_topic":false,"confidence":"low"}],"label_agreement":"split"},{"id":"W2741782787","doi":"10.29007/fm8f","title":"Overview of COLIEE 2017","year":2018,"lang":"en","type":"article","venue":"EPiC series in computing","topic":"Topic Modeling","field":"Computer Science","cited_by":14,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Alberta","funders":"Core Research for Evolutional Science and Technology; Ministry of Education, Culture, Sports, Science and Technology; Alberta Machine Intelligence Institute","keywords":"Task (project management); Computer science; Logical consequence; Textual entailment; Information retrieval; Information extraction; Group (periodic table); Task group; Question answering; Natural language processing; Artificial intelligence","authors":[{"name":"Yoshinobu Kano","is_ca":false},{"name":"Mi-Young Kim","is_ca":true},{"name":"Randy Goebel","is_ca":true},{"name":"Ken Satoh","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.08135760093089604,"gpt":0.3317747509200041,"spread":0.2504171499891081,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.02897812,0.005845866,0.004480878,0.01776903,0.005292596,0.01366807,0.01041481,0.006107641,0.04884357],"category_scores_gemma":[0.04590753,0.002065289,0.003899926,0.01288465,0.002046827,0.01319267,0.01337638,0.007318138,0.06528703],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.006116505,"about_ca_system_score_gemma":0.01310215,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.03258332,"about_ca_topic_score_gemma":0.05452543,"domain_scores_codex":[0.9660428,0.01003399,0.002192189,0.004598649,0.01342865,0.003703776],"domain_scores_gemma":[0.9643918,0.006514125,0.0008801619,0.006773163,0.0157736,0.005667115],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0008979469,0.00107964,0.001514846,0.001793372,0.0002961533,0.0001617215,0.0002069807,0.002408668,0.003385971,0.002557087,0.8830244,0.1026733],"study_design_scores_gemma":[0.0008058901,0.0006859254,0.004162308,0.0004788668,0.0002424415,0.0005010765,0.0004257016,0.01926265,0.008314131,0.006548439,0.9583176,0.0002549488],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"dataset","genre_gemma":"review","genre_scores_codex":[0.06066688,0.06763852,0.1337604,0.02536782,0.03036064,0.01212568,0.2625937,0.2077809,0.1997053],"genre_scores_gemma":[0.03895929,0.005305135,0.1044055,0.005562577,0.003798075,0.004413566,0.7802992,0.01387973,0.04337698],"genre_candidate":"review","genre_consensus":null,"teacher_disagreement_score":0.04884357,"threshold_uncertainty_score":0.163398,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4311273067","doi":"10.29007/fhnk","title":"ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources","year":2022,"lang":"en","type":"article","venue":"EPiC series in computing","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":14,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"McMaster University","funders":"JST-Mirai Program; Core Research for Evolutional Science and Technology; Exploratory Research for Advanced Technology; National Science Foundation; Division of Civil, Mechanical and Manufacturing Innovation; ACT-X; Japan Society for the Promotion of Science; Natural Sciences and Engineering Research Council of Canada; Division of Industrial Innovation and Partnerships; Defense Advanced Research Projects Agency","keywords":"Comparability; Competition (biology); Arch; Computer science; Work (physics); Data science; Software engineering; Engineering; Civil engineering; Mathematics; Mechanical engineering","authors":[{"name":"Gidon Ernst","is_ca":false},{"name":"Paolo Arcaini","is_ca":false},{"name":"Georgios Fainekos","is_ca":false},{"name":"Federico Formica","is_ca":true},{"name":"Jun Inoue","is_ca":false},{"name":"Tanmay Khandait","is_ca":false},{"name":"Mohammad Mahdi Mahboob","is_ca":true},{"name":"Claudio Menghi","is_ca":true},{"name":"Giulia Pedrielli","is_ca":false},{"name":"Masaki Waga","is_ca":false},{"name":"Yoriyuki Yamagata","is_ca":false},{"name":"Zhenya Zhang","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02085790349343988,"gpt":0.2712023298882709,"spread":0.2503444263948311,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.02638431,0.00268562,0.0017627,0.005952384,0.003740003,0.01232013,0.004936703,0.004163505,0.06295916],"category_scores_gemma":[0.04131593,0.0009156656,0.002367787,0.003637003,0.002555484,0.00609484,0.008365132,0.005161822,0.04791172],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.005271978,"about_ca_system_score_gemma":0.006726699,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.009884736,"about_ca_topic_score_gemma":0.01126902,"domain_scores_codex":[0.9670776,0.007140775,0.001338368,0.003069419,0.01789447,0.003479375],"domain_scores_gemma":[0.9327696,0.01614767,0.00179145,0.01833673,0.02564713,0.005307423],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.002523264,0.0007633349,0.003428265,0.000886653,0.0001381156,0.0003302461,0.000321315,0.006499574,0.004299442,0.0322593,0.8742803,0.07427027],"study_design_scores_gemma":[0.0008442702,0.001518632,0.005089943,0.0004934194,0.0001350694,0.0008569903,0.001038629,0.03149623,0.03903696,0.03695839,0.8822759,0.0002555512],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.09424745,0.006164929,0.1715367,0.01744293,0.02623155,0.002675632,0.1648649,0.1236234,0.3932126],"genre_scores_gemma":[0.2583525,0.001548302,0.1476632,0.004934893,0.001997433,0.002304505,0.3804469,0.03632264,0.1664295],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.06295916,"threshold_uncertainty_score":0.2106194,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2579738600","doi":"10.29007/8drm","title":"Benchmark Problem: A PK/PD Model and Safety Constraints for Anesthesia Delivery","year":2018,"lang":"en","type":"article","venue":"EPiC series in computing","topic":"Anesthesia and Sedative Agents","field":"Medicine","cited_by":13,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"University of British Columbia","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Benchmark (surveying); Propofol; Hypnosis; Computer science; Unconsciousness; Pharmacodynamics; Pharmacokinetics; Nonlinear system; Code (set theory); Anesthesia; Medicine; Pharmacology; Physics; Programming language","authors":[{"name":"Victor C. Gan","is_ca":true},{"name":"Guy A. Dumont","is_ca":true},{"name":"Ian M. Mitchell","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02501857068454738,"gpt":0.2827003861352207,"spread":0.2576818154506733,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001152643,0.0008633804,0.000661922,0.0004729436,0.0006799488,0.001269173,0.001052857,0.002235914,0.007748282],"category_scores_gemma":[0.00716859,0.0003444489,0.0007454526,0.0004724908,0.0006022875,0.0008572829,0.0007148089,0.001440348,0.0005017208],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001432717,"about_ca_system_score_gemma":0.002203658,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.02430873,"about_ca_topic_score_gemma":0.01136854,"domain_scores_codex":[0.9994799,0.0001859221,0.00002926713,0.00008033389,0.0001363219,0.00008822086],"domain_scores_gemma":[0.9964587,0.002565192,0.0001717714,0.000154289,0.000529932,0.0001201832],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001137263,0.00008624268,0.0009656359,0.0001222488,0.00002052626,0.0002292362,0.00003921014,0.9811379,0.0005734056,0.009126442,0.002188182,0.005397323],"study_design_scores_gemma":[0.00004836654,0.00004751906,0.0002849244,0.00001003774,0.000009437375,0.00003148508,0.00002253083,0.9944997,0.0006271608,0.003133952,0.001277953,0.000006885974],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"empirical","genre_gemma":"methods","genre_scores_codex":[0.4754834,0.001103955,0.4427885,0.005197965,0.0003732704,0.0006147873,0.009912844,0.002210756,0.06231458],"genre_scores_gemma":[0.915816,0.0002610606,0.07294387,0.0002558131,0.000036732,0.0003007003,0.001944137,0.000125698,0.008316135],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.02430873,"threshold_uncertainty_score":0.04833448,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2577559092","doi":"10.29007/493z","title":"Modeling Organic Chemistry and Planning Organic Synthesis","year":2018,"lang":"en","type":"article","venue":"EPiC series in computing","topic":"Semantic Web and Ontologies","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"Toronto Metropolitan University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Benchmark (surveying); Set (abstract data type); Domain (mathematical analysis); Organic molecules; Artificial intelligence; Theoretical computer science; Chemistry; Programming language; Molecule; Mathematics; Organic chemistry","authors":[{"name":"Arman Masoumi","is_ca":true},{"name":"Megan Antoniazzi","is_ca":true},{"name":"Mikhail Soutchanski","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02047545171841846,"gpt":0.2535248274359482,"spread":0.2330493757175297,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006468204,0.0007995524,0.0004201424,0.0006317553,0.00066616,0.001647833,0.001541995,0.001273981,0.004632943],"category_scores_gemma":[0.001911194,0.0005268531,0.001079194,0.001073903,0.001829659,0.001780116,0.001406239,0.001130047,0.0006406069],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002054709,"about_ca_system_score_gemma":0.002860009,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01980096,"about_ca_topic_score_gemma":0.0219564,"domain_scores_codex":[0.9995589,0.0001637906,0.00002872186,0.00008024291,0.000113855,0.00005442929],"domain_scores_gemma":[0.9993688,0.0003922645,0.00006304394,0.00008090449,0.00005834471,0.00003658124],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002776229,0.0000241111,0.0002247236,0.000140182,0.00001173436,0.0000853336,0.00008224511,0.7634425,0.0005858956,0.2208286,0.001482074,0.0130648],"study_design_scores_gemma":[0.00004290827,0.00002397911,0.0001095979,0.00003689419,0.00001485948,0.00004525365,0.00006942167,0.7758993,0.001493539,0.193071,0.02917865,0.00001462433],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02906328,0.001682691,0.9016178,0.002493237,0.0001867305,0.0002504174,0.001803882,0.001726175,0.0611758],"genre_scores_gemma":[0.3643856,0.003121116,0.613207,0.000328955,0.00008363523,0.0007378738,0.001975622,0.0002886317,0.01587159],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01980096,"threshold_uncertainty_score":0.03937143,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2736911465","doi":"10.29007/b8gq","title":"Automated analysis of Stateflow models","year":2018,"lang":"en","type":"article","venue":"EPiC series in computing","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Waterloo","funders":"Centre National d’Etudes Spatiales; Agence Nationale de la Recherche; National Aeronautics and Space Administration","keywords":"Stateflow; Computer science; Programming language; Code generation; Toolbox; Semantics (computer science); Software engineering; Key (lock)","authors":[{"name":"Hamza Bourbouh","is_ca":false},{"name":"Pierre-Loïc Garoche","is_ca":false},{"name":"Christophe Garion","is_ca":false},{"name":"Arie Gurfinkel","is_ca":true},{"name":"Temesghen Kahsai","is_ca":false},{"name":"Xavier Thirioux","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04062794395109122,"gpt":0.3368461936602954,"spread":0.2962182497092042,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001747934,0.0008044492,0.0006071001,0.001277504,0.0008331112,0.001353294,0.001142898,0.0009034825,0.00317138],"category_scores_gemma":[0.008448223,0.0005881856,0.001902404,0.0004475317,0.001340733,0.001912198,0.001770536,0.001268079,0.000374644],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001237357,"about_ca_system_score_gemma":0.002674298,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003933853,"about_ca_topic_score_gemma":0.004326082,"domain_scores_codex":[0.9973919,0.0007614203,0.0001440134,0.000330918,0.001156591,0.0002150337],"domain_scores_gemma":[0.9940466,0.003799014,0.0004285956,0.001090178,0.0005660684,0.00006952565],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001079541,0.0001316495,0.00311845,0.0002057263,0.00007716142,0.0004767123,0.0003740122,0.7878491,0.0201664,0.1225997,0.00144007,0.06345307],"study_design_scores_gemma":[0.00001240233,0.00001582085,0.000166268,0.00001537526,0.00001197293,0.0000305915,0.00001763117,0.9530467,0.006515957,0.03896445,0.00119412,0.000008874374],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02675259,0.00004018446,0.9689652,0.00008793992,0.00001275639,0.00008348183,0.0002148552,0.002835948,0.001006982],"genre_scores_gemma":[0.5445611,0.0001304909,0.4517813,0.0000671049,0.00002823944,0.0003329395,0.0009111286,0.0005358165,0.001651923],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003933853,"threshold_uncertainty_score":0.01060933,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4403289443","doi":"10.29007/hgfv","title":"ARCH-COMP 2024 Category Report: Falsification","year":2024,"lang":"en","type":"article","venue":"EPiC series in computing","topic":"Adversarial Robustness in Machine Learning","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"","funders":"ACT-X; JST-Mirai Program; Exploratory Research for Advanced Technology; Electronic Components and Systems for European Leadership; Defense Advanced Research Projects Agency; Universität Salzburg; Alliance de recherche numérique du Canada; Japan Society for the Promotion of Science; Austrian Science Fund; Division of Civil, Mechanical and Manufacturing Innovation; European Commission; Technische Universität Wien; Core Research for Evolutional Science and Technology; National Science Foundation","keywords":"Benchmark (surveying); Arch; Competition (biology); Computer science; Software engineering; Data science; Artificial intelligence; Engineering; Civil engineering; Geography","authors":[{"name":"Tanmay Khandait","is_ca":false},{"name":"Federico Formica","is_ca":false},{"name":"Paolo Arcaini","is_ca":false},{"name":"Surdeep Chotaliya","is_ca":false},{"name":"Georgios Fainekos","is_ca":false},{"name":"Abdelrahman Hekal","is_ca":false},{"name":"A. Kundu","is_ca":false},{"name":"Ethan Lew","is_ca":false},{"name":"Michele Loreti","is_ca":false},{"name":"Claudio Menghi","is_ca":false},{"name":"Laura Nenzi","is_ca":false},{"name":"Giulia Pedrielli","is_ca":false},{"name":"Jarkko Peltomäki","is_ca":false},{"name":"Iván Porres","is_ca":false},{"name":"R. L. Ray","is_ca":false},{"name":"Valentin Soloviev","is_ca":false},{"name":"Ennio Visconti","is_ca":false},{"name":"Masaki Waga","is_ca":false},{"name":"Zhenya Zhang","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01676143807099343,"gpt":0.295545062689395,"spread":0.2787836246184015,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.04038029,0.003741929,0.00218021,0.00407555,0.00411644,0.01221965,0.007083328,0.007540287,0.08704304],"category_scores_gemma":[0.05123863,0.001085427,0.002862496,0.002099521,0.002874791,0.006864425,0.01057529,0.00728207,0.06926835],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004851815,"about_ca_system_score_gemma":0.008237901,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.008075395,"about_ca_topic_score_gemma":0.009432658,"domain_scores_codex":[0.9552484,0.01042098,0.001810656,0.004478869,0.0236631,0.004378081],"domain_scores_gemma":[0.9099845,0.01994104,0.002004491,0.01880201,0.04326984,0.005998238],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00181851,0.0004961974,0.001276975,0.0007315744,0.0001171276,0.0002339847,0.0001596937,0.006689629,0.004297707,0.02168701,0.9021277,0.0603639],"study_design_scores_gemma":[0.0006815284,0.001219603,0.002038118,0.0004625808,0.0001071885,0.0006451206,0.000466735,0.031216,0.02843452,0.03578991,0.8987275,0.0002112594],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.04772394,0.006665145,0.317294,0.02792571,0.04418803,0.004682997,0.1060817,0.07858473,0.3668536],"genre_scores_gemma":[0.2099287,0.001955948,0.1610252,0.01022056,0.004570137,0.003521348,0.3832259,0.02982818,0.195724],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.08704304,"threshold_uncertainty_score":0.291188,"prediction_status":"machine_predicted_unvalidated"},"labels":[{"model":"gemma","categories":[],"domain":null,"study_design":"not_applicable","genre":"other","about_ca_system":false,"about_ca_topic":false,"confidence":"low"},{"model":"gpt","categories":[],"domain":null,"study_design":"design_other","genre":"other","about_ca_system":false,"about_ca_topic":false,"confidence":"low"}],"label_agreement":"split"},{"id":"W2397288865","doi":"10.29007/28ww","title":"Boosting the Performance of SLS and CDCL Solvers by Preprocessor Tuning","year":2018,"lang":"en","type":"article","venue":"EPiC series in computing","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Artificial Intelligence in Medicine (Canada)","funders":"Deutsche Forschungsgemeinschaft","keywords":"Preprocessor; Solver; Computer science; Boosting (machine learning); Data pre-processing; Algorithm; Artificial intelligence; Programming language","authors":[{"name":"Adrian Balint","is_ca":false},{"name":"Norbert Manthey","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.0180842090583107,"gpt":0.2764689635167606,"spread":0.2583847544584499,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003752951,0.003164458,0.001679085,0.002505308,0.0007801418,0.002812443,0.003446676,0.002044654,0.01262693],"category_scores_gemma":[0.02437054,0.001266469,0.00212763,0.003630066,0.001161101,0.004922833,0.002417839,0.004814596,0.005246538],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001020249,"about_ca_system_score_gemma":0.002658006,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00157762,"about_ca_topic_score_gemma":0.002874135,"domain_scores_codex":[0.9946051,0.001807061,0.0006488253,0.001190302,0.001177355,0.0005714115],"domain_scores_gemma":[0.9828919,0.01054408,0.0008514306,0.004105806,0.001304681,0.0003020794],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.003260778,0.001389953,0.005221515,0.00377462,0.0005636276,0.0004938172,0.0003650021,0.2247357,0.07724642,0.01319931,0.02683075,0.6429186],"study_design_scores_gemma":[0.001129958,0.001797138,0.00348901,0.0005249996,0.0005664669,0.0007374484,0.0005303029,0.7283712,0.1897223,0.03425178,0.03862939,0.000250097],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4168211,0.01124476,0.4808237,0.002379308,0.001150593,0.000816485,0.003073529,0.05554081,0.02814977],"genre_scores_gemma":[0.4784647,0.001693182,0.5036344,0.0007484093,0.0002035456,0.0004514314,0.005424174,0.005853004,0.003527118],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01262693,"threshold_uncertainty_score":0.04224122,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2968959540","doi":"10.29007/6l77","title":"Towards Formal Reliability Analysis of Logistics Service Supply Chains using Theorem Proving","year":2018,"lang":"en","type":"article","venue":"EPiC series in computing","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Concordia University","funders":"Qatar National Research Fund; Fonds National de la Recherche Luxembourg; Qatar Foundation","keywords":"Computer science; HOL; Reliability (semiconductor); Mathematical proof; Reliability engineering; Service (business); Reliability theory; Node (physics); Product (mathematics); Reliability block diagram; Automated theorem proving; Theoretical computer science; Fault tree analysis; Engineering; Mathematics; Programming language; Business","authors":[{"name":"Waqar Ahmed","is_ca":false},{"name":"Osman Hasan","is_ca":false},{"name":"Sofiène Tahar","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04765700939063607,"gpt":0.3343177444501004,"spread":0.2866607350594644,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.007718836,0.001249751,0.0006470892,0.00213379,0.0007355388,0.002990741,0.002362179,0.001060665,0.002707371],"category_scores_gemma":[0.01755069,0.0006916852,0.003331637,0.001271083,0.003831428,0.003274462,0.002208645,0.002658845,0.0006525472],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002381516,"about_ca_system_score_gemma":0.002781101,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003374202,"about_ca_topic_score_gemma":0.001854583,"domain_scores_codex":[0.9955734,0.001810943,0.0003124337,0.0004099657,0.001516413,0.000376762],"domain_scores_gemma":[0.984861,0.01099022,0.0009271909,0.001340761,0.001709414,0.0001714119],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002918834,0.00009729263,0.0007350963,0.0003303744,0.00005568152,0.0004281564,0.0004725379,0.3194685,0.004610797,0.6493096,0.000953201,0.02350965],"study_design_scores_gemma":[0.00002292968,0.00003412155,0.0001707811,0.0001034031,0.00004208509,0.00009297392,0.00006350267,0.6241963,0.004493471,0.3653186,0.005437193,0.00002466563],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003736945,0.000108254,0.9942154,0.0001382092,0.00001661589,0.00003977655,0.00004263996,0.0001756258,0.001526548],"genre_scores_gemma":[0.2681131,0.001028587,0.7271978,0.0002365723,0.0001572958,0.0004840794,0.0003427544,0.0002322612,0.002207508],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007718836,"threshold_uncertainty_score":0.04082155,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W3013316335","doi":"10.29007/h71z","title":"On relationships between imbalance and overlapping of datasets","year":2020,"lang":"en","type":"article","venue":"EPiC series in computing","topic":"Imbalanced Data Classification Techniques","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"McMaster University","funders":"Natural Sciences and Engineering Research Council of Canada; King Abdulaziz City for Science and Technology","keywords":"Support vector machine; Computer science; Precision and recall; Decision tree; Artificial intelligence; Data mining; Machine learning; Recall; k-nearest neighbors algorithm; Pattern recognition (psychology)","authors":[{"name":"Waleed A. Almutairi","is_ca":true},{"name":"Ryszard Janicki","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.05639342327698976,"gpt":0.2835915093782327,"spread":0.2271980861012429,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.02382487,0.001138385,0.001501888,0.008425708,0.001635616,0.005268331,0.001140968,0.001459391,0.001282125],"category_scores_gemma":[0.2173739,0.0006372517,0.0007161143,0.009774987,0.002970353,0.01279997,0.003273546,0.002482855,0.0002811985],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002116668,"about_ca_system_score_gemma":0.001187133,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001460242,"about_ca_topic_score_gemma":0.001319588,"domain_scores_codex":[0.9789619,0.007745746,0.001565222,0.003708834,0.006988555,0.001029766],"domain_scores_gemma":[0.5199134,0.4234082,0.03378182,0.008032373,0.01325902,0.001605204],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"observational","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00149104,0.0003243257,0.5706674,0.0009734253,0.0007094329,0.00175989,0.001834095,0.07116405,0.002186189,0.04814918,0.007625842,0.2931151],"study_design_scores_gemma":[0.00009835586,0.001196136,0.1897836,0.0009748148,0.0008812179,0.007333425,0.004534618,0.4697954,0.00699025,0.3020839,0.01602676,0.0003015142],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6588987,0.02589004,0.287267,0.006903618,0.0007475497,0.0004044126,0.00163889,0.0008840668,0.01736574],"genre_scores_gemma":[0.95573,0.004248972,0.03663215,0.000470977,0.0008075141,0.000166965,0.001023947,0.0001184248,0.0008010347],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.02382487,"threshold_uncertainty_score":0.1259995,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2580401938","doi":"10.29007/vz48","title":"Proving uniformity and independence by self-composition and coupling","year":2018,"lang":"en","type":"article","venue":"EPiC series in computing","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Polytechnique Montréal","funders":"Horizon 2020 Framework Programme; European Commission; Simons Foundation; National Science Foundation","keywords":"Mathematical proof; Probabilistic logic; Computer science; Theoretical computer science; Probabilistic CTL; Probabilistic argumentation; Independence (probability theory); Markov chain; Abstraction; Probabilistic relevance model; Proof assistant; Programming language; Mathematics; Probabilistic analysis of algorithms; Artificial intelligence; Machine learning","authors":[{"name":"Gilles Barthe","is_ca":false},{"name":"Thomas Espitau","is_ca":false},{"name":"Benjamin Grégoire","is_ca":false},{"name":"Justin Hsu","is_ca":false},{"name":"Pierre-Yves Strub","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01170210460895693,"gpt":0.2700041866828466,"spread":0.2583020820738897,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01038872,0.0009921025,0.001136205,0.001495759,0.001930572,0.003103054,0.00220521,0.001366413,0.004429692],"category_scores_gemma":[0.0412915,0.001503976,0.003293521,0.001110245,0.007397722,0.01139713,0.01084865,0.00537836,0.001051784],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001488808,"about_ca_system_score_gemma":0.002904434,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001330853,"about_ca_topic_score_gemma":0.0008133166,"domain_scores_codex":[0.9850627,0.004785087,0.001123624,0.003013011,0.004949792,0.001065792],"domain_scores_gemma":[0.9565127,0.0287632,0.001925631,0.009137384,0.002875275,0.0007857773],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001602454,0.0001276761,0.001173526,0.0002671696,0.00009655161,0.0003612497,0.001244514,0.01103161,0.007982466,0.939568,0.001262916,0.03672403],"study_design_scores_gemma":[0.00009694084,0.00008827439,0.0002922305,0.00006270741,0.0001030842,0.0004079739,0.0001196261,0.05158261,0.03148928,0.9061494,0.009551709,0.00005622578],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01581784,0.0001058207,0.9778471,0.0004702648,0.00003996744,0.0001170923,0.00008851095,0.001050264,0.004463236],"genre_scores_gemma":[0.5472808,0.0004204031,0.4445056,0.0007765075,0.0001951383,0.0005133718,0.0003758789,0.0009388746,0.004993337],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01038872,"threshold_uncertainty_score":0.05494142,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W3111321218","doi":"10.29007/mx3f","title":"A Robust Controlled Backward Reach Tube with (Almost) Analytic Solution for Two Dubins Cars","year":2020,"lang":"en","type":"article","venue":"EPiC series in computing","topic":"Guidance and Control Systems","field":"Engineering","cited_by":5,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"University of British Columbia","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Reachability; Benchmark (surveying); Set (abstract data type); Computer science; Nonlinear system; Mathematical optimization; Pursuit-evasion; Mathematics; Algorithm","authors":[{"name":"I. V. Mitchell","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02531251039226548,"gpt":0.2227059041197544,"spread":0.197393393727489,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006976255,0.0008056221,0.0006291743,0.0005769468,0.0007714825,0.001251693,0.0009201597,0.002631916,0.00335834],"category_scores_gemma":[0.002903769,0.0003106472,0.0006441266,0.0002351755,0.001764957,0.0009287423,0.002146854,0.001277515,0.0002441108],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001324408,"about_ca_system_score_gemma":0.001237943,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005501833,"about_ca_topic_score_gemma":0.002270213,"domain_scores_codex":[0.9996631,0.00009283795,0.00001106806,0.00007703256,0.00008459113,0.00007138344],"domain_scores_gemma":[0.9989956,0.0005724569,0.0001215327,0.00005580902,0.0001316673,0.0001227867],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00008680989,0.00003488006,0.0005459905,0.00006740192,0.0000161051,0.0003022779,0.0001037894,0.9055489,0.002154309,0.08696128,0.0008253017,0.003352963],"study_design_scores_gemma":[0.00001306205,0.00003518433,0.00008903364,0.0000104134,0.000003082111,0.00003181733,0.00004072935,0.9818214,0.0007233361,0.01651943,0.0007031141,0.000009538157],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2161948,0.0002715543,0.7530537,0.001334407,0.00008653231,0.0001580162,0.0003712468,0.0003672014,0.02816253],"genre_scores_gemma":[0.9440742,0.00009170477,0.04680036,0.0001074586,0.00001690041,0.0001437258,0.0002067541,0.00005693209,0.008501891],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005501833,"threshold_uncertainty_score":0.01123476,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2785870089","doi":"10.29007/3pxg","title":"Improving SAT Solver Performance with Structure-based Preferential Bumping","year":2018,"lang":"en","type":"article","venue":"EPiC series in computing","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"Simon Fraser University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Bumping; Solver; Exploit; Computer science; Boolean satisfiability problem; Computational science; Parallel computing; Theoretical computer science; Programming language; Engineering","authors":[{"name":"Sima Jamali","is_ca":true},{"name":"David G. M. Mitchell","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.0164611457732456,"gpt":0.2527593542021823,"spread":0.2362982084289367,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002452307,0.001422311,0.001148532,0.001633613,0.0008231339,0.001579961,0.004043581,0.001023346,0.009236298],"category_scores_gemma":[0.01891991,0.00112831,0.001162372,0.00185076,0.001412975,0.004698896,0.004284681,0.002803521,0.001883764],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001130211,"about_ca_system_score_gemma":0.00297554,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00239424,"about_ca_topic_score_gemma":0.005334128,"domain_scores_codex":[0.9973668,0.0008947984,0.0001913771,0.0004270452,0.0007433114,0.0003765821],"domain_scores_gemma":[0.9893292,0.005336556,0.0008097969,0.003225294,0.001031778,0.0002673681],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.001886568,0.0004549293,0.007873099,0.001009721,0.0002115847,0.0003902909,0.0006555647,0.1454276,0.05871524,0.06520959,0.01441363,0.7037522],"study_design_scores_gemma":[0.0004011214,0.0006923961,0.0009539597,0.0001062893,0.0001980193,0.000242844,0.0001996957,0.8277661,0.07753012,0.08024389,0.01159116,0.00007436225],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1462493,0.00106058,0.8223335,0.0009744574,0.0002577839,0.0003529034,0.0004399701,0.01848935,0.009842088],"genre_scores_gemma":[0.5243254,0.0003010658,0.4701031,0.000392186,0.00006579085,0.0002793927,0.0008623962,0.0009375665,0.002732971],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009236298,"threshold_uncertainty_score":0.03089851,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2131254610","doi":"10.29007/jqtz","title":"Translating Higher-Order Specifications to Coq Libraries Supporting Hybrid Proofs","year":2018,"lang":"en","type":"article","venue":"EPiC series in computing","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Ottawa","funders":"","keywords":"Computer science; Programming language; Specification language; Syntax; Mathematical proof; Proof assistant; Programming language specification; Formal specification; Object language; Formal methods; Abstract syntax; Language Of Temporal Ordering Specification; Artificial intelligence; Programming paradigm; Natural language; Semantics (computer science); Inductive programming; Programming domain","authors":[{"name":"Nada Habli","is_ca":true},{"name":"Amy Felty","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.05207422924053338,"gpt":0.2835855990373055,"spread":0.2315113697967721,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.009399225,0.001048802,0.001049631,0.002769873,0.001265808,0.006283093,0.004256438,0.001623821,0.01374107],"category_scores_gemma":[0.03046791,0.002047631,0.002767218,0.00238672,0.002766976,0.009729772,0.005452377,0.003084423,0.004065664],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002836344,"about_ca_system_score_gemma":0.004948521,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006182314,"about_ca_topic_score_gemma":0.00575377,"domain_scores_codex":[0.9936203,0.00174479,0.0009873098,0.0007589738,0.002308259,0.0005803501],"domain_scores_gemma":[0.9645505,0.01834213,0.002350847,0.008262169,0.005909035,0.0005854041],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0005545963,0.0006957812,0.004711102,0.00196784,0.000266976,0.001212814,0.003615967,0.05468378,0.03521073,0.638599,0.01777206,0.2407094],"study_design_scores_gemma":[0.0004928243,0.0002162399,0.001170118,0.0004977591,0.0002436619,0.001157158,0.0008188757,0.3512959,0.1664847,0.2638179,0.2133937,0.000411104],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.006113223,0.00006492478,0.9699706,0.0002057042,0.00005132937,0.0001657659,0.00033848,0.02145825,0.001631743],"genre_scores_gemma":[0.1259559,0.0002798777,0.8557513,0.0003804247,0.00006215666,0.000357867,0.002089036,0.01127573,0.003847808],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01374107,"threshold_uncertainty_score":0.04970843,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2405484365","doi":"10.29007/2m22","title":"Towards an Expressive Practical Logical Action Theory","year":2018,"lang":"en","type":"article","venue":"EPiC series in computing","topic":"Semantic Web and Ontologies","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"York University; Toronto Metropolitan University","funders":"Natural Sciences and Engineering Research Council of Canada; York University","keywords":"Situation calculus; Decidability; Undecidable problem; Fragment (logic); Computer science; Projection (relational algebra); Satisfiability; Action (physics); Logical consequence; Boolean satisfiability problem; Class (philosophy); Description logic; Theoretical computer science; Circumscription; Calculus (dental); Algorithm; Artificial intelligence","authors":[{"name":"Mikhail Soutchanski","is_ca":true},{"name":"Wael Yehia","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.0782508513794713,"gpt":0.3721633954823368,"spread":0.2939125441028655,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006273584,0.001051232,0.0009019609,0.001638104,0.001505609,0.00509229,0.003701382,0.002470482,0.004459137],"category_scores_gemma":[0.006787868,0.001171223,0.002750684,0.001529981,0.008858999,0.008712801,0.005922343,0.008308306,0.001396307],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003414586,"about_ca_system_score_gemma":0.002931712,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00407112,"about_ca_topic_score_gemma":0.003650705,"domain_scores_codex":[0.9964813,0.001324345,0.0002130317,0.0004312665,0.001290453,0.0002596519],"domain_scores_gemma":[0.9968238,0.00168609,0.0001615944,0.0006871363,0.0004625254,0.0001789093],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000006145105,0.00001384514,0.00005913938,0.00004577526,0.000005810644,0.00004966528,0.0002224171,0.006388281,0.0003656949,0.9871622,0.0007794366,0.004901644],"study_design_scores_gemma":[0.00001143821,0.000009826484,0.00002597647,0.00004189177,0.000006966412,0.00003120572,0.0000923957,0.04068073,0.0004050822,0.9455976,0.01308825,0.000008591353],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.004768387,0.0003727988,0.9732898,0.003053285,0.00008216847,0.00009027781,0.0001774477,0.0005051747,0.01766062],"genre_scores_gemma":[0.1296922,0.0008265192,0.859529,0.001081653,0.0002421996,0.0003422426,0.0005230704,0.0001872486,0.007575914],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006273584,"threshold_uncertainty_score":0.03317827,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4311273059","doi":"10.29007/f57w","title":"Two Simulink Models with Requirements for a Simple Controller of a Pacemaker Device","year":2022,"lang":"en","type":"article","venue":"EPiC series in computing","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"McMaster University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Benchmark (surveying); Computer science; Controller (irrigation); Simple (philosophy); Software; Embedded system; Reliability engineering; Programming language; Engineering","authors":[{"name":"Mostafa Ayesh","is_ca":true},{"name":"Namya Mehan","is_ca":true},{"name":"Ethan Dhanraj","is_ca":true},{"name":"Abdul El-Rahwan","is_ca":true},{"name":"Simon Emil Opalka","is_ca":true},{"name":"Tony Fan","is_ca":true},{"name":"Akil Hamilton","is_ca":true},{"name":"Akshay Mathews Jacob","is_ca":true},{"name":"Rahul Anthony Sundarrajan","is_ca":true},{"name":"Bryan Widjaja","is_ca":true},{"name":"Claudio Menghi","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.07123724100950812,"gpt":0.3458701936401092,"spread":0.2746329526306011,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007396054,0.001146888,0.0003941021,0.0005579556,0.0002815902,0.0008370628,0.001228223,0.001180287,0.004724347],"category_scores_gemma":[0.003329699,0.0002937896,0.000658791,0.0002239933,0.000422244,0.0006551208,0.0004566908,0.0008120783,0.0005387273],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005585116,"about_ca_system_score_gemma":0.0007592215,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003523877,"about_ca_topic_score_gemma":0.003287344,"domain_scores_codex":[0.998684,0.0003499118,0.00009958562,0.0001889812,0.0005395369,0.0001380387],"domain_scores_gemma":[0.997822,0.001217947,0.0002543044,0.0002682792,0.0003664424,0.00007096674],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00154964,0.0004941577,0.003798586,0.001013449,0.0001193247,0.001345085,0.0007270874,0.8574885,0.0654236,0.03122695,0.002556402,0.03425728],"study_design_scores_gemma":[0.0002849872,0.000739221,0.001373836,0.00006998346,0.00009469557,0.0003049453,0.0001097396,0.9215575,0.05612641,0.003908115,0.01539062,0.00004002923],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4439246,0.0004458794,0.5187839,0.0004603195,0.0001974236,0.0004661231,0.00250731,0.006884541,0.02632992],"genre_scores_gemma":[0.9390125,0.0001220387,0.05402378,0.00006949071,0.000009256624,0.0002617605,0.001223493,0.0002621092,0.005015495],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004724347,"threshold_uncertainty_score":0.01580453,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2577435553","doi":"10.29007/2ksh","title":"Proof Support for Common Logic","year":2018,"lang":"en","type":"article","venue":"EPiC series in computing","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"Deutsche Forschungsgemeinschaft; European Commission","keywords":"Computer science; Extension (predicate logic); Bunched logic; Higher-order logic; Description logic; Set (abstract data type); Programming language; Philosophy of logic; Theoretical computer science; Multimodal logic; Autoepistemic logic","authors":[{"name":"Till Mossakowski","is_ca":false},{"name":"Mihai Codescu","is_ca":false},{"name":"Oliver Kutz","is_ca":false},{"name":"Christoph Lange","is_ca":false},{"name":"Michael Grüninger","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04035383119222104,"gpt":0.3012005958831883,"spread":0.2608467646909673,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005952349,0.0007582197,0.0009247076,0.002292993,0.001432969,0.004024139,0.003153888,0.001028343,0.009721697],"category_scores_gemma":[0.01457839,0.0009308042,0.002325839,0.001492463,0.003541265,0.01192393,0.007979244,0.003125725,0.001578415],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001310176,"about_ca_system_score_gemma":0.002078599,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009694262,"about_ca_topic_score_gemma":0.001039213,"domain_scores_codex":[0.9936452,0.001521024,0.0007395514,0.001127708,0.002204963,0.0007616034],"domain_scores_gemma":[0.9843163,0.006945043,0.0007551045,0.005341569,0.002152414,0.0004897134],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001013983,0.00004872561,0.0007195954,0.0002190363,0.00005513126,0.0004103178,0.0006098178,0.002111776,0.005835338,0.9442852,0.00228449,0.04331918],"study_design_scores_gemma":[0.00008199739,0.00009756134,0.0004186195,0.0001473273,0.000126048,0.0006790242,0.0002644201,0.02970983,0.02242628,0.8856831,0.06031254,0.00005315955],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.03287617,0.0005575981,0.9391212,0.001218988,0.0002365171,0.0001487226,0.0006010405,0.004128617,0.02111115],"genre_scores_gemma":[0.6242487,0.0006165199,0.3640074,0.0009744787,0.000325359,0.000188145,0.001244325,0.001006734,0.007388405],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.009721697,"threshold_uncertainty_score":0.03252232,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2578608903","doi":"10.29007/z9mz","title":"Metis-based Paramodulation Tactic for HOL Light","year":2018,"lang":"en","type":"article","venue":"EPiC series in computing","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true},"ca_institutions":"","funders":"Austrian Science Fund","keywords":"HOL; Metis; Mathematical proof; Automated theorem proving; Computer science; Programming language; Proof assistant; Gas meter prover; Mathematics; Database","authors":[{"name":"Michael Färber","is_ca":false},{"name":"Cezary Kaliszyk","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03108864312804124,"gpt":0.290305685783355,"spread":0.2592170426553138,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003096462,0.0006212604,0.0006556351,0.001167661,0.000923492,0.002241403,0.00240367,0.001011457,0.01186364],"category_scores_gemma":[0.01069588,0.0007617485,0.001408665,0.0007611872,0.001968222,0.004099943,0.003858286,0.003566025,0.003027265],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001193765,"about_ca_system_score_gemma":0.00234069,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001221848,"about_ca_topic_score_gemma":0.001807419,"domain_scores_codex":[0.9954668,0.0008942042,0.0003227257,0.0004946997,0.002399846,0.0004216016],"domain_scores_gemma":[0.9931636,0.002842583,0.0003429017,0.002483607,0.0009327314,0.0002346438],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.002580676,0.001161484,0.00651752,0.001895254,0.0002054543,0.0009592993,0.00246598,0.03773665,0.08999711,0.4365004,0.04723177,0.3727485],"study_design_scores_gemma":[0.0005968987,0.0007928203,0.001726181,0.0002536519,0.0001645574,0.001031233,0.0004887281,0.3289301,0.3252487,0.1579832,0.1825759,0.0002080564],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04775618,0.000247265,0.8608307,0.000496055,0.000262183,0.000477162,0.001399847,0.07183769,0.01669296],"genre_scores_gemma":[0.3505546,0.0002037885,0.6209667,0.0005462184,0.00008641664,0.0005454007,0.003228281,0.01349955,0.01036905],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01186364,"threshold_uncertainty_score":0.03968787,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2575628753","doi":"10.29007/976n","title":"An Algebra of Combined Constraint Solving","year":2018,"lang":"en","type":"article","venue":"EPiC series in computing","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Rotation formalisms in three dimensions; Mathematical proof; Algebra over a field; Computer science; Formalism (music); Relational algebra; Constraint satisfaction problem; Universal algebra; Relation algebra; Algebraic structure; Modular design; Theoretical computer science; Programming language; Relational database; Mathematics; Algebra representation; Pure mathematics; Cellular algebra; Artificial intelligence","authors":[{"name":"Eugenia Ternovska","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01534114920150511,"gpt":0.2653032240207558,"spread":0.2499620748192507,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003566167,0.0006484576,0.0008092013,0.002440748,0.002434252,0.005635003,0.002125009,0.001054897,0.0143963],"category_scores_gemma":[0.003489796,0.0006307227,0.001794115,0.003778029,0.004517443,0.008667378,0.00514898,0.003687299,0.002362946],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002454503,"about_ca_system_score_gemma":0.002181252,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002362887,"about_ca_topic_score_gemma":0.00201397,"domain_scores_codex":[0.9945461,0.001435227,0.0004756347,0.001131141,0.002018432,0.0003934383],"domain_scores_gemma":[0.9979113,0.000574577,0.0002365778,0.0003566966,0.0006779798,0.0002428966],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000009414705,0.000009114818,0.00005656591,0.00003634727,0.00001030267,0.00004072627,0.0001267243,0.0004442125,0.0002937853,0.9923304,0.0007897973,0.00585275],"study_design_scores_gemma":[0.00002251771,0.0000243592,0.0001121014,0.00003129824,0.00002754153,0.0001548019,0.0001075685,0.009531293,0.000979829,0.9404902,0.0484953,0.00002329364],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01092479,0.001653946,0.8597693,0.001448299,0.0003384687,0.0001918952,0.0006467027,0.0008057446,0.1242209],"genre_scores_gemma":[0.3903389,0.002074416,0.5579329,0.001502524,0.000910981,0.0007466846,0.001762872,0.0003961907,0.0443344],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.0143963,"threshold_uncertainty_score":0.04816043,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W3013162446","doi":"10.29007/mbb7","title":"Reducing error propagation for long term energy forecasting using multivariate prediction","year":2020,"lang":"en","type":"article","venue":"EPiC series in computing","topic":"Energy Load and Power Forecasting","field":"Engineering","cited_by":3,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"Trent University; Toronto Metropolitan University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Benchmark (surveying); Term (time); Computer science; Feature (linguistics); Energy (signal processing); Artificial intelligence; Machine learning; Multivariate statistics; Energy consumption; Mean absolute percentage error; Data mining; Econometrics; Statistics; Artificial neural network; Mathematics; Engineering","authors":[{"name":"Maher Selim","is_ca":true},{"name":"Ryan Zhou","is_ca":true},{"name":"Wenying Feng","is_ca":true},{"name":"Omar Alam","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.0515206301022517,"gpt":0.2546649653170044,"spread":0.2031443352147528,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003058006,0.001225837,0.0009124964,0.0007131766,0.0006076197,0.0009427906,0.001113309,0.0009589106,0.002186483],"category_scores_gemma":[0.01236647,0.0005423917,0.0007194047,0.0009231753,0.0005601029,0.002167637,0.001245717,0.002578664,0.0007075995],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008241353,"about_ca_system_score_gemma":0.001379763,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01363206,"about_ca_topic_score_gemma":0.01334585,"domain_scores_codex":[0.9989961,0.0002671909,0.0000688156,0.0001996109,0.0003758183,0.00009244533],"domain_scores_gemma":[0.9929057,0.00454799,0.000413035,0.0007971067,0.001219111,0.0001168883],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0003692562,0.0001393658,0.005324905,0.00008575753,0.0001078947,0.000133745,0.0001198875,0.7954335,0.006394868,0.004328337,0.003926182,0.1836363],"study_design_scores_gemma":[0.0000046691,0.00001791387,0.0004330142,0.000005640556,0.000005682784,0.00001084465,0.000008624411,0.9962054,0.001477352,0.001536057,0.000290346,0.000004357903],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05448374,0.000540368,0.9398307,0.0006173374,0.0002075544,0.0000446109,0.0002230509,0.002797602,0.001255],"genre_scores_gemma":[0.7734321,0.0004075827,0.2220282,0.0002075159,0.0001778979,0.0001054671,0.000698205,0.0003571199,0.002585832],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01363206,"threshold_uncertainty_score":0.02710545,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2807099028","doi":"10.29007/9plt","title":"An Empirical Evaluation of Database Software Features on Energy Consumption","year":2018,"lang":"en","type":"article","venue":"EPiC series in computing","topic":"Green IT and Sustainability","field":"Engineering","cited_by":3,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"IBM (Canada); Toronto Metropolitan University","funders":"Natural Sciences and Engineering Research Council of Canada; International Business Machines Corporation","keywords":"Energy consumption; Computer science; Software; Efficient energy use; Software metric; Database; Software development; Software sizing; Empirical research; Software engineering; Software construction; Operating system; Engineering","authors":[{"name":"Sedef Akinli Koçak","is_ca":false},{"name":"Gülfem Işıklar Alptekin","is_ca":false},{"name":"Andriy Miranskyy","is_ca":true},{"name":"Ayşe Bener","is_ca":false},{"name":"Enzo Cialini","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03928011398027974,"gpt":0.3384955252649146,"spread":0.2992154112846348,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003245926,0.0005171859,0.0003701284,0.001731583,0.0003066337,0.0009153917,0.0006546535,0.0005936315,0.001236244],"category_scores_gemma":[0.03469907,0.0002773741,0.000414798,0.00262563,0.0006199931,0.001777021,0.0005698541,0.0006516352,0.0002649715],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00064263,"about_ca_system_score_gemma":0.0003284465,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002599138,"about_ca_topic_score_gemma":0.003144253,"domain_scores_codex":[0.9957694,0.0012839,0.000466879,0.0005069533,0.001598952,0.0003739443],"domain_scores_gemma":[0.8991647,0.08052722,0.007762117,0.003408885,0.007920199,0.001216925],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"observational","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.001969262,0.002657322,0.8858658,0.0004990685,0.0003154393,0.0004088357,0.0009283797,0.03563078,0.01215749,0.0004548429,0.000987137,0.05812561],"study_design_scores_gemma":[0.00002747565,0.002477097,0.9264283,0.00003192582,0.0001082416,0.000275104,0.001176669,0.05938018,0.009036747,0.0002432218,0.000771407,0.00004365873],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.998944,0.00005482266,0.0003666887,0.00001500886,0.00000179839,0.00001624943,0.0001716403,0.00001968009,0.0004101089],"genre_scores_gemma":[0.9987739,0.00003146725,0.000569181,0.000006937771,0.0000022367,0.00002219407,0.0004103629,0.000009668041,0.0001740987],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.003245926,"threshold_uncertainty_score":0.01716626,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2100320630","doi":"10.29007/8xbv","title":"Beagle as a HOL4 external ATP method","year":2018,"lang":"en","type":"article","venue":"EPiC series in computing","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true},"ca_institutions":"","funders":"Australian Research Council; Austrian Science Fund; Australian Government","keywords":"Beagle; Computer science; NIST; Theoretical computer science; Algorithm; Speech recognition","authors":[{"name":"Thibault Gauthier","is_ca":false},{"name":"Cezary Kaliszyk","is_ca":false},{"name":"Chantal Keller","is_ca":false},{"name":"Michael Norrish","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.0207503520892636,"gpt":0.3285817336613172,"spread":0.3078313815720536,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002288598,0.0008027083,0.000519419,0.001065671,0.0007113466,0.002433658,0.002426493,0.0009849834,0.02498026],"category_scores_gemma":[0.005676396,0.0005591073,0.001291583,0.0006726224,0.001388288,0.004437733,0.003396569,0.002418993,0.006633963],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007771953,"about_ca_system_score_gemma":0.001488572,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001156157,"about_ca_topic_score_gemma":0.001920944,"domain_scores_codex":[0.9980851,0.0005945711,0.0001977422,0.0002811795,0.0006286722,0.0002126555],"domain_scores_gemma":[0.9979551,0.0007230178,0.00008166608,0.0008167145,0.0003611839,0.00006238863],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0004641514,0.0001724935,0.0007865347,0.000606884,0.00006181989,0.0004842353,0.0008849031,0.01506466,0.00944224,0.6286503,0.0424613,0.3009204],"study_design_scores_gemma":[0.0001851033,0.0001856869,0.0002512938,0.0002027588,0.00009718646,0.0005463669,0.0002814408,0.17969,0.04347647,0.4147632,0.3602374,0.0000831958],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002730751,0.00004794429,0.9656186,0.0002497415,0.0001207434,0.0001057363,0.0003882212,0.01715759,0.01358058],"genre_scores_gemma":[0.1248857,0.0001736452,0.8347144,0.0007495946,0.0001087693,0.0005421645,0.002636493,0.01043846,0.02575065],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.02498026,"threshold_uncertainty_score":0.08356726,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2398808383","doi":"10.29007/54ps","title":"Cuts for circular proofs","year":2018,"lang":"en","type":"article","venue":"EPiC series in computing","topic":"Semantic Web and Ontologies","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Université du Québec à Montréal","funders":"","keywords":"Mathematical proof; Computer science; Geometry; Mathematics","authors":[{"name":"Jérôme Fortier","is_ca":true},{"name":"Luigi Santocanale","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02623357963717576,"gpt":0.2901355418962448,"spread":0.263901962259069,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003686324,0.0006899264,0.0005624833,0.002010277,0.001892919,0.003655403,0.001783841,0.001928637,0.01263282],"category_scores_gemma":[0.01116418,0.0007264671,0.001347278,0.001223129,0.005831661,0.007598794,0.004783415,0.005256951,0.002746443],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002553611,"about_ca_system_score_gemma":0.001543121,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001472865,"about_ca_topic_score_gemma":0.00114002,"domain_scores_codex":[0.9962671,0.001106804,0.0002271977,0.0007750082,0.001323582,0.0003002742],"domain_scores_gemma":[0.9921749,0.004222912,0.0004030728,0.001675788,0.001133317,0.0003899636],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00001691138,0.000007010031,0.00004800168,0.00005590358,0.000004048406,0.00004316678,0.0001490341,0.0003544038,0.0005127401,0.9892167,0.001462694,0.008129542],"study_design_scores_gemma":[0.00001279033,0.00001697238,0.00005957776,0.00004992719,0.00001034144,0.0001218831,0.00003593971,0.00318429,0.001066544,0.9495132,0.0459143,0.00001428127],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.008725524,0.003728742,0.9252786,0.003205857,0.00112749,0.0001761012,0.0003883875,0.001593484,0.05577585],"genre_scores_gemma":[0.3370087,0.001971118,0.626122,0.00288139,0.001139848,0.0004781234,0.0006681895,0.0008169094,0.02891376],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01263282,"threshold_uncertainty_score":0.042261,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W3011003272","doi":"10.29007/cd8h","title":"Zero-skipping in CapsNet. Is it worth it?","year":2020,"lang":"en","type":"article","venue":"EPiC series in computing","topic":"Advanced Neural Network Applications","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Victoria","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"MNIST database; Computer science; Zero (linguistics); Artificial neural network; Multiplication (music); Artificial intelligence; Algorithm; Pattern recognition (psychology); Mathematics","authors":[{"name":"Ramin Sharifi","is_ca":true},{"name":"Pouya Shiri","is_ca":true},{"name":"Amirali Baniasadi","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04750061519743814,"gpt":0.2975682831097751,"spread":0.2500676679123369,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001385866,0.001254736,0.0006228897,0.0007082951,0.0006223224,0.001235747,0.002048734,0.0009093419,0.01116655],"category_scores_gemma":[0.007227363,0.0004461763,0.0005349503,0.0007235255,0.000947392,0.003588617,0.001352437,0.001684662,0.003545213],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007230631,"about_ca_system_score_gemma":0.001503482,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005046415,"about_ca_topic_score_gemma":0.01612796,"domain_scores_codex":[0.9992117,0.0001687319,0.00006914316,0.0002158021,0.0001946709,0.000140011],"domain_scores_gemma":[0.9982486,0.0006448047,0.0001259949,0.0005140834,0.000358213,0.0001083705],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.002324256,0.0003977002,0.008737935,0.000918994,0.0002423415,0.0009299315,0.0004538406,0.06348788,0.03300205,0.0284518,0.09378138,0.7672719],"study_design_scores_gemma":[0.0002458958,0.001026282,0.003476309,0.0002572938,0.0001719098,0.0007266485,0.0004255008,0.7558261,0.09058056,0.05865347,0.08850267,0.0001074521],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.397591,0.006898726,0.5095946,0.004628729,0.003454792,0.0004521319,0.004477348,0.04406158,0.02884123],"genre_scores_gemma":[0.6809331,0.0009245788,0.2878215,0.001838658,0.0002914122,0.0002918657,0.007877603,0.00301565,0.01700565],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01116655,"threshold_uncertainty_score":0.03735578,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2398036300","doi":"10.29007/fblb","title":"CDCL with Less Destructive Backtracking through Partial Ordering","year":2018,"lang":"en","type":"article","venue":"EPiC series in computing","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Université du Québec à Montréal","funders":"","keywords":"Backtracking; Satisfiability; Boolean satisfiability problem; Solver; Relation (database); Computer science; Series (stratigraphy); Algorithm; Theoretical computer science; Combinatorics; Mathematics; Programming language; Data mining","authors":[{"name":"Anthony Monnet","is_ca":true},{"name":"Roger Villemaire","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02310364717064647,"gpt":0.2643554549334236,"spread":0.2412518077627771,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001395987,0.0008042499,0.0007739415,0.001216462,0.0006848495,0.001494558,0.001710794,0.001210705,0.009414186],"category_scores_gemma":[0.00590654,0.0005292716,0.0008498572,0.002086372,0.00144114,0.00227777,0.002294913,0.002222209,0.001210479],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001297105,"about_ca_system_score_gemma":0.003718904,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005603324,"about_ca_topic_score_gemma":0.01880949,"domain_scores_codex":[0.9984276,0.0004764623,0.0001024319,0.0002623246,0.0004905234,0.0002406695],"domain_scores_gemma":[0.995654,0.002415512,0.0001831223,0.0009165218,0.0006651196,0.0001656764],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0005544418,0.0005874708,0.002341781,0.0005944549,0.0000849409,0.0003330741,0.000292447,0.3679211,0.01523729,0.1238792,0.01974449,0.4684294],"study_design_scores_gemma":[0.0003396354,0.0001517271,0.0002528637,0.00005525957,0.00005206238,0.0001269303,0.0000921371,0.8548134,0.01400672,0.1147042,0.01536457,0.00004051962],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.05361477,0.0005640286,0.9192846,0.0009594898,0.0001795899,0.0002761057,0.0006429303,0.006639011,0.01783943],"genre_scores_gemma":[0.2774155,0.0002114133,0.7118306,0.0005809306,0.00004895877,0.0002001395,0.0009510187,0.0006221733,0.008139255],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.009414186,"threshold_uncertainty_score":0.0314936,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2613423194","doi":"10.29007/n76q","title":"Origami folds in higher-dimension","year":2018,"lang":"en","type":"article","venue":"EPiC series in computing","topic":"Advanced Materials and Mechanics","field":"Engineering","cited_by":1,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Waterloo","funders":"Japan Society for the Promotion of Science; Natural Sciences and Engineering Research Council of Canada","keywords":"Concreteness; Generalization; Dimension (graph theory); Euclidean geometry; Euclidean space; Point (geometry); Plane (geometry); Axiom; Mathematics; Computer science; Pure mathematics; Geometry; Mathematical analysis","authors":[{"name":"Tetsuo Ida","is_ca":false},{"name":"Stephen M. Watt","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01851711838278403,"gpt":0.2428922872821545,"spread":0.2243751688993704,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002585119,0.0004246811,0.0002943383,0.000583978,0.0007241212,0.001638454,0.0005312088,0.0009024681,0.00366405],"category_scores_gemma":[0.0007033019,0.0001902901,0.0006085833,0.0002892634,0.001496066,0.003031438,0.001213524,0.001133078,0.0009458177],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005763914,"about_ca_system_score_gemma":0.0002149127,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002709585,"about_ca_topic_score_gemma":0.0002726322,"domain_scores_codex":[0.9998047,0.00003826628,0.00001675574,0.00004275195,0.00006317112,0.0000344016],"domain_scores_gemma":[0.9997821,0.00005110108,0.00003198025,0.00007442698,0.00004098404,0.00001940004],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000003494826,0.000005797468,0.00004545006,0.0000194509,0.000001775214,0.00004558853,0.00008398412,0.001355485,0.001882139,0.9931335,0.0004235215,0.002999694],"study_design_scores_gemma":[0.000004615898,0.00003908829,0.0002385686,0.00002499733,0.000004815937,0.0002795458,0.00006138394,0.01682564,0.003127758,0.9473528,0.03202103,0.00001978187],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1244541,0.005495015,0.6553451,0.002926005,0.001873041,0.00007256339,0.0002185411,0.0005005976,0.209115],"genre_scores_gemma":[0.832687,0.002869462,0.1386418,0.001150975,0.0006018506,0.0001375774,0.0001436226,0.0001242805,0.02364351],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00366405,"threshold_uncertainty_score":0.01225746,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W3202113264","doi":"10.29007/8d9g","title":"Improved Algorithm for the Incremental Assignment Problem","year":2021,"lang":"en","type":"article","venue":"EPiC series in computing","topic":"Graph Theory and Algorithms","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Nipissing University; Laurentian University","funders":"","keywords":"Bipartite graph; Assignment problem; Hungarian algorithm; 3-dimensional matching; Matching (statistics); Algorithm; Blossom algorithm; Generalized assignment problem; Mathematics; Weapon target assignment problem; Graph; Quadratic assignment problem; Mathematical optimization; Computer science; Optimization problem; Combinatorics","authors":[{"name":"Pinzhi Wang","is_ca":true},{"name":"Youssou Gningue","is_ca":true},{"name":"Haibin Zhu","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01369102880265367,"gpt":0.2479045922986634,"spread":0.2342135634960097,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00104942,0.001142002,0.001157705,0.001474475,0.001136378,0.001268599,0.003196075,0.001358845,0.0129924],"category_scores_gemma":[0.003765587,0.0004434868,0.001105995,0.00203925,0.0007117141,0.002617294,0.002382722,0.002346518,0.003374492],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008763336,"about_ca_system_score_gemma":0.002289501,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003275354,"about_ca_topic_score_gemma":0.003026294,"domain_scores_codex":[0.9986009,0.000330968,0.00009293294,0.0003101661,0.0004354165,0.0002296014],"domain_scores_gemma":[0.9988132,0.000366237,0.00007542205,0.0002313766,0.0004482418,0.00006555324],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0003179425,0.0002573916,0.0007707211,0.0003380947,0.00007672943,0.0002423058,0.0002253246,0.2167791,0.005634298,0.1276084,0.03358217,0.6141676],"study_design_scores_gemma":[0.0001285605,0.0001275073,0.00025196,0.00003594528,0.00004838609,0.0003344132,0.0000669036,0.8974379,0.003186875,0.06638978,0.03195076,0.00004094797],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003684583,0.0001944793,0.9894035,0.0001780052,0.000118046,0.0001264517,0.0001017316,0.0007340924,0.005459045],"genre_scores_gemma":[0.07752409,0.0003073592,0.9129355,0.0002133878,0.0001324744,0.0004693322,0.0007477546,0.0002800664,0.00739005],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.0129924,"threshold_uncertainty_score":0.04346395,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2900773200","doi":"10.29007/8m31","title":"Predicting SAT Solver Performance on Heterogeneous Hardware","year":2019,"lang":"en","type":"article","venue":"EPiC series in computing","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Solver; Reuse; Boolean satisfiability problem; Set (abstract data type); Cache; Parallel computing; Feature (linguistics); Theoretical computer science; Programming language","authors":[{"name":"Zack Newsham","is_ca":true},{"name":"Vijay Ganesh","is_ca":true},{"name":"Sebastian Fischmeister","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.009734830571931433,"gpt":0.2196012689335334,"spread":0.2098664383616019,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001417162,0.0007924088,0.0004214722,0.001056985,0.0003596291,0.0009192637,0.001173619,0.0006408512,0.0020057],"category_scores_gemma":[0.009021695,0.000508918,0.0006351343,0.002268468,0.0005224175,0.001193065,0.0004743231,0.001092324,0.0005561787],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001240325,"about_ca_system_score_gemma":0.0008314094,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006401822,"about_ca_topic_score_gemma":0.009421757,"domain_scores_codex":[0.9986293,0.0002955408,0.00007563201,0.0004259325,0.0003523733,0.0002212308],"domain_scores_gemma":[0.9951186,0.002950393,0.0005001187,0.0006417769,0.0006237048,0.0001653352],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0004833563,0.0001626438,0.03571902,0.0002181032,0.0001545175,0.0001628111,0.00007157895,0.9037925,0.005285966,0.002126691,0.008378781,0.04344408],"study_design_scores_gemma":[0.00003999852,0.0002046262,0.01487689,0.00001733368,0.00003363039,0.00005103233,0.00006042379,0.9742718,0.006707371,0.00188704,0.001833632,0.00001622331],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9826974,0.000708444,0.009570971,0.0002376313,0.00005900889,0.00003069114,0.001840058,0.001208776,0.003646977],"genre_scores_gemma":[0.9775262,0.0002571764,0.01618121,0.00005537393,0.00002336111,0.00003806408,0.005024996,0.0001864708,0.0007072084],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.006401822,"threshold_uncertainty_score":0.01272917,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4367595762","doi":"10.29007/2qhl","title":"An Association Analysis of Breast Cancer with Carotenoids.","year":2023,"lang":"en","type":"article","venue":"EPiC series in computing","topic":"Cancer, Lipids, and Metabolism","field":"Biochemistry, Genetics and Molecular Biology","cited_by":1,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"MacEwan University; University of Alberta","funders":"","keywords":"Exposome; Breast cancer; Cancer; Medicine; Carcinogenesis; Oncology; Bioinformatics; Environmental health; Biology; Internal medicine","authors":[{"name":"Samuel Neumann","is_ca":true},{"name":"Mohamad El-Hajj","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.006437992204812796,"gpt":0.2669787566759119,"spread":0.2605407644710991,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001929189,0.0001885706,0.0002750118,0.001768034,0.0003671316,0.0004593477,0.0002257148,0.0002221548,0.003126958],"category_scores_gemma":[0.004422544,0.000136166,0.0013325,0.002133914,0.0001596106,0.0001750021,0.0003556693,0.0004317774,0.0003682153],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002176098,"about_ca_system_score_gemma":0.0007465898,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005323106,"about_ca_topic_score_gemma":0.007804179,"domain_scores_codex":[0.9988769,0.0005321135,0.00006835617,0.0001952549,0.0002592152,0.00006823249],"domain_scores_gemma":[0.9972183,0.001693087,0.0003726845,0.0003073046,0.0002587584,0.0001499004],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"observational","study_design_gemma":"observational","study_design_scores_codex":[0.0008439118,0.0001233493,0.9593289,0.0001314944,0.001750281,0.0005147078,0.00009397979,0.0008344686,0.004780826,0.0006007827,0.001347834,0.0296494],"study_design_scores_gemma":[0.00004455863,0.0004544673,0.9840842,0.00002144281,0.001379778,0.00126482,0.0001576197,0.002708564,0.002383214,0.0009671088,0.00651713,0.00001706354],"study_design_candidate":"observational","study_design_consensus":"observational","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9656563,0.004494103,0.01514707,0.0008533844,0.0001850314,0.00009586156,0.008392831,0.0001538846,0.005021501],"genre_scores_gemma":[0.9853849,0.001019688,0.007851289,0.00008619862,0.00003730292,0.00004794849,0.002407613,0.00001902064,0.003146046],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.005323106,"threshold_uncertainty_score":0.01058424,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4353031949","doi":"10.29007/bbg7","title":"3D Objects Detection and Recognition from Color and LiDAR Data for Autonomous Driving","year":2023,"lang":"en","type":"article","venue":"EPiC series in computing","topic":"Advanced Neural Network Applications","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Ottawa","funders":"","keywords":"Lidar; Computer vision; Computer science; Detector; Point cloud; Artificial intelligence; RGB color model; Object detection; Object (grammar); Field of view; Remote sensing; Geography; Pattern recognition (psychology)","authors":[{"name":"Lian Kang","is_ca":true},{"name":"Pierre Payeur","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04800009858700535,"gpt":0.2942359108278875,"spread":0.2462358122408822,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004871766,0.0005480708,0.0005107365,0.001417024,0.0002446623,0.0006631397,0.0007536548,0.0006736607,0.001175241],"category_scores_gemma":[0.0008190473,0.0004539804,0.0004864979,0.0008576979,0.0002139798,0.000772257,0.0005660062,0.0004507979,0.0008623452],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004185241,"about_ca_system_score_gemma":0.0006952391,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004271957,"about_ca_topic_score_gemma":0.005581447,"domain_scores_codex":[0.9996333,0.00003860282,0.00001175008,0.00006089302,0.0002152314,0.00004012205],"domain_scores_gemma":[0.9996206,0.00008722204,0.00003600161,0.00003875042,0.0001922929,0.00002516279],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0002537837,0.0001703904,0.005496149,0.000148044,0.00009800583,0.0001969917,0.0001393199,0.04433382,0.2467847,0.001822788,0.004168632,0.6963874],"study_design_scores_gemma":[0.00001269524,0.00008851046,0.004837064,0.00001432526,0.00002752159,0.000237944,0.00005517375,0.8789911,0.1095323,0.001216718,0.004945371,0.00004128786],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09390471,0.0007871634,0.8988382,0.0002081944,0.00009690602,0.00008959471,0.0002932239,0.004368239,0.001413743],"genre_scores_gemma":[0.4632788,0.0005079223,0.5335338,0.000143762,0.00002768348,0.00008826568,0.0006980553,0.0001867903,0.001534875],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004271957,"threshold_uncertainty_score":0.008494198,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W3199146973","doi":"10.29007/s6vh","title":"A Generic Model of the World and Intelligence","year":2019,"lang":"en","type":"article","venue":"EPiC series in computing","topic":"AI-based Problem Solving and Planning","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Athabasca University","funders":"","keywords":"Computer science; Analogy; Artificial intelligence; Object (grammar); Identity (music); Artificial general intelligence; Human intelligence; Symbolic artificial intelligence; Cognitive science; Computational intelligence; Epistemology; Psychology","authors":[{"name":"Harris Wang","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02335302589095793,"gpt":0.2408810972732375,"spread":0.2175280713822796,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001479233,0.0006711355,0.0005494496,0.001442303,0.001438192,0.004204902,0.001820342,0.002026913,0.00560944],"category_scores_gemma":[0.001600292,0.0004270123,0.00135737,0.001550375,0.006025832,0.00761764,0.002534628,0.0022662,0.001160924],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001869822,"about_ca_system_score_gemma":0.002143462,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005639312,"about_ca_topic_score_gemma":0.004434664,"domain_scores_codex":[0.9985336,0.0004330157,0.0001292843,0.0003762985,0.0003475501,0.000180256],"domain_scores_gemma":[0.9990394,0.0002035468,0.00009048267,0.000361911,0.0001609927,0.0001436441],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000002596208,0.000004624834,0.00007922602,0.00001928792,0.00000341633,0.00002438634,0.0001386162,0.001113007,0.000138235,0.9960093,0.0005374076,0.001929804],"study_design_scores_gemma":[0.00001417026,0.00002338096,0.0002849753,0.00005568259,0.00001536197,0.0001358552,0.00020289,0.01454556,0.0002322902,0.9162167,0.06825536,0.00001769127],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.019788,0.001958803,0.8119889,0.006272463,0.0002284551,0.000320358,0.001111034,0.0008887573,0.1574432],"genre_scores_gemma":[0.4413347,0.002954143,0.524152,0.001847865,0.000370351,0.0008918485,0.001846392,0.0002198834,0.02638279],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005639312,"threshold_uncertainty_score":0.01876551,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4393028968","doi":"10.29007/8cqg","title":"Data Security in the Cloud Using pTree-based Homomorphic Intrinsic Data Encryption System (pHIDES)","year":2024,"lang":"en","type":"article","venue":"EPiC series in computing","topic":"Cryptography and Data Security","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Windsor","funders":"","keywords":"Homomorphic encryption; Computer science; Encryption; Cloud computing; Client-side encryption; Data security; Computer security; On-the-fly encryption; Operating system","authors":[{"name":"Mohammad Kabir Hossain","is_ca":false},{"name":"Vinayak Sharma","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.080960305153916,"gpt":0.3143764751420236,"spread":0.2334161699881076,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006452368,0.0002692945,0.000377807,0.0005201579,0.0005968855,0.001271491,0.0006767536,0.0004532484,0.001583064],"category_scores_gemma":[0.001370383,0.0001482713,0.0004870284,0.0007082111,0.0006305721,0.002824369,0.001406348,0.0008270055,0.0005454916],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007119635,"about_ca_system_score_gemma":0.0009244089,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007071058,"about_ca_topic_score_gemma":0.0006804049,"domain_scores_codex":[0.9990452,0.0002137569,0.00008901839,0.0001341191,0.0003739571,0.000143984],"domain_scores_gemma":[0.9991369,0.0001599447,0.0001346192,0.0003579975,0.0001644661,0.00004615907],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.001255086,0.0003321341,0.0063188,0.0007134673,0.0002074497,0.001893213,0.001065765,0.04634337,0.2017143,0.2864944,0.01396977,0.4396923],"study_design_scores_gemma":[0.0002304895,0.001262422,0.003970055,0.0002231914,0.0001104902,0.006903229,0.000666008,0.4968461,0.3247381,0.0689186,0.09593754,0.0001937843],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09852886,0.001806383,0.8832446,0.0008978156,0.0001769609,0.0003114151,0.000312857,0.001354111,0.01336701],"genre_scores_gemma":[0.820536,0.001238841,0.1723958,0.0002273667,0.00005472602,0.0001344967,0.0002906138,0.00004698605,0.005075261],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.001583064,"threshold_uncertainty_score":0.005295873,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4399036736","doi":"10.29007/c1jg","title":"A Tool for Reasoning about Trust and Belief","year":2024,"lang":"en","type":"article","venue":"EPiC series in computing","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"British Columbia Institute of Technology","funders":"","keywords":"Computer science; Trustworthiness; Formalism (music); Belief revision; Focus (optics); Iterated function; Software; Human–computer interaction; Software engineering; Artificial intelligence; Computer security; Programming language; Mathematics","authors":[{"name":"Aaron Hunter","is_ca":true},{"name":"Alberto Iglesias","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01245571737319241,"gpt":0.2668661751472123,"spread":0.2544104577740199,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00906287,0.001720345,0.00171498,0.004559054,0.002409951,0.00831664,0.00462497,0.003477839,0.01371793],"category_scores_gemma":[0.036075,0.002136907,0.00468559,0.003221239,0.00368966,0.01207966,0.006099435,0.004996981,0.003398301],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001760122,"about_ca_system_score_gemma":0.0026412,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005795076,"about_ca_topic_score_gemma":0.00534626,"domain_scores_codex":[0.9918107,0.002367448,0.001388668,0.001340276,0.002584663,0.0005082823],"domain_scores_gemma":[0.9784197,0.01383721,0.001545423,0.003619911,0.001990695,0.000587157],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0004873344,0.0002306584,0.003541842,0.001070777,0.0003930498,0.002176767,0.003151804,0.04330002,0.004704792,0.6800581,0.02499348,0.2358914],"study_design_scores_gemma":[0.0002136641,0.0001462172,0.0005121405,0.0003355014,0.0002617145,0.00122234,0.0004264832,0.3179719,0.00951161,0.5510153,0.1182282,0.0001548222],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0009195972,0.0000613499,0.9918608,0.0002173803,0.00004323748,0.00009711357,0.0002446393,0.005423148,0.001132751],"genre_scores_gemma":[0.04353309,0.0001460378,0.9519427,0.0002045507,0.00007199578,0.0003228594,0.0007614316,0.0007701064,0.002247106],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01371793,"threshold_uncertainty_score":0.04792964,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2626157061","doi":"10.29007/hb5r","title":"gcn.MOPS: Accelerating cn.MOPS with GPU","year":2019,"lang":"en","type":"article","venue":"EPiC series in computing","topic":"Genomics and Phylogenetic Studies","field":"Biochemistry, Genetics and Molecular Biology","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Victoria","funders":"","keywords":"Speedup; Computer science; Parallel computing; Central processing unit; CPU shielding; Multi-core processor; Acceleration; Process (computing); Single-core; Parallelism (grammar); Computer hardware; Operating system; Physics","authors":[{"name":"Moh A. Alkhamis","is_ca":true},{"name":"Amirali Baniasadi","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01067306501312257,"gpt":0.2276986797527043,"spread":0.2170256147395817,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005138881,0.001363916,0.0006893129,0.0005417071,0.000512181,0.0007775864,0.00206812,0.0007010545,0.00713909],"category_scores_gemma":[0.001721119,0.0004631269,0.0007918831,0.0009352085,0.000366267,0.0006509227,0.0009541851,0.001162284,0.00263229],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009115465,"about_ca_system_score_gemma":0.001729267,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01899332,"about_ca_topic_score_gemma":0.01910335,"domain_scores_codex":[0.999676,0.00004324794,0.00001439502,0.00009011539,0.000119419,0.00005679264],"domain_scores_gemma":[0.9996417,0.00009377651,0.00003034995,0.00008361816,0.0001148167,0.00003576549],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.001277804,0.0003551745,0.008425546,0.001039917,0.0004281122,0.0004355181,0.000401254,0.196269,0.0693953,0.02974422,0.1475118,0.5447163],"study_design_scores_gemma":[0.0001581805,0.0000806909,0.0009012595,0.00002047813,0.00003643759,0.0001104528,0.00002265996,0.9404629,0.01910257,0.004662251,0.0344043,0.0000378094],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03850796,0.0006943368,0.855122,0.0004056699,0.0004375174,0.0002546151,0.001491794,0.09116041,0.0119257],"genre_scores_gemma":[0.1547945,0.0004320923,0.8274221,0.0002982886,0.00005920383,0.0004012259,0.003045004,0.006930817,0.006616812],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01899332,"threshold_uncertainty_score":0.0377655,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2395908759","doi":"10.29007/zd7s","title":"Meaning Formulas for Syntax-Based Mathematical Algorithms","year":2018,"lang":"en","type":"article","venue":"EPiC series in computing","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"McMaster University","funders":"Natural Sciences and Engineering Research Council of Canada; McMaster University","keywords":"Meaning (existential); Statement (logic); Computer science; Syntax; Algorithm; Mathematical induction; Theoretical computer science; Mathematical logic; Mathematics; Artificial intelligence; Linguistics; Epistemology","authors":[{"name":"William M. Farmer","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03596283476428411,"gpt":0.2909447288713724,"spread":0.2549818941070883,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00547463,0.001386916,0.001180366,0.003837211,0.002597644,0.007916825,0.002847316,0.002838409,0.0102239],"category_scores_gemma":[0.02461621,0.001107245,0.002805231,0.003535591,0.007507358,0.01996284,0.00509199,0.007406,0.002831545],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002934865,"about_ca_system_score_gemma":0.001857406,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001513518,"about_ca_topic_score_gemma":0.001676603,"domain_scores_codex":[0.9944131,0.001935216,0.0007732823,0.0007065546,0.001667223,0.0005047264],"domain_scores_gemma":[0.990724,0.005279162,0.000670885,0.001317434,0.001744412,0.000264196],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000007189753,0.000005669767,0.00005892059,0.00005150155,0.00000587969,0.00006724754,0.00024255,0.0005288296,0.0001968963,0.9915974,0.001470627,0.005767284],"study_design_scores_gemma":[0.000009795882,0.000007212644,0.0000328026,0.0000497327,0.0000138235,0.0000797887,0.00006658665,0.003739798,0.000441054,0.9797515,0.01579575,0.00001212334],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.005707114,0.001697831,0.9574679,0.003279992,0.0007886061,0.0001493805,0.0006138851,0.0009178218,0.02937748],"genre_scores_gemma":[0.2397811,0.002694951,0.7379588,0.00285697,0.001535778,0.001007793,0.00180829,0.00127639,0.01107999],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.0102239,"threshold_uncertainty_score":0.03420234,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4232090923","doi":"10.29007/5sl4","title":"A One-Pass Tableau-Based Workflow Verification Framework","year":2018,"lang":"en","type":"article","venue":"EPiC series in computing","topic":"Business Process Modeling and Analysis","field":"Business, Management and Accounting","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"St. Francis Xavier University","funders":"Natural Sciences and Engineering Research Council of Canada; Atlantic Canada Opportunities Agency","keywords":"Computer science; Debugging; Computation tree logic; Workflow; Temporal logic; Model checking; Programming language; Software engineering; Petri net; Workflow management system; Theoretical computer science; Database","authors":[{"name":"Md. Zahidul Islam","is_ca":false},{"name":"Wendy MacCaull","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02789954037441089,"gpt":0.2546036855642765,"spread":0.2267041451898656,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004265653,0.001049702,0.0008260509,0.001566048,0.001331619,0.003340984,0.003190773,0.001406169,0.006866334],"category_scores_gemma":[0.007647038,0.001054246,0.002504217,0.001003211,0.003480815,0.003635949,0.001768003,0.002326386,0.001698731],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00347457,"about_ca_system_score_gemma":0.007936406,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0178208,"about_ca_topic_score_gemma":0.01309364,"domain_scores_codex":[0.9968388,0.0007660675,0.0002630983,0.000631669,0.001174137,0.0003262199],"domain_scores_gemma":[0.9961944,0.002181689,0.000245872,0.0006424026,0.0006270285,0.0001086904],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001535219,0.0001514855,0.0005774841,0.0003062113,0.00007414056,0.0007223265,0.0005758304,0.185705,0.01102292,0.7121521,0.002521314,0.08603767],"study_design_scores_gemma":[0.00007632027,0.0001102274,0.0001064616,0.00009851967,0.00008394333,0.0001865539,0.00005988408,0.6998055,0.01841795,0.2623189,0.0186644,0.00007120938],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001599651,0.00003936553,0.9948246,0.000111934,0.00001839433,0.0001251152,0.00008772834,0.001515511,0.001677637],"genre_scores_gemma":[0.09296913,0.000159925,0.9024741,0.000134345,0.00002741353,0.0002623541,0.0003096228,0.0002708195,0.003392322],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0178208,"threshold_uncertainty_score":0.03543413,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4399036954","doi":"10.29007/rdbb","title":"Efficient Simulation for Hardware Model Checking","year":2024,"lang":"en","type":"article","venue":"EPiC series in computing","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Correctness; Executable; Model checking; Semantics (computer science); Programming language; Formal verification; Set (abstract data type); Speedup; Symbolic trajectory evaluation; Computer engineering; Parallel computing; Theoretical computer science","authors":[{"name":"Joseph Tafese","is_ca":true},{"name":"Arie Gurfinkel","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.0436413897169171,"gpt":0.3310387987670756,"spread":0.2873974090501585,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001574135,0.001466093,0.0009698684,0.0008126705,0.0005416382,0.001592,0.001810995,0.001035005,0.01476056],"category_scores_gemma":[0.007678516,0.0007782766,0.002099326,0.0007584008,0.001246362,0.002761352,0.001817876,0.002350742,0.002670065],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001499791,"about_ca_system_score_gemma":0.002130514,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003202658,"about_ca_topic_score_gemma":0.00466805,"domain_scores_codex":[0.9975979,0.0009436426,0.000158014,0.0002713821,0.0007919954,0.0002370525],"domain_scores_gemma":[0.9962065,0.002321372,0.000178991,0.0008514181,0.0003776987,0.0000640187],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0003452613,0.0001443212,0.001576613,0.0006541754,0.0001093173,0.000250142,0.0001802855,0.6733363,0.01599745,0.2067915,0.008060624,0.09255403],"study_design_scores_gemma":[0.00004528781,0.00003882189,0.00008053002,0.0000485126,0.00001879099,0.00004967119,0.00001906833,0.9213824,0.009217381,0.0594551,0.009628903,0.00001556677],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.006491705,0.0001710956,0.979795,0.000190623,0.00005715975,0.00008706434,0.0002701724,0.008296305,0.004640873],"genre_scores_gemma":[0.2424182,0.000457839,0.7481264,0.0002062002,0.00005477037,0.0005494094,0.001499035,0.002451925,0.004236292],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01476056,"threshold_uncertainty_score":0.04937899,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4393057924","doi":"10.29007/zx61","title":"Bike sharing systems via birth-death process and simulation modelling","year":2024,"lang":"en","type":"article","venue":"EPiC series in computing","topic":"Transportation and Mobility Innovations","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Trent University; Ontario Tech University","funders":"","keywords":"Process (computing); Computer science; Operating system","authors":[{"name":"Lena Wallwork","is_ca":true},{"name":"Uchechukwu Obinwanne","is_ca":true},{"name":"Wenying Feng","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02392782047712939,"gpt":0.2727039439797718,"spread":0.2487761235026424,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00127686,0.000781889,0.001201761,0.0008222606,0.0009867704,0.001796015,0.001413816,0.001758962,0.002923592],"category_scores_gemma":[0.004894232,0.0004770542,0.0009170696,0.0009461562,0.001118406,0.002224845,0.001488253,0.001179037,0.0003249633],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001298238,"about_ca_system_score_gemma":0.001039085,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01414088,"about_ca_topic_score_gemma":0.006332569,"domain_scores_codex":[0.9989862,0.0005132749,0.00004295913,0.0001124483,0.0001935075,0.0001515917],"domain_scores_gemma":[0.9972378,0.002087403,0.0002389458,0.0001359653,0.0002083528,0.00009151743],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002603723,0.00002405842,0.000530148,0.00001673588,0.00001695211,0.00006335891,0.00006547014,0.9826089,0.0003548036,0.01503415,0.00008391195,0.001175451],"study_design_scores_gemma":[0.000004330168,0.00001157053,0.00007758346,0.000003515034,0.00000429688,0.00001483119,0.00001907227,0.9965109,0.0001100385,0.003067229,0.0001704113,0.000006179901],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3003223,0.00112182,0.6796468,0.0007934608,0.0001213838,0.0001874265,0.0002824618,0.0003435643,0.01718085],"genre_scores_gemma":[0.9737916,0.0005816696,0.02081952,0.00006694404,0.0000323665,0.0001499749,0.0001077837,0.00003523473,0.004414856],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01414088,"threshold_uncertainty_score":0.02811712,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2398674600","doi":"10.29007/5dmr","title":"Strong 0-dimensionality in Pointfree Topology","year":2018,"lang":"en","type":"article","venue":"EPiC series in computing","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"McMaster University","funders":"","keywords":"Curse of dimensionality; Computer science; Topology (electrical circuits); Artificial intelligence; Theoretical computer science; Mathematics","authors":[{"name":"Bernhard Banaschewski","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02401188408444463,"gpt":0.2946625806968081,"spread":0.2706506966123634,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001766751,0.0004685886,0.0006127878,0.001175239,0.001656635,0.003859418,0.0005692128,0.0008501018,0.003612335],"category_scores_gemma":[0.002535941,0.0003201175,0.0008840368,0.001048087,0.005519554,0.006967256,0.003714038,0.001768323,0.0004962473],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001430049,"about_ca_system_score_gemma":0.0005994813,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006231124,"about_ca_topic_score_gemma":0.0004826215,"domain_scores_codex":[0.9986013,0.0004249479,0.0001063707,0.0002944141,0.000417841,0.0001551321],"domain_scores_gemma":[0.9980683,0.0008576114,0.0001453265,0.0003029908,0.0003216955,0.0003041152],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000007281171,0.000002704717,0.0001323271,0.00001928021,0.0000029553,0.00002794128,0.0001881112,0.0002877646,0.0002583455,0.997486,0.0003045584,0.00128266],"study_design_scores_gemma":[0.000006098909,0.0000197501,0.0003163714,0.00001037823,0.000004652482,0.00008419091,0.0001193654,0.001545997,0.000301989,0.9910793,0.006501661,0.00001028605],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3683606,0.007196546,0.3860506,0.007229403,0.0006814047,0.0001159267,0.0008916302,0.0003824746,0.2290915],"genre_scores_gemma":[0.9443052,0.002054644,0.03769587,0.0005132377,0.0006006526,0.0001133635,0.0002912934,0.00005174493,0.01437398],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003859418,"threshold_uncertainty_score":0.01208448,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2404358658","doi":"10.29007/8g5j","title":"Towards a Logic for Reasoning About Learning in a Changing World","year":2018,"lang":"en","type":"article","venue":"EPiC series in computing","topic":"Intelligent Tutoring Systems and Adaptive Learning","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"","funders":"Office of Naval Research; Engineering and Physical Sciences Research Council; Natural Sciences and Engineering Research Council of Canada","keywords":"Automated reasoning; Epistemology; Computer science; Artificial intelligence; Cognitive science; Psychology; Philosophy","authors":[{"name":"Prakash Panangaden","is_ca":false},{"name":"Mehrnoosh Sadrzadeh","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02842100074181178,"gpt":0.2958389145257098,"spread":0.267417913783898,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003625998,0.0006778748,0.0006434614,0.001622581,0.001905874,0.004130302,0.002489257,0.001584158,0.004906704],"category_scores_gemma":[0.005466298,0.0006210991,0.002673101,0.001508136,0.005651909,0.009953588,0.005708878,0.004744542,0.001408314],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002569582,"about_ca_system_score_gemma":0.00207261,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003650965,"about_ca_topic_score_gemma":0.002764377,"domain_scores_codex":[0.9980119,0.0007168108,0.000165409,0.0003189534,0.0005957679,0.0001911236],"domain_scores_gemma":[0.9978503,0.001049501,0.0002190948,0.0002574141,0.0003960244,0.0002276434],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00001083471,0.00001609671,0.00007305676,0.00004338351,0.000006434746,0.00006358157,0.0002110038,0.002713189,0.0003780664,0.9903613,0.0006674227,0.005455585],"study_design_scores_gemma":[0.0000152779,0.00001841287,0.0000420076,0.00002089911,0.00001136497,0.0000619847,0.00008466779,0.02052597,0.0004553062,0.9684854,0.01026473,0.00001407367],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.004145284,0.0002589278,0.9810677,0.002006646,0.0001149562,0.00007666297,0.0001792679,0.0003500816,0.01180048],"genre_scores_gemma":[0.2928458,0.00087967,0.6941772,0.001737808,0.000474787,0.0004335778,0.0005855368,0.000181895,0.008683746],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004906704,"threshold_uncertainty_score":0.01917636,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2996001114","doi":"10.29007/brkj","title":"A Software Architecture for Handling Complex Critical Section Constraints on Multiprocessors in a Fault-Tolerant Real-Time Embedded System","year":2019,"lang":"en","type":"article","venue":"EPiC series in computing","topic":"Real-Time Systems Scheduling","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"York University","funders":"","keywords":"Computer science; Critical section; Fault tolerance; Multiprocessing; Task (project management); Architecture; Section (typography); Software; Embedded system; State (computer science); Distributed computing; Parallel computing; Operating system; Programming language; Engineering","authors":[{"name":"Jia Xu","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01765535993720698,"gpt":0.2807336872351716,"spread":0.2630783272979647,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004917556,0.000431976,0.0003405303,0.0006206125,0.0005956829,0.0009287011,0.00149848,0.0006392514,0.001608587],"category_scores_gemma":[0.001178481,0.0004016274,0.0003296897,0.0004718499,0.0005903831,0.0008022289,0.0007595989,0.0007180807,0.0005048359],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006026553,"about_ca_system_score_gemma":0.001390418,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002504995,"about_ca_topic_score_gemma":0.004590193,"domain_scores_codex":[0.9997217,0.00004558223,0.0000312404,0.00004838295,0.0001019067,0.00005121528],"domain_scores_gemma":[0.9993169,0.0001288234,0.0001011992,0.0001495318,0.0002229021,0.0000805583],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000608596,0.000270079,0.004718739,0.0005655888,0.0001704095,0.001035512,0.0008720338,0.2665348,0.223292,0.07418898,0.009313401,0.4184299],"study_design_scores_gemma":[0.0001595918,0.0009393779,0.001725003,0.00006712774,0.0001686928,0.0005301602,0.0001326224,0.8930975,0.05374661,0.01557454,0.03379138,0.00006748283],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.08340611,0.0004572298,0.907461,0.0002476479,0.00009083786,0.0001596981,0.00003618795,0.004281153,0.003860129],"genre_scores_gemma":[0.4506518,0.0003539255,0.5435884,0.0001424433,0.0000589307,0.0001994422,0.0001334955,0.0002046929,0.004666983],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.002504995,"threshold_uncertainty_score":0.005381227,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W3194302642","doi":"10.29007/f1mf","title":"Determining Anti-Curve-Flattening Behaviors for COVID-19 in the United States","year":2021,"lang":"en","type":"article","venue":"EPiC series in computing","topic":"COVID-19 epidemiological studies","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Alberta","funders":"","keywords":"Pandemic; Coronavirus disease 2019 (COVID-19); Workforce; Recreation; Dimension (graph theory); Personal protective equipment; Severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2); Key (lock); Business; 2019-20 coronavirus outbreak; Demographic economics; Economic growth; Socioeconomics; Psychology; Geography; Political science; Economics; Computer science; Medicine; Computer security; Mathematics","authors":[{"name":"Rehab El-Hajj","is_ca":true},{"name":"Sarah Shrum Davis","is_ca":true},{"name":"Raymond Otieno","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.3073435332083431,"gpt":0.4702849418396778,"spread":0.1629414086313347,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002841677,0.0002280098,0.0001906239,0.001384327,0.0007553661,0.0007186061,0.0004330354,0.000469267,0.002006975],"category_scores_gemma":[0.01256429,0.0001732018,0.0004451213,0.001362045,0.0003564359,0.0005422017,0.0004982174,0.0007908259,0.0003256056],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004823582,"about_ca_system_score_gemma":0.0007122549,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.04937785,"about_ca_topic_score_gemma":0.08307622,"domain_scores_codex":[0.9991674,0.00035939,0.00007696353,0.0001608552,0.0001101317,0.0001252657],"domain_scores_gemma":[0.9909896,0.003805633,0.002783491,0.0006802301,0.001182373,0.0005586111],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"observational","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002361012,0.00005655634,0.9971491,0.000004695431,0.00001679745,0.00001288064,0.0001282327,0.0001566281,0.00003436065,0.00004518699,0.0003695217,0.002002399],"study_design_scores_gemma":[0.0000028574,0.00005865479,0.9925246,0.0000191945,0.00002008134,0.00004635602,0.001220001,0.005484754,0.00009210198,0.0001237218,0.0004019789,0.000005913532],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.997537,0.00005863869,0.000500806,0.0001549758,0.000007304746,0.00002338161,0.001072623,0.000009628739,0.0006357554],"genre_scores_gemma":[0.9980926,0.00004600286,0.0006714587,0.00004542526,0.00000431501,0.0000180828,0.0009606143,0.000004100366,0.0001573845],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.04937785,"threshold_uncertainty_score":0.09818089,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2758043160","doi":"10.29007/p319","title":"SC-square: when Satisfiability Checking and Symbolic Computation join forces","year":2018,"lang":"en","type":"article","venue":"EPiC series in computing","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Waterloo","funders":"Horizon 2020 Framework Programme; Agence Nationale de la Recherche","keywords":"Satisfiability; Join (topology); Computer science; Computation; Square (algebra); Focus (optics); Theoretical computer science; Symbolic computation; Algorithm; Mathematics; Combinatorics","authors":[{"name":"Erika Ábrahám","is_ca":false},{"name":"John Abbott","is_ca":false},{"name":"Bernd Becker","is_ca":false},{"name":"Anna Maria Bigatti","is_ca":false},{"name":"Martin Brain","is_ca":false},{"name":"Alessandro Cimatti","is_ca":false},{"name":"James H. Davenport","is_ca":false},{"name":"Matthew England","is_ca":false},{"name":"Pascal Fontaine","is_ca":false},{"name":"Stephen Forrest","is_ca":false},{"name":"Vijay Ganesh","is_ca":true},{"name":"Alberto Griggio","is_ca":false},{"name":"Daniel Kroening","is_ca":false},{"name":"Werner M. Seiler","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03089286117739838,"gpt":0.3120766095129839,"spread":0.2811837483355856,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01687705,0.001549132,0.002197235,0.004652945,0.004045614,0.0103319,0.005533806,0.006740898,0.03470284],"category_scores_gemma":[0.1136501,0.002047414,0.0036734,0.005050633,0.01395313,0.03157539,0.01855028,0.009987789,0.006791112],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002532491,"about_ca_system_score_gemma":0.006776289,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005953244,"about_ca_topic_score_gemma":0.005397925,"domain_scores_codex":[0.9636646,0.009292623,0.002601431,0.00728953,0.01289406,0.004257655],"domain_scores_gemma":[0.9156056,0.0508673,0.003594354,0.01945249,0.007671869,0.002808415],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0006010763,0.0001482778,0.00269357,0.0003928358,0.0001075432,0.000839558,0.001350406,0.008670279,0.001364764,0.9131056,0.01576303,0.05496302],"study_design_scores_gemma":[0.00008429345,0.00005351215,0.0002494083,0.0001007265,0.00005593471,0.0002115738,0.0003612134,0.05016283,0.002378404,0.9317231,0.0145806,0.000038263],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04320721,0.001336228,0.8410518,0.01334317,0.001819853,0.0009564604,0.00102137,0.01128293,0.08598095],"genre_scores_gemma":[0.6396599,0.001064212,0.3091027,0.004984403,0.002813168,0.001576187,0.003481334,0.005442688,0.03187542],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.03470284,"threshold_uncertainty_score":0.1160926,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}