Search results for "recursion"

Hits ?▲	Authors	Title	Venue	Year	Link
13	Cynthia Chen, Bruno Schmitt, Helena Zhang, Lev S. Bishop, Ali Javadi-Abhari	Optimizing quantum circuit synthesis for permutations using recursion.	DAC	2022	DBLP DOI BibTeX RDF
13	Patrick Bahr, Christian Uldal Graulund, Rasmus Ejlers Møgelberg	Diamonds are not forever: liveness in reactive programming with guarded recursion.	Proc. ACM Program. Lang.	2021	DBLP DOI BibTeX RDF
13	Joseph De Vilmarest, Olivier Wintenberger	Stochastic Online Optimization using Kalman Recursion.	J. Mach. Learn. Res.	2021	DBLP BibTeX RDF
13	Juan L. Reutter, Adrián Soto, Domagoj Vrgoc	Recursion in SPARQL.	Semantic Web	2021	DBLP DOI BibTeX RDF
13	Christopher H. Broadbent, Arnaud Carayol, C.-H. Luke Ong, Olivier Serre	Higher-order Recursion Schemes and Collapsible Pushdown Automata: Logical Properties.	ACM Trans. Comput. Log.	2021	DBLP DOI BibTeX RDF
13	Sara Charoghchi, Samaneh Mashhadi	Three (t, n)-secret image sharing schemes based on homogeneous linear recursion.	Inf. Sci.	2021	DBLP DOI BibTeX RDF
13	Zeming Xu, Dan Liu, Changxiang Yan, Chunhui Hu	Stray Light Elimination Method Based on Recursion Multi-Scale Gray-Scale Morphology for Wide-Field Surveillance.	IEEE Access	2021	DBLP DOI BibTeX RDF
13	G. A. Kavvos	Intensionality, Intensional Recursion and the Gödel-Löb Axiom.	FLAP	2021	DBLP BibTeX RDF
13	Onno J. Boxma, Andreas Löpker, Michel Mandjes, Zbigniew Palmowski	A multiplicative version of the Lindley recursion.	Queueing Syst. Theory Appl.	2021	DBLP DOI BibTeX RDF
13	Yue Zhou	A recursion for a symmetric function generalization of the q-Dyson constant term identity.	J. Comb. Theory, Ser. A	2021	DBLP DOI BibTeX RDF
13	Cristina Matache, Sean K. Moss, Sam Staton	Recursion and Sequentiality in Categories of Sheaves.	CoRR	2021	DBLP BibTeX RDF
13	Yilin Liao, Hao Wang, Zhaoran Liu, Haozhe Li, Xinggao Liu	Analyze and Design Network Architectures by Recursion Formulas.	CoRR	2021	DBLP BibTeX RDF
13	Armando B. Matos, Luca Paolini, Luca Roversi	Splitting recursion schemes into reversible and classical interacting threads.	CoRR	2021	DBLP BibTeX RDF
13	Sotaro Katayama, Toshiyuki Ohtsuka	Efficient Riccati recursion for optimal control problems with pure-state equality constraints.	CoRR	2021	DBLP BibTeX RDF
13	Paul Downen, Zena M. Ariola	Classical (Co)Recursion: Mechanics.	CoRR	2021	DBLP BibTeX RDF
13	Jerome Jochems	Reducing Higher-order Recursion Scheme Equivalence to Coinductive Higher-order Constrained Horn Clauses.	HCVS@ETAPS	2021	DBLP DOI BibTeX RDF
13	Sven Beuchler, Tim Haubold, Veronika Pillwein	Recursion formulas for integrated products of Jacobi polynomials.	CoRR	2021	DBLP BibTeX RDF
13	Paul Downen, Zena M. Ariola	Classical (Co)Recursion: Programming.	CoRR	2021	DBLP BibTeX RDF
13	Ximeng Li 0003, Qianying Zhang, Guohui Wang, Zhiping Shi 0002, Yong Guan	Reasoning about Iteration and Recursion Uniformly based on Big-step Semantics.	CoRR	2021	DBLP BibTeX RDF
13	Georg Gottlob, Matthias Lanzinger, Cem Okulmus, Reinhard Pichler	Fast Parallel Hypertree Decompositions in Logarithmic Recursion Depth.	CoRR	2021	DBLP BibTeX RDF
13	Li Chen	Iteration vs. Recursion: Two Basic Algorithm Design Methodologies.	SIGACT News	2021	DBLP DOI BibTeX RDF
13	Daniel Leivant	Finitism, imperative programs and primitive recursion.	J. Log. Comput.	2021	DBLP DOI BibTeX RDF
13	Keng Meng Ng, Nazanin Roshandel Tavana, Yue Yang	A recursion theoretic foundation of computation over real numbers.	J. Log. Comput.	2021	DBLP DOI BibTeX RDF
13	Makoto Fujiwara, Tatsuji Kawai	Characterising Brouwer's continuity by bar recursion on moduli of continuity.	Arch. Math. Log.	2021	DBLP DOI BibTeX RDF
13	Florian Bruse, Martin Lange	Temporal logic with recursion.	Inf. Comput.	2021	DBLP DOI BibTeX RDF
13	Arnaud Carayol, Olivier Serre	Higher-order recursion schemes and their automata models.	Handbook of Automata Theory (II.)	2021	DBLP DOI BibTeX RDF
13	Armando B. Matos, Luca Paolini, Luca Roversi	Splitting Recursion Schemes into Reversible and Classical Interacting Threads.	RC	2021	DBLP DOI BibTeX RDF
13	H. Paul Zellweger	Simplifying the Structural Recursion of the Data Funnel Interface.	IV	2021	DBLP DOI BibTeX RDF
13	Cristina Matache, Sean K. Moss, Sam Staton	Recursion and Sequentiality in Categories of Sheaves.	FSCD	2021	DBLP DOI BibTeX RDF
13	Roman R. Redziejowski	Left Recursion by Recursive Ascent.	CS&P	2021	DBLP BibTeX RDF
13	Roman R. Redziejowski	Left Recursion by Recursive Ascent.	CS&P (Revised Selected Papers)	2021	DBLP DOI BibTeX RDF
13	Ugo Dal Lago, Reinhard Kahle, Isabel Oitavem	A Recursion-Theoretic Characterization of the Probabilistic Class PP.	MFCS	2021	DBLP DOI BibTeX RDF
13	Sergio Palomo, Jamol Pender	Learning the Tandem Network Lindley Recursion.	WSC	2021	DBLP DOI BibTeX RDF
13	Adina Camelia Bleotu	"The Parrot next to the Hamster (and) next to the Bunny" Sheds Light on Recursion in Child Romanian.	CogSci	2021	DBLP BibTeX RDF
13	Rami Klaimi, Stefan Weithoffer, Charbel Abdel Nour, Catherine Douillard	Simplified recursion units for Max-Log-MAP: New trade-offs through variants of Local-SOVA.	ISTC	2021	DBLP DOI BibTeX RDF
13	Christian Servin	How to Teach Recursion: A Formula to Transform an Iterative-Based to a Recursive-Based Method.	SIGCSE	2021	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.	AAAI	2021	DBLP DOI BibTeX RDF
13	Ximeng Li 0003, Qianying Zhang, Guohui Wang, Zhiping Shi 0002, Yong Guan	Reasoning About Iteration and Recursion Uniformly Based on Big-Step Semantics.	SETTA	2021	DBLP DOI BibTeX RDF
13	Aston Zhang, Yi Tay, Yikang Shen, Alvin Chan, Shuai Zhang 0007	Self-Instantiated Recurrent Units with Dynamic Soft Recursion.	NeurIPS	2021	DBLP BibTeX RDF
13	Shaoshuai Zhang, Panruo Wu	Recursion Brings Speedup to Out-of-Core TensorCore-based Linear Algebra Algorithms: A Case Study of Classic Gram-Schmidt QR Factorization.	ICPP	2021	DBLP DOI BibTeX RDF
13	Dennis Komm	Teaching Recursion in High School - A Constructive Approach.	ISSEP	2021	DBLP DOI BibTeX RDF
13	Braeden Morrison, Marcin Lukowiak	Tree-Based Hardware Recursion for Divide-and-Conquer Algorithms.	MIXDES	2021	DBLP DOI BibTeX RDF
13	Johannes Bechberger, Alexander Weigl	Upper Bound Computation of Information Leakages for Unbounded Recursion.	SEFM	2021	DBLP DOI BibTeX RDF
13	Jean-Philippe Bernardy, Adam Ek, Vladislav Maraev	Can the Transformer Learn Nested Recursion with Symbol Masking?	ACL/IJCNLP (Findings)	2021	DBLP DOI BibTeX RDF
13	Thomas Baruchel	Flattening Karatsuba's Recursion Tree into a Single Summation.	SN Comput. Sci.	2020	DBLP DOI BibTeX RDF
13	Peng Sun, Yongbin Zheng, Zongtan Zhou, Wanying Xu, Qiang Ren	R4 Det: Refined single-stage detector with feature recursion and refinement for rotating object detection in aerial images.	Image Vis. Comput.	2020	DBLP DOI BibTeX RDF
13	Daniel Leivant, Jean-Yves Marion	Primitive recursion in the abstract.	Math. Struct. Comput. Sci.	2020	DBLP DOI BibTeX RDF
13	Chunyan Guo, Jiabing Zhang, Yang Liu 0188, Yaying Xie, Zhiqiang Han, Jianshe Yu	Recursion Enhanced Random Forest With an Improved Linear Model (RERF-ILM) for Heart Disease Detection on the Internet of Medical Things Platform.	IEEE Access	2020	DBLP DOI BibTeX RDF
13	Liang Yu	An Application of Recursion Theory to Analysis.	Bull. Symb. Log.	2020	DBLP DOI BibTeX RDF
13	Anton Freund	What is effective transfinite recursion in reverse mathematics?	Math. Log. Q.	2020	DBLP DOI BibTeX RDF
13	Boris Bychkov, Petr Dunin-Barkowski, Sergey Shadrin	Combinatorics of Bousquet-Mélou-Schaeffer numbers in the light of topological recursion.	Eur. J. Comb.	2020	DBLP DOI BibTeX RDF
13	HouZhen Wang, Yan Guo, Huanguo Zhang	A Method of Ultra-Large-Scale Matrix Inversion Using Block Recursion.	Inf.	2020	DBLP DOI BibTeX RDF
13	Vasilina Kastornova	Recursion as a Mathematical Problems Solving Method Using Instrumental Software Resources.	Russ. Digit. Libr. J.	2020	DBLP BibTeX RDF
13	Massimo Bartoletti, Maurizio Murgia 0001, Roberto Zunino	Renegotiation and recursion in Bitcoin contracts.	CoRR	2020	DBLP BibTeX RDF
13	Joseph De Vilmarest, Olivier Wintenberger	Stochastic Online Optimization using Kalman Recursion.	CoRR	2020	DBLP BibTeX RDF
13	Luke A. D. Hutchison	Pika parsing: reformulating packrat parsing as a dynamic programming algorithm solves the left recursion and error recovery problems.	CoRR	2020	DBLP BibTeX RDF
13	Qianwei Zhou, Peng Tao 0004, Xiaoxin Li, Shengyong Chen, Fan Zhang 0056, Haigen Hu	Residual-Recursion Autoencoder for Shape Illustration Images.	CoRR	2020	DBLP BibTeX RDF
13	A. D. Arvanitakis	Recursion and evolution: Part I.	CoRR	2020	DBLP BibTeX RDF
13	Matthijs Vákár	Denotational Correctness of Foward-Mode Automatic Differentiation for Iteration and Recursion.	CoRR	2020	DBLP BibTeX RDF
13	Alexandros Arvanitakis	Recursion and evolution: Part II.	CoRR	2020	DBLP BibTeX RDF
13	Ruo Ando, Yoshiyasu Takefuji	A constrained recursion algorithm for batch normalization of tree-sturctured LSTM.	CoRR	2020	DBLP BibTeX RDF
13	Christopher H. Broadbent, Arnaud Carayol, C.-H. Luke Ong, Olivier Serre	Higher-Order Recursion Schemes and Collapsible Pushdown Automata: Logical Properties.	CoRR	2020	DBLP BibTeX RDF
13	Patrick Bahr, Christian Uldal Graulund, Rasmus Ejlers Møgelberg	Diamonds are not forever: Liveness in reactive programming with guarded recursion.	CoRR	2020	DBLP BibTeX RDF
13	Keng Meng Ng, Nazanin Roshandel Tavana, Yue Yang	A recursion theoretic foundation of computation over real numbers.	CoRR	2020	DBLP BibTeX RDF
13	Thom W. Frühwirth	Repeated Recursion Unfolding for Super-Linear Speedup within Bounds.	CoRR	2020	DBLP BibTeX RDF
13	Cory M. Knapp	Partial Functions and Recursion in Univalent Type Theory.	CoRR	2020	DBLP BibTeX RDF
13	Pawel Parys	Recursion Schemes, the MSO Logic, and the U quantifier.	Log. Methods Comput. Sci.	2020	DBLP DOI BibTeX RDF
13	Xibao Hu, Yumin Zhong	A Probabilistic Proof of a Recursion Formula for Sums of Powers.	Am. Math. Mon.	2020	DBLP DOI BibTeX RDF
13	Bahareh Afshari, Stefan Hetzl, Graham E. Leigh	Herbrand's theorem as higher order recursion.	Ann. Pure Appl. Log.	2020	DBLP DOI BibTeX RDF
13	Reese Johnston	Cantor-Bendixson ranks of effectively closed sets in admissible recursion theory.	Comput.	2020	DBLP DOI BibTeX RDF
13	Georgy Dunaev	Recursion Theorem in ZF.	Arch. Formal Proofs	2020	DBLP BibTeX RDF
13	Gordana Rakic, Melinda Tóth, Zoran Budimac	Toward recursion aware complexity metrics.	Inf. Softw. Technol.	2020	DBLP DOI BibTeX RDF
13	Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Sævar Örn Kjartansson	Determinizing monitors for HML with recursion.	J. Log. Algebraic Methods Program.	2020	DBLP DOI BibTeX RDF
13	Lang Yu, Gang He, Ahmad Khwaja Mutahir	N-Step Sliding Recursion Formula of Variance and Its Implementation.	J. Inf. Process. Syst.	2020	DBLP DOI BibTeX RDF
13	Susana Nieva, Fernando Sáenz-Pérez, Jaime Sánchez-Hernández	HR-SQL: Extending SQL with hypothetical reasoning and improved recursion for current database systems.	Inf. Comput.	2020	DBLP DOI BibTeX RDF
13	Sally Hamouda, Stephen H. Edwards, Hicham G. Elmongui, Jeremy V. Ernst, Clifford A. Shaffer	BTRecurTutor: a tutorial for practicing recursion in binary trees.	Comput. Sci. Educ.	2020	DBLP DOI BibTeX RDF
13	Ana-Isabel Gómez, Domingo Gómez-Pérez, Andrew Z. Tirkel	Recursion Polynomials of Unfolded Sequences.	WAIFI	2020	DBLP DOI BibTeX RDF
13	Rudolf Berghammer	A Relation-Algebraic Treatment of the Dedekind Recursion Theorem.	RAMiCS	2020	DBLP DOI BibTeX RDF
13	Sergio Palomo, Jamol Pender	Learning Lindley's Recursion.	WSC	2020	DBLP DOI BibTeX RDF
13	Amber Solomon, Miyeon Bae, Betsy DiSalvo, Mark Guzdial	Embodied Representations in Computing Education: How Gesture, Embodied Language, and Tool Use Support Teaching Recursion.	ICLS	2020	DBLP BibTeX RDF
13	Roussanka Loukanova	Algorithmic Eta-reduction in Type-theory of Acyclic Recursion.	ICAART (2)	2020	DBLP DOI BibTeX RDF
13	Paul Downen, Zena M. Ariola	A Computational Understanding of Classical (Co)Recursion.	PPDP	2020	DBLP DOI BibTeX RDF
13	Massimo Bartoletti, Maurizio Murgia 0001, Roberto Zunino	Renegotiation and Recursion in Bitcoin Contracts.	COORDINATION	2020	DBLP DOI BibTeX RDF
13	Alberto Rojas-Salazar, Mads Haahr	Theoretical Foundations and Evaluations of Serious Games for Learning Data Structures and Recursion: A Review.	JCSG	2020	DBLP DOI BibTeX RDF
13	Florian Bruse, Martin Lange	Temporal Logic with Recursion.	TIME	2020	DBLP DOI BibTeX RDF
13	Daniel Leivant	Finitism, Imperative Programs and Primitive Recursion.	LFCS	2020	DBLP DOI BibTeX RDF
13	Christine F. Reilly, Matthew Clark	Moving Recursion Out of the RDBMS for Transactional Graph Workloads.	UEMCON	2020	DBLP DOI BibTeX RDF
13	Omar Alzoubi, Barbara Di Eugenio, Davide Fossati, Nicholas Green, Mehrdad Alizadeh	Learning Recursion: Insights from the ChiQat Intelligent Tutoring System.	CSEDU (2)	2020	DBLP DOI BibTeX RDF
13	Roussanka Loukanova	Gamma-Reduction in Type Theory of Acyclic Recursion.	Fundam. Informaticae	2019	DBLP DOI BibTeX RDF
13	Robert Glück, Tetsuo Yokoyama	Constructing a binary tree from its traversals by reversible recursion and iteration.	Inf. Process. Lett.	2019	DBLP DOI BibTeX RDF
13	Chris M. Smith, Duncan Shaw	Horizontal recursion in soft OR.	J. Oper. Res. Soc.	2019	DBLP DOI BibTeX RDF
13	Maria Hämeen-Anttila	Nominalistic Ordinals, Recursion on Higher Types, and finitism.	Bull. Symb. Log.	2019	DBLP DOI BibTeX RDF
13	Lane A. Hemaspaandra, Daniel Rubery	Recursion-theoretic ranking and compression.	J. Comput. Syst. Sci.	2019	DBLP DOI BibTeX RDF
13	Paulin Jacobé de Naurois	Pointers in Recursion: Exploring the Tropics.	DICE-FOPARA@ETAPS	2019	DBLP DOI BibTeX RDF
13	Ariyam Das, Youfu Li, Jin Wang 0007, Mingda Li, Carlo Zaniolo	BigData Applications from Graph Analytics to Machine Learning by Aggregates in Recursion.	ICLP Technical Communications	2019	DBLP DOI BibTeX RDF
13	Mircea Namolaru, Thierry Goubier	Recursion, Probability, Convolution and Classification for Computations.	CoRR	2019	DBLP BibTeX RDF
13	Abhishek Halder, Tryphon T. Georgiou	Proximal Recursion for the Wonham Filter.	CoRR	2019	DBLP BibTeX RDF
13	James Smith	Eliminating Left Recursion without the Epsilon.	CoRR	2019	DBLP BibTeX RDF
13	Michal Anderle, Michal Forisek, Monika Steinová	Teaching Recursion and Dynamic Programming Before College.	Bull. EATCS	2019	DBLP BibTeX RDF
13	Paula Severi	A Light Modality for Recursion.	Log. Methods Comput. Sci.	2019	DBLP DOI BibTeX RDF