{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001977771,0.00009691544,0.000110356,0.0002490153,0.0002887778,0.000217189,0.001074276,0.00002339697,9.716111e-7],"category_scores_gemma":[0.0003382689,0.00006641071,0.00004820495,0.0003482831,0.000703194,0.001016547,0.000355749,0.0001627174,5.279293e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002832808,"about_ca_system_score_gemma":0.0002104263,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000006720764,"about_ca_topic_score_gemma":7.823948e-7,"domain_scores_codex":[0.998167,0.00005093637,0.0003889339,0.000141065,0.001012499,0.0002395916],"domain_scores_gemma":[0.9965875,0.001120169,0.0003197289,0.0000832289,0.001751951,0.0001374331],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00004049267,0.00006544591,0.0036797,0.000003131998,0.00003437084,0.000004760725,0.001845338,0.1049361,0.00005169286,0.05667981,0.00004185967,0.8326173],"study_design_scores_gemma":[0.0002585339,0.0004029038,0.04682367,0.0002116577,0.0000219745,0.001375621,0.0003774393,0.616892,0.003217155,0.3299412,0.0001814857,0.0002964528],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0886073,0.00131704,0.9091454,0.0002815533,0.0005513465,0.00005069554,0.000001410615,0.00001063763,0.00003468112],"genre_scores_gemma":[0.914292,0.0001440761,0.08533455,0.0001329428,0.00008838034,0.00000124881,1.890801e-7,0.000002679362,0.000003866436],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8323208,"threshold_uncertainty_score":0.270815,"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."}}