{"id":"W4299434809","doi":"","title":"In and Out of SSA : a Denotational Specification","year":2009,"lang":"en","type":"preprint","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Speech and dialogue systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Advanced Micro Devices (Canada)","funders":"","keywords":"Denotational semantics of the Actor model; Computer science; Denotational semantics; Programming language; Semantics (computer science); Operational semantics","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003625649,0.0001954632,0.0003078791,0.0002844214,0.00007553374,0.0002290887,0.001185391,0.0001915397,0.00001530082],"category_scores_gemma":[0.0006696177,0.0002158089,0.00008518833,0.0003064671,0.0001090873,0.000229389,0.000704724,0.0003079366,0.00001881809],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007642129,"about_ca_system_score_gemma":0.0002607492,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000573888,"about_ca_topic_score_gemma":0.001149623,"domain_scores_codex":[0.9960957,0.002140097,0.0005530941,0.000620869,0.0003785119,0.0002117691],"domain_scores_gemma":[0.9963069,0.0007034284,0.0004720219,0.001443306,0.0009683004,0.0001060298],"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.00001694013,0.0007083631,0.00424982,0.0002465711,0.00003978696,0.0000108128,0.02978163,0.0001017947,0.006481767,0.861295,0.001644245,0.09542321],"study_design_scores_gemma":[0.003353536,0.000003513427,0.2673992,0.005898514,0.00004247994,0.0000517793,0.0003771152,0.1112956,0.1390686,0.4511552,0.01937208,0.00198238],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07992914,0.001756431,0.8587208,0.01383431,0.0005293863,0.000636016,0.00003165634,0.0001442718,0.04441798],"genre_scores_gemma":[0.862276,0.0002940015,0.1358747,0.00008021608,0.00002937309,0.00003443311,0.0001061045,0.00001263225,0.001292554],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7823468,"threshold_uncertainty_score":0.8800433,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01841806469163362,"score_gpt":0.234170263659333,"score_spread":0.2157521989676994,"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."}}