{"id":"W1522811422","doi":"10.1007/978-3-642-15784-4_7","title":"Continuous Time and/or Continuous Distributions","year":2010,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université Laval","funders":"","keywords":"Computer science","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001375936,0.0005095478,0.0006188276,0.0004964484,0.0003983585,0.0007081883,0.002933555,0.0005215633,0.00005110064],"category_scores_gemma":[0.0004807987,0.0004291578,0.00009735891,0.0004802698,0.001451964,0.0007210625,0.001389902,0.001243395,0.0001169134],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001671855,"about_ca_system_score_gemma":0.00043549,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001937675,"about_ca_topic_score_gemma":0.00003405791,"domain_scores_codex":[0.9965408,0.0000565094,0.000572801,0.001448787,0.0007144315,0.0006666342],"domain_scores_gemma":[0.9968775,0.0005510752,0.0003657476,0.001649887,0.0003215826,0.0002342123],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001282869,0.0000484861,0.00003488583,0.00002510461,0.00001143011,0.0000770937,0.0003947963,0.0001687451,0.001786605,0.0844539,0.00002470764,0.9129614],"study_design_scores_gemma":[0.001068337,0.0008860092,0.000960967,0.0006274428,0.00004120741,0.001124524,3.076669e-7,0.670593,0.01714734,0.2726406,0.03247091,0.002439392],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0002001366,0.0001929826,0.9937898,0.0005342375,0.001782277,0.0004834663,0.00002804933,0.0002706785,0.002718379],"genre_scores_gemma":[0.009295162,0.00003610111,0.988339,0.0005541957,0.0003549369,0.00001444636,0.00001330225,0.00003050139,0.001362333],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.910522,"threshold_uncertainty_score":0.999816,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01567520274341094,"score_gpt":0.2635779007240898,"score_spread":0.2479026979806789,"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."}}