{"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":"codex-gemma-dda1882f352a","candidate_categories":["sts"],"consensus_categories":[],"category_scores_codex":[0.002460808,0.0001987517,0.0002342204,0.00008593666,0.0005240541,0.0004529978,0.00181531,0.00006376569,0.00001718235],"category_scores_gemma":[0.0003832174,0.0001452052,0.00007012029,0.0007132547,0.003024017,0.0005672236,0.0007564721,0.0001453375,0.0000228859],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004811197,"about_ca_system_score_gemma":0.0001561159,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001359326,"about_ca_topic_score_gemma":0.000001020569,"domain_scores_codex":[0.9976847,0.0001080316,0.0002377367,0.0009040893,0.000433964,0.0006314936],"domain_scores_gemma":[0.9980845,0.0004339463,0.00006136532,0.0007170804,0.0003695706,0.0003334966],"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.000009620613,0.00005595285,0.0005287245,0.00001039876,0.000002248902,0.000002994194,0.0004491211,0.000002917077,0.0000834178,0.910336,0.00004632369,0.08847226],"study_design_scores_gemma":[0.0003564527,0.0002854295,0.001667051,0.00002022633,0.000004739186,0.00007129034,0.000003708585,0.1808463,0.0005338038,0.8152148,0.0007626566,0.0002335736],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0262716,0.0001488244,0.9628518,0.0007466577,0.0006664639,0.0004013079,0.00000137052,0.0002134208,0.008698543],"genre_scores_gemma":[0.8942811,0.000008900361,0.1053138,0.0001922524,0.0001564547,0.00002237274,3.795038e-7,0.000005198893,0.00001952195],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8680095,"threshold_uncertainty_score":0.9996892,"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."}}