{"id":"W4411806180","doi":"10.1007/978-3-031-97100-6_15","title":"Small Balanced Vertex Separators in NFA to Regular Expression Conversion","year":2025,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Queen's University","funders":"","keywords":"Computer science; Vertex (graph theory); Expression (computer science); Parallel computing; Algorithm; Arithmetic; Theoretical computer science; Programming language; Mathematics; Graph","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.0006435494,0.0005306355,0.0008158315,0.0007883782,0.001024443,0.002198269,0.001362571,0.000853813,0.01198531],"category_scores_gemma":[0.002864473,0.0005626831,0.0008572257,0.001116308,0.001452905,0.003811281,0.002326968,0.001935397,0.003057097],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001048225,"about_ca_system_score_gemma":0.0005577022,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006819132,"about_ca_topic_score_gemma":0.001168604,"domain_scores_codex":[0.9992125,0.0001919647,0.00005896292,0.0002207564,0.0002068543,0.0001089099],"domain_scores_gemma":[0.9984536,0.0008158198,0.00005413236,0.0004587934,0.0001526027,0.00006504823],"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.0003283318,0.0001168192,0.000303102,0.0002378506,0.00002913765,0.0002949722,0.000621172,0.0126304,0.01660912,0.8117496,0.004434438,0.1526452],"study_design_scores_gemma":[0.00003677258,0.00003665742,0.0001099276,0.00006318057,0.00003267896,0.0001958768,0.00009278427,0.04071236,0.01469987,0.9214594,0.0225386,0.00002192788],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0926041,0.0007133299,0.824858,0.0004995242,0.000288847,0.0001588502,0.0003744326,0.004059367,0.07644354],"genre_scores_gemma":[0.6909435,0.0005859664,0.24854,0.0003272704,0.0001239854,0.000352002,0.0007883303,0.0021991,0.05613986],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01198531,"threshold_uncertainty_score":0.04009485,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01058504362268691,"score_gpt":0.2266176578072556,"score_spread":0.2160326141845687,"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."}}