{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004261136,0.0006658559,0.0004387769,0.0006282808,0.0003915129,0.001929203,0.0006231052,0.0007733775,0.01982193],"category_scores_gemma":[0.00198044,0.000263273,0.0004439955,0.0009860331,0.002580709,0.003811618,0.0009345355,0.002268098,0.002950951],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006559848,"about_ca_system_score_gemma":0.0005090577,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004561217,"about_ca_topic_score_gemma":0.0003123423,"domain_scores_codex":[0.9995977,0.00004933735,0.00002144803,0.0001214025,0.00016241,0.0000477114],"domain_scores_gemma":[0.9992915,0.0003710504,0.00005321991,0.0001385171,0.00009512779,0.00005045766],"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.0000114014,0.000005521466,0.00002840298,0.00005982859,0.000003204081,0.00004742518,0.00006001379,0.0005597943,0.0006491307,0.9787894,0.003806287,0.01597964],"study_design_scores_gemma":[0.00001020965,0.00001744656,0.0001104881,0.00002920415,0.000007572,0.0002205857,0.00004477685,0.003785246,0.001226762,0.9076654,0.08687219,0.00001013519],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01123115,0.00639699,0.5560007,0.002314051,0.002013203,0.0000652003,0.0004243913,0.0005552008,0.4209992],"genre_scores_gemma":[0.4736895,0.01266649,0.1050149,0.001734609,0.002906944,0.0002823549,0.0007427408,0.0006870356,0.4022754],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01982193,"threshold_uncertainty_score":0.066311,"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."}}