{"id":"W6891913297","doi":"10.48550/arxiv.1608.02692","title":"Proceedings Combined 23rd International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics","year":2016,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Concurrency; Semantics (computer science); Operational semantics; Petri net; Field (mathematics); Formal semantics (linguistics); Event (particle physics); Focus (optics); Isolation (microbiology)","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.007744899,0.001477903,0.002062475,0.00176563,0.001392437,0.008090829,0.002579672,0.001675567,0.06275816],"category_scores_gemma":[0.009156725,0.001027243,0.002324092,0.001606271,0.002814138,0.007033615,0.005277816,0.007149887,0.01714755],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003592944,"about_ca_system_score_gemma":0.004274931,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004774583,"about_ca_topic_score_gemma":0.0056726,"domain_scores_codex":[0.9930915,0.001884117,0.0005879201,0.001065098,0.002833212,0.0005382303],"domain_scores_gemma":[0.9940143,0.002114949,0.0001435654,0.001301295,0.001865622,0.0005602948],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0003574248,0.000262704,0.0006454225,0.0008056348,0.0001867179,0.0003136219,0.001109511,0.004223447,0.006382216,0.2207183,0.4654556,0.2995396],"study_design_scores_gemma":[0.00003719733,0.00006105014,0.0003961367,0.0003402682,0.0000434734,0.0002697636,0.0001553388,0.004769088,0.00220581,0.08282807,0.9088435,0.0000503132],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.006479205,0.03671963,0.6853081,0.02551545,0.0391495,0.0006399291,0.003224736,0.005647672,0.1973158],"genre_scores_gemma":[0.08919389,0.0370447,0.3591235,0.007517108,0.0197704,0.001264038,0.01556575,0.007645708,0.462875],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.06275816,"threshold_uncertainty_score":0.2099469,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08359964394604776,"score_gpt":0.2510327791278095,"score_spread":0.1674331351817618,"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."}}