{"id":"W2334537514","doi":"10.1016/j.scico.2012.07.006","title":"Mathematics of Program Construction (selected papers from MPC 2010)","year":2012,"lang":"en","type":"article","venue":"Science of Computer Programming","topic":"Distributed and Parallel Computing Systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université Laval","funders":"","keywords":"Computer science; Programming language","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.001286168,0.001777028,0.002230036,0.003098917,0.001507326,0.004289214,0.001258826,0.00146106,0.02054165],"category_scores_gemma":[0.003856452,0.001377426,0.001441869,0.008467229,0.00255024,0.005432387,0.002300795,0.005490295,0.005581717],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.008521473,"about_ca_system_score_gemma":0.002079997,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.007169153,"about_ca_topic_score_gemma":0.005570308,"domain_scores_codex":[0.9988111,0.0002508337,0.00007138085,0.0003494951,0.0004449096,0.00007222805],"domain_scores_gemma":[0.9987477,0.0006018835,0.0001127209,0.0001959825,0.0002615969,0.00008007555],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00005536996,0.00006203479,0.0004741912,0.0009676093,0.00009062467,0.00006009436,0.0001935418,0.01009662,0.0006390862,0.6090082,0.2068959,0.1714567],"study_design_scores_gemma":[0.00003151168,0.00003434132,0.002242188,0.0006046288,0.00008665404,0.0001582487,0.00005748116,0.009279087,0.0009081928,0.5670638,0.41949,0.00004393792],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.009366323,0.3058046,0.3075517,0.03588957,0.02511834,0.0001192074,0.003455197,0.001234246,0.3114609],"genre_scores_gemma":[0.2672847,0.2582621,0.1324038,0.007128001,0.04620019,0.0005958799,0.00593695,0.002432733,0.2797555],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.02054165,"threshold_uncertainty_score":0.06871861,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01784843140363523,"score_gpt":0.2572054950008368,"score_spread":0.2393570635972016,"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."}}