{"id":"W2468564096","doi":"10.1093/logcom/exv031","title":"A modal separation logic for resource dynamics","year":2015,"lang":"en","type":"article","venue":"Journal of Logic and Computation","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":20,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"Agence Nationale de la Recherche","keywords":"Separation logic; Computer science; Modal logic; Modal; Dynamic logic (digital electronics); Resource (disambiguation); Epistemic modal logic; Theoretical computer science; Algorithm; Multimodal logic; Description logic; Engineering","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.0005013269,0.00006378371,0.0001441667,0.00005365581,0.00005394034,0.0001150893,0.0001473323,0.00004410822,1.666875e-7],"category_scores_gemma":[0.00004129561,0.00004918715,0.00004252272,0.0001127752,0.00001526474,0.0003121811,0.00002394458,0.00006199239,0.000001197867],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005353982,"about_ca_system_score_gemma":0.00005665834,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001905532,"about_ca_topic_score_gemma":0.000001296614,"domain_scores_codex":[0.9993029,0.00004710361,0.0002844643,0.00009694719,0.0001787569,0.00008986067],"domain_scores_gemma":[0.9991717,0.00005540482,0.0003129612,0.00005695572,0.0003233718,0.00007960285],"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.0002127402,0.0002080323,0.0006719015,0.00006550247,0.00005919193,0.00004237448,0.002171781,0.1858231,0.00009463001,0.5983564,0.02711406,0.1851803],"study_design_scores_gemma":[0.0007198331,0.0004721729,0.0004260074,0.00001831275,0.000006544878,0.0001526119,0.000241986,0.9035839,0.000005977283,0.09172408,0.002580194,0.00006834682],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01344446,0.0003133176,0.9839513,0.001250515,0.0002302664,0.00008891238,0.00000288037,0.00001475114,0.0007035863],"genre_scores_gemma":[0.9521635,0.000003817119,0.04737245,0.000264122,0.0001346254,0.000001966654,0.000007029892,0.000002381368,0.00005014456],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.938719,"threshold_uncertainty_score":0.2005794,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04541417762651414,"score_gpt":0.3191010226363972,"score_spread":0.2736868450098831,"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."}}