{"id":"W2120152386","doi":"10.1007/pl00008920","title":"On the power of shared object types to implement one-resilient Consensus","year":2000,"lang":"en","type":"article","venue":"Distributed Computing","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Nondeterministic algorithm; Object (grammar); Computer science; Asynchronous communication; Set (abstract data type); Process (computing); Power (physics); Consensus; Theoretical computer science; Discrete mathematics; Combinatorics; Mathematics; Programming language; Artificial intelligence; Computer network; Multi-agent system; Physics","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005124231,0.0002072896,0.0003001149,0.00005274287,0.0002396807,0.0001621339,0.001081455,0.00005207268,0.0002273354],"category_scores_gemma":[0.00009619706,0.00015855,0.0001170569,0.0007359281,0.00003325494,0.00004352099,0.0001552124,0.0001555573,0.0001724154],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007561926,"about_ca_system_score_gemma":0.00006661278,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007816831,"about_ca_topic_score_gemma":0.00000483433,"domain_scores_codex":[0.9979005,0.0001363142,0.0005405734,0.0004670518,0.0004732165,0.0004823259],"domain_scores_gemma":[0.9982887,0.0003543404,0.000160921,0.0008919312,0.0001733696,0.0001307432],"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.0002752447,0.001402488,0.001842754,0.0001111832,0.0005165552,0.000109253,0.006142688,0.1192331,0.004817611,0.5710436,0.1654404,0.1290651],"study_design_scores_gemma":[0.00570998,0.003184978,0.1315539,0.002607422,0.0001063875,0.0001223188,0.001656477,0.6194769,0.03047716,0.00745294,0.1940021,0.003649366],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.745676,0.0001151733,0.2443618,0.003429217,0.000369111,0.0007498232,0.0008343709,0.000235748,0.004228698],"genre_scores_gemma":[0.9978073,8.640448e-7,0.001534705,0.0005126279,0.00003418979,0.00001022943,0.00004955284,0.000009352946,0.00004114013],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.5635906,"threshold_uncertainty_score":0.6465482,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0179501018062648,"score_gpt":0.2607236978607834,"score_spread":0.2427735960545186,"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."}}