{"id":"W7027925264","doi":"","title":"Descriptional complexity of formal systems 15th international workshop, DCFS 2013, London, Canada, July 22 - 25, 2013 ; proceedings","year":2013,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"","keywords":"Formal system; Subject (documents); Formal methods; Systems theory","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.006482487,0.000810363,0.001509281,0.002086325,0.00162948,0.008452534,0.002322075,0.001316176,0.01085693],"category_scores_gemma":[0.02266179,0.001350886,0.002763055,0.001394578,0.003626732,0.009010507,0.004524835,0.006034054,0.0008729114],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0114955,"about_ca_system_score_gemma":0.006245788,"about_ca_topic_candidate":true,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01244335,"about_ca_topic_score_gemma":0.01299137,"domain_scores_codex":[0.9912835,0.002081997,0.000719068,0.0009946179,0.004353001,0.0005677966],"domain_scores_gemma":[0.9776441,0.01485321,0.0005603586,0.003034831,0.003256749,0.0006507673],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0001736387,0.0001511757,0.002393553,0.0005013383,0.0001451947,0.0001477127,0.001026988,0.03530218,0.00257511,0.8357517,0.02179314,0.1000383],"study_design_scores_gemma":[0.00004398742,0.00002568437,0.0008817954,0.0001320192,0.00005920825,0.0001193945,0.0002475379,0.1109609,0.00296638,0.8554382,0.02907754,0.00004740528],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.06429276,0.01005249,0.8671902,0.02057833,0.0009669618,0.0002568699,0.002021669,0.00121202,0.03342875],"genre_scores_gemma":[0.6928812,0.007812964,0.2623262,0.001112161,0.001094308,0.0006734788,0.006355597,0.001128339,0.02661582],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.9875566,"threshold_uncertainty_score":0.08340609,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04946287073204324,"score_gpt":0.2639296469112705,"score_spread":0.2144667761792273,"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."}}