{"id":"W2003815520","doi":"10.1016/j.tcs.2010.11.021","title":"On the size of inverse semigroups given by generators","year":2010,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université de Sherbrooke","funders":"","keywords":"Injective function; Mathematics; Semigroup; Permutation (music); Discrete mathematics; Generator (circuit theory); Regular semigroup; Inverse; Property (philosophy); Domain (mathematical analysis); Combinatorics; Cancellative semigroup; Set (abstract data type); Pure mathematics; Special classes of semigroups; Mathematical analysis; Computer science; Geometry","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.004571904,0.0007986706,0.001785398,0.001711672,0.001040076,0.005079273,0.00200808,0.002092206,0.008863058],"category_scores_gemma":[0.037358,0.001061417,0.001027446,0.001127836,0.004503886,0.0136912,0.002905782,0.002998302,0.0005891639],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001450464,"about_ca_system_score_gemma":0.0009007431,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004768671,"about_ca_topic_score_gemma":0.0004683979,"domain_scores_codex":[0.9966148,0.001402286,0.0002061218,0.0005715756,0.0008636812,0.0003415719],"domain_scores_gemma":[0.864823,0.1235981,0.003180401,0.004065011,0.002011914,0.002321649],"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.0007991075,0.00008820526,0.002416524,0.0001677257,0.00004000257,0.0001415682,0.0008342307,0.01306003,0.005712516,0.9628535,0.002286478,0.01160019],"study_design_scores_gemma":[0.00009288514,0.00008775774,0.000917095,0.00003462315,0.00003220477,0.0001841002,0.0001470365,0.04127102,0.00280029,0.9532112,0.001187398,0.00003438311],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7389752,0.001944138,0.2056803,0.007656435,0.0003543213,0.00008430608,0.001076443,0.0007871568,0.04344178],"genre_scores_gemma":[0.9774778,0.0004933245,0.01559489,0.0003270808,0.0004960976,0.0001492737,0.0004803379,0.0002758063,0.004705349],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.008863058,"threshold_uncertainty_score":0.02964991,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.004691432277483324,"score_gpt":0.2070905173651456,"score_spread":0.2023990850876622,"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."}}