{"id":"W1704961025","doi":"10.4204/eptcs.31","title":"Proceedings Twelfth Annual Workshop on Descriptional Complexity of Formal Systems","year":2010,"lang":"en","type":"paratext","venue":"Electronic Proceedings in Theoretical Computer Science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Library science; Computer science; Operations research; Engineering","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.007000288,0.001280013,0.001413748,0.001927687,0.001426877,0.007258726,0.002024895,0.001731765,0.03411972],"category_scores_gemma":[0.01313834,0.0009952594,0.001823208,0.001509977,0.003105497,0.007968152,0.004264369,0.008731312,0.005507939],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.005535372,"about_ca_system_score_gemma":0.002633402,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003323982,"about_ca_topic_score_gemma":0.004089095,"domain_scores_codex":[0.9949548,0.001701454,0.0004261716,0.0008747242,0.001753291,0.0002896214],"domain_scores_gemma":[0.9918901,0.00453814,0.0001835973,0.001514973,0.001427462,0.0004457789],"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.0002081958,0.0001511351,0.000636843,0.0007275174,0.0001646456,0.00023358,0.001151667,0.004446275,0.002102236,0.5269863,0.2706352,0.1925565],"study_design_scores_gemma":[0.00004368238,0.00004695123,0.000653266,0.0004379654,0.0000536428,0.0003555295,0.0001589775,0.007032934,0.001500912,0.4199394,0.5697296,0.00004703907],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.01286393,0.09385046,0.6224842,0.07385124,0.02512893,0.0003008306,0.003300233,0.00154872,0.1666714],"genre_scores_gemma":[0.2418321,0.07843915,0.3253157,0.01042886,0.02255145,0.001001112,0.01315604,0.002490756,0.3047848],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.03411972,"threshold_uncertainty_score":0.1141419,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02232007085100891,"score_gpt":0.2888146064640826,"score_spread":0.2664945356130737,"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."}}