{"id":"W4318252247","doi":"","title":"Relational semantics and finite models of separation logics","year":2007,"lang":"fr","type":"preprint","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Semantics (computer science); Computer science; Programming language; Operational semantics; Natural language processing; Theoretical computer science","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.005395222,0.001212005,0.001600433,0.002392562,0.002581737,0.008987072,0.003610235,0.00292388,0.006555144],"category_scores_gemma":[0.009591951,0.001365473,0.003222925,0.002609886,0.007533745,0.0186192,0.004266123,0.006909536,0.001149007],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004791689,"about_ca_system_score_gemma":0.002427606,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004198189,"about_ca_topic_score_gemma":0.003009101,"domain_scores_codex":[0.9941264,0.002309907,0.0005268133,0.0009368134,0.001616353,0.0004836898],"domain_scores_gemma":[0.9931914,0.004417615,0.0005158698,0.001005928,0.0005793396,0.0002898247],"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.00001729834,0.00001084433,0.00002231323,0.00002675599,0.000008019804,0.00001689371,0.0001169869,0.00117666,0.0001210832,0.9960419,0.0003048286,0.002136492],"study_design_scores_gemma":[0.00001099603,0.000003587875,0.000009735144,0.000009391789,0.000006571775,0.00001210793,0.00002407487,0.003117779,0.0001268104,0.9953277,0.001345614,0.000005619711],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02573307,0.004714752,0.9290333,0.006019283,0.0003073759,0.00008848881,0.0006817995,0.0007331417,0.03268873],"genre_scores_gemma":[0.6791335,0.003296782,0.2985704,0.001563344,0.0008142744,0.0004046434,0.001365212,0.0003045581,0.01454729],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008987072,"threshold_uncertainty_score":0.03476632,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0497715963396936,"score_gpt":0.2600031657420158,"score_spread":0.2102315694023222,"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."}}