{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001022843,0.000191085,0.0003570064,0.0002147056,0.0001663976,0.0002051241,0.001529161,0.00007054453,0.000004878206],"category_scores_gemma":[0.0000582112,0.0001693753,0.00009525088,0.002180404,0.0006403678,0.0008195772,0.0003923459,0.000131222,0.000008612129],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003991371,"about_ca_system_score_gemma":0.0002020916,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006537099,"about_ca_topic_score_gemma":0.000001100546,"domain_scores_codex":[0.9975226,0.00006159558,0.0006005029,0.0003873623,0.0007745507,0.0006533763],"domain_scores_gemma":[0.9980518,0.0001241077,0.0005284892,0.0006423887,0.000448778,0.0002044349],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000004209654,0.0007236245,0.01108175,0.0001297447,0.00004926333,0.000001299119,0.004409834,0.0003608053,0.01006247,0.02929342,0.0001173876,0.9437662],"study_design_scores_gemma":[0.00230267,0.002041849,0.09017806,0.001537624,0.0001162549,0.0002765676,0.0009749646,0.8062909,0.07303513,0.00482889,0.01626628,0.002150844],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3313595,0.0001277791,0.6653902,0.00004510104,0.001836964,0.0004559992,0.000003679778,0.0003190298,0.0004616952],"genre_scores_gemma":[0.5356839,0.000001076353,0.4641984,0.000004237724,0.00009195419,0.00000761946,0.000003573179,0.000004432452,0.000004756832],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9416153,"threshold_uncertainty_score":0.6906926,"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."}}