{"id":"W48429505","doi":"10.1007/978-0-387-68276-1_4","title":"Equivalent Conditions for Majorization","year":2010,"lang":"en","type":"book-chapter","venue":"Springer series in statistics","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of British Columbia","funders":"","keywords":"Majorization; Order (exchange); Mathematics; Computer science; Operations research; Combinatorics; Business","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.0003331846,0.0002500807,0.0002666471,0.0002042866,0.0001271741,0.0001194879,0.0006628539,0.0003057824,0.0001025428],"category_scores_gemma":[0.0002614794,0.0002925907,0.0000499222,0.00005544078,0.0001772613,0.0002624971,0.0002184583,0.0003945888,0.0000482184],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001148834,"about_ca_system_score_gemma":0.0001265966,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003239616,"about_ca_topic_score_gemma":0.00004401926,"domain_scores_codex":[0.9985671,0.00001837717,0.0004753686,0.0004278145,0.0002605199,0.0002508315],"domain_scores_gemma":[0.9984532,0.0001706172,0.0003069197,0.0007646833,0.0002415667,0.00006303861],"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.00000684082,0.000009271265,0.000005726833,0.0001001379,0.0000103685,0.000004987276,0.0001374643,0.00001612661,0.0002484331,0.9908828,0.0003756044,0.008202248],"study_design_scores_gemma":[0.0001759566,0.0001064198,0.0001843672,0.00007724424,0.00002009986,0.000009021479,0.00000422107,0.003926264,0.000780341,0.6986997,0.2956354,0.000381024],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.000003885579,0.00004281119,0.9485023,0.00007772832,0.002529884,0.0005126061,0.0007489565,0.00008537992,0.04749646],"genre_scores_gemma":[0.0001246259,0.0001176455,0.9347472,0.00006060454,0.0001662182,0.00009347666,0.0001960917,0.00004539566,0.06444875],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.2952598,"threshold_uncertainty_score":0.9999526,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03853287789627583,"score_gpt":0.3187533888830987,"score_spread":0.2802205109868228,"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."}}