{"id":"W2081149247","doi":"10.1016/s0893-9659(03)00073-9","title":"The post correspondence problem over a unary alphabet","year":2003,"lang":"en","type":"article","venue":"Applied Mathematics Letters","topic":"Coding theory and cryptography","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Alberta","funders":"","keywords":"Unary operation; Mathematics; Alphabet; Logarithm; Combinatorics; Representation (politics); Discrete mathematics; Mathematical analysis","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.002597011,0.0006957531,0.002097282,0.0008904932,0.00335434,0.007467054,0.002054917,0.00429889,0.01774738],"category_scores_gemma":[0.009449304,0.0008914529,0.001254294,0.002281139,0.00361586,0.01873062,0.00325972,0.006079383,0.002877654],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001711984,"about_ca_system_score_gemma":0.002571852,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005765051,"about_ca_topic_score_gemma":0.000429176,"domain_scores_codex":[0.9976636,0.0008230292,0.0001654056,0.0005335081,0.0004033553,0.0004109532],"domain_scores_gemma":[0.989535,0.007590038,0.0005671189,0.001477515,0.0004570464,0.0003731909],"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.0001958806,0.00007214233,0.0001722027,0.0001049415,0.00001034922,0.0001366498,0.0001522248,0.002900097,0.0003882702,0.9768252,0.006582728,0.0124593],"study_design_scores_gemma":[0.00002791532,0.00001446212,0.00004135693,0.00001176302,0.000006771225,0.00007402217,0.00006134302,0.005746807,0.0006466018,0.99096,0.002399999,0.000008914998],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3188813,0.002681155,0.4129772,0.03825787,0.001846313,0.0001971515,0.001914388,0.001173431,0.2220713],"genre_scores_gemma":[0.8734144,0.001947844,0.05788012,0.002197017,0.002306259,0.0002272178,0.001498444,0.0007025001,0.05982617],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01774738,"threshold_uncertainty_score":0.05937088,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.006986649179844907,"score_gpt":0.2045186240475634,"score_spread":0.1975319748677185,"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."}}