{"id":"W4399876957","doi":"10.1007/978-3-031-63790-2_26","title":"Modelling a Mechanical Lung Ventilation System Using TASTD","year":2024,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université de Sherbrooke","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002219594,0.000454534,0.0005006553,0.0002568763,0.0003894945,0.001163296,0.001052143,0.001069048,0.01086136],"category_scores_gemma":[0.0004047295,0.00031415,0.0008736403,0.0001703861,0.0005377285,0.0006742673,0.0007902194,0.0005428396,0.001416577],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004428451,"about_ca_system_score_gemma":0.0007724738,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00370482,"about_ca_topic_score_gemma":0.002234905,"domain_scores_codex":[0.9998287,0.00003388386,0.00001403841,0.00003504196,0.00006131631,0.00002699281],"domain_scores_gemma":[0.9998332,0.00007777267,0.00002374046,0.00002202342,0.00003269454,0.00001055345],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001435227,0.00002764251,0.0007040552,0.0002647711,0.00003914002,0.0005474332,0.000208084,0.906052,0.02382414,0.04822784,0.001030703,0.01893066],"study_design_scores_gemma":[0.00002692633,0.00006198028,0.0001753324,0.0000252703,0.00002756408,0.0001393769,0.00002440576,0.9747838,0.006989983,0.007919835,0.009809801,0.00001573919],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04004651,0.0003736862,0.9295003,0.000250202,0.00015251,0.0001216023,0.000502667,0.003134724,0.02591787],"genre_scores_gemma":[0.8858139,0.000500539,0.08514544,0.00009536423,0.0000419602,0.0002123022,0.0003742971,0.000316614,0.02749964],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01086136,"threshold_uncertainty_score":0.03633487,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04497275327196975,"score_gpt":0.2930414644173879,"score_spread":0.2480687111454181,"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."}}