{"id":"W4396559761","doi":"10.23952/jnva.8.2024.4.08","title":"Nonlinear strict cone separation theorems in real normed spaces","year":2024,"lang":"en","type":"article","venue":"Journal of Nonlinear and Variational Analysis","topic":"Optimization and Variational Analysis","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Cone (formal languages); Separation (statistics); Mathematics; Nonlinear system; Pure mathematics; Algorithm; Physics; Statistics","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001568248,0.0006883971,0.0004124887,0.0008878689,0.0007232167,0.001582661,0.0008336337,0.0005034563,0.003297328],"category_scores_gemma":[0.003010356,0.0002675991,0.0008536966,0.0004141029,0.001960601,0.003685802,0.002513894,0.002843268,0.0004886313],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009972811,"about_ca_system_score_gemma":0.0007556687,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008645946,"about_ca_topic_score_gemma":0.0007721573,"domain_scores_codex":[0.9992798,0.0001349831,0.00003948857,0.0001228906,0.000358395,0.00006450198],"domain_scores_gemma":[0.9986745,0.0004474333,0.0002296812,0.0001026787,0.0003896731,0.0001560633],"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.00002465464,0.00001828945,0.0003015756,0.00006912751,0.00001170984,0.00009803753,0.0001662721,0.008568365,0.003901786,0.978137,0.0007805261,0.007922675],"study_design_scores_gemma":[0.00002217032,0.00008369463,0.0007669781,0.00004591173,0.00001634484,0.0003616438,0.0002127138,0.1949984,0.004911189,0.7873746,0.01117699,0.00002933811],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0576058,0.0007752057,0.9083152,0.0005526586,0.0001051401,0.00006123034,0.0001532189,0.0000894378,0.03234213],"genre_scores_gemma":[0.760883,0.00154863,0.2035028,0.0004989335,0.0003018605,0.0002684721,0.0005502196,0.0001545063,0.03229159],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003297328,"threshold_uncertainty_score":0.01103067,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01368596955584814,"score_gpt":0.2955155321612319,"score_spread":0.2818295626053837,"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."}}