{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0003392066,0.0003364972,0.0002962863,0.0004219013,0.0001301426,0.0002570879,0.001598678,0.000302918,0.00002279238],"category_scores_gemma":[0.0002469066,0.0003262014,0.00007363206,0.0003568638,0.0001559163,0.0007492998,0.001197705,0.0006657557,0.00001641255],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003225419,"about_ca_system_score_gemma":0.0001107581,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000006856457,"about_ca_topic_score_gemma":0.000003353914,"domain_scores_codex":[0.9980037,0.000101268,0.0003171524,0.001081854,0.0002150038,0.0002809714],"domain_scores_gemma":[0.9985674,0.0002194594,0.0003308882,0.0004947402,0.0002725436,0.0001149733],"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.0001900619,0.00008032732,0.01277205,0.00005364591,0.00003848394,0.00003933027,0.0004679691,0.01409101,0.0001030159,0.967937,0.0001016881,0.0041254],"study_design_scores_gemma":[0.002047297,0.0001344811,0.03488477,0.001575371,0.00002476315,0.000008695471,0.0001728775,0.8874263,0.0008740814,0.0715675,0.0003414659,0.0009424117],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7435818,0.00001744172,0.2511545,0.0005359561,0.001789802,0.0004464689,0.00002249763,0.0001189983,0.002332513],"genre_scores_gemma":[0.9911877,0.0000798859,0.007909512,0.0001140369,0.0001179379,0.000004996616,0.00002122201,0.0000157037,0.0005490254],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.8963695,"threshold_uncertainty_score":0.999919,"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."}}