{"id":"W2049723463","doi":"10.4018/jssci.2012010105","title":"The Formal Design Models of Digraph Architectures and Behaviors","year":2012,"lang":"en","type":"article","venue":"International Journal of Software Science and Computational Intelligence","topic":"Cognitive Computing and Networks","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"","keywords":"Computer science; Digraph; Theoretical computer science; Tree traversal; Graph; Model checking; Process (computing); Set (abstract data type); Architecture; Programming language; Discrete mathematics","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.001469596,0.0008416726,0.0003740662,0.00129657,0.0009271951,0.002948021,0.001716211,0.001104022,0.004195507],"category_scores_gemma":[0.00337589,0.0007945627,0.001380099,0.00112075,0.002994006,0.003625635,0.001263538,0.002493402,0.001016007],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002080233,"about_ca_system_score_gemma":0.002566305,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004050481,"about_ca_topic_score_gemma":0.004644748,"domain_scores_codex":[0.998547,0.0004130033,0.0001589928,0.0003024471,0.0004709877,0.0001073899],"domain_scores_gemma":[0.9983908,0.0006540678,0.0001870644,0.0003981382,0.000313124,0.00005680997],"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.000006636965,0.0000164447,0.0001228453,0.0001070137,0.00001143703,0.00008570531,0.0001966722,0.0182727,0.001325709,0.9683312,0.0005888971,0.01093475],"study_design_scores_gemma":[0.00003210114,0.00006127449,0.000166182,0.0001507083,0.00005689991,0.0003457982,0.0001492026,0.1478233,0.004288932,0.7635298,0.08335622,0.00003963127],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002995958,0.0003078996,0.9887875,0.0002586119,0.00005063706,0.00009805509,0.0001774314,0.0003480171,0.006976045],"genre_scores_gemma":[0.1415634,0.001966683,0.8417041,0.0004103266,0.000114664,0.00118927,0.0007703425,0.0002529299,0.01202833],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004195507,"threshold_uncertainty_score":0.01509321,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03336609099251815,"score_gpt":0.2999549490497843,"score_spread":0.2665888580572662,"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."}}