{"id":"W4386711818","doi":"10.21711/2319023x2023/pmo1124","title":"Determinantes de Hurwitz para verificar quando polinômios possuem somente raízes reais","year":2023,"lang":"pt","type":"article","venue":"Revista Professor de Matemática On line","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"WiLAN (Canada)","funders":"","keywords":"Physics","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","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.004757711,0.0007957212,0.001081876,0.0005851598,0.0006329155,0.0007993411,0.002241649,0.0005114519,0.00009221636],"category_scores_gemma":[0.001942524,0.0007619538,0.0003507288,0.002024408,0.0003060135,0.0006052415,0.0006890629,0.0009849573,0.002418328],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005474336,"about_ca_system_score_gemma":0.0004783455,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003545423,"about_ca_topic_score_gemma":0.000003052339,"domain_scores_codex":[0.9921922,0.001931429,0.00159037,0.001361607,0.0009181179,0.002006271],"domain_scores_gemma":[0.9949175,0.0008424228,0.0008294904,0.002532859,0.0003212704,0.0005564258],"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.002704432,0.002716717,0.004991001,0.0136192,0.0007763528,0.001920251,0.02053286,0.000520427,0.08589462,0.7255384,0.04086378,0.09992197],"study_design_scores_gemma":[0.004530803,0.003819927,0.02207662,0.008299583,0.0005736208,0.0004549596,0.001980355,0.7055535,0.1133874,0.004656778,0.1310648,0.003601653],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7142481,0.004732458,0.2286684,0.03544815,0.005381132,0.005671958,0.0004329502,0.003657787,0.001759052],"genre_scores_gemma":[0.8591512,0.004363892,0.1045908,0.001473889,0.001198873,0.0006147189,0.0001273781,0.0003047641,0.0281745],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.7208816,"threshold_uncertainty_score":0.9994832,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1032535437684283,"score_gpt":0.3922155032317745,"score_spread":0.2889619594633462,"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."}}