{"id":"W1558294391","doi":"10.1007/3-540-44886-1_8","title":"Monadic Memoization towards Correctness-Preserving Reduction of Search","year":2003,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Windsor","funders":"","keywords":"Memoization; Computer science; Correctness; Reduction (mathematics); Table (database); Pace; Theoretical computer science; Programming language; Data mining; 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.002588878,0.0008045922,0.00165438,0.001592021,0.001574345,0.003287228,0.004458676,0.001253112,0.006012076],"category_scores_gemma":[0.008751706,0.0008893403,0.001918251,0.002261728,0.003693746,0.007742038,0.005576423,0.004393938,0.001328255],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001945469,"about_ca_system_score_gemma":0.001809919,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001743812,"about_ca_topic_score_gemma":0.002824389,"domain_scores_codex":[0.9963798,0.001146422,0.0002338012,0.0005419726,0.001173651,0.0005244394],"domain_scores_gemma":[0.9934031,0.002795909,0.0002287767,0.002715551,0.0006600149,0.0001966437],"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.0002780845,0.00008678787,0.0002828168,0.0003094199,0.00005914215,0.00008067285,0.0006335693,0.009166972,0.005757332,0.9030504,0.007620025,0.07267482],"study_design_scores_gemma":[0.00005693861,0.00004015192,0.0001304315,0.00003923007,0.00008461494,0.0001026538,0.00009059229,0.06310384,0.009321199,0.9150751,0.0119274,0.00002783522],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02490428,0.00106105,0.9442439,0.0009688752,0.0002943832,0.0001034487,0.0002076022,0.004854007,0.02336255],"genre_scores_gemma":[0.4841444,0.0006364929,0.4867117,0.0008420227,0.0004729305,0.0004111875,0.0005203218,0.002231054,0.02402992],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006012076,"threshold_uncertainty_score":0.0201124,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03158398901796504,"score_gpt":0.2656718112774615,"score_spread":0.2340878222594964,"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."}}