{"id":"W2523839178","doi":"10.1016/j.tcs.2017.05.001","title":"Functional clones and expressibility of partition functions","year":2017,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"Simon Fraser University","funders":"Engineering and Physical Sciences Research Council","keywords":"Mathematics; Partition (number theory); Combinatorics; Functional analysis; Multiplication (music); Boolean function; Discrete mathematics; Constraint (computer-aided design); Set (abstract data type); Lattice (music); Computer science; Biology; Physics; Genetics","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":"codex-gemma-dda1882f352a","candidate_categories":["sts"],"consensus_categories":[],"category_scores_codex":[0.0006161507,0.00008823811,0.0001234439,0.00005635806,0.0009190704,0.000257473,0.000995339,0.00002818888,0.00002899721],"category_scores_gemma":[0.0001390281,0.00006824904,0.000032886,0.0001399486,0.004158229,0.001132455,0.000908776,0.00008669304,0.00001381064],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000122434,"about_ca_system_score_gemma":0.00004568132,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002066346,"about_ca_topic_score_gemma":5.253638e-7,"domain_scores_codex":[0.9987935,0.00003662873,0.0001634897,0.0004567597,0.0003243437,0.0002252572],"domain_scores_gemma":[0.9985873,0.0001157914,0.0001038203,0.0009199379,0.0001424789,0.000130648],"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.000005530851,0.00003374428,0.0009929048,0.000004452431,0.00000129901,0.000001181139,0.00006123415,0.00006231157,0.0015198,0.9726383,0.00001773684,0.02466148],"study_design_scores_gemma":[0.0002005824,0.0001412085,0.1492828,0.00001705266,0.000003379197,0.00001920003,0.000004399904,0.1153943,0.007152754,0.7276142,0.00004250748,0.0001275869],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1873843,0.00001609534,0.8102006,0.000543019,0.0004330197,0.00005647514,0.000001190324,0.00004956612,0.001315775],"genre_scores_gemma":[0.9495007,0.000002839543,0.05032448,0.00007768538,0.0000771022,0.000004110381,3.304578e-7,0.000001830558,0.00001094799],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7621164,"threshold_uncertainty_score":0.9985519,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02092870772223816,"score_gpt":0.2655031272994424,"score_spread":0.2445744195772043,"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."}}