{"id":"W4237015171","doi":"10.22215/etd/2010-09226","title":"Choc : a command and programming language","year":2010,"lang":"en","type":"dissertation","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Canadian Heritage; Library and Archives Canada","funders":"","keywords":"Computer science; Humanities; Programming language; Art","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.001947995,0.0014435,0.0009288074,0.001596106,0.001417102,0.003775812,0.003727766,0.001211634,0.04552754],"category_scores_gemma":[0.004980374,0.001172692,0.001353444,0.001655588,0.001679374,0.0048694,0.003483853,0.003691944,0.02694219],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001231044,"about_ca_system_score_gemma":0.00410672,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006333125,"about_ca_topic_score_gemma":0.006402553,"domain_scores_codex":[0.9984087,0.0002649191,0.0001981479,0.0003388807,0.0006115478,0.0001778444],"domain_scores_gemma":[0.9971215,0.001060142,0.0001842744,0.0005565521,0.0008224307,0.000255073],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0007764445,0.0001593499,0.001099497,0.001436014,0.0001034031,0.0005584502,0.0009134755,0.004002695,0.02068495,0.2163657,0.5196418,0.2342582],"study_design_scores_gemma":[0.0002101568,0.00008156341,0.000339149,0.0002219251,0.00005163687,0.0006940359,0.0001275352,0.02744087,0.01702883,0.04753105,0.9061493,0.0001238754],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001404855,0.0002341774,0.7981914,0.0006126097,0.0002295423,0.0003726592,0.006186,0.1690376,0.02373108],"genre_scores_gemma":[0.0444813,0.001071356,0.7706539,0.002500428,0.0003462184,0.002266403,0.02746453,0.07749338,0.07372239],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.04552754,"threshold_uncertainty_score":0.1523048,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01113547228947285,"score_gpt":0.2636792715335133,"score_spread":0.2525437992440405,"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."}}