{"id":"W2161035123","doi":"10.1007/978-3-642-13675-7_8","title":"A Characterization of Combined Traces Using Labeled Stratified Order Structures","year":2010,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Characterization (materials science); Quotient; Representation (politics); Dependency (UML); Graph; Mathematics; Order (exchange); Class (philosophy); Computer science; Pure mathematics; Discrete mathematics; Artificial intelligence; Materials science; Nanotechnology","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.001418983,0.0009036973,0.0009444949,0.00289774,0.002060481,0.005924056,0.00215562,0.001417712,0.008462647],"category_scores_gemma":[0.006430329,0.001181654,0.0018446,0.003152295,0.003541327,0.01214722,0.003673601,0.00294596,0.001590998],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00152525,"about_ca_system_score_gemma":0.001415666,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001919779,"about_ca_topic_score_gemma":0.002137173,"domain_scores_codex":[0.9976048,0.0003513927,0.0002424927,0.0005274797,0.0008986965,0.0003750327],"domain_scores_gemma":[0.9931737,0.00301587,0.000623077,0.001308271,0.001228313,0.0006507787],"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.0001467017,0.0000762701,0.00145338,0.00008392288,0.00003009781,0.0003797392,0.001095466,0.003759551,0.006740211,0.9671689,0.0008578055,0.01820783],"study_design_scores_gemma":[0.00003100281,0.0001167368,0.0007427551,0.00007091634,0.00008562166,0.0004487301,0.0006215736,0.05702237,0.009052631,0.9217396,0.01000745,0.00006065183],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.1546427,0.0002529558,0.8165854,0.0004029971,0.0001068493,0.000183207,0.0005731415,0.001493536,0.02575919],"genre_scores_gemma":[0.8059675,0.0003657386,0.1651862,0.0002079641,0.0002401804,0.0002536133,0.001108821,0.0007941836,0.02587572],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008462647,"threshold_uncertainty_score":0.02831036,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01463442094236324,"score_gpt":0.2383488188890752,"score_spread":0.2237143979467119,"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."}}