{"id":"W278336051","doi":"10.1007/s10489-015-0670-1","title":"A formal proof of the 𝜖-optimality of discretized pursuit algorithms","year":2015,"lang":"en","type":"article","venue":"Applied Intelligence","topic":"Optimization and Search Problems","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":false,"ca_institutions":"Carleton University","funders":"","keywords":"Mathematical proof; Computer science; Algorithm; Discretization; Formal proof; Monotonic function; Action (physics); Proof of concept; Mathematics","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.003387083,0.001247488,0.001029705,0.001507879,0.001473682,0.003194994,0.002099766,0.002247944,0.0105797],"category_scores_gemma":[0.0172257,0.0009399922,0.002092802,0.001420062,0.00738093,0.005433423,0.005210352,0.007055824,0.001790614],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001889609,"about_ca_system_score_gemma":0.001755567,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001180418,"about_ca_topic_score_gemma":0.000817412,"domain_scores_codex":[0.9971716,0.0007785982,0.0001921394,0.000411775,0.00114254,0.0003034157],"domain_scores_gemma":[0.9924109,0.005121483,0.0003701619,0.0007891205,0.001069166,0.0002392067],"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.00001341944,0.00001423534,0.00004312196,0.00005760003,0.00000960845,0.00002937279,0.00004902303,0.003047067,0.0003828537,0.9894562,0.001582594,0.005314893],"study_design_scores_gemma":[0.00001999009,0.00001852027,0.00006949218,0.00003921167,0.00000744425,0.00006114699,0.0000183523,0.01734888,0.0004311945,0.9763672,0.005606227,0.00001244992],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.007498519,0.001266067,0.9236065,0.003851602,0.0005772424,0.00007007227,0.00030241,0.0001925045,0.06263497],"genre_scores_gemma":[0.4691773,0.003604772,0.4980273,0.003483697,0.001732306,0.0004703987,0.0005787503,0.0003803304,0.02254513],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0105797,"threshold_uncertainty_score":0.03539264,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05193330201294354,"score_gpt":0.2882998452492054,"score_spread":0.2363665432362618,"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."}}