{"id":"W2690508998","doi":"","title":"Resource Trees: Models and Separation Logic","year":2008,"lang":"en","type":"preprint","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Advanced Database Systems and Queries","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Computer science; Resource (disambiguation); Artificial intelligence","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.002209676,0.0003334385,0.0003806212,0.0001670829,0.0004486177,0.0003091863,0.001109723,0.0002329678,0.000007815121],"category_scores_gemma":[0.0003635132,0.0003344473,0.0001164554,0.0002837235,0.000230177,0.0006166216,0.002496958,0.0004639715,0.00001666661],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007312462,"about_ca_system_score_gemma":0.0001907245,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005323919,"about_ca_topic_score_gemma":0.000572982,"domain_scores_codex":[0.9951636,0.002627301,0.0004901755,0.001001186,0.0004029475,0.0003147694],"domain_scores_gemma":[0.9951687,0.0006508143,0.0004593568,0.002670767,0.0008745182,0.0001758574],"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.000004964451,0.0001384468,0.00007131014,0.00009248741,0.00002983212,0.00001222718,0.009877717,0.002250836,0.0003325022,0.9563182,0.001934025,0.02893748],"study_design_scores_gemma":[0.0007055436,0.000001148349,0.0006022677,0.001955156,0.00002638849,0.000124946,0.0001827509,0.7682021,0.007777109,0.05593916,0.1633638,0.001119717],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.005063426,0.001906171,0.9519956,0.004271781,0.0001254539,0.000357472,0.00005332032,0.0003518993,0.03587485],"genre_scores_gemma":[0.2752975,0.003257132,0.7103395,0.000301318,0.00005389133,0.0001440217,0.0006109477,0.00005204049,0.009943569],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.900379,"threshold_uncertainty_score":0.9999108,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02793619640214485,"score_gpt":0.255041385657317,"score_spread":0.2271051892551722,"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."}}