{"id":"W251738500","doi":"10.1007/978-3-319-07725-3_46","title":"Formalizing the Glucose Homeostasis Mechanism","year":2014,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Correctness; Computer science; Process (computing); Domain (mathematical analysis); Mechanism (biology); Reliability engineering; Formal verification; Formal methods; Risk analysis (engineering); Distributed computing; Software engineering; Programming language","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":["metaepi_narrow","open_science"],"consensus_categories":[],"category_scores_codex":[0.003403615,0.0005385648,0.000470213,0.0006434672,0.0005777829,0.0008184308,0.006611824,0.0003368447,0.0000164835],"category_scores_gemma":[0.000253519,0.0003946326,0.0001678416,0.0007385525,0.0006847064,0.00075801,0.002032925,0.0009907258,0.0001052077],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003140533,"about_ca_system_score_gemma":0.0003195693,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001582591,"about_ca_topic_score_gemma":0.00002082799,"domain_scores_codex":[0.9959021,0.0001081783,0.0006123544,0.001336921,0.0012586,0.0007818526],"domain_scores_gemma":[0.9958971,0.0005889632,0.0004586437,0.002649794,0.0002539466,0.0001515406],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000001653684,0.00000442143,9.640179e-7,0.00001512149,0.000004310688,0.000006296187,0.0004031116,0.001741878,0.00006907414,0.3998976,0.000009415857,0.5978461],"study_design_scores_gemma":[0.0001369209,0.0001288551,0.00002659554,0.0001716653,0.000008568452,0.00008842949,2.239593e-7,0.5710402,0.01030108,0.4101302,0.007431115,0.0005362217],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00002976264,0.0007032218,0.9914479,0.000816812,0.002898175,0.0004674102,0.000002623396,0.0002242467,0.003409857],"genre_scores_gemma":[0.03901256,0.000147731,0.9574563,0.002642279,0.0004870951,0.00002100764,0.000002617441,0.00003991698,0.000190525],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.5973099,"threshold_uncertainty_score":0.9998506,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02648146338229906,"score_gpt":0.2676860127515334,"score_spread":0.2412045493692344,"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."}}