{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001263435,0.00008214239,0.0002326312,0.0001295536,0.0002361054,0.000134609,0.0009401198,0.00003523149,9.488174e-7],"category_scores_gemma":[0.00002089515,0.0000478145,0.00008026606,0.0004537162,0.0003075949,0.0004289089,0.0001510627,0.0001172252,6.08446e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001083196,"about_ca_system_score_gemma":0.0002787834,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004139495,"about_ca_topic_score_gemma":0.000008480287,"domain_scores_codex":[0.9986072,0.00008320851,0.0005925341,0.0001351454,0.0004398793,0.0001420601],"domain_scores_gemma":[0.9985504,0.000257586,0.0006528901,0.0001747215,0.0002813737,0.00008301953],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00007292042,0.0001376252,0.01031076,0.0005591808,0.0002045705,0.00005984286,0.03560793,0.01245529,0.02644249,0.635527,0.005352762,0.2732697],"study_design_scores_gemma":[0.0003242826,0.0003949366,0.00311651,0.0001952425,0.00001139178,0.0006975568,0.0002588132,0.9884436,0.002654349,0.002790848,0.001002506,0.0001099785],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5631685,0.0002357891,0.4334615,0.001233262,0.001548248,0.00007881429,0.0000045578,0.00001340637,0.0002559635],"genre_scores_gemma":[0.9827073,0.00001950266,0.01697434,0.00004474467,0.0002310942,4.36782e-7,1.139164e-7,0.000001805197,0.00002073363],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.9759883,"threshold_uncertainty_score":0.1949819,"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."}}