{"id":"W2048438387","doi":"10.1016/s0020-0190(03)00227-8","title":"Proof of correctness of Ressel's adOPTed algorithm","year":2003,"lang":"en","type":"article","venue":"Information Processing Letters","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":29,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Correctness; Algorithm; Computer science","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.002006475,0.001041823,0.0009239304,0.0008396147,0.001183246,0.002718956,0.002390605,0.001952671,0.01171805],"category_scores_gemma":[0.009932272,0.0005481936,0.001126066,0.0009436076,0.002519888,0.002647062,0.00453189,0.002373521,0.004727589],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001192915,"about_ca_system_score_gemma":0.001738005,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001310515,"about_ca_topic_score_gemma":0.0009508477,"domain_scores_codex":[0.99655,0.0006493508,0.0002350239,0.0006339263,0.001284605,0.0006472245],"domain_scores_gemma":[0.9949279,0.001548763,0.0001518249,0.001716223,0.00153929,0.0001160474],"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.0007990136,0.0001519893,0.001415628,0.0005400331,0.0001396786,0.0005870846,0.0006613892,0.01778592,0.02107721,0.8113568,0.02463653,0.1208487],"study_design_scores_gemma":[0.0004465304,0.0002140063,0.001135963,0.0001985776,0.0001848357,0.000689453,0.0002569277,0.08714081,0.06558003,0.7596214,0.08440004,0.0001314414],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05262178,0.0008112454,0.8595985,0.003788711,0.00126006,0.000351343,0.0007918573,0.00582069,0.07495574],"genre_scores_gemma":[0.6492817,0.0009163986,0.315632,0.001954346,0.0003628267,0.000460806,0.0007831468,0.001138722,0.02947004],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01171805,"threshold_uncertainty_score":0.03920084,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.007103674795007354,"score_gpt":0.2133890013111565,"score_spread":0.2062853265161492,"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."}}