Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
13 | Cynthia Chen, Bruno Schmitt, Helena Zhang, Lev S. Bishop, Ali Javadi-Abhari |
Optimizing quantum circuit synthesis for permutations using recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10 - 14, 2022, pp. 7-12, 2022, ACM, 978-1-4503-9142-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 5(POPL), pp. 1-28, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Joseph De Vilmarest, Olivier Wintenberger |
Stochastic Online Optimization using Kalman Recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Mach. Learn. Res. ![In: J. Mach. Learn. Res. 22, pp. 223:1-223:55, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
13 | Juan L. Reutter, Adrián Soto, Domagoj Vrgoc |
Recursion in SPARQL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantic Web ![In: Semantic Web 12(5), pp. 711-740, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 22(2), pp. 12:1-12:37, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Sara Charoghchi, Samaneh Mashhadi |
Three (t, n)-secret image sharing schemes based on homogeneous linear recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 552, pp. 220-243, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 9, pp. 16928-16936, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | G. A. Kavvos |
Intensionality, Intensional Recursion and the Gödel-Löb Axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 8(8), pp. 2287-2312, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
13 | Onno J. Boxma, Andreas Löpker, Michel Mandjes, Zbigniew Palmowski |
A multiplicative version of the Lindley recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 98(3-4), pp. 225-245, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Yue Zhou |
A recursion for a symmetric function generalization of the q-Dyson constant term identity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Theory, Ser. A ![In: J. Comb. Theory, Ser. A 182, pp. 105475, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Cristina Matache, Sean K. Moss, Sam Staton |
Recursion and Sequentiality in Categories of Sheaves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2105.02156, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
13 | Yilin Liao, Hao Wang, Zhaoran Liu, Haozhe Li, Xinggao Liu |
Analyze and Design Network Architectures by Recursion Formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2108.08689, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
13 | Armando B. Matos, Luca Paolini, Luca Roversi |
Splitting recursion schemes into reversible and classical interacting threads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2105.04910, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
13 | Sotaro Katayama, Toshiyuki Ohtsuka |
Efficient Riccati recursion for optimal control problems with pure-state equality constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2102.09731, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
13 | Paul Downen, Zena M. Ariola |
Classical (Co)Recursion: Mechanics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2103.08521, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
13 | Jerome Jochems |
Reducing Higher-order Recursion Scheme Equivalence to Coinductive Higher-order Constrained Horn Clauses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCVS@ETAPS ![In: Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis, HCVS@ETAPS 2021, Virtual, 28th March 2021., pp. 36-64, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Sven Beuchler, Tim Haubold, Veronika Pillwein |
Recursion formulas for integrated products of Jacobi polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2105.08989, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
13 | Paul Downen, Zena M. Ariola |
Classical (Co)Recursion: Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2103.06913, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2108.01883, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
13 | Georg Gottlob, Matthias Lanzinger, Cem Okulmus, Reinhard Pichler |
Fast Parallel Hypertree Decompositions in Logarithmic Recursion Depth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2104.13793, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
13 | Li Chen |
Iteration vs. Recursion: Two Basic Algorithm Design Methodologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGACT News ![In: SIGACT News 52(1), pp. 81-86, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Daniel Leivant |
Finitism, imperative programs and primitive recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 31(1), pp. 179-192, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Keng Meng Ng, Nazanin Roshandel Tavana, Yue Yang |
A recursion theoretic foundation of computation over real numbers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 31(7), pp. 1660-1689, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Makoto Fujiwara, Tatsuji Kawai |
Characterising Brouwer's continuity by bar recursion on moduli of continuity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 60(1-2), pp. 241-263, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Florian Bruse, Martin Lange |
Temporal logic with recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 281, pp. 104804, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Arnaud Carayol, Olivier Serre |
Higher-order recursion schemes and their automata models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Automata Theory (II.) ![In: Handbook of Automata Theory., pp. 1295-1341, 2021, European Mathematical Society Publishing House, Zürich, Switzerland, 978-3-98547-006-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Armando B. Matos, Luca Paolini, Luca Roversi |
Splitting Recursion Schemes into Reversible and Classical Interacting Threads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 13th International Conference, RC 2021, Virtual Event, July 7-8, 2021, Proceedings, pp. 204-213, 2021, Springer, 978-3-030-79836-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | H. Paul Zellweger |
Simplifying the Structural Recursion of the Data Funnel Interface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IV ![In: 25th International Conference Information Visualisation, IV 2021, Sydney, Australia, July 5-9, 2021, pp. 154-159, 2021, IEEE, 978-1-6654-3827-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Cristina Matache, Sean K. Moss, Sam Staton |
Recursion and Sequentiality in Categories of Sheaves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 6th International Conference on Formal Structures for Computation and Deduction, FSCD 2021, July 17-24, 2021, Buenos Aires, Argentina (Virtual Conference)., pp. 25:1-25:22, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-191-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Roman R. Redziejowski |
Left Recursion by Recursive Ascent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CS&P ![In: Proceedings of the 29th International Workshop on Concurrency, Specification and Programming (CS&P 2021), Berlin, Germany, September 27-28, 2021., pp. 72-82, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
13 | Roman R. Redziejowski |
Left Recursion by Recursive Ascent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CS&P (Revised Selected Papers) ![In: Concurrency, Specification and Programming - Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany, pp. 29-46, 2021, Springer, 978-3-031-26650-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Ugo Dal Lago, Reinhard Kahle, Isabel Oitavem |
A Recursion-Theoretic Characterization of the Probabilistic Class PP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 46th International Symposium on Mathematical Foundations of Computer Science, MFCS 2021, August 23-27, 2021, Tallinn, Estonia., pp. 35:1-35:12, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-201-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Sergio Palomo, Jamol Pender |
Learning the Tandem Network Lindley Recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Winter Simulation Conference, WSC 2021, Phoenix, AZ, USA, December 12-15, 2021, pp. 1-12, 2021, IEEE, 978-1-6654-3311-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CogSci ![In: Proceedings of the 43rd Annual Meeting of the Cognitive Science Society, CogSci 2021, virtual, July 26-29, 2021, 2021, cognitivesciencesociety.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISTC ![In: 11th International Symposium on Topics in Coding, ISTC 2021, Montreal, QC, Canada, August 30 - Sept. 3, 2021, pp. 1-5, 2021, IEEE, 978-1-6654-0943-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Christian Servin |
How to Teach Recursion: A Formula to Transform an Iterative-Based to a Recursive-Based Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: SIGCSE '21: The 52nd ACM Technical Symposium on Computer Science Education, Virtual Event, USA, March 13-20, 2021, pp. 1303, 2021, ACM, 978-1-4503-8062-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021, pp. 6288-6295, 2021, AAAI Press, 978-1-57735-866-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Proceedings, pp. 61-80, 2021, Springer, 978-3-030-91264-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeurIPS ![In: Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, NeurIPS 2021, December 6-14, 2021, virtual., pp. 6503-6514, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP ![In: ICPP 2021: 50th International Conference on Parallel Processing, Lemont, IL, USA, August 9 - 12, 2021, pp. 80:1-80:11, 2021, ACM, 978-1-4503-9068-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Dennis Komm |
Teaching Recursion in High School - A Constructive Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSEP ![In: Informatics in Schools. Rethinking Computing Education - 14th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2021, Virtual Event, November 3-5, 2021, Proceedings, pp. 69-80, 2021, Springer, 978-3-030-90227-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Braeden Morrison, Marcin Lukowiak |
Tree-Based Hardware Recursion for Divide-and-Conquer Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIXDES ![In: 2021 28th International Conference on Mixed Design of Integrated Circuits and System, Lodz, Poland, June 24-26, 2021, pp. 147-152, 2021, IEEE, 978-83-63578-20-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Johannes Bechberger, Alexander Weigl |
Upper Bound Computation of Information Leakages for Unbounded Recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings, pp. 160-177, 2021, Springer, 978-3-030-92123-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Jean-Philippe Bernardy, Adam Ek, Vladislav Maraev |
Can the Transformer Learn Nested Recursion with Symbol Masking? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACL/IJCNLP (Findings) ![In: Findings of the Association for Computational Linguistics: ACL/IJCNLP 2021, Online Event, August 1-6, 2021, pp. 753-760, 2021, Association for Computational Linguistics, 978-1-954085-54-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Thomas Baruchel |
Flattening Karatsuba's Recursion Tree into a Single Summation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SN Comput. Sci. ![In: SN Comput. Sci. 1(1), pp. 48:1-48:9, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Image Vis. Comput. ![In: Image Vis. Comput. 103, pp. 104036, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Daniel Leivant, Jean-Yves Marion |
Primitive recursion in the abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 30(1), pp. 33-43, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 8, pp. 59247-59256, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Liang Yu |
An Application of Recursion Theory to Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bull. Symb. Log. ![In: Bull. Symb. Log. 26(1), pp. 15-25, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Anton Freund |
What is effective transfinite recursion in reverse mathematics? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 66(4), pp. 479-483, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Comb. ![In: Eur. J. Comb. 90, pp. 103184, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | HouZhen Wang, Yan Guo, Huanguo Zhang |
A Method of Ultra-Large-Scale Matrix Inversion Using Block Recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. ![In: Inf. 11(11), pp. 523, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Vasilina Kastornova |
Recursion as a Mathematical Problems Solving Method Using Instrumental Software Resources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Russ. Digit. Libr. J. ![In: Russ. Digit. Libr. J. 23(1-2), pp. 72-82, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
13 | Massimo Bartoletti, Maurizio Murgia 0001, Roberto Zunino |
Renegotiation and recursion in Bitcoin contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2003.00296, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
13 | Joseph De Vilmarest, Olivier Wintenberger |
Stochastic Online Optimization using Kalman Recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2002.03636, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2005.06444, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2002.02063, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
13 | A. D. Arvanitakis |
Recursion and evolution: Part I. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2001.11825, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
13 | Matthijs Vákár |
Denotational Correctness of Foward-Mode Automatic Differentiation for Iteration and Recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2007.05282, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
13 | Alexandros Arvanitakis |
Recursion and evolution: Part II. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2007.04982, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
13 | Ruo Ando, Yoshiyasu Takefuji |
A constrained recursion algorithm for batch normalization of tree-sturctured LSTM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2008.09409, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2010.06366, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2003.03170, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
13 | Keng Meng Ng, Nazanin Roshandel Tavana, Yue Yang |
A recursion theoretic foundation of computation over real numbers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2010.00791, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
13 | Thom W. Frühwirth |
Repeated Recursion Unfolding for Super-Linear Speedup within Bounds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2009.05314, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
13 | Cory M. Knapp |
Partial Functions and Recursion in Univalent Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2011.00272, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
13 | Pawel Parys |
Recursion Schemes, the MSO Logic, and the U quantifier. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 16(1), 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Xibao Hu, Yumin Zhong |
A Probabilistic Proof of a Recursion Formula for Sums of Powers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Am. Math. Mon. ![In: Am. Math. Mon. 127(2), pp. 166-168, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Bahareh Afshari, Stefan Hetzl, Graham E. Leigh |
Herbrand's theorem as higher order recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 171(6), pp. 102792, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Reese Johnston |
Cantor-Bendixson ranks of effectively closed sets in admissible recursion theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. ![In: Comput. 9(2), pp. 111-125, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Georgy Dunaev |
Recursion Theorem in ZF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2020, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
13 | Gordana Rakic, Melinda Tóth, Zoran Budimac |
Toward recursion aware complexity metrics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Softw. Technol. ![In: Inf. Softw. Technol. 118, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 111, pp. 100515, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Lang Yu, Gang He, Ahmad Khwaja Mutahir |
N-Step Sliding Recursion Formula of Variance and Its Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Process. Syst. ![In: J. Inf. Process. Syst. 16(4), pp. 832-844, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 271, pp. 104485, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Sci. Educ. ![In: Comput. Sci. Educ. 30(2), pp. 216-248, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Ana-Isabel Gómez, Domingo Gómez-Pérez, Andrew Z. Tirkel |
Recursion Polynomials of Unfolded Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WAIFI ![In: Arithmetic of Finite Fields - 8th International Workshop, WAIFI 2020, Rennes, France, July 6-8, 2020, Revised Selected and Invited Papers, pp. 163-173, 2020, Springer, 978-3-030-68868-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Rudolf Berghammer |
A Relation-Algebraic Treatment of the Dedekind Recursion Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 18th International Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings [postponed]., pp. 15-30, 2020, Springer, 978-3-030-43519-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Sergio Palomo, Jamol Pender |
Learning Lindley's Recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Winter Simulation Conference, WSC 2020, Orlando, FL, USA, December 14-18, 2020, pp. 644-655, 2020, IEEE, 978-1-7281-9499-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLS ![In: Interdisciplinarity in the Learning Sciences: Proceedings of the 14th International Conference of the Learning Sciences, ICLS 2020, [Nashville, Tennessee, USA], Online Conference, June 19-23, 2020, 2020, International Society of the Learning Sciences. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
13 | Roussanka Loukanova |
Algorithmic Eta-reduction in Type-theory of Acyclic Recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAART (2) ![In: Proceedings of the 12th International Conference on Agents and Artificial Intelligence, ICAART 2020, Volume 2, Valletta, Malta, February 22-24, 2020., pp. 1003-1010, 2020, SCITEPRESS, 978-989-758-395-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Paul Downen, Zena M. Ariola |
A Computational Understanding of Classical (Co)Recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: PPDP '20: 22nd International Symposium on Principles and Practice of Declarative Programming, Bologna, Italy, 9-10 September, 2020, pp. 5:1-5:13, 2020, ACM, 978-1-4503-8821-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Massimo Bartoletti, Maurizio Murgia 0001, Roberto Zunino |
Renegotiation and Recursion in Bitcoin Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: Coordination Models and Languages - 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings, pp. 261-278, 2020, Springer, 978-3-030-50028-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JCSG ![In: Serious Games - Joint International Conference, JCSG 2020, Stoke-on-Trent, UK, November 19-20, 2020, Proceedings, pp. 135-149, 2020, Springer, 978-3-030-61813-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Florian Bruse, Martin Lange |
Temporal Logic with Recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 27th International Symposium on Temporal Representation and Reasoning, TIME 2020, September 23-25, 2020, Bozen-Bolzano, Italy., pp. 6:1-6:14, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-167-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Daniel Leivant |
Finitism, Imperative Programs and Primitive Recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFCS ![In: Logical Foundations of Computer Science - International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4-7, 2020, Proceedings, pp. 98-110, 2020, Springer, 978-3-030-36754-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Christine F. Reilly, Matthew Clark |
Moving Recursion Out of the RDBMS for Transactional Graph Workloads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UEMCON ![In: 11th IEEE Annual Ubiquitous Computing, Electronics & Mobile Communication Conference, UEMCON 2020, New York City, NY, USA, October 28-31, 2020, pp. 371-376, 2020, IEEE, 978-1-7281-9656-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSEDU (2) ![In: Proceedings of the 12th International Conference on Computer Supported Education, CSEDU 2020, Prague, Czech Republic, May 2-4, 2020, Volume 2., pp. 336-343, 2020, SCITEPRESS, 978-989-758-417-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Roussanka Loukanova |
Gamma-Reduction in Type Theory of Acyclic Recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 170(4), pp. 367-411, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Robert Glück, Tetsuo Yokoyama |
Constructing a binary tree from its traversals by reversible recursion and iteration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 147, pp. 32-37, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Chris M. Smith, Duncan Shaw |
Horizontal recursion in soft OR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Oper. Res. Soc. ![In: J. Oper. Res. Soc. 70(1), pp. 53-66, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Maria Hämeen-Anttila |
Nominalistic Ordinals, Recursion on Higher Types, and finitism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bull. Symb. Log. ![In: Bull. Symb. Log. 25(1), pp. 101-124, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Lane A. Hemaspaandra, Daniel Rubery |
Recursion-theoretic ranking and compression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Syst. Sci. ![In: J. Comput. Syst. Sci. 101, pp. 31-41, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Paulin Jacobé de Naurois |
Pointers in Recursion: Exploring the Tropics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DICE-FOPARA@ETAPS ![In: Proceedings Third Joint Workshop on Developments in Implicit Computational complExity and Foundational & Practical Aspects of Resource Analysis, DICE-FOPARA@ETAPS 2019, Prague, Czech Republic, April 6-7, 2019., pp. 31-45, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Technical Communications ![In: Proceedings 35th International Conference on Logic Programming (Technical Communications), ICLP 2019 Technical Communications, Las Cruces, NM, USA, September 20-25, 2019., pp. 273-279, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Mircea Namolaru, Thierry Goubier |
Recursion, Probability, Convolution and Classification for Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1908.04265, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
13 | Abhishek Halder, Tryphon T. Georgiou |
Proximal Recursion for the Wonham Filter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1909.05827, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
13 | James Smith |
Eliminating Left Recursion without the Epsilon. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1908.10888, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
13 | Michal Anderle, Michal Forisek, Monika Steinová |
Teaching Recursion and Dynamic Programming Before College. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bull. EATCS ![In: Bull. EATCS 129, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
13 | Paula Severi |
A Light Modality for Recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 15(1), 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|