{"id":"W2150919766","doi":"10.1109/acsd.2007.32","title":"Structural Conditions for Model-checking of Parameterized Networks","year":2007,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Parameterized complexity; Bounded function; Equivalence (formal languages); Mathematics; TRACE (psycholinguistics); Piecewise; Equivalence relation; Ring (chemistry); Observable; Discrete mathematics; Pure mathematics; Combinatorics; Mathematical analysis; Physics","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.007217431,0.001517666,0.001845665,0.003353109,0.001727465,0.002922342,0.003043649,0.002482449,0.007111012],"category_scores_gemma":[0.04734572,0.001740108,0.003094875,0.001675947,0.005394884,0.009091036,0.005135768,0.005629438,0.001019017],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002938143,"about_ca_system_score_gemma":0.003710565,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001741496,"about_ca_topic_score_gemma":0.00264258,"domain_scores_codex":[0.9900638,0.002081268,0.001114045,0.00223394,0.003021309,0.001485547],"domain_scores_gemma":[0.9359322,0.04501837,0.0057398,0.005581249,0.005768838,0.001959475],"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.00111869,0.0005302475,0.007399682,0.0008317635,0.0002175811,0.001126291,0.001161662,0.1186891,0.03063812,0.808902,0.003641979,0.02574291],"study_design_scores_gemma":[0.0003132928,0.0001982181,0.001037095,0.0001557724,0.0001607665,0.0002557074,0.0002184216,0.4019187,0.03159322,0.5610901,0.002982105,0.00007676742],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1335331,0.0002467983,0.8520238,0.001138561,0.0001064667,0.000565652,0.001545646,0.003169928,0.007669989],"genre_scores_gemma":[0.8376384,0.0001923171,0.1556355,0.0002842315,0.0001515145,0.001224476,0.002928468,0.0003862107,0.001558945],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007217431,"threshold_uncertainty_score":0.03816992,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06522568128119582,"score_gpt":0.3587962826626049,"score_spread":0.2935706013814091,"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."}}