{"id":"W2043428776","doi":"10.1016/j.jcss.2010.08.010","title":"The set of realizations of a max-plus linear sequence is semi-polyhedral","year":2010,"lang":"en","type":"article","venue":"Journal of Computer and System Sciences","topic":"Polynomial and algebraic computation","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Mathematics; Sequence (biology); Commutative property; Idempotence; Realization (probability); Minimal realization; Set (abstract data type); Combinatorics; Finite set; Dimension (graph theory); Discrete mathematics; Linear system; Computer science; Mathematical analysis","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.0008955546,0.0009363627,0.00123074,0.001268291,0.001740193,0.00420631,0.001135766,0.00114394,0.007342374],"category_scores_gemma":[0.003224309,0.0007491419,0.001071615,0.001002097,0.002412729,0.003443549,0.001420634,0.002419653,0.001445186],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001153922,"about_ca_system_score_gemma":0.00131006,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001012666,"about_ca_topic_score_gemma":0.0009677187,"domain_scores_codex":[0.9984878,0.0002690553,0.000115761,0.0003885264,0.0004753244,0.0002634634],"domain_scores_gemma":[0.9963043,0.001788615,0.0004170835,0.0003450049,0.0007411869,0.0004037551],"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.0003710983,0.0001102354,0.0008025271,0.0001133993,0.00005861429,0.0002211618,0.0002123788,0.01314584,0.005389759,0.9620151,0.001998065,0.01556198],"study_design_scores_gemma":[0.00006007759,0.0001569942,0.0005201353,0.00004512065,0.00002243647,0.0002347151,0.0001497638,0.05524151,0.004028032,0.9347194,0.004773164,0.00004872484],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3172486,0.0004312476,0.6283631,0.0009199272,0.00022047,0.0001422852,0.002712205,0.000967845,0.04899433],"genre_scores_gemma":[0.9082315,0.0004716758,0.0676809,0.0002891467,0.000181993,0.0003546755,0.003452408,0.0002193463,0.01911836],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007342374,"threshold_uncertainty_score":0.02456266,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02751631081699587,"score_gpt":0.2842051069361979,"score_spread":0.2566887961192021,"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."}}