{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00180436,0.000226335,0.0006673212,0.0002846016,0.0001352096,0.0000893216,0.0001867242,0.0001587368,0.00003819226],"category_scores_gemma":[0.0001987753,0.0001686369,0.0002807295,0.0004715037,0.0001303616,0.00004760749,0.00003388706,0.0005290518,0.00001836316],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002157804,"about_ca_system_score_gemma":0.00006470676,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001559906,"about_ca_topic_score_gemma":0.000002451623,"domain_scores_codex":[0.9972127,0.0005835164,0.001085174,0.0002480822,0.0005683795,0.0003021652],"domain_scores_gemma":[0.9973205,0.001821606,0.0003912859,0.0002028794,0.0001048418,0.0001588474],"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.0001390671,0.000592562,0.000002665169,0.0004830926,0.0002854157,0.000009085229,0.0001892686,0.005811126,0.04730148,0.9173418,0.0001543015,0.02769009],"study_design_scores_gemma":[0.0006683755,0.0008078432,0.00008548576,0.0006499882,0.0001890769,0.00008388129,0.0001689691,0.4825425,0.002173112,0.5120657,0.0002996083,0.0002654871],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04111286,0.0001619181,0.9532498,0.0001048893,0.0009373134,0.0003551334,0.00002367157,0.00007440578,0.003980055],"genre_scores_gemma":[0.8469992,0.00001080464,0.152631,0.00001087344,0.0002183772,0.00001356347,0.000006471961,0.00003573659,0.00007401013],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8058863,"threshold_uncertainty_score":0.6876814,"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."}}