{"id":"W2984152414","doi":"","title":"A Formal Mathematical Framework for Modeling Probabilistic Hybrid Systems.","year":2006,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Computer science; Probabilistic logic; Hybrid system; Dynamical systems theory; Theoretical computer science; Semantics (computer science); Asynchronous communication; Artificial intelligence; Programming language; Machine learning","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.0008026232,0.0001113293,0.000156498,0.00005395171,0.0001198559,0.0002029645,0.0005502658,0.00005901542,0.000005037917],"category_scores_gemma":[0.0003209038,0.0000918463,0.00006203439,0.0001365048,0.00002200073,0.0006132086,0.0001007724,0.00008915523,0.00004136878],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005241924,"about_ca_system_score_gemma":0.00003395912,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000121612,"about_ca_topic_score_gemma":3.111339e-7,"domain_scores_codex":[0.9987705,0.00003857421,0.0003738299,0.0002685459,0.0002149112,0.0003335919],"domain_scores_gemma":[0.9990325,0.0002040135,0.00007165138,0.0005287449,0.0001159385,0.00004717913],"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.000003072134,0.00003486805,0.000001961229,0.0001050975,0.000002211518,4.124932e-7,0.00002746434,0.02732192,0.00001575894,0.971094,0.00007849444,0.001314792],"study_design_scores_gemma":[0.00005340759,0.00002291181,0.000002329568,0.00002342994,0.00000282363,0.00001562446,0.000007059199,0.5779578,0.0001780341,0.4215782,0.0000839229,0.0000744866],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002677296,0.00003357703,0.992223,0.00009541343,0.0002992761,0.0006238496,0.000002025145,0.0003023779,0.00374322],"genre_scores_gemma":[0.2980699,2.79032e-7,0.7015135,0.00003012712,0.00009072416,0.0001652775,0.000001618743,0.000007530792,0.0001210949],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.5506359,"threshold_uncertainty_score":0.3745384,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04568789712795484,"score_gpt":0.3046914777183052,"score_spread":0.2590035805903504,"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."}}