{"id":"W2897193193","doi":"10.1016/j.tcs.2018.10.021","title":"Path queries on functions","year":2018,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"Algorithms and Data Compression","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"Dalhousie University","funders":"Fondo Nacional de Desarrollo Científico y Tecnológico","keywords":"Ackermann function; Combinatorics; Successor cardinal; Element (criminal law); Inverse; Mathematics; Range (aeronautics); Path (computing); Function (biology); Discrete mathematics; Graph; Computer science","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.001857725,0.0009833978,0.001376445,0.002191007,0.001289111,0.003946181,0.0016425,0.002132442,0.01931843],"category_scores_gemma":[0.01160727,0.0005553973,0.0008329338,0.004412052,0.002339249,0.01287483,0.004828991,0.003249291,0.003770488],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002364022,"about_ca_system_score_gemma":0.001488918,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001139483,"about_ca_topic_score_gemma":0.000842839,"domain_scores_codex":[0.9966087,0.0006992087,0.0002214033,0.0006457383,0.001342018,0.0004828321],"domain_scores_gemma":[0.9920379,0.004403656,0.0002696712,0.002316071,0.0007253726,0.0002473437],"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.0008720001,0.0001121799,0.001175562,0.0003303687,0.00004464587,0.0001844366,0.0004123635,0.009077893,0.003920481,0.793382,0.03741874,0.1530693],"study_design_scores_gemma":[0.00006308462,0.00008710138,0.0002655055,0.00005378118,0.00003189765,0.0002825976,0.0001326664,0.02997785,0.004069501,0.937636,0.02737695,0.00002315004],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2021698,0.005462445,0.6803957,0.008284636,0.0008894463,0.0004730005,0.007114855,0.008519204,0.08669083],"genre_scores_gemma":[0.7752243,0.00269478,0.1631532,0.001762146,0.000707638,0.0004312018,0.007957407,0.001851348,0.04621802],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01931843,"threshold_uncertainty_score":0.06462657,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.00960591139529451,"score_gpt":0.2477399284440052,"score_spread":0.2381340170487107,"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."}}