{"id":"W1583435469","doi":"10.1109/mwscas.1994.519225","title":"On concurrent error detection of finite state machine systems","year":2002,"lang":"en","type":"article","venue":"","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Victoria","funders":"","keywords":"Finite-state machine; Computer science; Key (lock); Sequence (biology); State (computer science); Bounded function; Algorithm; Error detection and correction; Fault detection and isolation; Signature (topology); Mathematics; Artificial intelligence","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.00594905,0.001136701,0.001271495,0.001917014,0.0007603108,0.00265695,0.002340383,0.001362204,0.001440397],"category_scores_gemma":[0.0349736,0.000605481,0.0006866326,0.001963145,0.003095068,0.005285664,0.003015861,0.002701028,0.0003210045],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001194449,"about_ca_system_score_gemma":0.00127356,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001955792,"about_ca_topic_score_gemma":0.0009314864,"domain_scores_codex":[0.989566,0.002804028,0.0006984474,0.001329939,0.004942974,0.0006586233],"domain_scores_gemma":[0.9663933,0.02215099,0.002167275,0.004601397,0.004329548,0.0003574273],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.001182035,0.0002511629,0.00447974,0.0007052303,0.0001896096,0.001328944,0.001537128,0.2959547,0.02065908,0.3347011,0.002203582,0.3368076],"study_design_scores_gemma":[0.00008673384,0.0001758838,0.0002729307,0.0001006105,0.00005116306,0.0003744728,0.00006016558,0.8294613,0.01409718,0.1503373,0.004934088,0.00004816369],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01827972,0.0009774854,0.9772195,0.0003056615,0.0001673201,0.0001043064,0.00002893303,0.0007825397,0.002134448],"genre_scores_gemma":[0.7426336,0.001489966,0.2514548,0.0003166553,0.000533998,0.0002894737,0.0001409384,0.0001818657,0.002958748],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.00594905,"threshold_uncertainty_score":0.03146195,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02326949391678227,"score_gpt":0.2334544530415316,"score_spread":0.2101849591247493,"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."}}