{"id":"W2947580237","doi":"10.23638/lmcs-15(2:10)2019","title":"A Denotational Semantics for SPARC TSO","year":2019,"lang":"en","type":"article","venue":"DOAJ (DOAJ: Directory of Open Access Journals)","topic":"Semantic Web and Ontologies","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Denotational semantics; Denotational semantics of the Actor model; Normalisation by evaluation; Computer science; Programming language; Semantics (computer science); Operational semantics; Action semantics","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["scholarly_communication","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.001051612,0.0002422122,0.0005887389,0.0004857853,0.0001891643,0.001738085,0.005240466,0.00009423015,0.001415609],"category_scores_gemma":[0.0003453477,0.0002109602,0.0002033972,0.0006525928,0.00007725915,0.002855931,0.001222383,0.000198351,0.0000695458],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005152707,"about_ca_system_score_gemma":0.000226664,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001405773,"about_ca_topic_score_gemma":0.00002766956,"domain_scores_codex":[0.9976711,0.0001074513,0.0006318614,0.0004938773,0.0006709909,0.0004246949],"domain_scores_gemma":[0.9973237,0.0008404221,0.0005800677,0.00067623,0.0004257499,0.0001538113],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"observational","study_design_gemma":"observational","study_design_scores_codex":[0.0001741504,0.0004100722,0.7765642,0.0003002777,0.0003535492,0.0000459967,0.0006480997,0.0009302606,0.0527883,0.04148507,0.08813733,0.03816269],"study_design_scores_gemma":[0.001198079,0.00003597467,0.8341868,0.0003070971,0.00005467346,0.00004404857,0.00009109248,0.01095019,0.02394188,0.1063829,0.02215676,0.0006505347],"study_design_candidate":"observational","study_design_consensus":"observational","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7769092,0.007268721,0.2038861,0.001778008,0.002647011,0.001217117,0.00002747356,0.0001344151,0.006131895],"genre_scores_gemma":[0.9753979,0.0009878752,0.02185572,0.0006918367,0.0001668511,0.00004056925,0.000006313122,0.00002707404,0.0008257871],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1984887,"threshold_uncertainty_score":0.9994972,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.2815982574623103,"score_gpt":0.556919446373768,"score_spread":0.2753211889114577,"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."}}