{"id":"W4408222862","doi":"10.1007/978-981-96-0668-9_14","title":"Parallel Redundancy Removal in lrslib with Application to Projections","year":2025,"lang":"en","type":"book-chapter","venue":"","topic":"Embedded Systems Design Techniques","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"Japan Society for the Promotion of Science","keywords":"Redundancy (engineering); Computer science; Operating system","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.0002633148,0.0002952609,0.0003486021,0.0006705517,0.00006019164,0.0001091047,0.0009839289,0.0002734147,0.00001079336],"category_scores_gemma":[0.00001043017,0.000258579,0.00006096702,0.0002915162,0.00002655357,0.0001965578,0.0002397353,0.0003221678,0.0000995314],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002579193,"about_ca_system_score_gemma":0.0003253613,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002183327,"about_ca_topic_score_gemma":0.0006063133,"domain_scores_codex":[0.998172,0.00002819287,0.0004278077,0.0008215457,0.0003249636,0.0002255334],"domain_scores_gemma":[0.9982517,0.00004949708,0.0001487886,0.001327392,0.0001509548,0.00007166287],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000006856978,0.00001366475,0.000004583409,0.00003964391,0.00001310273,0.00002245034,0.0001187423,0.00001606769,0.00004352682,0.9681298,0.0137579,0.01783369],"study_design_scores_gemma":[0.000308723,0.0003454468,0.00002594962,0.001280961,0.00001840953,0.0002008521,0.00001228969,0.004084374,0.0004432772,0.1486226,0.8436478,0.001009379],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[3.096368e-7,0.00003452879,0.5115657,0.0004142587,0.00004399309,0.001085393,0.00000136573,0.0004995168,0.4863549],"genre_scores_gemma":[0.0002445819,0.00001265403,0.3942986,0.0002378445,0.00004329332,0.0003939841,0.000005059123,0.00002141453,0.6047426],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.8298899,"threshold_uncertainty_score":0.9999866,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01571488212936157,"score_gpt":0.2609233960699247,"score_spread":0.2452085139405631,"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."}}