{"id":"W2488438841","doi":"10.12694/scpe.v17i3.1178","title":"Improvement Strategies for Device Interoperability Middleware using Formal Reliability Analysis","year":2016,"lang":"en","type":"article","venue":"Scalable Computing Practice and Experience","topic":"Healthcare Technology and Patient Monitoring","field":"Medicine","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Interoperability; Correctness; Middleware (distributed applications); Reliability (semiconductor); Domain (mathematical analysis); Protocol (science); Software engineering; Formal methods; Probabilistic logic; Distributed computing; Programming language; World Wide Web; Artificial intelligence","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.0009054527,0.0001403853,0.0002899899,0.00009025632,0.0003556686,0.0000424373,0.00009376691,0.0001159809,0.00001144553],"category_scores_gemma":[0.001222996,0.00009630078,0.00007154361,0.0003470809,0.0001689951,0.0008603395,0.0001302686,0.0001530217,0.000001730608],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001278868,"about_ca_system_score_gemma":0.0001403484,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003825923,"about_ca_topic_score_gemma":0.00001249276,"domain_scores_codex":[0.9985436,0.00006679204,0.000379763,0.0004521997,0.000155538,0.000402094],"domain_scores_gemma":[0.9983693,0.0006042778,0.0001626545,0.0003716919,0.0003698505,0.0001222198],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"observational","study_design_gemma":"qualitative","study_design_scores_codex":[0.001651537,0.0005506364,0.5939428,0.001075055,0.0004762347,0.00001851156,0.01723753,0.0002775684,0.02826953,0.000848062,0.00002622936,0.3556263],"study_design_scores_gemma":[0.0142994,0.01399603,0.1611801,0.004604894,0.005804243,0.0005495484,0.3752854,0.220393,0.1585728,0.00225544,0.0394858,0.00357322],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8973902,0.000129683,0.1005431,0.001185877,0.000190439,0.0003703528,0.00000338344,0.00009931011,0.00008762919],"genre_scores_gemma":[0.9726772,0.00002503301,0.02685099,0.0003140974,0.0000772266,0.00002270458,0.000002221915,0.00000801776,0.0000225716],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4327627,"threshold_uncertainty_score":0.3927032,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06374607561310715,"score_gpt":0.3897699143759029,"score_spread":0.3260238387627958,"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."}}