{"id":"W571300759","doi":"10.1007/s11047-015-9502-9","title":"Pseudo-inversion: closure properties and decidability","year":2015,"lang":"en","type":"article","venue":"Natural Computing","topic":"Algorithms and Data Compression","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"Queen's University","funders":"","keywords":"Decidability; Nondeterministic algorithm; Inversion (geology); Context-free language; Iterated function; Computer science; Regular language; Formal language; Mathematics; Discrete mathematics; Algorithm; Theoretical computer science; Automaton; Rule-based machine translation; Artificial intelligence","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.0004060807,0.0001200866,0.0001379401,0.00003997643,0.0002008744,0.0001981326,0.0004974472,0.00005666097,0.00000106278],"category_scores_gemma":[0.0001273376,0.0000849985,0.00002964331,0.0001938911,0.00005205367,0.0005755968,0.001077032,0.0002328026,0.00001333166],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004122854,"about_ca_system_score_gemma":0.00005473102,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000444283,"about_ca_topic_score_gemma":0.000002489553,"domain_scores_codex":[0.9988759,0.00007647663,0.0001600622,0.0003678093,0.0003021171,0.0002175968],"domain_scores_gemma":[0.9992393,0.00005940123,0.0000611226,0.0003467572,0.0001518933,0.0001415023],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00008250624,0.0001372849,0.03511255,0.0001180065,0.00003936143,0.0000763161,0.005287144,0.0005304534,0.002854027,0.01031406,0.02465542,0.9207929],"study_design_scores_gemma":[0.0004874122,0.00007302874,0.007981049,0.00006359043,0.000003282171,0.00005645195,0.0001063717,0.9846503,0.001019695,0.00144558,0.003888374,0.0002248413],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9326764,0.00183432,0.06270368,0.0008725342,0.001087305,0.0001529829,8.490688e-7,0.0002759136,0.0003960223],"genre_scores_gemma":[0.9179614,0.000002746962,0.08160036,0.0002316487,0.0001510391,6.121592e-7,0.000001785996,0.000003957327,0.00004645743],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.9841199,"threshold_uncertainty_score":0.3466138,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04490257803118486,"score_gpt":0.2500547357206244,"score_spread":0.2051521576894395,"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."}}