{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003036344,0.0002838146,0.0004519172,0.0007546098,0.0007989248,0.0008380245,0.001241952,0.0008138422,0.002112118],"category_scores_gemma":[0.04237548,0.0002256408,0.0006127739,0.0004794313,0.001293587,0.001908282,0.001414118,0.0008792425,0.0002144092],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007371911,"about_ca_system_score_gemma":0.001531376,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0028339,"about_ca_topic_score_gemma":0.002245723,"domain_scores_codex":[0.9969105,0.0008156336,0.0002162253,0.000735764,0.001001885,0.0003201435],"domain_scores_gemma":[0.9421878,0.0351653,0.005290241,0.010337,0.005653489,0.001366113],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"observational","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.002681831,0.001207834,0.4493588,0.0008777517,0.0005483702,0.004627752,0.004225277,0.1748451,0.1316207,0.140225,0.002759328,0.08702227],"study_design_scores_gemma":[0.00006665361,0.0003931305,0.03530017,0.00004457011,0.00008217227,0.0007719253,0.001131658,0.8875712,0.03371674,0.03984325,0.001047426,0.00003122187],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9180062,0.00001909699,0.07896197,0.0001894161,0.00002081185,0.00008271022,0.0003633392,0.0004879245,0.001868472],"genre_scores_gemma":[0.9867955,0.000008811825,0.01265272,0.00001613353,0.000003712336,0.0000466226,0.0002532704,0.00002324666,0.000199866],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.003036344,"threshold_uncertainty_score":0.01605797,"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."}}