{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0004441705,0.0003560382,0.0004097998,0.0002594058,0.0001406199,0.0003459419,0.001677839,0.0002006379,0.0002614008],"category_scores_gemma":[0.00004852624,0.0003233919,0.0001275232,0.0007724602,0.00006857971,0.001743297,0.0006018654,0.0003705332,0.001797783],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001125237,"about_ca_system_score_gemma":0.0000495081,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009509575,"about_ca_topic_score_gemma":0.0001143749,"domain_scores_codex":[0.9971718,0.0001033988,0.0004896631,0.0007466187,0.0003885649,0.001099915],"domain_scores_gemma":[0.9982575,0.000185556,0.0001131404,0.00116269,0.00005157938,0.0002295947],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00003653441,0.001082016,0.07930216,0.0001725506,0.0001294037,0.0002913893,0.006670984,0.001681443,0.0650785,0.351768,0.2284174,0.2653696],"study_design_scores_gemma":[0.003812067,0.0006335481,0.04728734,0.0003863824,0.00002284969,0.0004486963,0.005427777,0.6533849,0.02438439,0.1809874,0.07988074,0.003343902],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8419184,0.001902854,0.1198239,0.006187261,0.001175245,0.001143021,0.00001492862,0.001371839,0.02646259],"genre_scores_gemma":[0.9839689,0.00005580333,0.01055119,0.002000464,0.00008164458,0.0001416206,0.00001665385,0.00003709172,0.003146659],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.6517035,"threshold_uncertainty_score":0.9999218,"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."}}