{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003924625,0.0006429572,0.001237198,0.001114842,0.0008972919,0.003356556,0.001781608,0.001172743,0.002965185],"category_scores_gemma":[0.0273634,0.0007999422,0.001627103,0.0006063733,0.004302876,0.004722079,0.002111793,0.002742617,0.0001604756],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002329116,"about_ca_system_score_gemma":0.002599042,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005862859,"about_ca_topic_score_gemma":0.00372316,"domain_scores_codex":[0.9959687,0.0009238075,0.0002485659,0.001022857,0.001267105,0.0005689993],"domain_scores_gemma":[0.9478948,0.04154736,0.004562445,0.002286782,0.002748696,0.0009600138],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0003114874,0.00013458,0.002583333,0.0001440831,0.0001514466,0.0004198773,0.0006387371,0.2947713,0.005436239,0.6836269,0.000455924,0.01132618],"study_design_scores_gemma":[0.00004309653,0.00005623094,0.0005386667,0.00001442752,0.00003331831,0.00005629297,0.00004264444,0.6278505,0.001335596,0.3696854,0.0003176202,0.00002629408],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1714564,0.0001678777,0.8218496,0.0006903761,0.00004552616,0.00005574419,0.0002770775,0.0004148632,0.005042467],"genre_scores_gemma":[0.9815778,0.00009005031,0.01661757,0.00007800871,0.0000442484,0.00007469102,0.0001519716,0.00003971871,0.001325994],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005862859,"threshold_uncertainty_score":0.02075565,"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."}}