{"id":"W1965529758","doi":"10.1016/j.dam.2007.07.023","title":"Self-duality of bounded monotone boolean functions and related problems","year":2007,"lang":"en","type":"article","venue":"Discrete Applied Mathematics","topic":"Machine Learning and Algorithms","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"Simon Fraser University; University of Lethbridge","funders":"","keywords":"Mathematics; Duality (order theory); Monotone polygon; Bounded function; Boolean function; Disjunctive normal form; Discrete mathematics; Combinatorics; Function (biology); Maximum satisfiability problem; Parity function; Boolean expression","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.002873651,0.0006397262,0.001371199,0.002025666,0.001449628,0.003450261,0.001649652,0.001744223,0.005080047],"category_scores_gemma":[0.01084058,0.0005935766,0.001201924,0.001866275,0.003639115,0.006184128,0.002445967,0.00349093,0.0003842269],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002012265,"about_ca_system_score_gemma":0.0008525285,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006428951,"about_ca_topic_score_gemma":0.0004231423,"domain_scores_codex":[0.9984992,0.0006839946,0.00006388065,0.0002031506,0.0003623582,0.0001874045],"domain_scores_gemma":[0.9929304,0.004972837,0.0005063468,0.000308576,0.0007493018,0.0005325938],"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.00003328912,0.00002772957,0.0001052972,0.00003794797,0.000006072851,0.00002566983,0.00007021615,0.001147833,0.0001916386,0.994837,0.0007564467,0.002760956],"study_design_scores_gemma":[0.00001366275,0.00001135837,0.00006778331,0.00000805447,0.000004234913,0.00004983525,0.00003686123,0.01341976,0.000147566,0.9854875,0.0007485211,0.000004855991],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3421203,0.006347368,0.5390067,0.006885195,0.0006107777,0.00008489959,0.000385632,0.0002085384,0.1043506],"genre_scores_gemma":[0.928647,0.002583216,0.04332376,0.0009508245,0.0009315251,0.0001319982,0.0003432845,0.0001110876,0.02297727],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005080047,"threshold_uncertainty_score":0.01699442,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008905465639928068,"score_gpt":0.2420990589935642,"score_spread":0.2331935933536361,"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."}}