{"id":"W2613850043","doi":"","title":"A Modal Extension of Boolean BI for Resource Transformations","year":2013,"lang":"en","type":"preprint","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Distributed and Parallel Computing Systems","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Extension (predicate logic); Modal; Computer science; Resource (disambiguation); Theoretical computer science; Programming language; Materials science; Computer network","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.002641119,0.0009180462,0.0007840751,0.001815441,0.001598491,0.003011826,0.001666101,0.001062542,0.01478317],"category_scores_gemma":[0.003823953,0.0007677675,0.001921669,0.002097403,0.002643964,0.007479275,0.003896342,0.004360962,0.002877255],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001864138,"about_ca_system_score_gemma":0.001019571,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002934712,"about_ca_topic_score_gemma":0.002454961,"domain_scores_codex":[0.9979488,0.000504885,0.0001715466,0.0004689133,0.0005637125,0.0003421788],"domain_scores_gemma":[0.9980986,0.0007862325,0.0001077725,0.000413969,0.0004217745,0.0001716794],"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.00009397026,0.00004359284,0.0001019333,0.0001397398,0.00001457965,0.0001203793,0.0003621814,0.00157186,0.005388195,0.961182,0.002511095,0.02847053],"study_design_scores_gemma":[0.00003692202,0.00005076638,0.0001316812,0.00006847292,0.00005757585,0.0001787123,0.0001532302,0.02263216,0.005270305,0.9342517,0.03712609,0.00004233454],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01309299,0.0004832421,0.9380676,0.0008805011,0.0003034282,0.0001338039,0.0005162038,0.001899851,0.04462241],"genre_scores_gemma":[0.4745119,0.0009170192,0.4877725,0.001161533,0.000543312,0.0004427878,0.001170145,0.001403502,0.03207735],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01478317,"threshold_uncertainty_score":0.04945463,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01787925710399529,"score_gpt":0.2292389450064649,"score_spread":0.2113596879024696,"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."}}