{"id":"W2771418007","doi":"10.1186/s12918-017-0481-6","title":"Model checking optimal finite-horizon control for probabilistic gene regulatory networks","year":2017,"lang":"en","type":"article","venue":"BMC Systems Biology","topic":"Gene Regulatory Network Analysis","field":"Biochemistry, Genetics and Molecular Biology","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"National Natural Science Foundation of China","keywords":"Probabilistic logic; Reachability; Computer science; Gene regulatory network; Context (archaeology); Model checking; Biological network; Computation; Optimal control; Theoretical computer science; Mathematical optimization; Algorithm; Artificial intelligence; Bioinformatics; Mathematics; Biology","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.00435086,0.001118155,0.0008541274,0.0008131612,0.0005744373,0.001293667,0.001786066,0.0007914105,0.002544594],"category_scores_gemma":[0.01363352,0.000578758,0.001823689,0.0005648133,0.003083258,0.001416217,0.001576026,0.002212026,0.0001659683],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003115876,"about_ca_system_score_gemma":0.004888849,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01341542,"about_ca_topic_score_gemma":0.01088891,"domain_scores_codex":[0.9967663,0.0009535535,0.0001456704,0.0006766868,0.001056574,0.0004011834],"domain_scores_gemma":[0.9875731,0.009620251,0.001159169,0.000589232,0.0008784882,0.0001797843],"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.00005410799,0.00002561566,0.000532577,0.00006312354,0.00003030302,0.00005250371,0.00003836846,0.9694081,0.001287344,0.0238278,0.0001232193,0.004557002],"study_design_scores_gemma":[0.00001172252,0.00001489464,0.00003950905,0.000004488785,0.000009349805,0.000005722462,0.000003597304,0.988201,0.001143131,0.01044136,0.0001215338,0.000003735222],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02774358,0.00005004145,0.9697857,0.0001444293,0.00001954379,0.00007582373,0.0001004281,0.0006629988,0.001417326],"genre_scores_gemma":[0.8406312,0.0001088983,0.1571987,0.0001199962,0.00002073416,0.000322442,0.0002535752,0.0001759765,0.001168367],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01341542,"threshold_uncertainty_score":0.02667469,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02743609034434204,"score_gpt":0.2663482178349386,"score_spread":0.2389121274905966,"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."}}