{"id":"W3176673269","doi":"10.1109/educon46332.2021.9453906","title":"Basic Distributed Algorithms Visual Simulations for Distributed Systems Students","year":2021,"lang":"en","type":"article","venue":"","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"","keywords":"Computer science; Correctness; Visualization; Suite; Mathematical proof; Distributed algorithm; Synchronization (alternating current); Leader election; Distributed computing; Algorithm; Theoretical computer science; Artificial intelligence; Mathematics; Computer network","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.0004918599,0.00110421,0.0005829828,0.0007364479,0.0004761431,0.002094654,0.001368367,0.001044056,0.1364892],"category_scores_gemma":[0.003304218,0.000431934,0.0008269756,0.0005871883,0.0005237283,0.001775134,0.001464703,0.002234235,0.02838829],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000655284,"about_ca_system_score_gemma":0.00083143,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001141701,"about_ca_topic_score_gemma":0.001378107,"domain_scores_codex":[0.9996811,0.00007055515,0.00001849047,0.00004180529,0.000137087,0.00005099549],"domain_scores_gemma":[0.9990243,0.0003810148,0.00003841647,0.0001657128,0.0002566495,0.0001338873],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0004238957,0.0003296738,0.001622967,0.0008599022,0.00005418887,0.0004198113,0.001096158,0.09246577,0.03359759,0.3495665,0.2402832,0.2792803],"study_design_scores_gemma":[0.000172571,0.0001223625,0.0006310358,0.0002215106,0.00001457704,0.0002552258,0.0001505659,0.175166,0.01514707,0.1291601,0.678909,0.00004996764],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.007971564,0.0004763567,0.8104056,0.002057689,0.000424826,0.0003307714,0.002832946,0.02708183,0.1484184],"genre_scores_gemma":[0.1496594,0.002417185,0.6577407,0.00118468,0.0003425191,0.001475699,0.006148255,0.01096419,0.1700675],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.1364892,"threshold_uncertainty_score":0.4566017,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02135824132586801,"score_gpt":0.3138346041481219,"score_spread":0.2924763628222539,"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."}}