{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0005858734,0.0004659985,0.0006031028,0.0006412219,0.0002026594,0.0003986387,0.002541866,0.000419882,0.0000503074],"category_scores_gemma":[0.00006570359,0.0004070086,0.0000946094,0.0006692693,0.0006845451,0.0006860033,0.0006096092,0.0007195844,0.000003698995],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006940809,"about_ca_system_score_gemma":0.000528354,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002197026,"about_ca_topic_score_gemma":0.00004294947,"domain_scores_codex":[0.9970828,0.00004128666,0.0006191452,0.001034964,0.0007713533,0.0004504168],"domain_scores_gemma":[0.9975531,0.0002391046,0.0005804274,0.001171735,0.0003474018,0.0001082311],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0000176534,0.00005341418,0.00003900546,0.00009225066,0.00002411486,0.00003187513,0.001258643,0.002941321,0.6810994,0.09098233,6.042612e-7,0.2234594],"study_design_scores_gemma":[0.0005063448,0.0001942541,0.0005159361,0.000314253,0.00001739337,0.0000549906,3.011669e-7,0.5389433,0.184081,0.2745032,0.00009802323,0.0007710258],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06580223,0.00006078921,0.9318321,0.0001484074,0.001477562,0.0003444824,0.00001320366,0.0001188192,0.0002024121],"genre_scores_gemma":[0.6296751,0.00001284023,0.3695367,0.0004002436,0.0002450207,0.000003244628,0.00001835121,0.00003452808,0.00007391991],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.5638729,"threshold_uncertainty_score":0.9998382,"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."}}