{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001282998,0.0006983422,0.0006709347,0.001239425,0.0006697339,0.002526735,0.002013253,0.0005764914,0.007857123],"category_scores_gemma":[0.005157709,0.000473242,0.0009971268,0.002574393,0.001237365,0.004807332,0.001887135,0.001715976,0.001967095],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001141545,"about_ca_system_score_gemma":0.001511545,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001400821,"about_ca_topic_score_gemma":0.001986857,"domain_scores_codex":[0.9986557,0.0003533963,0.0001694234,0.0001997426,0.0005185907,0.0001031747],"domain_scores_gemma":[0.9979154,0.0007071496,0.0001620005,0.0007607035,0.0003793452,0.00007535914],"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.0002755401,0.00007437658,0.0002908969,0.0003268954,0.00003440469,0.0002172513,0.00044374,0.02312492,0.01352128,0.5200788,0.008172297,0.4334396],"study_design_scores_gemma":[0.0001157714,0.0002641868,0.0001817482,0.0001660159,0.0000659638,0.0006740947,0.0002460153,0.3621789,0.04224369,0.5112195,0.08251936,0.0001247742],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003369279,0.0001102558,0.9932414,0.00008794881,0.00004722759,0.00005620056,0.0002320849,0.001497938,0.001357699],"genre_scores_gemma":[0.0548624,0.0001722878,0.940716,0.00008122093,0.00003641321,0.0001835621,0.000652851,0.00043114,0.002864107],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007857123,"threshold_uncertainty_score":0.02628469,"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."}}