{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.008252602,0.0004424022,0.0005472736,0.000262371,0.0004596093,0.0004104201,0.001321949,0.0005989363,0.00007942802],"category_scores_gemma":[0.001694328,0.0004784607,0.0002322613,0.0006352631,0.0006271479,0.0005881062,0.00202498,0.0007558752,0.00004761704],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001242904,"about_ca_system_score_gemma":0.0005025829,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000659525,"about_ca_topic_score_gemma":0.001118189,"domain_scores_codex":[0.9933316,0.003542406,0.0009648995,0.001015818,0.000668039,0.000477206],"domain_scores_gemma":[0.9893256,0.003354847,0.0008946628,0.001847548,0.004315823,0.0002615481],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000009144687,0.0004093166,0.001821851,0.0001692159,0.00005738772,0.00000515108,0.01507036,0.005591827,0.0002543213,0.954504,0.0002016888,0.02190577],"study_design_scores_gemma":[0.0004954474,0.000001489751,0.008246358,0.001262984,0.00006357647,0.00002863892,0.00005979408,0.8713607,0.0052075,0.1038331,0.008950579,0.0004898134],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01931166,0.003584231,0.8545278,0.004541494,0.0004359105,0.0003716813,0.00003824999,0.0001128842,0.1170761],"genre_scores_gemma":[0.754055,0.002211503,0.2235928,0.0000876362,0.00004909934,0.00001594993,0.0002443055,0.00002957295,0.01971418],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8657688,"threshold_uncertainty_score":0.9997667,"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."}}