{"id":"W2149618674","doi":"10.1109/ismvl.2012.46","title":"Counting Predicates, Subset Surjective Functions, and Counting CSPs","year":2012,"lang":"en","type":"article","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Closure operator; Surjective function; Closure (psychology); Mathematics; Partial function; Counting problem; Constraint satisfaction problem; Operator (biology); Galois connection; Set (abstract data type); Discrete mathematics; Type (biology); Distributive property; Invariant (physics); Partially ordered set; Algebra over a field; Closed set; Computer science; Pure mathematics; Programming language","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.002758571,0.0008000691,0.001016897,0.001695602,0.001217773,0.003428257,0.001684614,0.0008171721,0.002236723],"category_scores_gemma":[0.009582597,0.0004896902,0.002018558,0.002487495,0.004148227,0.009809001,0.003110575,0.003058635,0.0001818682],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00219475,"about_ca_system_score_gemma":0.001308149,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00216171,"about_ca_topic_score_gemma":0.001366156,"domain_scores_codex":[0.9967956,0.0007772996,0.0002141918,0.000815645,0.000963855,0.0004334017],"domain_scores_gemma":[0.9903594,0.006190138,0.001043874,0.001444936,0.0004745911,0.0004870169],"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.0001463123,0.00007962186,0.002269531,0.0001273622,0.00003801197,0.0001727927,0.0006267204,0.01675978,0.006128994,0.9484837,0.0004884247,0.02467884],"study_design_scores_gemma":[0.00002986789,0.0001193957,0.00147593,0.00003360008,0.00008674931,0.0004099886,0.0002906161,0.1143725,0.01254103,0.8664565,0.004131447,0.00005237072],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.364898,0.0006208378,0.6262866,0.0008587087,0.00004486526,0.00006657217,0.0002252345,0.0005000027,0.006499159],"genre_scores_gemma":[0.856044,0.0004064649,0.1401805,0.0002339268,0.00009620364,0.0001412762,0.0003330349,0.0001037985,0.002460807],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003428257,"threshold_uncertainty_score":0.0159241,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01524239475201775,"score_gpt":0.2259805353060998,"score_spread":0.210738140554082,"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."}}