{"id":"W2603330110","doi":"10.1007/s00165-017-0426-2","title":"Simulation relations for fault-tolerance","year":2017,"lang":"en","type":"article","venue":"Formal Aspects of Computing","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"Fondo para la Investigación Científica y Tecnológica","keywords":"Liveness; Fault tolerance; Computer science; Software fault tolerance; Theory of computation; Distributed computing; Fault coverage; Fault model; Relation (database); Fault (geology); Reliability engineering; Theoretical computer science; Algorithm; Data mining; Engineering","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.0006832249,0.00009963573,0.0001578255,0.00007230281,0.000852858,0.0001675266,0.001050225,0.00005761013,0.000002080112],"category_scores_gemma":[0.0007985152,0.0001024502,0.00008123711,0.0000870937,0.00005908133,0.001924938,0.0002621223,0.00009325559,0.00001127273],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003161135,"about_ca_system_score_gemma":0.00004281075,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000008978392,"about_ca_topic_score_gemma":0.000001823115,"domain_scores_codex":[0.9989592,0.00002595341,0.0003465476,0.000215867,0.000195283,0.0002571072],"domain_scores_gemma":[0.9980738,0.0002640045,0.0005974659,0.0007757536,0.0002460822,0.00004286338],"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.000006964069,0.0000193928,0.0002295215,0.0000262015,0.000006140987,2.661663e-7,0.0004533065,0.342248,0.000194376,0.6104797,0.00001094636,0.04632522],"study_design_scores_gemma":[0.0003082851,0.00007184223,0.02138744,0.00004336551,0.000003971601,0.00000147988,0.00001060654,0.9557745,0.004459549,0.01728626,0.0005405072,0.0001121774],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06653894,0.00001695098,0.92294,0.0001180709,0.0005491838,0.0002603243,0.000002154834,0.0001026774,0.009471688],"genre_scores_gemma":[0.5613555,2.770122e-7,0.4385126,0.00001492854,0.00008257635,0.000002682714,0.000001355197,0.000004541141,0.00002556062],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6135265,"threshold_uncertainty_score":0.6559581,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04085635996822392,"score_gpt":0.345178802840271,"score_spread":0.3043224428720471,"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."}}