{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002501605,0.001397795,0.0008024941,0.001589319,0.001199434,0.002579192,0.002417437,0.001968914,0.004999271],"category_scores_gemma":[0.004590071,0.0007000297,0.002347511,0.001591046,0.003644461,0.005035803,0.002273748,0.003877335,0.001294154],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001700174,"about_ca_system_score_gemma":0.002029949,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003446158,"about_ca_topic_score_gemma":0.002272103,"domain_scores_codex":[0.9980464,0.0005923998,0.0001747771,0.0002937133,0.0007526015,0.0001400574],"domain_scores_gemma":[0.9980347,0.001091803,0.0003394662,0.0001793937,0.0002592166,0.00009546735],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000005268257,0.0000098392,0.00008100984,0.00007596973,0.00001631469,0.00008692952,0.0000908552,0.02618627,0.0004948027,0.9669681,0.001008498,0.004976162],"study_design_scores_gemma":[0.00001525681,0.00002257833,0.00006975958,0.00005192964,0.00002066846,0.0001868801,0.00004519473,0.1307627,0.0004233064,0.8342262,0.03415452,0.00002116782],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0007711239,0.001077535,0.9912766,0.0005624236,0.0001161449,0.00004252682,0.0001584673,0.0001213229,0.005873743],"genre_scores_gemma":[0.2649823,0.005836257,0.7109171,0.001069292,0.001100576,0.001085019,0.0009654718,0.0002300173,0.01381408],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004999271,"threshold_uncertainty_score":0.01672423,"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."}}