{"id":"W2309725327","doi":"","title":"Resource Tree and Logics for Distribution - abstract","year":2004,"lang":"en","type":"article","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Service-Oriented Architecture and Web Services","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Decidability; Computer science; Model checking; Extension (predicate logic); Tree (set theory); Theoretical computer science; Temporal logic; Description logic; Tree structure; Computation tree logic; Resource (disambiguation); XML; Monoid; Mathematics; Discrete mathematics; Algorithm; Data structure; Programming language; Combinatorics","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.003161376,0.0006622779,0.0007133989,0.002364758,0.002445797,0.005921184,0.001631131,0.001436498,0.01470068],"category_scores_gemma":[0.006300202,0.0006741086,0.001734387,0.003306448,0.003798681,0.01622828,0.003321193,0.004014394,0.00205829],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004498717,"about_ca_system_score_gemma":0.001664249,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.007307747,"about_ca_topic_score_gemma":0.005296227,"domain_scores_codex":[0.9975169,0.0009127633,0.000222083,0.0005046917,0.0005359685,0.0003076268],"domain_scores_gemma":[0.995382,0.002908402,0.0002500531,0.0006171723,0.0005741672,0.0002682018],"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.00002584674,0.00001324552,0.00009849589,0.00004667665,0.00000756764,0.00007092972,0.0001701679,0.001441895,0.0001976273,0.9849967,0.00263344,0.01029746],"study_design_scores_gemma":[0.000009192863,0.000006356158,0.00005165305,0.00003128625,0.00001019329,0.00008491689,0.0001008061,0.007700992,0.0003126554,0.9777344,0.01394736,0.00001014599],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01351766,0.003181951,0.9086356,0.00604345,0.0004125197,0.00009208369,0.0009190012,0.00106564,0.06613221],"genre_scores_gemma":[0.59426,0.003771966,0.342995,0.001910742,0.0008384345,0.0003328001,0.002361799,0.0005118075,0.05301734],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01470068,"threshold_uncertainty_score":0.04917866,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.009536807465631434,"score_gpt":0.2106987301071847,"score_spread":0.2011619226415532,"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."}}