{"id":"W67075882","doi":"10.1007/978-3-540-78913-0_9","title":"The Lattice of Contact Relations on a Boolean Algebra","year":2008,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":false,"ca_institutions":"Brock University","funders":"","keywords":"Boolean algebra; Two-element Boolean algebra; Free Boolean algebra; Boolean algebras canonically defined; Complete Boolean algebra; Algebra over a field; Set (abstract data type); Stone's representation theorem for Boolean algebras; Relation algebra; Computer science; Lattice (music); Mathematics; Theoretical computer science; Pure mathematics; Algorithm; Algebra representation; Programming language; Physics","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.0004431978,0.0002635554,0.0002598206,0.0004010848,0.0004639372,0.0001969863,0.001428871,0.0001679374,0.00002418502],"category_scores_gemma":[0.0001465768,0.0002010904,0.000108133,0.0004353639,0.0005820907,0.0003215967,0.0003047381,0.0005493499,0.00004366304],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001617591,"about_ca_system_score_gemma":0.0004800322,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000113631,"about_ca_topic_score_gemma":0.0000708166,"domain_scores_codex":[0.9978659,0.00003770501,0.0004428061,0.000651562,0.000702795,0.0002993017],"domain_scores_gemma":[0.9972863,0.00111927,0.0003251113,0.0009607322,0.0002219325,0.00008671753],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000007653193,0.00001907282,0.00008759441,0.000006887157,0.00001398439,0.00001965901,0.0007983001,0.04162138,0.00002843947,0.203717,0.0001310998,0.7535489],"study_design_scores_gemma":[0.0005479315,0.0004054699,0.004147363,0.0004521046,0.00001407762,0.0001408618,6.090149e-7,0.9023625,0.0006755319,0.07929761,0.01120917,0.0007467479],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00005994451,0.0001704542,0.984048,0.001661677,0.0009273936,0.0002663207,0.000003288425,0.00008072127,0.01278218],"genre_scores_gemma":[0.653199,0.0005504797,0.3412573,0.002659172,0.0003619485,0.00001323657,0.000008239468,0.00005038073,0.00190026],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8607411,"threshold_uncertainty_score":0.8200229,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01419696534302546,"score_gpt":0.2304888217408191,"score_spread":0.2162918563977936,"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."}}