{"id":"W7002284780","doi":"","title":"Nominal Game Semantics","year":2009,"lang":"en","type":"report","venue":"Oxford University Research Archive (ORA) (University of Oxford)","topic":"Prenatal Screening and Diagnostics","field":"Medicine","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Trinity College","funders":"Engineering and Physical Sciences Research Council; Eugenides Foundation; A.G. Leventis Foundation","keywords":"Game semantics; Denotational semantics; Semantics (computer science); Logic programming; Key (lock); Game theory; Game programming; Action semantics; Programming language theory","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.002407228,0.001275353,0.001043618,0.001514009,0.003630572,0.00606744,0.002604622,0.002775002,0.01957729],"category_scores_gemma":[0.00578248,0.000506903,0.002160904,0.00120114,0.007440125,0.01116727,0.004761249,0.003463494,0.004279838],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.005506477,"about_ca_system_score_gemma":0.002498565,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0056344,"about_ca_topic_score_gemma":0.003470961,"domain_scores_codex":[0.9962513,0.001068188,0.0002999216,0.0008868344,0.001057403,0.0004364296],"domain_scores_gemma":[0.997943,0.0008237485,0.0001456817,0.000317473,0.0005885721,0.0001815886],"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.00000564948,0.000004261179,0.00002682554,0.00001937903,0.000003829916,0.00002508052,0.0001226582,0.0004693557,0.00007637891,0.9965025,0.001022448,0.001721578],"study_design_scores_gemma":[0.000007251801,0.000005997094,0.00002305,0.00001991739,0.000004299661,0.00004400565,0.00008167065,0.003111748,0.0001354835,0.9671846,0.02937387,0.000007979363],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.009903939,0.002419217,0.6487251,0.006958097,0.0009189004,0.0002893972,0.000944747,0.0008657812,0.3289749],"genre_scores_gemma":[0.6457782,0.004180673,0.2173801,0.004445099,0.001304338,0.001093,0.002070098,0.0009289175,0.1228196],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01957729,"threshold_uncertainty_score":0.06549257,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04946734409087754,"score_gpt":0.3008883804297243,"score_spread":0.2514210363388467,"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."}}