{"id":"W2013653818","doi":"10.1007/s00233-013-9542-3","title":"Semigroups embeddable in hyperplane face monoids","year":2013,"lang":"en","type":"article","venue":"Semigroup Forum","topic":"semigroups and automata theory","field":"Computer Science","cited_by":17,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université du Québec à Montréal","funders":"","keywords":"Mathematics; Hyperplane; Monoid; Semigroup; Decidability; Bicyclic semigroup; Free monoid; Cancellative semigroup; Combinatorics; Discrete mathematics; Pure mathematics","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.000615181,0.0004518272,0.0006117363,0.001337266,0.001565622,0.002541197,0.000712332,0.0006905437,0.01403802],"category_scores_gemma":[0.001695779,0.0005545985,0.0005701877,0.0007684775,0.00128888,0.004960447,0.002197966,0.001313264,0.002263482],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006439274,"about_ca_system_score_gemma":0.0002638127,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004892857,"about_ca_topic_score_gemma":0.0005903621,"domain_scores_codex":[0.9994497,0.00009219785,0.00004104511,0.0001329154,0.000128907,0.0001552217],"domain_scores_gemma":[0.9987547,0.0005029552,0.0001484641,0.0001863909,0.0001437808,0.0002636673],"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.000286359,0.00009938335,0.0005666409,0.00006371803,0.0000107128,0.0006498665,0.001597714,0.001266129,0.01108673,0.9675212,0.001609478,0.01524207],"study_design_scores_gemma":[0.00009407991,0.0001222971,0.0008619935,0.00003178864,0.00002883383,0.0005568119,0.001029584,0.008344523,0.008616216,0.9667372,0.01353073,0.0000457839],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6826631,0.0007006894,0.2573881,0.0005177312,0.0003688182,0.0001020048,0.0006155779,0.001351684,0.05629234],"genre_scores_gemma":[0.9364496,0.0002860585,0.02395046,0.0001017409,0.0001660618,0.00008555711,0.000495007,0.0001568027,0.03830861],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01403802,"threshold_uncertainty_score":0.0469619,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.004423136839529797,"score_gpt":0.1963299639480003,"score_spread":0.1919068271084705,"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."}}