{"id":"W1991072415","doi":"10.1007/s00446-010-0106-4","title":"Adaptive progress: a gracefully-degrading liveness property","year":2010,"lang":"en","type":"article","venue":"Distributed Computing","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Liveness; Computer science; Abstraction; Implementation; Property (philosophy); Object (grammar); Process (computing); Distributed computing; Bridge (graph theory); Key (lock); Simple (philosophy); Theoretical computer science; Programming language; Computer security; 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.002661086,0.0009607295,0.001044904,0.001082151,0.001533491,0.002716653,0.002139334,0.001547572,0.003461245],"category_scores_gemma":[0.02499704,0.0005245051,0.0006659254,0.001099329,0.003692062,0.006537035,0.003863999,0.004168014,0.0008538382],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008841741,"about_ca_system_score_gemma":0.001326073,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006965701,"about_ca_topic_score_gemma":0.0004319408,"domain_scores_codex":[0.9976149,0.00036204,0.0001705807,0.0005375867,0.0008623173,0.0004526662],"domain_scores_gemma":[0.9717452,0.01109139,0.00267592,0.009693335,0.003300116,0.001494094],"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.0009281849,0.0001638073,0.002352667,0.0002466607,0.00006386367,0.0008614014,0.00141702,0.09139583,0.03809454,0.7776862,0.004306394,0.0824834],"study_design_scores_gemma":[0.0001435301,0.0002701298,0.0005316446,0.0000356711,0.00008272955,0.0007413619,0.0002122776,0.3228215,0.02344006,0.644392,0.007273757,0.0000553737],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1395365,0.0005146182,0.8357943,0.001498281,0.0001991814,0.000114907,0.0002378818,0.002810131,0.0192941],"genre_scores_gemma":[0.941618,0.0003393511,0.04787702,0.0002342579,0.0001917629,0.0001705791,0.0001435222,0.0004622163,0.008963392],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003461245,"threshold_uncertainty_score":0.01407331,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01410738757689333,"score_gpt":0.2432289528170855,"score_spread":0.2291215652401921,"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."}}