{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.004084918,0.0003001735,0.0004541881,0.0002212626,0.0003049079,0.0004538889,0.002463464,0.0002697485,0.00001386137],"category_scores_gemma":[0.0005087868,0.0003067873,0.00032913,0.0003690554,0.0001184869,0.0002237675,0.0009929921,0.0003836058,0.00002179067],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006112592,"about_ca_system_score_gemma":0.0002557351,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005156508,"about_ca_topic_score_gemma":0.00008112868,"domain_scores_codex":[0.9955884,0.002131816,0.0007843338,0.0007103712,0.0004234705,0.0003615785],"domain_scores_gemma":[0.9931931,0.001202002,0.0006683032,0.002525413,0.002248593,0.0001626134],"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.00001730656,0.0008906586,0.0001471797,0.001143712,0.0001711791,0.000002135102,0.02538729,0.007252558,0.002659592,0.8365463,0.01880489,0.1069772],"study_design_scores_gemma":[0.0008019561,0.000001620959,0.0008110522,0.00287307,0.00003990578,0.00001474603,0.0001155127,0.9041337,0.01124105,0.02086225,0.05850691,0.00059822],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01741288,0.0005079856,0.9570708,0.005622051,0.0002479497,0.0008583263,0.0001198467,0.0002957127,0.01786448],"genre_scores_gemma":[0.8566076,0.0000576225,0.1400121,0.00005596659,0.00002815628,0.0001226109,0.0005235336,0.00002794385,0.002564401],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8968812,"threshold_uncertainty_score":0.9999384,"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."}}