{"id":"W2521857543","doi":"10.4204/eptcs.222","title":"Proceedings Combined 23rd International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics, Québec City, Canada, 22nd August 2016","year":2016,"lang":"en","type":"paratext","venue":"Electronic Proceedings in Theoretical Computer Science","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Concurrency; Computer science; Programming language; Operational semantics; Semantics (computer science); Petri net; Field (mathematics); Formal semantics (linguistics); Concurrent object-oriented programming; Software engineering; Programming paradigm; Declarative programming; Mathematics; Inductive programming","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","scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.001248665,0.0007920719,0.0008410515,0.0006430194,0.0004091352,0.001484329,0.004513827,0.0003506618,0.0001514494],"category_scores_gemma":[0.0003381954,0.0006261748,0.0000810718,0.001337657,0.001456109,0.001229819,0.001310296,0.001560536,0.00004182684],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002456871,"about_ca_system_score_gemma":0.004428948,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004429782,"about_ca_topic_score_gemma":0.005222503,"domain_scores_codex":[0.9932491,0.00004279989,0.0009646778,0.002246546,0.001823017,0.001673906],"domain_scores_gemma":[0.997664,0.0004058127,0.0004504451,0.0003777655,0.0007352925,0.0003667387],"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.000119136,0.0001091113,0.0005479713,0.00008003732,0.00002490709,0.00001597742,0.0004298389,0.0001156628,0.0001050578,0.9652021,0.02324906,0.01000113],"study_design_scores_gemma":[0.01378788,0.0032082,0.01335168,0.03163854,0.00005156127,0.0004968536,0.0003108762,0.7387328,0.005179504,0.09108718,0.09274608,0.009408839],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5126856,0.004798172,0.2262752,0.0627931,0.03380881,0.008136282,0.0006005889,0.0006985207,0.1502037],"genre_scores_gemma":[0.9960575,0.0001348046,0.0005457924,0.0006857683,0.0005823482,0.0001025142,0.00001991879,0.0000344784,0.001836835],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.8741149,"threshold_uncertainty_score":0.9996189,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.007193294609170283,"score_gpt":0.2506999194488999,"score_spread":0.2435066248397296,"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."}}