{"id":"W4403306629","doi":"10.1017/9781009302180.003","title":"Iterative Algorithms and Loop Invariants","year":2024,"lang":"en","type":"book-chapter","venue":"Cambridge University Press eBooks","topic":"Advanced Control Systems Optimization","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University","funders":"","keywords":"Loop (graph theory); Algorithm; Computer science; Mathematics; 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.0006864811,0.001281264,0.000615478,0.0009079008,0.0005094983,0.002562926,0.0009871738,0.00130462,0.03220547],"category_scores_gemma":[0.003722043,0.0005558287,0.0008090066,0.001324453,0.001935818,0.003628516,0.001343559,0.003271239,0.01731484],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001028227,"about_ca_system_score_gemma":0.00104692,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009479229,"about_ca_topic_score_gemma":0.0009730634,"domain_scores_codex":[0.9993181,0.0001372424,0.00003455975,0.0001250465,0.0003302273,0.00005480272],"domain_scores_gemma":[0.9993834,0.0003302946,0.00003509557,0.00009324466,0.0001323397,0.00002545305],"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.00001938703,0.00002791904,0.0001354048,0.0003657855,0.00002217547,0.00005490597,0.0003868142,0.007380339,0.001031827,0.6514739,0.1092951,0.2298064],"study_design_scores_gemma":[0.00001209827,0.00004136201,0.0002369568,0.0003240122,0.00001179449,0.000225775,0.00008279517,0.01190388,0.001332977,0.4017331,0.5840684,0.00002691026],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00186259,0.01969422,0.6847734,0.002786828,0.001965932,0.0001244265,0.0002870816,0.002162277,0.2863432],"genre_scores_gemma":[0.05420845,0.02525435,0.4675257,0.002920621,0.001606638,0.0006426884,0.001024754,0.002474056,0.4443427],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.03220547,"threshold_uncertainty_score":0.107738,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01154969117610521,"score_gpt":0.1801510960284342,"score_spread":0.1686014048523289,"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."}}