{"id":"W2892627562","doi":"10.7561/sacs.2018.2.237","title":"A Precise Characterisation of Step Traces and Their Concurrent Histories","year":2018,"lang":"en","type":"article","venue":"Scientific Annals of Computer Science","topic":"Advanced Graph Theory Research","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; History; Programming language","routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001752616,0.0007100712,0.0006409679,0.002229573,0.00117511,0.002853179,0.001659848,0.001066092,0.005807317],"category_scores_gemma":[0.01132437,0.000732664,0.001008694,0.001728201,0.003406968,0.007472078,0.002355953,0.002562822,0.0009010298],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001048157,"about_ca_system_score_gemma":0.001292825,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002067252,"about_ca_topic_score_gemma":0.001530054,"domain_scores_codex":[0.9978908,0.000293807,0.0002097508,0.0005534175,0.0007853783,0.0002669618],"domain_scores_gemma":[0.9928227,0.002610868,0.000980233,0.001951261,0.001199338,0.0004356146],"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.00004440781,0.00002626122,0.0009719156,0.00008107685,0.00001490285,0.0002233241,0.0005811853,0.004257821,0.002915271,0.9776268,0.0003846452,0.01287236],"study_design_scores_gemma":[0.00002094341,0.00007143507,0.0008957693,0.00009224403,0.000040005,0.0004895718,0.0002389987,0.03656428,0.006126737,0.9344869,0.02093087,0.00004229894],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06775242,0.0006830497,0.9110645,0.0003140006,0.0001042115,0.0002216748,0.0007711781,0.00084287,0.01824605],"genre_scores_gemma":[0.7494298,0.0007676951,0.229565,0.000235031,0.000219486,0.0005187711,0.001076265,0.0005006675,0.01768725],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005807317,"threshold_uncertainty_score":0.01942736,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06472090157000439,"score_gpt":0.3354733992565607,"score_spread":0.2707524976865563,"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."}}