{"id":"W4401560526","doi":"10.1016/j.tcs.2024.114780","title":"On the difference set of two transductions","year":2024,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"Saint Mary's University","funders":"Centro de Matemática Universidade do Porto; Fundação para a Ciência e a Tecnologia; Natural Sciences and Engineering Research Council of Canada","keywords":"Set (abstract data type); Mathematics; Combinatorics; Discrete mathematics; Computer science; 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.002451848,0.0007413498,0.001426278,0.003489963,0.002628716,0.00615854,0.00207558,0.002302417,0.007778802],"category_scores_gemma":[0.006782816,0.001076267,0.001728608,0.002121487,0.006292391,0.01123335,0.005648592,0.004290089,0.0009168849],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002668482,"about_ca_system_score_gemma":0.0008390572,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001000618,"about_ca_topic_score_gemma":0.0005571061,"domain_scores_codex":[0.9969361,0.0007992981,0.0002329167,0.0007235195,0.0008732776,0.0004348465],"domain_scores_gemma":[0.9914553,0.006081252,0.000422,0.0006050066,0.0007647848,0.0006715616],"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.00006877507,0.00002333905,0.0001940346,0.00002070235,0.000007178161,0.00007533608,0.0003210407,0.0006940801,0.0007534588,0.9944896,0.0002759114,0.003076622],"study_design_scores_gemma":[0.00002051186,0.00002621722,0.0001558674,0.00001509822,0.000007757943,0.00009198375,0.0001096603,0.005495803,0.0004823324,0.992342,0.001237629,0.00001510134],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5853982,0.001333533,0.316892,0.002930522,0.0005748192,0.00007687651,0.0007287874,0.0004237687,0.09164146],"genre_scores_gemma":[0.949737,0.0004399155,0.03385612,0.0004731944,0.0002224963,0.0001125141,0.0007638086,0.0001441442,0.01425077],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.007778802,"threshold_uncertainty_score":0.02602267,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01566624282978385,"score_gpt":0.2669519859482352,"score_spread":0.2512857431184513,"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."}}