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. |
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 |
|