{"id":"W2952223943","doi":"10.48550/arxiv.1107.3852","title":"Sums of Ceiling Functions Solve Nested Recursions","year":2011,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Analytic Number Theory Research","field":"Mathematics","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Recursion (computer science); Combinatorics; Mathematics; Ceiling (cloud); Sequence (biology); Interpretation (philosophy); Tree (set theory); Discrete mathematics; Physics; Computer science; Algorithm; Chemistry","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.002622555,0.00111921,0.001122822,0.001421846,0.001446102,0.002525225,0.001600716,0.001418398,0.007125239],"category_scores_gemma":[0.01626577,0.0008622573,0.001917763,0.000751941,0.002903811,0.004523381,0.003123766,0.003496336,0.00182943],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001492367,"about_ca_system_score_gemma":0.001388847,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001273728,"about_ca_topic_score_gemma":0.002400694,"domain_scores_codex":[0.9980271,0.0005171135,0.0001236191,0.0003186516,0.0005508552,0.0004625594],"domain_scores_gemma":[0.9964404,0.001917895,0.0003162702,0.0003313428,0.0005337684,0.0004602069],"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.00003055367,0.0000294299,0.0004025713,0.00004145237,0.000008137818,0.00009928974,0.0002412203,0.006532118,0.002367798,0.9812308,0.000869466,0.008147083],"study_design_scores_gemma":[0.00001519466,0.00001810778,0.0001206612,0.00002217076,0.000006954591,0.000120557,0.00004522684,0.07812937,0.001539955,0.9181538,0.001812366,0.00001570099],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2325169,0.0003930452,0.706026,0.0007522636,0.0001555159,0.000122499,0.0002243867,0.0006268757,0.0591826],"genre_scores_gemma":[0.7359824,0.0003814675,0.2267712,0.0004477702,0.0002796359,0.0003342315,0.0005339237,0.0008751432,0.03439426],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007125239,"threshold_uncertainty_score":0.02383626,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.2796034397668057,"score_gpt":0.2637074995781818,"score_spread":0.01589594018862384,"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."}}