{"id":"W2164550874","doi":"10.1109/cmpsac.1978.810551","title":"What MININET Has Taught us about Programming Style","year":2005,"lang":"en","type":"article","venue":"","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Task (project management); Blocking (statistics); Programming style; Programming language; Metaprogramming; Programming paradigm; Computer network","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":"codex-gemma-dda1882f352a","candidate_categories":["scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.000267284,0.0001061907,0.0000997136,0.00006274143,0.0002255225,0.001796507,0.0007526051,0.00005333653,0.0001291889],"category_scores_gemma":[0.00002274652,0.00009933104,0.00004831886,0.0003196365,0.00004665626,0.001457462,0.0001798008,0.0001055121,0.000285827],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003028691,"about_ca_system_score_gemma":0.0000486032,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002250124,"about_ca_topic_score_gemma":0.00002172015,"domain_scores_codex":[0.9988899,0.00003338102,0.00022662,0.0003480988,0.0002181847,0.0002838019],"domain_scores_gemma":[0.999198,0.00007657939,0.00007378299,0.0004911638,0.00007008285,0.0000904444],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000001496241,0.0001032458,0.0004306863,0.000008705609,0.00001014479,0.000003459768,0.003086581,0.0002111962,0.0000744027,0.07657351,0.006132642,0.9133639],"study_design_scores_gemma":[0.0001858141,0.00002474515,0.001515822,0.00002587341,0.000002017443,0.0000191661,0.0001480725,0.178909,0.00181141,0.0001486894,0.8170296,0.0001798373],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05397433,0.001231284,0.9191077,0.01498826,0.001586167,0.0002790426,3.909864e-7,0.000930189,0.007902682],"genre_scores_gemma":[0.6667063,0.00002910482,0.3296804,0.001714217,0.0003549854,0.00001374809,0.000002544818,0.000006815932,0.001491824],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9131841,"threshold_uncertainty_score":0.9992397,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03341698588416393,"score_gpt":0.272007232561099,"score_spread":0.2385902466769351,"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."}}