{"id":"W2026619283","doi":"10.1007/s13278-014-0242-0","title":"Verification of lack of emergent behavior in extending a social network of agents","year":2015,"lang":"en","type":"article","venue":"Social Network Analysis and Mining","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":27,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Calgary","funders":"Natural Sciences and Engineering Research Council of Canada; Alberta Innovates","keywords":"Computer science; Scalability; Deadlock; Notation; System requirements specification; Requirements analysis; Software engineering; System requirements; Simplicity; Software; Systems engineering; Distributed computing; Programming language; Database; Engineering","routes":{"ca_aff":true,"ca_fund":true,"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.001040119,0.00008733734,0.0004477295,0.0001041134,0.00005657128,0.000006944141,0.000202794,0.00006948622,0.000001765454],"category_scores_gemma":[0.0001208836,0.00009371973,0.0001251384,0.001585411,0.00006096155,0.00009328019,0.0001238392,0.00006442186,7.197502e-8],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002939196,"about_ca_system_score_gemma":0.00002806183,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003222599,"about_ca_topic_score_gemma":0.00002509096,"domain_scores_codex":[0.9988524,0.0001548803,0.0004229688,0.0001827608,0.0001922033,0.0001948178],"domain_scores_gemma":[0.99925,0.0001328913,0.0003613961,0.000122247,0.0001021826,0.0000312808],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"observational","study_design_scores_codex":[0.00004029158,0.00009871891,0.2614171,0.00005069523,0.0004756675,0.000004065936,0.01683224,0.6069492,0.0004552023,0.008611741,0.00035816,0.1047069],"study_design_scores_gemma":[0.0007400888,0.0001478052,0.9364031,0.00007205273,0.00079935,5.434937e-7,0.001993101,0.05141501,0.0003278139,0.007541569,0.0001495379,0.0004100331],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4095753,0.0003241363,0.5898852,0.00001434359,0.0001180928,0.00004303666,0.000001062564,0.00001481537,0.00002408569],"genre_scores_gemma":[0.8242881,0.00003958031,0.1755307,0.0000045347,0.0001142439,0.00000646871,0.000003743942,0.000004709327,0.000008001188],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.674986,"threshold_uncertainty_score":0.3821779,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1448936097752953,"score_gpt":0.3776003162795531,"score_spread":0.2327067065042579,"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."}}