{"id":"W2163965488","doi":"10.1109/ccece.2005.1557391","title":"Denotational semantics for RTPA","year":2006,"lang":"en","type":"article","venue":"","topic":"Cognitive Computing and Networks","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"","keywords":"Concurrency; Denotational semantics; Computer science; Process calculus; Interrupt; Semantics (computer science); Operational semantics; Programming language; Process (computing); Event (particle physics); Denotational semantics of the Actor model; Interval (graph theory); Set (abstract data type); Communicating sequential processes; Theoretical computer science; Mathematics; Embedded system","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.002857198,0.00111139,0.0007719079,0.001319063,0.001631487,0.004586571,0.001523857,0.001382791,0.007483226],"category_scores_gemma":[0.004191664,0.0005292749,0.002160684,0.00134727,0.004307129,0.008401155,0.00238701,0.002752679,0.001794268],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002375529,"about_ca_system_score_gemma":0.001743491,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002277622,"about_ca_topic_score_gemma":0.001347469,"domain_scores_codex":[0.9970091,0.001096974,0.0003716081,0.0005181733,0.0007187226,0.0002854805],"domain_scores_gemma":[0.9976625,0.001046086,0.0002292208,0.0003777893,0.0005742782,0.000110055],"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.000007686727,0.00001038569,0.00003100246,0.00003765336,0.000006441529,0.00006082097,0.0002650523,0.00211533,0.0003564533,0.9923115,0.0005577848,0.004239801],"study_design_scores_gemma":[0.00001906966,0.00001971647,0.00003560053,0.00002686193,0.0000131307,0.00008782919,0.0001077589,0.01547053,0.0005582547,0.9561842,0.02746248,0.0000144802],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.005907367,0.001164648,0.9614161,0.001311793,0.0003344701,0.0001006251,0.0003342721,0.0009350663,0.02849572],"genre_scores_gemma":[0.4073527,0.002352239,0.5683169,0.001133389,0.0009445561,0.001122488,0.0011147,0.0005931419,0.01706994],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007483226,"threshold_uncertainty_score":0.02503383,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008897503605761881,"score_gpt":0.2251863031048356,"score_spread":0.2162887994990737,"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."}}