{"id":"W1983791345","doi":"10.1007/s00446-011-0139-3","title":"Symbolic synthesis of masking fault-tolerant distributed programs","year":2011,"lang":"en","type":"article","venue":"Distributed Computing","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":25,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Masking (illustration); Computer science; Fault tolerance; Programming language; Backward masking; Parallel computing; Distributed computing; Psychology; Art; Neuroscience","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.000736644,0.0004892829,0.0008552115,0.0001566203,0.0003306834,0.0002199016,0.002272764,0.0002165504,0.00001695319],"category_scores_gemma":[0.0001641668,0.0004688042,0.0003337012,0.001720999,0.0001581281,0.000432101,0.0004618856,0.0003374206,0.00003930076],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000112807,"about_ca_system_score_gemma":0.0001141155,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002444548,"about_ca_topic_score_gemma":0.000005224475,"domain_scores_codex":[0.9959791,0.0002132392,0.001231177,0.0008983104,0.0006444846,0.001033733],"domain_scores_gemma":[0.9969604,0.0002015558,0.0007483368,0.00134078,0.0004576942,0.0002912301],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001595013,0.003770065,0.06956404,0.001092402,0.001086186,0.0006542484,0.008265054,0.007334785,0.003393397,0.2656724,0.002236908,0.636771],"study_design_scores_gemma":[0.001827891,0.0003648172,0.06173458,0.001946622,0.0001467996,0.0002561292,0.001144751,0.8889293,0.03162241,0.0024261,0.007407499,0.002193079],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06735592,0.0002115263,0.9286537,0.00007428402,0.0005251018,0.0004319889,0.0004135513,0.0006906213,0.001643363],"genre_scores_gemma":[0.986017,0.000005380557,0.01351075,0.00003351882,0.00009046745,0.00003770818,0.0002674537,0.00003058739,0.0000071224],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9186611,"threshold_uncertainty_score":0.9997764,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02757546772497525,"score_gpt":0.2330057222646325,"score_spread":0.2054302545396572,"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."}}