{"id":"W2951933371","doi":"10.1016/j.tcs.2019.05.025","title":"Quantifying sequential subsumption","year":2019,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"Rough Sets and Fuzzy Logic","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"Queen's University; Ulster University; Queen's University Belfast; European Commission","keywords":"Subsequence; Extension (predicate logic); Intension; Multiset; Computer science; Relation (database); Set (abstract data type); Intersection (aeronautics); Interpretation (philosophy); Theoretical computer science; Representation (politics); Domain (mathematical analysis); Axiom; Artificial intelligence; Algorithm; Mathematics; Data mining; Discrete mathematics","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.001238972,0.0001507046,0.000169972,0.0001551462,0.0002758455,0.000653516,0.002357313,0.00004976135,0.0001267413],"category_scores_gemma":[0.00001687826,0.0001169863,0.00006950444,0.0009156727,0.0009229728,0.0009367855,0.0009886102,0.0001723128,0.001123709],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005014483,"about_ca_system_score_gemma":0.00008431004,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003273746,"about_ca_topic_score_gemma":3.504231e-7,"domain_scores_codex":[0.9976937,0.00007746725,0.000216895,0.0007449594,0.0006960902,0.0005708468],"domain_scores_gemma":[0.9986647,0.00009668692,0.00005602531,0.0008893682,0.000102658,0.0001905817],"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.00000320033,0.00002390148,0.000365639,0.000005080124,0.000001575587,0.000006455433,0.0001441651,0.0001461857,0.001158974,0.9538551,0.00001850989,0.0442712],"study_design_scores_gemma":[0.0002251924,0.000181947,0.002956121,0.00001913003,0.000002121544,0.00004486442,0.00000362901,0.9226691,0.00187511,0.07145143,0.000321544,0.0002498346],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.160541,0.00001615751,0.8293215,0.0004346931,0.00141715,0.0001418214,3.823372e-7,0.0002216149,0.007905737],"genre_scores_gemma":[0.7742788,0.000002899512,0.2251633,0.0004463917,0.00009574585,0.000001872649,5.008617e-7,0.000004482994,0.000006030861],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9225229,"threshold_uncertainty_score":0.9996541,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03138973070649824,"score_gpt":0.2808420414297092,"score_spread":0.2494523107232109,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}