{"id":"W2148194787","doi":"10.1109/cmpsac.1992.217571","title":"Fault-tolerant concurrent branch and bound algorithms derived from program verification","year":2003,"lang":"en","type":"article","venue":"","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"Western University","funders":"","keywords":"Executable; Computer science; Fault tolerance; Programming language; Redundancy (engineering); Algorithm; Theoretical computer science; Distributed computing; Operating system","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.0001679487,0.0001637259,0.0002057866,0.00002850418,0.0001457818,0.0004503308,0.0003128287,0.00007349844,0.00002450929],"category_scores_gemma":[0.00001938501,0.0001397471,0.00004212126,0.000216434,0.00006128572,0.0003624114,0.00004310065,0.00009757868,0.00004572858],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002723186,"about_ca_system_score_gemma":0.00005288949,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001569739,"about_ca_topic_score_gemma":0.00001840165,"domain_scores_codex":[0.9986219,0.00008049979,0.0002856079,0.0005043304,0.0002360741,0.0002716283],"domain_scores_gemma":[0.9992009,0.00003891601,0.00009038587,0.0004324567,0.0001000684,0.0001372729],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000004436282,0.0003840567,0.001535472,0.00003090092,0.00005588487,0.00001391431,0.001139429,0.00004149778,0.004894688,0.0637834,0.001495269,0.9266211],"study_design_scores_gemma":[0.00364504,0.0003252665,0.06006643,0.0001422582,0.00002738875,0.00007353903,0.0002292516,0.4406537,0.01601473,0.003610835,0.473967,0.001244509],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1631613,0.001277343,0.8313874,0.0002362384,0.0007998488,0.0004958628,0.00002507482,0.0002996686,0.002317229],"genre_scores_gemma":[0.9791167,0.00003458279,0.02040599,0.0001161071,0.00004356021,0.00008056146,0.00002772583,0.000007295608,0.0001674677],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9253765,"threshold_uncertainty_score":0.5698722,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01881347954032093,"score_gpt":0.2653363795129541,"score_spread":0.2465228999726332,"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."}}