{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004559534,0.0008791449,0.001037774,0.003848074,0.001428406,0.003519366,0.001493681,0.00113212,0.007856011],"category_scores_gemma":[0.0159532,0.0007199987,0.001649319,0.003604781,0.003181485,0.01198291,0.003548293,0.001889132,0.0007456103],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001804809,"about_ca_system_score_gemma":0.001163334,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001818371,"about_ca_topic_score_gemma":0.001799938,"domain_scores_codex":[0.9942906,0.001426461,0.0004656922,0.001249156,0.002071952,0.0004960658],"domain_scores_gemma":[0.9888358,0.005279803,0.0008232293,0.002497376,0.00216106,0.0004028034],"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.00007066112,0.00004061161,0.001536324,0.0001082172,0.00008573577,0.0001379083,0.000477001,0.005745111,0.0024311,0.9505304,0.0007136554,0.03812339],"study_design_scores_gemma":[0.000004662815,0.00002916061,0.000663167,0.00002427133,0.0000526154,0.0001265672,0.0001545572,0.02372831,0.002814424,0.9695895,0.002797923,0.00001491068],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.15098,0.001040087,0.8079017,0.0008872889,0.0001603939,0.00009894963,0.000331741,0.0004520453,0.03814774],"genre_scores_gemma":[0.8349898,0.0004204897,0.1548041,0.0002133661,0.0001539541,0.00008324223,0.0003693688,0.0001733113,0.008792368],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007856011,"threshold_uncertainty_score":0.026281,"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."}}