{"id":"W2053332270","doi":"10.1016/s0304-3975(00)00096-7","title":"Measure and probability for concurrency theorists","year":2001,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":19,"is_retracted":false,"has_abstract":false,"ca_institutions":"McGill University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Conditional probability; Probabilistic logic; Regular conditional probability; Probability measure; Concurrency; Measure (data warehouse); Law of total probability; Theoretical computer science; Probability theory; Computer science; Conditional probability distribution; Semantics (computer science); Mathematics; Probabilistic argumentation; Probability distribution; Mathematical economics; Probability mass function; Artificial intelligence; Discrete mathematics; Programming language; Posterior probability; Econometrics; Statistics; Data mining; Bayesian probability","routes":{"ca_aff":true,"ca_fund":true,"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.008358628,0.0009059802,0.002295099,0.004012458,0.004361005,0.00923762,0.002933469,0.0047678,0.008127453],"category_scores_gemma":[0.03667706,0.001084959,0.002228696,0.004500144,0.01761252,0.02891758,0.005546321,0.008327379,0.000882899],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.006274319,"about_ca_system_score_gemma":0.00234782,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003203505,"about_ca_topic_score_gemma":0.001469019,"domain_scores_codex":[0.9943118,0.00275909,0.0003477419,0.0009530833,0.001253863,0.0003743964],"domain_scores_gemma":[0.9583625,0.03414597,0.001147777,0.003552053,0.00161176,0.001179959],"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.000005119716,0.000004834166,0.00005868549,0.00001393075,0.000004304364,0.000007753961,0.00007521445,0.0003284637,0.00001766764,0.9976431,0.0004867713,0.001354088],"study_design_scores_gemma":[0.000002107924,0.000001405083,0.00001275451,0.000004260893,0.000001506668,0.000004766439,0.0000138945,0.0008137693,0.000008759101,0.9984162,0.000718486,0.000002062653],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04005999,0.02978251,0.7963651,0.06388509,0.001805885,0.00007371011,0.0004164678,0.0004515421,0.06715971],"genre_scores_gemma":[0.8760828,0.008602705,0.09146197,0.003190521,0.005128463,0.0003984557,0.0003394622,0.000258471,0.01453703],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00923762,"threshold_uncertainty_score":0.04552352,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01856159685253597,"score_gpt":0.2620203990383691,"score_spread":0.2434588021858331,"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."}}