{"id":"W1853304843","doi":"10.1007/s10107-016-1079-2","title":"Tight MIP formulations for bounded up/down times and interval-dependent start-ups","year":2016,"lang":"en","type":"article","venue":"Mathematical Programming","topic":"Optimization and Search Problems","field":"Computer Science","cited_by":27,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of British Columbia","funders":"","keywords":"Mathematics; Bounded function; Interval (graph theory); Integer programming; Convex hull; Quadratic programming; Linear programming; Upper and lower bounds; Integer (computer science); Mathematical optimization; Combinatorics; Discrete mathematics; Regular polygon; Computer science","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":[],"consensus_categories":[],"category_scores_codex":[0.0004724101,0.0001262209,0.0001727087,0.00007634143,0.0001951703,0.0003707222,0.0003113696,0.00005628127,0.00009720669],"category_scores_gemma":[0.000254587,0.00007934964,0.00006577399,0.000118462,0.0000945159,0.0006046995,0.0001992358,0.00005759144,0.00006561714],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003504918,"about_ca_system_score_gemma":0.00003091782,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001300749,"about_ca_topic_score_gemma":0.000003913713,"domain_scores_codex":[0.9987707,0.00003375411,0.0003046956,0.0002943904,0.0002382208,0.0003581971],"domain_scores_gemma":[0.9990398,0.000324198,0.00006584261,0.0002975623,0.000112319,0.0001602519],"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.000006668373,0.0001079732,0.00004476901,0.0001113946,0.00002447928,0.000001238448,0.0009342975,0.000004752556,0.0001518856,0.7023038,0.0003907832,0.2959179],"study_design_scores_gemma":[0.001596128,0.0003116665,0.00003599264,0.000231773,0.0000194155,0.00002354964,0.00007271228,0.2544268,0.000984258,0.7062507,0.03567113,0.0003758556],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0008352377,0.00002463771,0.9934328,0.0038188,0.00008181081,0.0007192291,0.000002843102,0.0002062997,0.0008783275],"genre_scores_gemma":[0.2255126,0.000005935709,0.7680131,0.0001176548,0.00004022332,0.0002295107,0.000003620574,0.00001923806,0.006058198],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.2955421,"threshold_uncertainty_score":0.3574883,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03800690496063752,"score_gpt":0.2958300606662771,"score_spread":0.2578231557056396,"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."}}