{"id":"W1933312167","doi":"10.1007/978-3-662-43948-7_27","title":"Characterization of Binary Constraint System Games","year":2014,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":60,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Characterization (materials science); Simple (philosophy); Bounding overwatch; Class (philosophy); Constraint (computer-aided design); Binary number; Theoretical computer science; Decidability; Quantum entanglement; Algorithm; Mathematics; Artificial intelligence","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.001275747,0.001002182,0.001065187,0.002535842,0.001771481,0.006094155,0.002220718,0.00156078,0.01618689],"category_scores_gemma":[0.007725724,0.0007829574,0.001067691,0.003049036,0.002423518,0.005846074,0.002518347,0.003587294,0.001178524],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002809991,"about_ca_system_score_gemma":0.001702759,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00370135,"about_ca_topic_score_gemma":0.00276087,"domain_scores_codex":[0.997587,0.0006879293,0.0001595767,0.0004144256,0.000728821,0.0004221654],"domain_scores_gemma":[0.9960586,0.002165245,0.0003881475,0.0002291335,0.0005489775,0.0006100236],"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.00003350444,0.0000239429,0.0001925508,0.00004186714,0.000009086773,0.00003159149,0.0001373807,0.001627905,0.0005072018,0.9911745,0.002122435,0.004098063],"study_design_scores_gemma":[0.0000231443,0.0000142452,0.0002527151,0.00003208595,0.000009797446,0.00007334887,0.00008517175,0.0256841,0.0003558455,0.9689794,0.004472595,0.00001752487],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1802662,0.00106568,0.5455018,0.003814791,0.0003113736,0.0004466116,0.002102813,0.0006755298,0.2658152],"genre_scores_gemma":[0.8899724,0.0007016683,0.06557687,0.0007517629,0.0003268088,0.0004617787,0.002139071,0.0003105128,0.03975905],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01618689,"threshold_uncertainty_score":0.05415058,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01544711899045415,"score_gpt":0.2213026326919532,"score_spread":0.2058555137014991,"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."}}