{"id":"W2152515015","doi":"","title":"A Generalized-Zero-Preserving Method for Compact Encoding of Concept Lattices","year":2010,"lang":"en","type":"article","venue":"","topic":"Advanced Database Systems and Queries","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto; University of Waterloo","funders":"","keywords":"Bit array; Encoding (memory); Computer science; Computation; Unification; Theoretical computer science; Parsing; Algorithm; Solver; Lattice (music); Join (topology); Mathematics; Artificial intelligence; Programming language; Type (biology); Combinatorics","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":[],"consensus_categories":[],"category_scores_codex":[0.0004279277,0.000104133,0.0002327481,0.00005334292,0.00009759679,0.00004649705,0.0004960463,0.0000398113,0.0000534945],"category_scores_gemma":[0.0001362306,0.00008040518,0.00007403518,0.0001374693,0.0000401763,0.0007456796,0.0001769913,0.0000815439,0.000001844874],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000005229009,"about_ca_system_score_gemma":0.00003442892,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003862515,"about_ca_topic_score_gemma":0.0001059535,"domain_scores_codex":[0.9991025,0.00004358952,0.000255735,0.0002512138,0.0001406616,0.0002063203],"domain_scores_gemma":[0.9987174,0.000394921,0.0001478422,0.0005587626,0.0001119838,0.00006910706],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.000003666749,0.00001286679,0.0001496509,0.00003630079,0.00001279263,7.271262e-7,0.00044764,0.0002758526,0.08098952,0.9117683,0.001454705,0.004848018],"study_design_scores_gemma":[0.0009078317,0.0001153299,0.0001916506,0.00005764908,0.00001291491,0.0000231395,0.0001827136,0.3487929,0.3975562,0.01161573,0.240155,0.0003890918],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.005994456,0.00006910281,0.9900796,0.000269057,0.0004398974,0.0001941145,0.00002717392,0.00008929826,0.002837294],"genre_scores_gemma":[0.1249614,0.000001419798,0.8743228,0.0001068485,0.0000697176,0.000009971506,0.000004565395,0.000006423388,0.000516823],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9001525,"threshold_uncertainty_score":0.3278828,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04459795572336843,"score_gpt":0.3458616932165965,"score_spread":0.3012637374932281,"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."}}