{"id":"W1576080058","doi":"","title":"Construction of Boolean contact algebras","year":2004,"lang":"en","type":"article","venue":"","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":true,"ca_institutions":"Brock University","funders":"","keywords":"Intersection (aeronautics); Connection (principal bundle); Relation (database); Countable set; Relation algebra; Computer science; Boolean algebras canonically defined; Interior algebra; Stone's representation theorem for Boolean algebras; Algebra over a field; Mathematics; Two-element Boolean algebra; Discrete mathematics; Pure mathematics; Jordan algebra; Algebra representation","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.00004684482,0.00004217793,0.00005986258,0.00005943058,0.00002912613,0.000022681,0.0001022211,0.00002370983,0.0001261923],"category_scores_gemma":[0.00001131735,0.0000390356,0.00002766242,0.000145632,0.00002915192,0.0002745415,0.00002201643,0.00003113546,0.00002338209],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002161253,"about_ca_system_score_gemma":0.00005668041,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004156511,"about_ca_topic_score_gemma":0.00002038224,"domain_scores_codex":[0.9996081,0.000008777638,0.0001247353,0.0001040993,0.00009068499,0.00006361694],"domain_scores_gemma":[0.9997148,0.00001150407,0.00005121334,0.0001420578,0.0000486816,0.00003175173],"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.00000109258,0.000009644293,0.001165579,0.000001885014,0.000004334821,6.373321e-7,0.00008230368,0.0004963456,0.0009170024,0.953364,0.00002318626,0.04393402],"study_design_scores_gemma":[0.008506491,0.0007760103,0.2483334,0.0001467186,0.00003788914,0.0006555224,0.001054829,0.05217544,0.3797247,0.3024489,0.0048397,0.001300358],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02248911,0.000005338301,0.9613234,0.0006920833,0.0001904446,0.00005123875,4.299517e-7,0.0001017471,0.01514624],"genre_scores_gemma":[0.8152111,0.000005569012,0.1846073,0.000124774,0.000007725226,7.672588e-7,7.422242e-7,0.000001420049,0.00004058883],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.792722,"threshold_uncertainty_score":0.1591825,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.007505973690412102,"score_gpt":0.2124836822024264,"score_spread":0.2049777085120143,"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."}}