{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.008528668,0.0009602682,0.001350501,0.001572098,0.003261731,0.007185861,0.003144834,0.002564426,0.006725607],"category_scores_gemma":[0.04148904,0.001516799,0.004410306,0.002155377,0.008810256,0.02258555,0.005017354,0.01060249,0.0006611201],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002755086,"about_ca_system_score_gemma":0.004034679,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003031407,"about_ca_topic_score_gemma":0.002805897,"domain_scores_codex":[0.9912987,0.002608841,0.0008783746,0.002085892,0.001998286,0.001129906],"domain_scores_gemma":[0.9231333,0.06593172,0.001545683,0.004989327,0.003346164,0.001053799],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0001999195,0.0001978559,0.001271372,0.000259146,0.00004588559,0.0002893012,0.0010103,0.004267739,0.001369786,0.9670853,0.003384084,0.02061943],"study_design_scores_gemma":[0.00004961009,0.00001420296,0.00009909749,0.00002549042,0.00002664229,0.0001497438,0.0001376762,0.01241996,0.001415587,0.984055,0.001588769,0.00001836794],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.1149091,0.001581169,0.8336414,0.01156058,0.0004508719,0.0002974814,0.001313296,0.001326424,0.03491972],"genre_scores_gemma":[0.7954499,0.001105168,0.188242,0.002280939,0.0009339789,0.0005710102,0.002329403,0.0007425877,0.008345039],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008528668,"threshold_uncertainty_score":0.04510444,"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."}}