{"id":"W1509049977","doi":"","title":"CONCUR 2008 - Concurrency Theory: 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008, Proceedings","year":2008,"lang":"en","type":"book","venue":"CERN Document Server (European Organization for Nuclear Research)","topic":"Graph Theory and Algorithms","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"","keywords":"Concurrency; Bisimulation; Computer science; Process calculus; Programming language; Library science","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.003982236,0.001661322,0.001962582,0.001800942,0.002466853,0.006929103,0.002420192,0.001488798,0.02892704],"category_scores_gemma":[0.005456823,0.001612113,0.0008366797,0.004217084,0.002141464,0.005053452,0.002682228,0.003447006,0.0122243],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.005611862,"about_ca_system_score_gemma":0.01246069,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.06536736,"about_ca_topic_score_gemma":0.1127335,"domain_scores_codex":[0.9982242,0.000315371,0.0001241313,0.0002476948,0.0009137729,0.0001748169],"domain_scores_gemma":[0.997134,0.0006956338,0.00006531565,0.0004266796,0.001305715,0.0003726882],"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.0000919062,0.0000796661,0.0003578668,0.0003809283,0.00002574958,0.00009502396,0.0002488527,0.001806121,0.001945728,0.03919817,0.7948824,0.1608877],"study_design_scores_gemma":[0.00006376787,0.00007683392,0.000866378,0.0003313085,0.00005927415,0.0004822354,0.0002481414,0.01689332,0.003416025,0.05483724,0.9226775,0.00004798314],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.00752885,0.09314276,0.7025083,0.02093893,0.0248035,0.0008621798,0.004138574,0.01650523,0.1295717],"genre_scores_gemma":[0.05512808,0.0733851,0.3653917,0.00469411,0.006728903,0.0009389563,0.01357519,0.007195607,0.4729623],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.06536736,"threshold_uncertainty_score":0.1299737,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02301145535778053,"score_gpt":0.2491258822040104,"score_spread":0.2261144268462299,"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."}}