{"id":"W44082233","doi":"10.1007/s10472-012-9301-2","title":"On the algebra of regular sets","year":2012,"lang":"en","type":"article","venue":"Annals of Mathematics and Artificial Intelligence","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto; Brock University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Mathematics; Isomorphism (crystallography); Algebraic number; Topological space; Completeness (order theory); Set (abstract data type); Algebra over a field; Algebraic structure; Representation (politics); Discrete mathematics; Space (punctuation); Pure mathematics; Computer science","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003730235,0.000925877,0.0018868,0.002807351,0.002510767,0.005441647,0.0020949,0.001219401,0.007255229],"category_scores_gemma":[0.006596287,0.0008927814,0.001795697,0.003881789,0.007617576,0.01244779,0.003347268,0.004772533,0.001184628],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002058212,"about_ca_system_score_gemma":0.001339376,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002265432,"about_ca_topic_score_gemma":0.001692021,"domain_scores_codex":[0.9970023,0.001017416,0.0002520175,0.0005680454,0.0009400881,0.0002200991],"domain_scores_gemma":[0.9946399,0.003094046,0.0003315997,0.0007001306,0.0008406801,0.0003935966],"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.000006570318,0.000006809232,0.00003571142,0.00001499534,0.000005195567,0.00001337476,0.00006406147,0.000397652,0.00006983366,0.9971306,0.0004979541,0.001757328],"study_design_scores_gemma":[0.000003965032,0.00000396366,0.00002451071,0.000005071257,0.000002628882,0.00001504843,0.00001529509,0.001143272,0.00003302425,0.996747,0.002002249,0.000003966708],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06600308,0.01257513,0.7297882,0.009016837,0.001068148,0.0001131913,0.001175898,0.00047011,0.1797895],"genre_scores_gemma":[0.7367992,0.01104672,0.2053857,0.002434624,0.003733621,0.0003505153,0.001848506,0.0003343857,0.03806661],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007255229,"threshold_uncertainty_score":0.02427113,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1248018606366246,"score_gpt":0.3278880560106488,"score_spread":0.2030861953740242,"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."}}