{"id":"W2609877517","doi":"10.1016/j.jde.2018.01.033","title":"Existence and instability of steady states for a triangular cross-diffusion system: A computer-assisted proof","year":2018,"lang":"en","type":"preprint","venue":"Journal of Differential Equations","topic":"Stability and Controllability of Differential Equations","field":"Engineering","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université Laval","funders":"Agence Nationale de la Recherche","keywords":"Instability; A priori and a posteriori; Diffusion; Stability (learning theory); Homogeneous; Steady state (chemistry); Mathematics; Argument (complex analysis); Applied mathematics; Mathematical analysis; Calculus (dental); Statistical physics; Computer science; Physics; Mechanics; Thermodynamics; Combinatorics; Chemistry","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0007955032,0.0004224278,0.001285395,0.000360733,0.0001955772,0.0002218818,0.000458827,0.0003979005,0.00004628178],"category_scores_gemma":[0.0005809793,0.000385652,0.0006079137,0.0001742023,0.0003587026,0.0002092839,0.0002364889,0.000511492,8.453976e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002983466,"about_ca_system_score_gemma":0.0003669371,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004912474,"about_ca_topic_score_gemma":0.0001521013,"domain_scores_codex":[0.996374,0.0002418224,0.002106499,0.0003782107,0.0005830174,0.0003164749],"domain_scores_gemma":[0.9956004,0.000969525,0.001062158,0.0005766502,0.001588492,0.0002028019],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.01330211,0.02178368,0.02456114,0.1667781,0.02100256,0.00003521344,0.05847469,0.1783959,0.09392527,0.07789438,0.0009282456,0.3429186],"study_design_scores_gemma":[0.005965441,0.001308188,0.03981754,0.001711567,0.001323614,0.00001490623,0.0006117938,0.9160545,0.001895149,0.03057342,0.00004832186,0.0006755894],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5350076,0.0003242921,0.4620772,0.00005271844,0.001142404,0.0009002607,0.0004302571,0.00004695652,0.00001828246],"genre_scores_gemma":[0.9890434,0.00002826604,0.01013927,0.000003941689,0.0005114177,0.0000932519,0.0001265921,0.00004276199,0.00001116484],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.7376585,"threshold_uncertainty_score":0.9998595,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03250973915926724,"score_gpt":0.2819657550435584,"score_spread":0.2494560158842911,"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."}}