{"id":"W1503117290","doi":"10.1109/ictma.1988.669593","title":"Towards Ultra Reliable Medical Systems","year":2005,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"Hamilton Health Sciences","funders":"","keywords":"Computer science","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.001042202,0.00006424579,0.00008735245,0.00004265059,0.0000495191,0.00009496212,0.0008950806,0.00007942309,0.0001330584],"category_scores_gemma":[0.0001800875,0.00005061497,0.00002438749,0.0002190069,0.00002605627,0.0005264348,0.00006735807,0.0001040258,0.0005293649],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004809902,"about_ca_system_score_gemma":0.00008961699,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007679351,"about_ca_topic_score_gemma":0.000002138759,"domain_scores_codex":[0.9988487,0.0000524716,0.0002054148,0.0002027858,0.0005056576,0.0001850047],"domain_scores_gemma":[0.9992645,0.00002903074,0.0000384313,0.0004902018,0.000052945,0.0001248428],"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":[8.460421e-7,0.00002630154,0.00003834175,0.000008745179,0.000003054048,0.000001751225,0.0001064127,0.0002074408,0.0001558055,0.8985169,0.007093144,0.09384125],"study_design_scores_gemma":[0.0001402655,0.00003449883,0.0003452557,0.00001828589,0.000001287656,0.00006603522,0.00001838409,0.7292318,0.009997043,0.0005176544,0.2594977,0.000131742],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0005266301,0.00009803897,0.8507992,0.001650262,0.0006295437,0.00006655735,1.520617e-7,0.0002737382,0.1459558],"genre_scores_gemma":[0.1471881,0.00002902539,0.8493674,0.0006138948,0.0002055001,0.00001539266,5.02628e-7,0.000004588136,0.002575625],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8979993,"threshold_uncertainty_score":0.6804092,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02651539831031223,"score_gpt":0.3042101407995164,"score_spread":0.2776947424892042,"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."}}