{"id":"W2465729262","doi":"10.1017/s0960129516000219","title":"Computations with oracles that measure vanishing quantities","year":2016,"lang":"en","type":"article","venue":"Mathematical Structures in Computer Science","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Timeout; Computation; Oracle; Computer science; Measure (data warehouse); Algorithm; Symbolic computation; Discrete mathematics; Theoretical computer science; Mathematics; Mathematical analysis; Data mining","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.007156924,0.001024853,0.001361676,0.00138648,0.001170157,0.005779107,0.002808598,0.002660012,0.007412585],"category_scores_gemma":[0.04086438,0.000652867,0.002134518,0.001669321,0.01194375,0.01872479,0.0040813,0.004338166,0.001227763],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001881698,"about_ca_system_score_gemma":0.001026634,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009954699,"about_ca_topic_score_gemma":0.0004622558,"domain_scores_codex":[0.9918358,0.00331843,0.0006276543,0.001846967,0.001620527,0.0007506597],"domain_scores_gemma":[0.9718071,0.01934159,0.001855996,0.005272413,0.001204811,0.0005179939],"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.00006323902,0.00001495586,0.0003571897,0.00009795949,0.0000192964,0.00006003485,0.0001340602,0.005386855,0.0005361227,0.9852926,0.0004683398,0.007569352],"study_design_scores_gemma":[0.00002112273,0.00004342444,0.000178904,0.00003833853,0.00002012918,0.00006228421,0.00004294081,0.03105824,0.001587437,0.9632868,0.003635019,0.00002538688],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04392075,0.002304056,0.9247241,0.003532254,0.0004365628,0.0001827789,0.0003176295,0.0009739838,0.02360792],"genre_scores_gemma":[0.7323365,0.001681214,0.2552185,0.001496381,0.0006271079,0.0004044398,0.0003619522,0.0004168046,0.007457087],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007412585,"threshold_uncertainty_score":0.0378499,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03399042463299039,"score_gpt":0.2662922667684897,"score_spread":0.2323018421354993,"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."}}