{"id":"W4400893717","doi":"10.1137/23m1607507","title":"Rigorous Computation of Solutions of Semilinear PDEs on Unbounded Domains via Spectral Methods","year":2024,"lang":"en","type":"article","venue":"SIAM Journal on Applied Dynamical Systems","topic":"Differential Equations and Numerical Methods","field":"Mathematics","cited_by":10,"is_retracted":false,"has_abstract":false,"ca_institutions":"McGill University","funders":"","keywords":"Computation; Applied mathematics; Computer science; Mathematics; Domain (mathematical analysis); Mathematical optimization; Mathematical analysis; Algorithm","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.002155751,0.001228176,0.00111984,0.0013891,0.0007682633,0.001855187,0.00155661,0.00179267,0.002983111],"category_scores_gemma":[0.01005925,0.0008159046,0.0008677081,0.0005645009,0.002577348,0.002445814,0.0037752,0.002206937,0.0004562548],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008496706,"about_ca_system_score_gemma":0.001601038,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002096517,"about_ca_topic_score_gemma":0.002536932,"domain_scores_codex":[0.9991836,0.0003715617,0.00005060284,0.00006296737,0.0002726375,0.00005855808],"domain_scores_gemma":[0.9949917,0.00347473,0.000357059,0.0002393482,0.0006644937,0.0002727066],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001394088,0.0001639727,0.0006126084,0.0003616299,0.00008300713,0.0001823761,0.0002613529,0.6090832,0.008131733,0.3599953,0.001798702,0.01918673],"study_design_scores_gemma":[0.000008116143,0.000009945775,0.00003035948,0.00001154713,0.000002088232,0.000007735332,0.00001280526,0.9756065,0.0003616333,0.02366594,0.0002785068,0.000004855688],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.03899525,0.0002659967,0.9549207,0.0004106155,0.0001450334,0.0000683106,0.0000599017,0.0001762806,0.00495791],"genre_scores_gemma":[0.6607944,0.0004537508,0.3271075,0.0002208849,0.0001808443,0.0003014719,0.0002508548,0.0004610845,0.01022924],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.002983111,"threshold_uncertainty_score":0.01140082,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06023739519557038,"score_gpt":0.3985431228094032,"score_spread":0.3383057276138329,"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."}}