{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001836557,0.00115067,0.001174065,0.001857593,0.00156752,0.003055852,0.001436407,0.001746965,0.0343099],"category_scores_gemma":[0.007901226,0.0007784557,0.002559059,0.001190934,0.004086272,0.009222336,0.002918317,0.005820503,0.006538611],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001181902,"about_ca_system_score_gemma":0.0007540862,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000375262,"about_ca_topic_score_gemma":0.0003186888,"domain_scores_codex":[0.9975488,0.0005017302,0.0002122151,0.0007530503,0.000594514,0.0003896932],"domain_scores_gemma":[0.99531,0.00255705,0.0002788018,0.0008284639,0.0007649948,0.0002607847],"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.0000280347,0.00001609283,0.00003749636,0.0000281529,0.000006433078,0.00003818085,0.00007621913,0.0001953876,0.0004733093,0.9898877,0.003545244,0.005667754],"study_design_scores_gemma":[0.00001425088,0.00001404836,0.00006562516,0.000009215329,0.000009131867,0.00009032749,0.00002933195,0.00145116,0.0005869659,0.9919373,0.005782212,0.00001028651],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.03902426,0.001719291,0.5693787,0.003786002,0.001468791,0.0001339021,0.0008768712,0.001316285,0.3822959],"genre_scores_gemma":[0.830257,0.001635381,0.07624288,0.002160926,0.003144415,0.0005008021,0.002011215,0.001702814,0.08234455],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.0343099,"threshold_uncertainty_score":0.114778,"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."}}