{"id":"W2772933217","doi":"10.4230/lipics.disc.2017.12","title":"On the Number of Objects with Distinct Power and the Linearizability of Set Agreement Objects","year":2017,"lang":"en","type":"article","venue":"DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Linearizability; Computer science; Set (abstract data type); Algorithm; Programming language","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.009086299,0.001134745,0.002793569,0.002811305,0.004817667,0.01319931,0.004900673,0.002897718,0.009115566],"category_scores_gemma":[0.05632801,0.001918968,0.003922885,0.003127076,0.01898445,0.0393972,0.01386882,0.007563871,0.00127708],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00380906,"about_ca_system_score_gemma":0.002766668,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001461714,"about_ca_topic_score_gemma":0.0007216924,"domain_scores_codex":[0.9821013,0.004162144,0.002238219,0.004655009,0.00389866,0.002944702],"domain_scores_gemma":[0.8472782,0.1182817,0.009536893,0.0161186,0.004724266,0.004060401],"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.0004556206,0.0001446249,0.003836752,0.0003286854,0.00006232235,0.000397441,0.00188667,0.01254019,0.003260557,0.9653873,0.0008113954,0.01088833],"study_design_scores_gemma":[0.0001097192,0.0001046467,0.0005924863,0.00009855066,0.0001148503,0.0004742495,0.0004709085,0.03857527,0.006386013,0.949524,0.003470871,0.00007823348],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3913379,0.0008701417,0.5706154,0.003570779,0.0001219518,0.0003998581,0.0008083967,0.001114671,0.03116093],"genre_scores_gemma":[0.9031582,0.0005036935,0.08447947,0.0004783101,0.0002555708,0.0009346447,0.000662902,0.0003281099,0.009199057],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01319931,"threshold_uncertainty_score":0.0480535,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01407042324576559,"score_gpt":0.2588253246099194,"score_spread":0.2447549013641538,"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."}}