{"id":"W2179921374","doi":"10.1007/978-3-642-39310-5_11","title":"Nondeterministic State Complexity of Proportional Removals","year":2013,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"Queen's University; University of Waterloo","funders":"","keywords":"Nondeterministic algorithm; State (computer science); Computer science; Mathematics; Theoretical computer science; Algorithm","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.002471296,0.0006230067,0.001392224,0.001019206,0.001593204,0.005009716,0.003008897,0.001599495,0.01190502],"category_scores_gemma":[0.01972157,0.0008553426,0.00178321,0.001496586,0.003125067,0.009608182,0.002957738,0.004811106,0.001079553],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002697402,"about_ca_system_score_gemma":0.00206594,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001717915,"about_ca_topic_score_gemma":0.001769158,"domain_scores_codex":[0.9955471,0.001093848,0.0002841767,0.0006730935,0.001696673,0.0007051185],"domain_scores_gemma":[0.9759532,0.01828305,0.0007209803,0.003382422,0.00110735,0.0005529454],"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.0002641137,0.00009290328,0.0005164082,0.000134191,0.00002897443,0.00009305569,0.0003465812,0.05083657,0.002835363,0.918522,0.002407203,0.02392266],"study_design_scores_gemma":[0.00002694775,0.00001590797,0.0002316645,0.000009489378,0.00001793027,0.0000437947,0.00003774288,0.1087902,0.001529554,0.8882331,0.001044033,0.00001954429],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.4706002,0.001078568,0.4275082,0.00371829,0.000300553,0.000157074,0.0009603131,0.001227653,0.0944492],"genre_scores_gemma":[0.958557,0.0003860778,0.0251419,0.0001558324,0.0001920218,0.0001468185,0.0004826529,0.0003446047,0.0145932],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01190502,"threshold_uncertainty_score":0.03982621,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03045753528591133,"score_gpt":0.2554873944368357,"score_spread":0.2250298591509243,"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."}}