{"id":"W2130406311","doi":"10.1109/cdc.1997.657899","title":"Supremum operators and computation of supremal elements in system theory","year":2002,"lang":"en","type":"article","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Infimum and supremum; Linear subspace; Computation; Invariant (physics); Mathematics; Computer science; Discrete mathematics; Algebra over a field; Algorithm; Theoretical computer science; Pure mathematics","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.003760589,0.0008911378,0.0009304158,0.001776045,0.0009732302,0.00270355,0.001434757,0.0006895488,0.003845052],"category_scores_gemma":[0.007663941,0.0005840665,0.001641196,0.002283725,0.003880385,0.006127095,0.001881298,0.002611805,0.001004949],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001125962,"about_ca_system_score_gemma":0.0008964941,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007714575,"about_ca_topic_score_gemma":0.0009937416,"domain_scores_codex":[0.9972956,0.001077654,0.0002431835,0.0004873718,0.0006997187,0.0001964423],"domain_scores_gemma":[0.9968888,0.002119715,0.0001630751,0.0004159339,0.0002892107,0.000123233],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00006395102,0.00003371995,0.0002210564,0.0001385737,0.00002939606,0.00007426426,0.0003525958,0.01567817,0.003206659,0.9186125,0.0009834265,0.06060563],"study_design_scores_gemma":[0.00001414814,0.000037867,0.0001126543,0.00003213731,0.00001340629,0.00006337226,0.0000483232,0.08703376,0.004063853,0.9039923,0.004563536,0.00002479739],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.005955312,0.0002276133,0.9908512,0.00008819941,0.00002640097,0.00002210875,0.00004669379,0.0002767768,0.002505681],"genre_scores_gemma":[0.1312316,0.0003343854,0.8657738,0.0001162528,0.0001051165,0.0001394069,0.0001757059,0.0002000594,0.001923745],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003845052,"threshold_uncertainty_score":0.01988816,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02469060426208258,"score_gpt":0.247924845578461,"score_spread":0.2232342413163784,"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."}}