{"id":"W2912791728","doi":"","title":"Proceedings of the 10th international conference on Mathematics of program construction","year":2010,"lang":"en","type":"article","venue":"Mathematics of Program Construction","topic":"BIM and Construction Integration","field":"Engineering","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université Laval","funders":"","keywords":"Computer science; Mathematics education; Software engineering; Engineering; Mathematics","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.002679874,0.001083996,0.001887551,0.001725818,0.001307695,0.007244311,0.001418695,0.001200664,0.035799],"category_scores_gemma":[0.003672746,0.0006267973,0.001692415,0.001555768,0.00230183,0.004266595,0.002472725,0.005379769,0.005982164],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004073189,"about_ca_system_score_gemma":0.00238374,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004095203,"about_ca_topic_score_gemma":0.005465508,"domain_scores_codex":[0.9985406,0.0004337623,0.000110994,0.0003577483,0.0004372181,0.0001197512],"domain_scores_gemma":[0.9981815,0.0005257109,0.00006951018,0.0003677001,0.000621954,0.0002336776],"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.0002257039,0.0001763649,0.00103862,0.0003411497,0.0001263257,0.0001289202,0.0004729901,0.003629051,0.001602427,0.6664095,0.171642,0.1542069],"study_design_scores_gemma":[0.00004853818,0.00007640725,0.002005239,0.0002905643,0.000100068,0.0003514462,0.0002329657,0.01817014,0.001485626,0.3163189,0.6608709,0.00004925199],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.01986294,0.07400798,0.3787014,0.0239355,0.06687143,0.0001308618,0.001126277,0.0007825909,0.4345811],"genre_scores_gemma":[0.2327932,0.05013276,0.2374459,0.002756913,0.02584491,0.0003643106,0.00395601,0.001414536,0.4452915],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.035799,"threshold_uncertainty_score":0.1197596,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01597788091449968,"score_gpt":0.2525470684546176,"score_spread":0.2365691875401179,"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."}}