{"id":"W1865269592","doi":"10.1007/3-540-36108-1_7","title":"Transformations of Self-Stabilizing Algorithms","year":2002,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Correctness; Transformation (genetics); Self-stabilization; Bounded function; Algorithm; Class (philosophy); Security token; Theoretical computer science; Parallel computing; Distributed algorithm; Distributed computing; Mathematics; Artificial intelligence","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.0002620871,0.0004397073,0.000334755,0.0005889861,0.0004471937,0.0008645086,0.0005458507,0.0003652484,0.009100685],"category_scores_gemma":[0.001281154,0.0002399175,0.0004461911,0.0004852833,0.0007029143,0.001081628,0.0009698234,0.001102419,0.001786286],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00034595,"about_ca_system_score_gemma":0.0002924953,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002986917,"about_ca_topic_score_gemma":0.0002712715,"domain_scores_codex":[0.999685,0.00007819798,0.00001681133,0.00005313556,0.0001310043,0.00003588806],"domain_scores_gemma":[0.9995767,0.0001414771,0.00003717284,0.0001304548,0.00008439254,0.00002980505],"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.000095644,0.00007781114,0.0001469974,0.00006523586,0.00001593217,0.00006346637,0.000191529,0.03583553,0.01141386,0.7966307,0.004503037,0.1509603],"study_design_scores_gemma":[0.0000479564,0.0001072809,0.0001693669,0.00001743817,0.00001254049,0.0001298218,0.00004978081,0.184683,0.01166987,0.7862762,0.01682322,0.00001359853],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0476123,0.0003888179,0.8658457,0.000256318,0.0002756185,0.0001129545,0.0001176196,0.001773775,0.08361682],"genre_scores_gemma":[0.8024027,0.000669482,0.1343316,0.000215406,0.0002041437,0.0002262342,0.0003480552,0.0008263342,0.06077607],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.009100685,"threshold_uncertainty_score":0.0304448,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01652290573575462,"score_gpt":0.2330358590088682,"score_spread":0.2165129532731135,"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."}}