{"id":"W2033942886","doi":"10.1145/2429069.2429086","title":"Inductive data flow graphs","year":2013,"lang":"en","type":"article","venue":"","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":51,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Control flow graph; Correctness; Computer science; Data flow diagram; Theoretical computer science; Thread (computing); Graph; Control flow; Data-flow analysis; Program analysis; Algorithm; Programming language; Database","routes":{"ca_aff":true,"ca_fund":false,"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.003056407,0.001089016,0.000664133,0.002210279,0.001439815,0.001992531,0.002393167,0.001144249,0.005080647],"category_scores_gemma":[0.01125677,0.0006637476,0.0019472,0.001478099,0.003636716,0.00597068,0.002272156,0.002282915,0.001047068],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001620152,"about_ca_system_score_gemma":0.002245385,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004755816,"about_ca_topic_score_gemma":0.003563994,"domain_scores_codex":[0.9962029,0.0009566059,0.0003089589,0.0008217089,0.00126602,0.0004437101],"domain_scores_gemma":[0.9866884,0.008209181,0.00084178,0.001748491,0.002250349,0.0002617266],"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.000227195,0.0001500514,0.001618069,0.0004032949,0.00004877261,0.0004685063,0.0007269409,0.0476651,0.009834887,0.8451967,0.003965425,0.08969515],"study_design_scores_gemma":[0.00004558985,0.00006800075,0.0002847179,0.00009348463,0.00005762053,0.0001546158,0.0001243887,0.1042132,0.01772869,0.8511038,0.02607491,0.00005096782],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.006455333,0.00004818007,0.9873059,0.0001869083,0.00003333487,0.0001806333,0.0005245049,0.001412815,0.00385241],"genre_scores_gemma":[0.2834752,0.000382015,0.7036207,0.0006188392,0.0001548192,0.001244928,0.003008279,0.0008959311,0.006599293],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005080647,"threshold_uncertainty_score":0.01699644,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03438226618304596,"score_gpt":0.2497571538607306,"score_spread":0.2153748876776847,"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."}}