{"id":"W4387783577","doi":"10.1007/s11424-023-2013-3","title":"Finite-Time Observability of Probabilistic Logical Control Systems","year":2023,"lang":"en","type":"article","venue":"Journal of Systems Science and Complexity","topic":"Gene Regulatory Network Analysis","field":"Biochemistry, Genetics and Molecular Biology","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Observability; Reachability; Finite set; Probabilistic logic; Mathematics; Computer science; Algorithm; Applied mathematics; 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.003461178,0.000110331,0.000420577,0.000112329,0.00013178,0.00005810752,0.000380843,0.00007210147,0.000003807313],"category_scores_gemma":[0.0005699876,0.00008071116,0.0001113048,0.0006001369,0.0008494325,0.00001355576,0.0001007907,0.00007609097,0.000004366173],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000346474,"about_ca_system_score_gemma":0.0002638751,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002916728,"about_ca_topic_score_gemma":0.000002932332,"domain_scores_codex":[0.9981605,0.0001818775,0.0006011409,0.0002372828,0.0005810053,0.0002382072],"domain_scores_gemma":[0.9980699,0.00007287349,0.0004715123,0.000295475,0.0009306053,0.0001596209],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0002683146,0.0002474155,0.07326093,0.0005597959,0.0002947687,0.00002525437,0.0001458113,0.1598199,0.7593744,0.002838409,0.002719934,0.0004450437],"study_design_scores_gemma":[0.002970857,0.003114614,0.3374313,0.0004444678,0.0003831723,0.0006268425,0.001444724,0.6375479,0.005072159,0.002361722,0.007763305,0.000838965],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9977382,0.0008654406,0.000769292,0.00008098241,0.0002411168,0.0001750124,0.00001362208,0.000005898751,0.0001104599],"genre_scores_gemma":[0.9996119,0.00002987308,0.00005191253,0.00001430329,0.0001873509,0.000003658904,0.00000239264,0.000004674406,0.00009393255],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.7543023,"threshold_uncertainty_score":0.3291305,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05029727325875114,"score_gpt":0.2666145885436386,"score_spread":0.2163173152848874,"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."}}