{"id":"W2010822264","doi":"10.1145/2465449.2465464","title":"Implementing generalized alternative construct for erasmus language","year":2013,"lang":"en","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Construct (python library); Correctness; Computer science; Programming language; Erasmus+; Statement (logic); Generalization; Process (computing); Theoretical computer science; Language construct; Mathematics; Linguistics","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.003282724,0.0007960928,0.0008132011,0.001234105,0.000910413,0.002280218,0.0027371,0.001076277,0.00502921],"category_scores_gemma":[0.00373615,0.0008737839,0.001379308,0.0007236852,0.002920205,0.005224644,0.003313561,0.002272494,0.001181888],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001069701,"about_ca_system_score_gemma":0.001833042,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001324626,"about_ca_topic_score_gemma":0.001750454,"domain_scores_codex":[0.9955183,0.001161902,0.0003683008,0.0007582916,0.001662184,0.0005311251],"domain_scores_gemma":[0.9970977,0.001127502,0.0003138918,0.0008374064,0.0005126393,0.0001107965],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0006235259,0.0001705506,0.001823978,0.0007527157,0.00009751512,0.000771825,0.001389698,0.01592652,0.02510709,0.8568878,0.005086926,0.09136187],"study_design_scores_gemma":[0.0003103733,0.0004774524,0.0005365693,0.0003887741,0.0002267007,0.001444233,0.0003736622,0.2712153,0.1190811,0.3783188,0.227377,0.0002499589],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01800882,0.0002010207,0.9675731,0.0002194191,0.00009878551,0.0001421444,0.0001370404,0.008926349,0.004693348],"genre_scores_gemma":[0.2988666,0.0003186095,0.6914706,0.0004021169,0.00009790451,0.000337394,0.0003734406,0.001741811,0.006391556],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.00502921,"threshold_uncertainty_score":0.01736093,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02519299672877992,"score_gpt":0.2885029765699316,"score_spread":0.2633099798411516,"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."}}