{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008559985,0.0001772648,0.0001420137,0.00007217129,0.0003655632,0.0002569777,0.001066636,0.00004037594,0.00002410995],"category_scores_gemma":[0.000041358,0.0001260915,0.00008705498,0.0004386009,0.0001354497,0.0001383632,0.0001467488,0.0001710008,0.0001372705],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000192421,"about_ca_system_score_gemma":0.00002939667,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":8.361163e-7,"about_ca_topic_score_gemma":0.000001054524,"domain_scores_codex":[0.9987222,0.00004828005,0.0002499311,0.0002965947,0.0003141894,0.000368804],"domain_scores_gemma":[0.9982105,0.0006620548,0.0001271015,0.0009035745,0.00002576636,0.00007102729],"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.000005949229,0.00004863259,0.00001441187,0.00002080495,0.00002068051,0.000006314813,0.0009660928,0.00001569947,0.02093262,0.9706784,0.005729196,0.001561213],"study_design_scores_gemma":[0.0007782055,0.00009458667,0.000226498,0.00007255394,0.00003760734,0.00009612957,0.0003511892,0.001987308,0.01064144,0.9149824,0.06993028,0.0008018024],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1259372,0.0001107252,0.8177594,0.004044107,0.0006389737,0.0008577885,0.000002340925,0.0004856489,0.05016385],"genre_scores_gemma":[0.6827606,0.0000183502,0.3036965,0.01264788,0.00006530391,0.0002423142,0.000002004633,0.00005149228,0.0005155407],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.5568234,"threshold_uncertainty_score":0.5141861,"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."}}