{"id":"W2810888652","doi":"10.1007/s11083-018-9462-7","title":"A Syntactic Approach to the MacNeille Completion of Λ∗, the Free Monoid Over an Ordered Alphabet Λ","year":2018,"lang":"en","type":"article","venue":"Order","topic":"semigroups and automata theory","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Calgary","funders":"","keywords":"Mathematics; Combinatorics; Closure (psychology); Monoid; Alphabet; Partially ordered set; Divisibility rule; Lattice (music); Discrete mathematics; Linguistics","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.002732116,0.0008722761,0.0008151756,0.002788178,0.003353514,0.005471599,0.00264939,0.002113544,0.008149809],"category_scores_gemma":[0.004112065,0.0008265415,0.001660329,0.001936611,0.009927276,0.01118272,0.003133418,0.004694367,0.001384863],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003299975,"about_ca_system_score_gemma":0.00307305,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003500768,"about_ca_topic_score_gemma":0.003650131,"domain_scores_codex":[0.9980628,0.0008309248,0.0001326176,0.0003239835,0.0004742413,0.0001753774],"domain_scores_gemma":[0.9981054,0.0008792469,0.0001207097,0.000258914,0.0004419974,0.0001935747],"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.000002515708,0.000004411552,0.00001433863,0.000008767029,9.671386e-7,0.00002091983,0.0001762612,0.00009587012,0.0001341677,0.9985702,0.0003213378,0.0006502342],"study_design_scores_gemma":[0.000005532841,0.000008802856,0.00003991084,0.00001270601,0.000003733247,0.00006184177,0.00008827887,0.00153193,0.0003318952,0.9878633,0.01004162,0.00001037449],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02590846,0.002889754,0.8298744,0.007409731,0.001100213,0.00009315127,0.0004075002,0.000570185,0.1317466],"genre_scores_gemma":[0.6704154,0.001951029,0.2684292,0.00307275,0.002208784,0.0002668443,0.000632109,0.0005768084,0.05244713],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008149809,"threshold_uncertainty_score":0.02726382,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01448663258522862,"score_gpt":0.2363788144778925,"score_spread":0.2218921818926639,"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."}}