{"id":"W2023171134","doi":"10.1023/b:desi.0000029231.44423.43","title":"On a Bound of Cover-Free Families","year":2004,"lang":"en","type":"article","venue":"Designs Codes and Cryptography","topic":"Cellular Automata and Applications","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":false,"ca_institutions":"Lakehead University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Cover (algebra); Stirling engine; Upper and lower bounds; Mathematics; Combinatorics; Computer science; Engineering; Mathematical analysis; Mechanical engineering","routes":{"ca_aff":true,"ca_fund":true,"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":[],"consensus_categories":[],"category_scores_codex":[0.00008171681,0.00009453684,0.0001198033,0.000145355,0.0001131464,0.00008129502,0.0004234515,0.00003436944,0.000005213482],"category_scores_gemma":[0.000007887735,0.00008352029,0.00007560381,0.0004535329,0.0001172104,0.0001105087,0.00008301681,0.00004916118,0.000007813519],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00000469578,"about_ca_system_score_gemma":0.00002465426,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004399615,"about_ca_topic_score_gemma":0.00000641816,"domain_scores_codex":[0.9993612,0.00001483547,0.0001291808,0.0002141819,0.0001468391,0.0001337805],"domain_scores_gemma":[0.9992874,0.00006314803,0.00005024215,0.0005133902,0.00003045891,0.00005542162],"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.000004241944,0.0001041393,0.0001003118,0.00001200742,0.00001657732,0.000003368301,0.0002924835,0.00007787808,0.01028164,0.9833262,0.0004350189,0.005346154],"study_design_scores_gemma":[0.001386186,0.0005088439,0.008509639,0.00006543044,0.00002401932,0.00003038123,0.0001067976,0.001503027,0.03147143,0.9499112,0.006127618,0.0003554741],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1928813,0.0002721589,0.8038992,0.0002094921,0.00002821868,0.00010994,0.00001196619,0.00007695815,0.002510781],"genre_scores_gemma":[0.9547562,0.0001296421,0.04489062,0.0001812345,0.000008387573,0.00001819913,0.000003132828,0.000004914978,0.00000767861],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7618749,"threshold_uncertainty_score":0.3405859,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01438088051145167,"score_gpt":0.2272474156863015,"score_spread":0.2128665351748498,"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."}}