{"id":"W2765755209","doi":"10.1016/j.ifacol.2017.08.368","title":"A Formally-Verified Safety System for Closed-Loop Anesthesia","year":2017,"lang":"en","type":"article","venue":"IFAC-PapersOnLine","topic":"Anesthesia and Sedative Agents","field":"Medicine","cited_by":13,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Closed loop; Loop (graph theory); Computer science; Anesthesia; Medicine; Control engineering; Engineering; Mathematics","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.004130254,0.001058965,0.0008791056,0.0009682794,0.0009822691,0.003179387,0.001892606,0.001811063,0.004389468],"category_scores_gemma":[0.0137203,0.0007066001,0.002551689,0.0004221667,0.003071634,0.002523466,0.002603214,0.003206157,0.001262337],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00178759,"about_ca_system_score_gemma":0.006384992,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005178222,"about_ca_topic_score_gemma":0.002291994,"domain_scores_codex":[0.9937039,0.00139377,0.0008169328,0.001129708,0.002362521,0.0005932018],"domain_scores_gemma":[0.990597,0.005179184,0.0008526478,0.001160458,0.001987229,0.0002235956],"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.000380784,0.0003278656,0.00117953,0.0009032385,0.0001827051,0.001543464,0.001242658,0.2716632,0.02906031,0.6298708,0.003633557,0.06001191],"study_design_scores_gemma":[0.0004793835,0.0005219131,0.0004523877,0.0003346563,0.0001777623,0.0005696042,0.0001215128,0.6837144,0.02882907,0.2526619,0.03198129,0.0001559909],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.004157654,0.00008112058,0.99136,0.0002097342,0.00008072822,0.0001959021,0.0002025665,0.001375378,0.002336842],"genre_scores_gemma":[0.3254154,0.0003797784,0.6667071,0.0004831433,0.0001596686,0.001177864,0.001254457,0.0002800613,0.004142551],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005178222,"threshold_uncertainty_score":0.02184314,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03432801753742951,"score_gpt":0.3061040017778057,"score_spread":0.2717759842403762,"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."}}