{"id":"W4399094989","doi":"10.1007/s11227-024-06190-x","title":"Simplified algorithms for order-based core maintenance","year":2024,"lang":"en","type":"article","venue":"The Journal of Supercomputing","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University; Trent University","funders":"","keywords":"Core (optical fiber); Computer science; Algorithm; Order (exchange); Business; Telecommunications","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.003045405,0.001398184,0.001528427,0.002079778,0.001372158,0.003235144,0.004338005,0.001715421,0.01848751],"category_scores_gemma":[0.01972857,0.001222027,0.0021062,0.001810091,0.002239597,0.005940844,0.004465664,0.003161624,0.004169219],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002640065,"about_ca_system_score_gemma":0.003463254,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005097182,"about_ca_topic_score_gemma":0.007783787,"domain_scores_codex":[0.9960383,0.0008743667,0.0003676444,0.0007043781,0.001480966,0.0005342592],"domain_scores_gemma":[0.985499,0.006282297,0.0005950163,0.005726702,0.001569448,0.000327558],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00105685,0.0003558808,0.001114233,0.0005592603,0.0001195054,0.0001729328,0.0004668427,0.1899547,0.01203088,0.276013,0.01310133,0.5050545],"study_design_scores_gemma":[0.0002034239,0.0000906917,0.0003314018,0.00005591655,0.0001115184,0.000123227,0.00007395577,0.6296661,0.01153018,0.3502324,0.007527208,0.00005396914],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.005881211,0.00008521709,0.9885734,0.0001150916,0.00004502117,0.0001529716,0.0001284902,0.002519873,0.002498813],"genre_scores_gemma":[0.1945676,0.0001734965,0.7983481,0.0001627124,0.00006350578,0.0003187024,0.00074198,0.0009423363,0.004681681],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01848751,"threshold_uncertainty_score":0.06184691,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08875001468785083,"score_gpt":0.3497153794711635,"score_spread":0.2609653647833127,"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."}}