{"id":"W2077823020","doi":"10.1007/s11047-013-9364-y","title":"Computing maximal Kleene closures that are embeddable in a given subword-closed language","year":2013,"lang":"en","type":"article","venue":"Natural Computing","topic":"DNA and Biological Computing","field":"Biochemistry, Genetics and Molecular Biology","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Saint Mary's University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Theory of computation; Closure (psychology); Regular language; Computer science; Set (abstract data type); Property (philosophy); Characterization (materials science); Discrete mathematics; Coding (social sciences); DNA computing; Mathematics; Algorithm; Theoretical computer science; Automaton; Programming language","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001100129,0.0008284091,0.001106212,0.001227049,0.001095219,0.005110739,0.001332136,0.001196552,0.006862608],"category_scores_gemma":[0.007740821,0.0009115057,0.001976731,0.001684554,0.002146007,0.01097437,0.00265983,0.002322965,0.001271538],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001064181,"about_ca_system_score_gemma":0.001008818,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001118879,"about_ca_topic_score_gemma":0.002188947,"domain_scores_codex":[0.9982629,0.0001812265,0.0001736572,0.0005952342,0.0004513342,0.0003356012],"domain_scores_gemma":[0.9949889,0.003333695,0.0003488516,0.0004955793,0.0005195054,0.0003135366],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.001718007,0.0005987654,0.005882139,0.001637944,0.0002448011,0.001230491,0.005564993,0.02702971,0.06530769,0.7489547,0.007226679,0.1346041],"study_design_scores_gemma":[0.00007916403,0.0001383294,0.0006413696,0.0001092211,0.0001260566,0.0003807448,0.001301045,0.03059643,0.02836626,0.9306186,0.007565251,0.00007755272],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"methods","genre_scores_codex":[0.5813738,0.0005460904,0.3947558,0.001189362,0.0001696851,0.0001507675,0.001629502,0.003179197,0.01700589],"genre_scores_gemma":[0.8283541,0.0002707059,0.1611541,0.0002143476,0.0001014056,0.00009769949,0.00278684,0.0007923768,0.006228272],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.006862608,"threshold_uncertainty_score":0.02295774,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01113627193867799,"score_gpt":0.2531903348998224,"score_spread":0.2420540629611444,"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."}}