{"id":"W7018016158","doi":"","title":"A computer-assisted proof for nonlinear heat equations in the complex plane of time (Regularity and Asymptotic Analysis for Critical Cases of Partial Differential Equations)","year":2021,"lang":"en","type":"other","venue":"Kyoto University Research Information Repository (Kyoto University)","topic":"","field":"","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Japan Society for the Promotion of Science; McGill University; Brandeis University","keywords":"Partial differential equation; Asymptotic analysis; Nonlinear system; Asymptotic analysis; Plane (geometry); Complex plane; Heat equation; First-order partial differential equation; Partial derivative; Differential equation","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0008110536,0.0003298647,0.000855411,0.005640901,0.0006506696,0.0001298403,0.0008371786,0.0004262142,0.0003297638],"category_scores_gemma":[0.0008799364,0.0003601338,0.00043096,0.003480094,0.001007986,0.000625663,0.0003783944,0.0003909032,0.00001455857],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004772928,"about_ca_system_score_gemma":0.0008922875,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002529945,"about_ca_topic_score_gemma":0.0007543386,"domain_scores_codex":[0.9961799,0.001119549,0.0005998145,0.0004503714,0.001132115,0.0005182014],"domain_scores_gemma":[0.9936751,0.003275288,0.0004200047,0.000682626,0.001729089,0.0002179548],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.03058841,0.01765144,0.01514338,0.02717949,0.0286859,0.002226538,0.02476082,0.01956103,0.0166948,0.6614119,0.1539316,0.00216468],"study_design_scores_gemma":[0.01483669,0.003889442,0.008357169,0.001531087,0.006271258,0.00009455943,0.01406015,0.7201682,0.001948065,0.0001336445,0.2268143,0.001895354],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07238319,0.0001941699,0.7169596,0.0008966188,0.0004768179,0.02531802,0.02485082,0.000471557,0.1584492],"genre_scores_gemma":[0.8726991,0.00005288441,0.01581888,0.00005858731,0.0004289315,0.00004780407,0.01736161,0.0002849895,0.09324715],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.800316,"threshold_uncertainty_score":0.9998851,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07633471599963108,"score_gpt":0.3151317963581215,"score_spread":0.2387970803584904,"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."}}