{"id":"W7008714756","doi":"","title":"Computer aided verification: 28th international conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, proceedings, part II","year":2016,"lang":"en","type":"other","venue":"CERN Document Server (European Organization for Nuclear Research)","topic":"","field":"","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"","keywords":"Nucleofection; Gestational period; TSG101; Dysgeusia; Liquation; Diafiltration; Emperipolesis; Triacetin; Demotion","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.004905347,0.002087672,0.001912668,0.002188346,0.001249826,0.00458456,0.002273651,0.001264271,0.05573453],"category_scores_gemma":[0.00633706,0.0008982355,0.001229883,0.001580602,0.002351412,0.002891829,0.002595744,0.002216779,0.0228644],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003303939,"about_ca_system_score_gemma":0.007929055,"about_ca_topic_candidate":true,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.02513235,"about_ca_topic_score_gemma":0.04433087,"domain_scores_codex":[0.9972746,0.0005468766,0.0001796628,0.0004709758,0.001270461,0.0002574342],"domain_scores_gemma":[0.9955142,0.0009112214,0.0000867222,0.001314919,0.001930798,0.0002420688],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0003681188,0.0001731687,0.0007564117,0.0005245631,0.00008399045,0.0001155038,0.0001503949,0.005446479,0.006868304,0.01271881,0.4653336,0.5074608],"study_design_scores_gemma":[0.0001459605,0.0002692049,0.003136847,0.0007360796,0.000136406,0.00097367,0.0002429757,0.0769375,0.03275255,0.0434528,0.8411347,0.0000812652],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.01316539,0.03800175,0.8116191,0.005267794,0.009722931,0.0006489123,0.004958652,0.02908568,0.08752972],"genre_scores_gemma":[0.141502,0.03221406,0.4308554,0.001263425,0.00271218,0.0004858431,0.02937885,0.01054523,0.351043],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.9748676,"threshold_uncertainty_score":0.1864506,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02654338553265154,"score_gpt":0.2675177479927773,"score_spread":0.2409743624601258,"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."}}