{"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":"codex-gemma-dda1882f352a","candidate_categories":["sts"],"consensus_categories":[],"category_scores_codex":[0.001368156,0.000139024,0.0001369309,0.000160493,0.0002729661,0.0004202343,0.002629183,0.00002358105,0.00009343106],"category_scores_gemma":[0.00005096184,0.00007818526,0.00008593022,0.001476341,0.002826853,0.000285669,0.0003847187,0.0002225248,0.00008661839],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002418786,"about_ca_system_score_gemma":0.0001012117,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003404732,"about_ca_topic_score_gemma":2.683255e-7,"domain_scores_codex":[0.9982307,0.0001181509,0.000207556,0.0005269557,0.0005755864,0.0003410611],"domain_scores_gemma":[0.9978186,0.001114402,0.00002597681,0.0008709655,0.00006337767,0.0001066368],"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.000001485785,0.00001799107,0.000001610384,0.000006742745,0.000003747899,0.000005274702,0.0006387818,0.00005274364,0.002699708,0.9468791,0.00005835052,0.04963442],"study_design_scores_gemma":[0.00003610236,0.00008737016,0.0001188937,0.00005604251,0.000002761969,0.0000220794,0.000004584959,0.4071795,0.0121773,0.5801975,0.00004107133,0.00007676987],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1044104,0.00004366405,0.888045,0.00427879,0.0008471524,0.00009915903,0.000003963034,0.0002404015,0.002031459],"genre_scores_gemma":[0.9844989,0.000004012275,0.01488371,0.000480038,0.0001034627,0.000006692852,2.580947e-7,0.000005606202,0.00001731271],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8800884,"threshold_uncertainty_score":0.9998869,"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."}}