Search results for "recursion"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	Johann Eder	Extending SQL with General Transitive Closure and Extreme Value Selections.	IEEE Trans. Knowl. Data Eng.	1990	DBLP DOI BibTeX RDF	general transitive closure, recursive query processing applications, general recursive capabilities, existing query languages, database language SQL, view definition mechanism, extreme value sections, special constructs, maximal values, recursively defined views, nonlinear recursion, standards, database management systems, query languages, attributes, information retrieval systems, tuples, recursive structures
14	Mark A. Fulk	Robust Separations in Inductive Inference	FOCS	1990	DBLP DOI BibTeX RDF	recursion-theoretic inductive inference, function learning, formal language
14	Stephen A. Cook, Bruce M. Kapron	Characterizations of the Basic Feasible Functionals of Finite Type (Extended Abstract)	FOCS	1989	DBLP DOI BibTeX RDF	finite type functional, simple typed while-programming language, mu -recursion, feasible functionals, length-bounded, bounded typed loop program, run times
14	Rob J. van Glabbeek	Bounded Nondeterminism and the Approximation Induction Principle in Process Algebra.	STACS	1987	DBLP DOI BibTeX RDF	& Phrases Concurrency, Approximation Induction Principle, Bounded Nondeterminism, Fairness, Abstraction, Consistency, Process algebra, Recursion, Bisimulation, Liveness, ACP
14	Eric C. R. Hehner	Structuring.	POPL	1977	DBLP DOI BibTeX RDF	data structures, recursion, language design, control structures
14	William W. Hooker	On the expected lengths of sequences generated in sorting by replacement selecting.	Commun. ACM	1969	DBLP DOI BibTeX RDF	asymptotic expected length, meromorphic function, recursion relation, replacement selecting, sequence lengths, sorting, generating function
13	Maximilien Mackie	Recursion-free modular arithmetic in the lambda-calculus.	Inf. Process. Lett.	2024	DBLP DOI BibTeX RDF
13	Kip Errett Patterson	TOTEs and trauma: a cybernetic, extended recursion schematic for hyper vigilance.	Kybernetes	2024	DBLP DOI BibTeX RDF
13	Weiwei Chen, Yuhang Ji, Ziyang Qi, Liping Yan, Xiang Zhao	Automatic Determination of Set of Multivariate Basis Polynomials Based on Recursion and Application of LSPCR to High-Dimensional Uncertainty Quantification of Multi-Conductor Transmission Lines.	IEEE Access	2024	DBLP DOI BibTeX RDF
13	Linnea Persson, Anders Hansson, Bo Wahlberg	An optimization algorithm based on forward recursion with applications to variable horizon MPC.	Eur. J. Control	2024	DBLP DOI BibTeX RDF
13	Yue Niu, Jonathan Sterling, Robert Harper 0001	Cost-sensitive computational adequacy of higher-order recursion in synthetic domain theory.	CoRR	2024	DBLP DOI BibTeX RDF
13	Stacey Jeffery, Galina Pass	Multidimensional Quantum Walks, Recursion, and Quantum Divide & Conquer.	CoRR	2024	DBLP DOI BibTeX RDF
13	Matthias Gerstgrasser, Rylan Schaeffer, Apratim Dey, Rafael Rafailov, Henry Sleight, John Hughes, Tomasz Korbak, Rajashree Agrawal, Dhruv Pai, Andrey Gromov, Daniel A. Roberts, Diyi Yang, David L. Donoho, Sanmi Koyejo	Is Model Collapse Inevitable? Breaking the Curse of Recursion by Accumulating Real and Synthetic Data.	CoRR	2024	DBLP DOI BibTeX RDF
13	Matheus Campos Fernandes, Fabrício Olivetti de França, Emilio Francesquini	Origami: (un)folding the abstraction of recursion schemes for program synthesis.	CoRR	2024	DBLP DOI BibTeX RDF
13	Shizhuo Dylan Zhang, Curt Tigges, Zory Zhang, Stella Biderman, Maxim Raginsky, Talia Ringer	Transformer-Based Models Are Not Yet Perfect At Learning to Emulate Structural Recursion.	CoRR	2024	DBLP DOI BibTeX RDF
13	Seth Bernstein, Paul Denny 0001, Juho Leinonen 0001, Lauren Kan, Arto Hellas, Matt Littlefield, Sami Sarsa, Stephen MacNeil	"Like a Nesting Doll": Analyzing Recursion Analogies Generated by CS Students using Large Language Models.	CoRR	2024	DBLP DOI BibTeX RDF
13	Georg Gottlob, Matthias Lanzinger, Cem Okulmus, Reinhard Pichler	Fast Parallel Hypertree Decompositions in Logarithmic Recursion Depth.	ACM Trans. Database Syst.	2024	DBLP DOI BibTeX RDF
13	Florian Plötzky, Niklas Kiehne, Wolf-Tilo Balke	Lost in Recursion: Mining Rich Event Semantics in Knowledge Graphs.	WebSci	2024	DBLP DOI BibTeX RDF
13	Sverrir Thorgeirsson, Lennart C. Lais, Theo B. Weidmann, Zhendong Su 0001	Recursion in Secondary Computer Science Education: A Comparative Study of Visual Programming Approaches.	SIGCSE (1)	2024	DBLP DOI BibTeX RDF
13	Joseph Eremondi	Strictly Monotone Brouwer Trees for Well Founded Recursion over Multiple Arguments.	CPP	2024	DBLP DOI BibTeX RDF
13	Pedro Abreu, Benjamin Delaware, Alex Hubers, Christa Jenkins, J. Garrett Morris, Aaron Stump	A Type-Based Approach to Divide-and-Conquer Recursion in Coq.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
13	Daan Leijen, Anton Lorenzen	Tail Recursion Modulo Context: An Equational Approach.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
13	Levon Aslanyan, Karen Gishyan, Hasmik Sahakyan	Target Class Classification Recursion Preliminaries.	Balt. J. Mod. Comput.	2023	DBLP DOI BibTeX RDF
13	Andong Fan, Lionel Parreaux	super-Charging Object-Oriented Programming Through Precise Typing of Open Recursion (Artifact).	Dagstuhl Artifacts Ser.	2023	DBLP DOI BibTeX RDF
13	Zhengkang Zuo, Zhicheng Zeng, Wei Su, Qing Huang, Yuhan Ke, Zengxin Liu, Changjing Wang, Wei Liang	Specification transformation method for functional program generation based on partition-recursion refinement rule.	Inf. Sci.	2023	DBLP DOI BibTeX RDF
13	Kang Sun, Manyun Huang, Zhinong Wei, Jingtao Zhao, Guoqiang Sun	A Real-Time Recursion Correction Hybrid Linear State Estimator Using Stream Processing.	IEEE Trans. Ind. Informatics	2023	DBLP DOI BibTeX RDF
13	Sakyo Hashimoto, Keigo Takeuchi	Simplification and Accurate Implementation of State Evolution Recursion for Conjugate Gradient.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2023	DBLP DOI BibTeX RDF
13	Dongzhou Huang	On a modified version of the Lindley recursion.	Queueing Syst. Theory Appl.	2023	DBLP DOI BibTeX RDF
13	Atri Rudra	Technical Perspective: (Pre-) Semirings Come to the Recursion Party.	SIGMOD Rec.	2023	DBLP DOI BibTeX RDF
13	Rémi Lacombe, Sébastien Gros, Nikolce Murgovski, Balázs Kulcsár	Distributed Eco-Driving Control of a Platoon of Electric Vehicles Through Riccati Recursion.	IEEE Trans. Intell. Transp. Syst.	2023	DBLP DOI BibTeX RDF
13	Derek Levinson	John Steel and Hugh Woodin. HOD as a Core Model. Ordinal Definability and Recursion Theory: The Cabal Seminar, Volume III, edited by Alexander Kechris, Benedikt Lowe, and John Steel, Lecture Notes in Logic, vol. 3, Cambridge University Press, Cambridge, pp. 257-345.	Bull. Symb. Log.	2023	DBLP DOI BibTeX RDF
13	Weinan Zhang 0004, Pingping Zeng, Yue Kuen Kwok	Efficient recursion-quadrature algorithms for pricing Asian options and variance derivatives under stochastic volatility and Lévy jumps.	Oper. Res. Lett.	2023	DBLP DOI BibTeX RDF
13	Lin Li, Rui Li, Yajun Ha	A Recursion and Lock Free GPU-Based Logic Rewriting Framework Exploiting Both Intranode and Internode Parallelism.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2023	DBLP DOI BibTeX RDF
13	Tomoyuki Yamakami	Elementary Quantum Recursion Schemes That Capture Quantum Polylogarithmic Time Computability of Quantum Functions.	CoRR	2023	DBLP DOI BibTeX RDF
13	Steffen van Bergerem, Martin Grohe, Sandra Kiefer, Luca Oeljeklaus	Simulating Logspace-Recursion with Logarithmic Quantifier Depth.	CoRR	2023	DBLP DOI BibTeX RDF
13	Ilia Shumailov, Zakhar Shumaylov, Yiren Zhao, Yarin Gal, Nicolas Papernot, Ross J. Anderson	The Curse of Recursion: Training on Generated Data Makes Models Forget.	CoRR	2023	DBLP DOI BibTeX RDF
13	Thom W. Frühwirth	Runtime Repeated Recursion Unfolding: A Just-In-Time Online Program Optimization That Can Achieve Super-Linear Speedup.	CoRR	2023	DBLP DOI BibTeX RDF
13	Maksymilian Dabkowski, Gasper Begus	Large language models and (non-)linguistic recursion.	CoRR	2023	DBLP DOI BibTeX RDF
13	Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Anna Ingólfsdóttir	Complexity results for modal logic with recursion via translations and tableaux.	CoRR	2023	DBLP DOI BibTeX RDF
13	Joseph Eremondi	Strictly Monotone Brouwer Trees for Well-founded Recursion Over Multiple Arguments.	CoRR	2023	DBLP DOI BibTeX RDF
13	Jishnu Ray Chowdhury, Cornelia Caragea	Efficient Beam Tree Recursion.	CoRR	2023	DBLP DOI BibTeX RDF
13	Soochan Lee, Gunhee Kim	Recursion of Thought: A Divide-and-Conquer Approach to Multi-Context Reasoning with Language Models.	CoRR	2023	DBLP DOI BibTeX RDF
13	Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen	Tail recursion transformation for invertible functions.	CoRR	2023	DBLP DOI BibTeX RDF
13	Joao Victor de Souza, Victor H. R. Nogueira, Alessandro S. Nascimento	Ligand binding free energy evaluation by Monte Carlo Recursion.	Comput. Biol. Chem.	2023	DBLP DOI BibTeX RDF
13	Shlomo Engelberg	Implementing Moving Average Filters Using Recursion [Tips & Tricks].	IEEE Signal Process. Mag.	2023	DBLP DOI BibTeX RDF
13	Patrick Uftring	Weak and strong versions of Effective Transfinite Recursion.	Ann. Pure Appl. Log.	2023	DBLP DOI BibTeX RDF
13	Sai Deng, Bo Du	zkTree: a zk recursion tree with ZKP membership proofs.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
13	Andrei Popescu 0001	Renaming-Enriched Sets (Rensets) and Renaming-Based Recursion.	Arch. Formal Proofs	2023	DBLP BibTeX RDF
13	Petr Vojcák	Non-Abelian covering and new recursion operators for the 4D Martínez Alonso-Shabat equation.	Commun. Nonlinear Sci. Numer. Simul.	2023	DBLP DOI BibTeX RDF
13	Andrei Popescu 0001	Rensets and Renaming-Based Recursion for Syntax with Bindings Extended Version.	J. Autom. Reason.	2023	DBLP DOI BibTeX RDF
13	Ryo Hatano, Katsuhiko Sano	Three faces of recursion axioms: the case of constructive dynamic logic of relation changers.	J. Log. Comput.	2023	DBLP DOI BibTeX RDF
13	Paul Downen, Zena M. Ariola	Classical (co)recursion: Mechanics.	J. Funct. Program.	2023	DBLP DOI BibTeX RDF
13	Bahareh Afshari, Dominik Wehr	Exact bounds for acyclic higher-order recursion schemes.	Inf. Comput.	2023	DBLP DOI BibTeX RDF
13	Hui Zhang, Zhengpeng Yuan, Naihua Xiu	Recursion Newton-Like Algorithm for l2,0-ReLU Deep Neural Networks.	IEEE Trans. Neural Networks Learn. Syst.	2023	DBLP DOI BibTeX RDF
13	Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen	Tail Recursion Transformation for Invertible Functions.	RC	2023	DBLP DOI BibTeX RDF
13	Alexandre Belling, Azam Soleimanian, Olivier Bégassat	Recursion over Public-Coin Interactive Proof Systems; Faster Hash Verification.	CCS	2023	DBLP DOI BibTeX RDF
13	Steffen van Bergerem, Martin Grohe, Sandra Kiefer, Luca Oeljeklaus	Simulating Logspace-Recursion with Logarithmic Quantifier Depth.	LICS	2023	DBLP DOI BibTeX RDF
13	Valentin Blot	Diller-Nahm Bar Recursion.	FSCD	2023	DBLP DOI BibTeX RDF
13	Andong Fan, Lionel Parreaux	super-Charging Object-Oriented Programming Through Precise Typing of Open Recursion.	ECOOP	2023	DBLP DOI BibTeX RDF
13	Hongbin Wu, Feixiong Chen, Zhenguo Shao, Yiwei Chen	Multi-energy Flow Recursion Method for Integrated Electricity-Gas System.	iSPEC	2023	DBLP DOI BibTeX RDF
13	Jishnu Ray Chowdhury, Cornelia Caragea	Efficient Beam Tree Recursion.	NeurIPS	2023	DBLP BibTeX RDF
13	Henning Basold, Tanjona Ralaivaosaona	Composition and Recursion for Causal Structures.	CALCO	2023	DBLP DOI BibTeX RDF
13	Behrooz Tahmasebi, Derek Lim, Stefanie Jegelka	The Power of Recursion in Graph Neural Networks for Counting Substructures.	AISTATS	2023	DBLP BibTeX RDF
13	Soochan Lee, Gunhee Kim	Recursion of Thought: A Divide-and-Conquer Approach to Multi-Context Reasoning with Language Models.	ACL (Findings)	2023	DBLP DOI BibTeX RDF
13	Bolei Di, Andrew G. Lamperski	Newton's Method, Bellman Recursion and Differential Dynamic Programming for Unconstrained Nonlinear Dynamic Games.	Dyn. Games Appl.	2022	DBLP DOI BibTeX RDF
13	Yizhou Zhang 0001, Nada Amin	Reasoning about "reasoning about reasoning": semantics and contextual equivalence for probabilistic programs with nested queries and recursion.	Proc. ACM Program. Lang.	2022	DBLP DOI BibTeX RDF
13	Bergfinnur Durhuus, Angelo Lucia	Recursion relations for chromatic coefficients for graphs and hypergraphs.	Discuss. Math. Graph Theory	2022	DBLP DOI BibTeX RDF
13	Dongjie Liu, Chein-Shan Liu	Two-point generalized Hermite interpolation: Double-weight function and functional recursion methods for solving nonlinear equations.	Math. Comput. Simul.	2022	DBLP DOI BibTeX RDF
13	Yang Wang 0006, Min Li, Hao Dai, Kenneth B. Kent, Kejiang Ye, Chengzhong Xu 0001	Deadlock Avoidance Algorithms for Recursion-Tree Modeled Requests in Parallel Executions.	IEEE Trans. Computers	2022	DBLP DOI BibTeX RDF
13	Wolfgang Dvorák, Markus Ulbricht 0001, Stefan Woltran	Recursion in Abstract Argumentation is Hard - On the Complexity of Semantics Based on Weak Admissibility.	J. Artif. Intell. Res.	2022	DBLP DOI BibTeX RDF
13	Gordon D. Plotkin	Recursion does not always help.	CoRR	2022	DBLP DOI BibTeX RDF
13	Jing Yang 0035, Fang-Wei Fu 0001	Post-quantum Multi-stage Secret Sharing Schemes using Inhomogeneous Linear Recursion and Ajtai's Function.	CoRR	2022	DBLP BibTeX RDF
13	Nikolai Kudasov, Mikhail Olokin, Oleksii Potyomkin, Nikolay Shilov 0002, Maxim Stepanov	Detecting unanticipated mutual recursion using Elegant Objects representation of object-oriented programs.	CoRR	2022	DBLP DOI BibTeX RDF
13	Cristina Matache, Sean K. Moss, Sam Staton	Concrete categories and higher-order recursion (With applications including probability, differentiability, and full abstraction).	CoRR	2022	DBLP DOI BibTeX RDF
13	Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Anna Ingólfsdóttir	Complexity through Translations for Modal Logic with Recursion.	GandALF	2022	DBLP DOI BibTeX RDF
13	Andrei Popescu 0001	Rensets and Renaming-Based Recursion for Syntax with Bindings.	CoRR	2022	DBLP DOI BibTeX RDF
13	Zhixuan Yang, Nicolas Wu	Fantastic Morphisms and Where to Find Them: A Guide to Recursion Schemes.	CoRR	2022	DBLP BibTeX RDF
13	David Barozzini, Pawel Parys, Jan Wroblewski	Unboundedness for Recursion Schemes: A Simpler Type System.	CoRR	2022	DBLP DOI BibTeX RDF
13	Ji Zhao 0017, Yuzong Mu, Yanping Qiao, Qiang Li 0034	Newton Recursion Based Random Data-Reusing Generalized Maximum Correntropy Criterion Adaptive Filtering Algorithm.	Entropy	2022	DBLP DOI BibTeX RDF
13	Alexandre Belling, Azam Soleimanian, Olivier Bégassat	Recursion over Public-Coin Interactive Proof Systems; Faster Hash Verification.	IACR Cryptol. ePrint Arch.	2022	DBLP BibTeX RDF
13	Mikhail B. Sheftel, D. Yazici	Recursion operators and bi-Hamiltonian representations of cubic evolutionary (2+1)-dimensional systems.	Commun. Nonlinear Sci. Numer. Simul.	2022	DBLP DOI BibTeX RDF
13	Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Anna Ingólfsdóttir	Axiomatizing recursion-free, regular monitors.	J. Log. Algebraic Methods Program.	2022	DBLP DOI BibTeX RDF
13	Ugo Dal Lago, Reinhard Kahle, Isabel Oitavem	Implicit recursion-theoretic characterizations of counting classes.	Arch. Math. Log.	2022	DBLP DOI BibTeX RDF
13	Tahani Aljohani, Alexandra I. Cristea, Laila Alrajhi	Bi-directional Mechanism for Recursion Algorithms: A Case Study on Gender Identification in MOOCs.	AIED (2)	2022	DBLP DOI BibTeX RDF
13	Tomoyuki Yamakami	Expressing Power of Elementary Quantum Recursion Schemes for Quantum Logarithmic-Time Computability.	WoLLIC	2022	DBLP DOI BibTeX RDF
13	Zhixuan Yang, Nicolas Wu	Fantastic Morphisms and Where to Find Them - A Guide to Recursion Schemes.	MPC	2022	DBLP DOI BibTeX RDF
13	Cristina Matache, Sean K. Moss, Sam Staton	Concrete categories and higher-order recursion: With applications including probability, differentiability, and full abstraction.	LICS	2022	DBLP DOI BibTeX RDF
13	Valentin Blot	A direct computational interpretation of second-order arithmetic via update recursion.	LICS	2022	DBLP DOI BibTeX RDF
13	David Barozzini, Pawel Parys, Jan Wroblewski	Unboundedness for Recursion Schemes: A Simpler Type System.	ICALP	2022	DBLP DOI BibTeX RDF
13	Sotaro Katayama, Toshiyuki Ohtsuka	Efficient Riccati recursion for optimal control problems with pure-state equality constraints.	ACC	2022	DBLP DOI BibTeX RDF
13	Benedek Nagy	From Finite Automata to Fractal Automata - The Power of Recursion.	MCU	2022	DBLP DOI BibTeX RDF
13	Natalie Kiesler	Mental Models of Recursion: A Secondary Analysis of Novice Learners' Steps and Errors in Java Exercises.	PPIG	2022	DBLP BibTeX RDF
13	Georg Gottlob, Matthias Lanzinger, Cem Okulmus, Reinhard Pichler	Fast Parallel Hypertree Decompositions in Logarithmic Recursion Depth.	PODS	2022	DBLP DOI BibTeX RDF
13	Sean Mackay	What Does Literature Tell Us About Recursion?	SIGCSE (2)	2022	DBLP DOI BibTeX RDF
13	Andrei Popescu 0001	Rensets and Renaming-Based Recursion for Syntax with Bindings.	IJCAR	2022	DBLP DOI BibTeX RDF
13	Azadeh Farzan, Danya Lette, Victor Nicolet	Recursion synthesis with unrealizability witnesses.	PLDI	2022	DBLP DOI BibTeX RDF
13	Rusi P. Mody, Anuradha Laxminarayan, Jayant Kirtane	Recursion: Squeezing the Infinite into the Finite.	FIE	2022	DBLP DOI BibTeX RDF
13	Maycon Amaro, Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro	A Sound Strategy to Compile General Recursion into Finite Depth Pattern Matching.	SBMF	2022	DBLP DOI BibTeX RDF
13	Jintao Zhang, Xiao Sun 0003, Yuanlin Li	Mining Syntactic Relationships via Recursion and Wandering on A Dependency Tree for Aspect-Based Sentiment Analysis.	IJCNN	2022	DBLP DOI BibTeX RDF
13	Andong Fan	Simple Extensible Programming through Precisely-Typed Open Recursion.	SPLASH Companion	2022	DBLP DOI BibTeX RDF