{"id":"W3082628805","doi":"10.48550/arxiv.2009.00602","title":"Recognition and Complexity Results for Projection Languages of Two-Dimensional Automata","year":2020,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"DNA and Biological Computing","field":"Biochemistry, Genetics and Molecular Biology","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"","keywords":"Concatenation (mathematics); Projection (relational algebra); Computer science; Column (typography); Context (archaeology); Unary operation; Nondeterministic finite automaton; Cover (algebra); Automaton; Regular language; Mathematics; Automata theory; Discrete mathematics; Combinatorics; Algorithm; Theoretical computer science","routes":{"ca_aff":true,"ca_fund":false,"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.0009329609,0.0007949895,0.0009317784,0.0009824918,0.001172065,0.004654392,0.0014345,0.001155803,0.007326277],"category_scores_gemma":[0.009764603,0.0006187783,0.001896054,0.001405147,0.002535506,0.007101282,0.002968905,0.003352709,0.0007992359],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002026863,"about_ca_system_score_gemma":0.001337304,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001630948,"about_ca_topic_score_gemma":0.001069199,"domain_scores_codex":[0.9973528,0.0004230601,0.000234294,0.0007843911,0.0007791153,0.0004262383],"domain_scores_gemma":[0.9838251,0.01253323,0.0009152512,0.001286703,0.0009359483,0.0005038055],"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.0008677712,0.0005841457,0.007363396,0.0008276087,0.0001408309,0.0006544667,0.002043398,0.2096007,0.04011908,0.6667086,0.005910791,0.06517912],"study_design_scores_gemma":[0.00004325019,0.0001055991,0.001323999,0.00002579232,0.00003089655,0.0002676694,0.0002249758,0.4629037,0.009862359,0.5238388,0.001301532,0.00007144434],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6463249,0.0008491096,0.3296418,0.001596765,0.0001031581,0.0002072405,0.00127266,0.001168813,0.01883549],"genre_scores_gemma":[0.9482816,0.0003451642,0.04606196,0.0001627417,0.00009790393,0.0003097912,0.00131202,0.0001761723,0.00325267],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.007326277,"threshold_uncertainty_score":0.02450883,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.187357976200521,"score_gpt":0.2475087224745355,"score_spread":0.06015074627401445,"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."}}