{"id":"W4247296931","doi":"10.22215/etd/2005-08071","title":"A linear algebra approach to synchronizing automata","year":2005,"lang":"en","type":"dissertation","venue":"","topic":"DNA and Biological Computing","field":"Biochemistry, Genetics and Molecular Biology","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Canadian Heritage; Library and Archives Canada; Carleton University; ASTER","funders":"","keywords":"Synchronizing; Algebra over a field; Mathematics; Computer science; Pure mathematics; Combinatorics","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.002066162,0.0007986492,0.0007092381,0.001423202,0.001296789,0.003380238,0.002083607,0.001026521,0.0159247],"category_scores_gemma":[0.004767433,0.0008026241,0.00225621,0.001895804,0.003393173,0.006133332,0.002825833,0.004060518,0.003709388],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00203245,"about_ca_system_score_gemma":0.001514022,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002746599,"about_ca_topic_score_gemma":0.002840151,"domain_scores_codex":[0.9976128,0.0007380659,0.0002587566,0.0005436891,0.0005994175,0.0002472468],"domain_scores_gemma":[0.9965358,0.00218809,0.0001690071,0.0005162,0.00044674,0.0001441307],"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.00002222527,0.00002880867,0.00006751169,0.00004607029,0.00001054393,0.00004939643,0.0002093012,0.008941966,0.0007682234,0.9733449,0.001290652,0.01522044],"study_design_scores_gemma":[0.00001567898,0.00002903783,0.0000250044,0.00002019239,0.00001382272,0.000041952,0.00004285268,0.04026865,0.0009880789,0.9494238,0.009116431,0.00001446099],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003425834,0.0004345722,0.9755294,0.0005946314,0.0001485333,0.00005134201,0.0001187221,0.000752805,0.01894415],"genre_scores_gemma":[0.3690989,0.002101869,0.5723142,0.001043808,0.001264311,0.0006134997,0.0008978705,0.0007445645,0.05192105],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0159247,"threshold_uncertainty_score":0.05327338,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01476054034346325,"score_gpt":0.2728725694782799,"score_spread":0.2581120291348166,"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."}}