{"id":"W4403305752","doi":"10.1017/9781009302180.005","title":"Examples Using More-of-the-Input Loop Invariants","year":2024,"lang":"en","type":"book-chapter","venue":"Cambridge University Press eBooks","topic":"Real-time simulation and control systems","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University","funders":"","keywords":"Loop (graph theory); 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.0003067667,0.001413157,0.0005670884,0.0007460766,0.00070129,0.001785516,0.0012601,0.001230141,0.1292874],"category_scores_gemma":[0.002047421,0.0004216386,0.0008602093,0.0009200734,0.0007864052,0.00284034,0.001242083,0.001931847,0.04153018],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006699852,"about_ca_system_score_gemma":0.0004963715,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00114,"about_ca_topic_score_gemma":0.001618225,"domain_scores_codex":[0.9996326,0.00005627079,0.00002247924,0.00006648809,0.0001879783,0.00003415705],"domain_scores_gemma":[0.9995782,0.0001982771,0.00002350353,0.0000653138,0.0001103174,0.00002445743],"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.0001978117,0.0001542759,0.0002743017,0.001297043,0.00002274621,0.0007451473,0.0005811556,0.02038806,0.009413755,0.3515863,0.3035252,0.3118141],"study_design_scores_gemma":[0.00002713184,0.00007415604,0.0002901054,0.0003466048,0.00001283552,0.0006129708,0.00010399,0.01863036,0.004049304,0.07070783,0.9051058,0.00003886527],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003338092,0.00373175,0.5143082,0.001769933,0.001936189,0.0002937189,0.001220792,0.01102953,0.4623718],"genre_scores_gemma":[0.05992898,0.004285675,0.4573802,0.001892948,0.0003891822,0.0005163773,0.002444649,0.004881447,0.4682806],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.1292874,"threshold_uncertainty_score":0.4325094,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02620673056334347,"score_gpt":0.2003398329558322,"score_spread":0.1741331023924888,"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."}}