{"id":"W2765086360","doi":"10.1007/978-3-319-94812-6_10","title":"State Complexity of Overlap Assembly","year":2018,"lang":"en","type":"preprint","venue":"Lecture notes in computer science","topic":"DNA and Biological Computing","field":"Biochemistry, Genetics and Molecular Biology","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada; Narodowym Centrum Nauki","keywords":"Unary operation; Upper and lower bounds; State (computer science); Regular language; Mathematics; Combinatorics; Deterministic finite automaton; Alphabet; Binary number; Discrete mathematics; Operand; Finite-state machine; Automaton; Algorithm; Computer science; Arithmetic; Theoretical computer science","routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006773169,0.0002451372,0.000310808,0.0001031875,0.00007902258,0.00007252491,0.001153359,0.0002445318,0.000004344236],"category_scores_gemma":[0.0001963979,0.0001953643,0.0001085965,0.000293963,0.001297952,0.000003359833,0.00288615,0.0003168005,0.00000269483],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003044816,"about_ca_system_score_gemma":0.0002490027,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005326939,"about_ca_topic_score_gemma":0.00005214055,"domain_scores_codex":[0.9980065,0.00008755385,0.0003327654,0.0009008402,0.0002764662,0.0003959334],"domain_scores_gemma":[0.9987834,0.00004814294,0.0002207281,0.0006508194,0.0002222616,0.00007462673],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0001131382,0.0002618037,0.03528421,0.0002176309,0.00004830589,0.00001552776,0.0002706659,0.07785153,0.6363921,0.00005724253,0.00006508667,0.2494228],"study_design_scores_gemma":[0.0003458954,0.0008805273,0.03607556,0.000229925,0.000008277117,0.00001512914,5.265542e-7,0.1250227,0.8042511,0.03230197,0.0001979536,0.0006704876],"study_design_candidate":"bench_or_experimental","study_design_consensus":"bench_or_experimental","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5081702,0.0001056749,0.490998,0.00005978247,0.0005134409,0.0001025177,0.000009283088,0.000009362899,0.00003173361],"genre_scores_gemma":[0.9077176,0.00001620012,0.09145689,0.0003697018,0.0004011593,0.000002557578,0.00002703049,0.000007794881,0.000001073633],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.3995474,"threshold_uncertainty_score":0.7966723,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03417745417835744,"score_gpt":0.2959145557577035,"score_spread":0.261737101579346,"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."}}