{"id":"W7097233980","doi":"","title":"Game Research at McGill","year":2005,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Reachability; Petri net; Narrative; Automaton; Context (archaeology); Model checking; Representation (politics); Class (philosophy)","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001193686,0.0007188284,0.0003479898,0.001343285,0.002355842,0.003513651,0.00095142,0.001173207,0.1310366],"category_scores_gemma":[0.002991236,0.0002813852,0.0004424945,0.001071831,0.001499251,0.002505497,0.001993704,0.001347618,0.01218114],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00764895,"about_ca_system_score_gemma":0.003951515,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.06027591,"about_ca_topic_score_gemma":0.1196984,"domain_scores_codex":[0.9990939,0.0002876187,0.00002768742,0.0002129596,0.0002438915,0.0001340138],"domain_scores_gemma":[0.9988223,0.0003403202,0.00006232011,0.0001147895,0.0001867049,0.0004736046],"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.0001313388,0.00005291517,0.001132901,0.0002002912,0.0000173216,0.0002686262,0.001217167,0.001187274,0.001223957,0.5135165,0.3045348,0.1765169],"study_design_scores_gemma":[0.00001219261,0.00002960974,0.0007830329,0.000132893,0.000004863608,0.00009272793,0.0003188818,0.001000104,0.0004398855,0.04709117,0.950079,0.00001543898],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.01211729,0.01996233,0.02152918,0.04573682,0.003163489,0.000139962,0.001961851,0.001211174,0.8941779],"genre_scores_gemma":[0.1587068,0.007837399,0.01617346,0.003433218,0.0006055357,0.0001973472,0.001017878,0.0004362176,0.8115922],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.1310366,"threshold_uncertainty_score":0.4383611,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.2001537828674916,"score_gpt":0.437638931405798,"score_spread":0.2374851485383064,"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."}}