Search results for "recursion"

Hits ?▲	Authors	Title	Venue	Year	Link
13	Makoto Fujiwara, Tatsuji Kawai	Equivalence of bar induction and bar recursion for continuous functions with continuous moduli.	Ann. Pure Appl. Log.	2019	DBLP DOI BibTeX RDF
13	Sally Hamouda, Stephen H. Edwards, Hicham G. Elmongui, Jeremy V. Ernst, Clifford A. Shaffer	RecurTutor: An Interactive Tutorial for Learning Recursion.	ACM Trans. Comput. Educ.	2019	DBLP DOI BibTeX RDF
13	Seungsang Oh	State matrix recursion method and monomer-dimer problem.	Discret. Math.	2019	DBLP DOI BibTeX RDF
13	John Longley	Bar recursion is not computable via iteration.	Comput.	2019	DBLP DOI BibTeX RDF
13	Thomas Powell 0001	Parametrized bar recursion: a unifying framework for realizability interpretations of classical dependent choice.	J. Log. Comput.	2019	DBLP DOI BibTeX RDF
13	Stefano Berardi, Paulo Oliva, Silvia Steila	An analysis of the Podelski-Rybalchenko termination theorem via bar recursion.	J. Log. Comput.	2019	DBLP DOI BibTeX RDF
13	Noppasit Chakpitak, Woraphon Yamaka, Paravee Maneejuk	Predictive Recursion Maximum Likelihood for Kink Regression Model.	Structural Changes and their Econometric Modeling	2019	DBLP DOI BibTeX RDF
13	Kenneth F. Caluya, Abhishek Halder	Proximal Recursion for Solving the Fokker-Planck Equation.	ACC	2019	DBLP DOI BibTeX RDF
13	Masayuki Mizuno, Eijiro Sumii	Formal Verifications of Call-by-Need and Call-by-Name Evaluations with Mutual Recursion.	APLAS	2019	DBLP DOI BibTeX RDF
13	Kosuke Murata, Kento Emoto	Recursion Schemes in Coq.	APLAS	2019	DBLP DOI BibTeX RDF
13	Forrest Laine, Claire J. Tomlin	Parallelizing LQR Computation Through Endpoint-Explicit Riccati Recursion.	CDC	2019	DBLP DOI BibTeX RDF
13	Abhishek Halder, Tryphon T. Georgiou	Proximal Recursion for the Wonham Filter.	CDC	2019	DBLP DOI BibTeX RDF
13	Olivier Bournez, Arnaud Durand 0001	Recursion Schemes, Discrete Differential Equations and Characterization of Polynomial Time Computations.	MFCS	2019	DBLP DOI BibTeX RDF
13	Pierre Clairambault, Andrzej S. Murawski	On the Expressivity of Linear Recursion Schemes.	MFCS	2019	DBLP DOI BibTeX RDF
13	Nikolay V. Shilov 0002, Danila Danko	Teaching Efficient Recursive Programming and Recursion Elimination Using Olympiads and Contests Problems.	FISEE	2019	DBLP DOI BibTeX RDF
13	Colleen M. Lewis, Daniel D. Garcia, Helen H. Hu, Saber Khan, Nigamanth Sridhar, Bryan Twarek, Chinma Uche	Microteaching: Recursion, Coding Style, Creative Coding, Inheritance and Polymorphism, Loops, and the Internet.	SIGCSE	2019	DBLP DOI BibTeX RDF
13	Kirshanthan Sundararajah, Milind Kulkarni 0001	Composable, sound transformations of nested recursion and loops.	PLDI	2019	DBLP DOI BibTeX RDF
13	Jerry Swan, Krzysztof Krawiec, Zoltan A. Kocsis	Stochastic program synthesis via recursion schemes.	GECCO (Companion)	2019	DBLP DOI BibTeX RDF
13	Paulin Jacobé de Naurois	Pointers in Recursion: Exploring the Tropics.	FSCD	2019	DBLP DOI BibTeX RDF
13	Niccolò Veltri, Niels van der Weide	Guarded Recursion in Agda via Sized Types.	FSCD	2019	DBLP DOI BibTeX RDF
13	Philip D. Welch	Higher Type Recursion for Transfinite Machine Theory.	CiE	2019	DBLP DOI BibTeX RDF
13	Valentina Urzua, Claudio Gutierrez 0001	Linear Recursion in G-CORE.	AMW	2019	DBLP BibTeX RDF
13	Pierre Clairambault, Charles Grellois, Andrzej S. Murawski	Linearity in higher-order recursion schemes.	Proc. ACM Program. Lang.	2018	DBLP DOI BibTeX RDF
13	Mitchell Wand, Ryan Culpepper, Theophilos Giannakopoulos, Andrew Cobb	Contextual equivalence for a probabilistic language with continuous random variables and recursion.	Proc. ACM Program. Lang.	2018	DBLP DOI BibTeX RDF
13	Benhui Zhang 0002, Yuan-Sheng Tang	On the Construction and Analysis of Verifiable Multi-secret Sharing Based on Non-homogeneous Linear Recursion.	J. Inf. Sci. Eng.	2018	DBLP BibTeX RDF
13	Sebastiaan A. Terwijn	Generalizations of the Recursion Theorem.	J. Symb. Log.	2018	DBLP DOI BibTeX RDF
13	Paulo Oliva, Silvia Steila	A Direct Proof of Schwichtenberg's Bar Recursion Closure Theorem.	J. Symb. Log.	2018	DBLP DOI BibTeX RDF
13	Sérgio Mota	Corrigendum to "The Never Ending Recursion".	FLAP	2018	DBLP BibTeX RDF
13	Sandra Carillo, Mauro Lo Schiavo, Cornelia Schiebold	Recursion operators admitted by non-Abelian Burgers equations: Some remarks.	Math. Comput. Simul.	2018	DBLP DOI BibTeX RDF
13	Fenna Poletiek, Christopher M. Conway, Michelle R. Ellefson, Jun Lai, Bruno R. Bocanegra, Morten H. Christiansen	Under What Conditions Can Recursion Be Learned? Effects of Starting Small in Artificial Grammar Learning of Center-Embedded Structure.	Cogn. Sci.	2018	DBLP DOI BibTeX RDF
13	Ales Bizjak, Lars Birkedal	A model of guarded recursion via generalised equilogical spaces.	Theor. Comput. Sci.	2018	DBLP DOI BibTeX RDF
13	John Case, Sanjay Jain 0001, Frank Stephan 0001	Effectivity questions for Kleene's recursion theorem.	Theor. Comput. Sci.	2018	DBLP DOI BibTeX RDF
13	Hirotaka Niitsuma	Context-Free Grammars Including Left Recursion using Recursive miniKanren.	Computación y Sistemas	2018	DBLP DOI BibTeX RDF
13	Mariya S. Ushakova, Alexander I. Legalov	Verification of Programs with Mutual Recursion in Pifagor Language.	Autom. Control. Comput. Sci.	2018	DBLP DOI BibTeX RDF
13	Forrest Laine, Claire J. Tomlin	The Parallelization of Riccati Recursion.	CoRR	2018	DBLP BibTeX RDF
13	Marco T. Morazán	Vector Programming Using Generative Recursion.	TFPIE@TFP	2018	DBLP DOI BibTeX RDF
13	Pawel Parys	Recursion Schemes, the MSO Logic, and the U quantifier.	CoRR	2018	DBLP BibTeX RDF
13	Olivier Bournez, Arnaud Durand 0001, Sabrina Ouazzani	Recursion schemes, discrete differential equations and characterization of polynomial time computation.	CoRR	2018	DBLP BibTeX RDF
13	John Longley	Bar recursion is not computable via iteration.	CoRR	2018	DBLP BibTeX RDF
13	Valentin Blot	An interpretation of system F through bar recursion.	CoRR	2018	DBLP BibTeX RDF
13	Sebastiaan A. Terwijn	Generalizations of the Recursion Theorem.	CoRR	2018	DBLP BibTeX RDF
13	Roderick Bloem, Nicolas Braud-Santoni, Vedad Hadzic, Uwe Egly, Florian Lonsing, Martina Seidl	Expansion-Based QBF Solving Without Recursion.	CoRR	2018	DBLP BibTeX RDF
13	Eunji Jeong, Joo Seong Jeong, Soojeong Kim, Gyeong-In Yu, Byung-Gon Chun	Improving the Expressiveness of Deep Learning Frameworks with Recursion.	CoRR	2018	DBLP BibTeX RDF
13	Adrien Guatto	A Generalized Modality for Recursion.	CoRR	2018	DBLP BibTeX RDF
13	Mitchell Wand, Ryan Culpepper, Theophilos Giannakopoulos, Andrew Cobb	Contextual Equivalence for a Probabilistic Language with Continuous Random Variables and Recursion.	CoRR	2018	DBLP BibTeX RDF
13	Paula Severi	Two Light Modalities for Recursion.	CoRR	2018	DBLP BibTeX RDF
13	Carmen Lacave, Ana I. Molina, Miguel A. Redondo	A Preliminary Instrument for Measuring Students' Subjective Perceptions of Difficulties in Learning Recursion.	IEEE Trans. Educ.	2018	DBLP DOI BibTeX RDF
13	John Longley	The recursion hierarchy for PCF is strict.	Log. Methods Comput. Sci.	2018	DBLP DOI BibTeX RDF
13	Sergey Goncharov 0001, Lutz Schröder, Christoph Rauch, Julian Jakob	Unguarded Recursion on Coinductive Resumptions.	Log. Methods Comput. Sci.	2018	DBLP DOI BibTeX RDF
13	Adam D. Barwell, Christopher Brown 0002, Kevin Hammond	Finding parallel functional pearls: Automatic parallel recursion scheme detection in Haskell functions via anti-unification.	Future Gener. Comput. Syst.	2018	DBLP DOI BibTeX RDF
13	Norman Do, Paul T. Norbury	Topological recursion for irregular spectral curves.	J. Lond. Math. Soc.	2018	DBLP DOI BibTeX RDF
13	Xiaodong Meng, Minyi Guo, Jingyu Zhang	An Efficient Graph Query Framework with Structural Recursion.	Comput. J.	2018	DBLP DOI BibTeX RDF
13	Daniel Lokshtanov, M. S. Ramanujan 0001, Saket Saurabh 0001	When Recursion is Better than Iteration: A Linear-Time Algorithm for Acyclicity with Few Error Vertices.	SODA	2018	DBLP DOI BibTeX RDF
13	Adrien Guatto	A Generalized Modality for Recursion.	LICS	2018	DBLP DOI BibTeX RDF
13	Tom Verhoeff	A Master Class on Recursion.	Adventures Between Lower Bounds and Higher Altitudes	2018	DBLP DOI BibTeX RDF
13	Maikel Leemans, Wil M. P. van der Aalst, Mark G. J. van den Brand	Recursion aware modeling and discovery for hierarchical software event log analysis.	SANER	2018	DBLP DOI BibTeX RDF
13	Xiaoxia Zheng, Haomiao Yang, Bin Tang	An Improved Characters Recognition Approach Using Fast Determinant Recursion.	MASS	2018	DBLP DOI BibTeX RDF
13	Roman R. Redziejowski	More about Left Recursion in PEG.	CS&P	2018	DBLP BibTeX RDF
13	Ramy Esteero, Mohammed Khan, Mohamed Mohamed 0003, Larry Yueli Zhang, Daniel Zingaro	Recursion or Iteration: Does it Matter What Students Choose?	SIGCSE	2018	DBLP DOI BibTeX RDF
13	Preston Tunnell Wilson, Kathi Fisler, Shriram Krishnamurthi	Evaluating the Tracing of Recursion in the Substitution Notional Machine.	SIGCSE	2018	DBLP DOI BibTeX RDF
13	Paul M. Roberts	Directed Recursion Search: A Directed DFS for Online Pathfinding in Random Grid-Based Environments.	SGAI Conf.	2018	DBLP DOI BibTeX RDF
13	Daniel Della-Bosca	Recursion and the augmented experience of public art.	ACSW	2018	DBLP DOI BibTeX RDF
13	Pawel Parys	Recursion Schemes and the WMSO+U Logic.	STACS	2018	DBLP DOI BibTeX RDF
13	Celine Latulipe, Berto Gonzalez, Melissa Word, Sybil Huskey, David C. Wilson	Moderate Recursion: A Digital Artifact of Interactive Dance.	ArtsIT/DLI	2018	DBLP DOI BibTeX RDF
13	Jonas Kaiser, Steven Schäfer, Kathrin Stark	Binder aware recursion over well-scoped de Bruijn syntax.	CPP	2018	DBLP DOI BibTeX RDF
13	Roderick Bloem, Nicolas Braud-Santoni, Vedad Hadzic, Uwe Egly, Florian Lonsing, Martina Seidl	Expansion-Based QBF Solving Without Recursion.	FMCAD	2018	DBLP DOI BibTeX RDF
13	Anupam Das 0002, Isabel Oitavem	A Recursion-Theoretic Characterisation of the Positive Polynomial-Time Functions.	CSL	2018	DBLP DOI BibTeX RDF
13	Eunji Jeong, Joo Seong Jeong, Soojeong Kim, Gyeong-In Yu, Byung-Gon Chun	Improving the expressiveness of deep learning frameworks with recursion.	EuroSys	2018	DBLP DOI BibTeX RDF
13	Cory M. Knapp	Partial functions and recursion in univalent type theory.		2018	RDF
13	Seokhyun Yoon	Convergence and Density Evolution of a MIMO Detector Based on a Forward-Backward Recursion Over a Ring.	IEEE Trans. Veh. Technol.	2017	DBLP DOI BibTeX RDF
13	Stefan Milius, Tadeusz Litak	Guard Your Daggers and Traces: Properties of Guarded (Co-)recursion.	Fundam. Informaticae	2017	DBLP DOI BibTeX RDF
13	Robin Kaarsgaard, Holger Bock Axelsen, Robert Glück	Join inverse categories and reversible recursion.	J. Log. Algebraic Methods Program.	2017	DBLP DOI BibTeX RDF
13	Matthew Hague, Andrzej S. Murawski, C.-H. Luke Ong, Olivier Serre	Collapsible Pushdown Automata and Recursion Schemes.	ACM Trans. Comput. Log.	2017	DBLP DOI BibTeX RDF
13	Simon Thompson	A General Method for Defining Objects by Recursion over Syntax.	J. Univers. Comput. Sci.	2017	DBLP BibTeX RDF
13	Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir	Monitorability for the Hennessy-Milner logic with recursion.	Formal Methods Syst. Des.	2017	DBLP DOI BibTeX RDF
13	Vassilios Gregoriades	A recursion theoretic characterization of the Topological Vaught Conjecture in the Zermelo-Fraenkel set theory.	Math. Log. Q.	2017	DBLP DOI BibTeX RDF
13	Sekson Sirisubtawee, Supaporn Kaewta	New Modified Adomian Decomposition Recursion Schemes for Solving Certain Types of Nonlinear Fractional Two-Point Boundary Value Problems.	Int. J. Math. Math. Sci.	2017	DBLP DOI BibTeX RDF
13	Ying-Hua Ji, Ju-Ju Hu	Application of the recursion-transform method in calculating the equivalent resistance of two-dimensional finite resistor network.	Int. J. Circuit Theory Appl.	2017	DBLP DOI BibTeX RDF
13	Thom W. Frühwirth	A Devil's Advocate against Termination of Direct Recursion.	CoRR	2017	DBLP BibTeX RDF
13	Marco T. Morazán	Vector Programming Using Structural Recursion.	TFPIE@TFP	2017	DBLP DOI BibTeX RDF
13	Maikel Leemans, Wil M. P. van der Aalst, Mark G. J. van den Brand	Recursion Aware Modeling and Discovery For Hierarchical Software Event Log Analysis (Extended).	CoRR	2017	DBLP BibTeX RDF
13	William Blum	Type homogeneity is not a restriction for safe recursion schemes.	CoRR	2017	DBLP BibTeX RDF
13	Seyed Mehran Kazemi, Angelika Kimmig, Guy Van den Broeck, David Poole 0001	Domain Recursion for Lifted Inference with Existential Quantifiers.	CoRR	2017	DBLP BibTeX RDF
13	Jonathon Cai, Richard Shin, Dawn Song	Making Neural Programming Architectures Generalize via Recursion.	CoRR	2017	DBLP BibTeX RDF
13	Daniel Liu, Lvette Lopez	A computer-based recursion algorithm for automatic charge of power device of electric vehicles carrying electromagnet.	CoRR	2017	DBLP BibTeX RDF
13	G. A. Kavvos	On the Semantics of Intensionality and Intensional Recursion.	CoRR	2017	DBLP BibTeX RDF
13	G. A. Kavvos	Intensionality, Intensional Recursion, and the Gödel-Löb axiom.	CoRR	2017	DBLP BibTeX RDF
13	Rob J. van Glabbeek	Lean and Full Congruence Formats for Recursion.	CoRR	2017	DBLP BibTeX RDF
13	Rob J. van Glabbeek	An Algebraic Treatment of Recursion.	CoRR	2017	DBLP BibTeX RDF
13	Matthias Hauswirth	If you have parents, you can learn recursion.	Bull. EATCS	2017	DBLP BibTeX RDF
13	Nicolae Anghel	On a 2015 Putnam Problem Related to a Double Recursion.	Am. Math. Mon.	2017	DBLP BibTeX RDF
13	Alexandros Agapitos, Michael O'Neill 0001, Ahmed Kattan, Simon M. Lucas	Recursion in tree-based genetic programming.	Genet. Program. Evolvable Mach.	2017	DBLP DOI BibTeX RDF
13	Sérgio Mota	The never-ending recursion.	J. Appl. Log.	2017	DBLP DOI BibTeX RDF
13	Paulo Oliva, Thomas Powell 0001	Bar recursion over finite partial functions.	Ann. Pure Appl. Log.	2017	DBLP DOI BibTeX RDF
13	Luke Nelson	A recursion on maximal chains in the Tamari lattices.	Discret. Math.	2017	DBLP DOI BibTeX RDF
13	Luca Reggiani, Laura Dossi	Computation of information rates by means of discrete states density recursion.	Phys. Commun.	2017	DBLP DOI BibTeX RDF
13	Joaquín Díaz-Boïls	Categorical comprehensions and recursion.	J. Log. Comput.	2017	DBLP DOI BibTeX RDF
13	Sally Hamouda, Stephen H. Edwards, Hicham G. Elmongui, Jeremy V. Ernst, Clifford A. Shaffer	A basic recursion concept inventory.	Comput. Sci. Educ.	2017	DBLP DOI BibTeX RDF
13	Pathairat Pastpipatkul, Woraphon Yamaka, Songsak Sriboonchitta	Predictive Recursion Maximum Likelihood of Threshold Autoregressive Model.	Robustness in Econometrics	2017	DBLP DOI BibTeX RDF
13	Peter G. Hinman	Recursion-Theoretic Hierarchies		2017	DOI RDF