{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001242724,0.0006746469,0.0005999217,0.001117764,0.001348907,0.002720809,0.001456239,0.0009814898,0.005146965],"category_scores_gemma":[0.002020285,0.0005681323,0.001399416,0.0009616636,0.004647048,0.005734217,0.002943197,0.001939207,0.0009183541],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001547884,"about_ca_system_score_gemma":0.001856217,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003078176,"about_ca_topic_score_gemma":0.002856756,"domain_scores_codex":[0.9987476,0.0002345975,0.0001648579,0.0002261556,0.0004359629,0.0001907229],"domain_scores_gemma":[0.9988443,0.0003677405,0.00009836689,0.0002551192,0.0003376195,0.00009691363],"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.00001633332,0.00001638884,0.0001404467,0.00005307057,0.000007680283,0.00009173482,0.0003875169,0.004036754,0.001686428,0.9870794,0.000557237,0.005926936],"study_design_scores_gemma":[0.00002904191,0.00005348067,0.0001512367,0.00004092684,0.00003877496,0.0001735425,0.000303769,0.06068363,0.005795321,0.8997113,0.03298758,0.0000314406],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01832752,0.0001570838,0.9608809,0.0007607563,0.0001294484,0.0001161956,0.0002410457,0.00111626,0.01827087],"genre_scores_gemma":[0.4755614,0.0003681623,0.507421,0.0007368529,0.0001732484,0.0006027758,0.0006269939,0.0005612547,0.01394825],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005146965,"threshold_uncertainty_score":0.01721829,"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."}}