Search results for "recursion"

Hits ?▲	Authors	Title	Venue	Year	Link
13	Joseph R. Shoenfield	Recursion Theory		2017	DOI RDF
13	Miguel Angel Aguilar, Rainer Leupers, Gerd Ascheid, Juan Fernando Eusse	Extraction of recursion level parallelism for embedded multicore systems.	SAMOS	2017	DBLP DOI BibTeX RDF
13	Evgeny Sherkhonov, Bernardo Cuenca Grau, Evgeny Kharlamov, Egor V. Kostylev	Semantic Faceted Search with Aggregation and Recursion.	ISWC (1)	2017	DBLP DOI BibTeX RDF
13	Roberto Martín-Martín, Oliver Brock	Cross-modal interpretation of multi-modal sensor streams in interactive perception based on coupled recursion.	IROS	2017	DBLP DOI BibTeX RDF
13	Valentin Blot	An interpretation of system F through bar recursion.	LICS	2017	DBLP DOI BibTeX RDF
13	Rob J. van Glabbeek	Lean and full congruence formats for recursion.	LICS	2017	DBLP DOI BibTeX RDF
13	Naoki Kobayashi 0001, Étienne Lozes, Florian Bruse	On the relationship between higher-order recursion schemes and higher-order fixpoint logic.	POPL	2017	DBLP DOI BibTeX RDF
13	Paula Severi	A Light Modality for Recursion.	FoSSaCS	2017	DBLP DOI BibTeX RDF
13	Monica Bucciarelli, Robert Mackiewicz, Sangeet Khemlani, Philip N. Johnson-Laird	Recursion in Children's Comprehension and Formulation of Algorithms.	CogSci	2017	DBLP BibTeX RDF
13	Maurício de Jesus Dias Martins	The Cognitive Architecture of Recursion: Behavioral and fMRI Evidence from the Visual, Musical and Motor Domains.	CogSci	2017	DBLP BibTeX RDF
13	Oskar Abrahamsson, Magnus O. Myreen	Automatically Introducing Tail Recursion in CakeML.	TFP	2017	DBLP DOI BibTeX RDF
13	Violetta Lonati, Dario Malchiodi, Mattia Monga, Anna Morpurgo	Nothing to Fear but Fear Itself: Introducing Recursion in Lower Secondary Schools.	LaTiCE	2017	DBLP DOI BibTeX RDF
13	Xiaoman Liu, Jijun Liu	A Double Recursion Algorithm to Image Restoration from Random Limited Frequency Data.	ICIG (3)	2017	DBLP DOI BibTeX RDF
13	Ryota Suzuki 0002, Koichi Fujima, Naoki Kobayashi 0001, Takeshi Tsukada	Streett Automata Model Checking of Higher-Order Recursion Schemes.	FSCD	2017	DBLP DOI BibTeX RDF
13	Martín Hötzel Escardó, Cory M. Knapp	Partial Elements and Recursion via Dominances in Univalent Type Theory.	CSL	2017	DBLP DOI BibTeX RDF
13	Pawel Parys	The Complexity of the Diagonal Problem for Recursion Schemes.	FSTTCS	2017	DBLP DOI BibTeX RDF
13	Jonathon Cai, Richard Shin, Dawn Song	Making Neural Programming Architectures Generalize via Recursion.	ICLR	2017	DBLP BibTeX RDF
13	Julian Biendarra, Jasmin Christian Blanchette, Aymeric Bouzy, Martin Desharnais, Mathias Fleury, Johannes Hölzl, Ondrej Kuncar, Andreas Lochbihler, Fabian Meier, Lorenz Panny, Andrei Popescu 0001, Christian Sternagel, René Thiemann, Dmitriy Traytel	Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic.	FroCoS	2017	DBLP DOI BibTeX RDF
13	Mandy Weißbach, Wolf Zimmermann	On Abstraction-Based Deadlock-Analysis in Service-Oriented Systems with Recursion.	ESOCC	2017	DBLP DOI BibTeX RDF
13	Georgios Alexandros Kavvos	On the semantics of intensionality and intensional recursion.		2017	RDF
13	Berit Grußien	Capturing Polynomial Time and Logarithmic Space using Modular Decompositions and Limited Recursion		2017	RDF
13	Kangil Kim, Robert I. McKay, Nguyen Xuan Hoai	Recursion-Based Biases in Stochastic Grammar Model Genetic Programming.	IEEE Trans. Evol. Comput.	2016	DBLP DOI BibTeX RDF
13	Chong Li, Le-Duc Tung, Xiaodong Meng, Zhenjiang Hu	Let High-level Graph Queries Be Parallel Efficient: An Approach Over Structural Recursion On Pregel.	J. Inf. Process.	2016	DBLP DOI BibTeX RDF
13	Konstantinos Mamouras	The Hoare Logic of Deterministic and Nondeterministic Monadic Recursion Schemes.	ACM Trans. Comput. Log.	2016	DBLP DOI BibTeX RDF
13	Neil Ghani, Peter G. Hancock	Containers, monads and induction recursion.	Math. Struct. Comput. Sci.	2016	DBLP DOI BibTeX RDF
13	Ana Bove, Alexander Krauss 0001, Matthieu Sozeau	Partiality and recursion in interactive theorem provers - an overview.	Math. Struct. Comput. Sci.	2016	DBLP DOI BibTeX RDF
13	Shuai Han 0002, Desi Luo, Weixiao Meng 0001, Cheng Li 0005	Antispoofing RAIM for dual-recursion particle filter of GNSS calculation.	IEEE Trans. Aerosp. Electron. Syst.	2016	DBLP DOI BibTeX RDF
13	Ryan Martin, Zhen Han	A semiparametric scale-mixture regression model and predictive recursion maximum likelihood.	Comput. Stat. Data Anal.	2016	DBLP DOI BibTeX RDF
13	Ernest Schimmerling	John R. Steel and W. Hugh Woodin, HOD as a core model, Ordinal Definability and Recursion Theory: The Cabal Seminar, vol. III (A. S. Kechris, B. Löwe, and J. R. Steel, editors), Lecture Notes in Logic 43, Association for Symbolic Logic and Cambridge University Press, 2016, pp. 257-343.	Bull. Symb. Log.	2016	DBLP DOI BibTeX RDF
13	Jean-Guillaume Dumas, Thierry Gautier, Clément Pernet, Jean-Louis Roch, Ziad Sultan	Recursion based parallelization of exact dense linear algebra routines for Gaussian elimination.	Parallel Comput.	2016	DBLP DOI BibTeX RDF
13		The Recursion Theorem from a Different Angle.	CoRR	2016	DBLP BibTeX RDF
13		Kleene's Two Kinds of Recursion.	CoRR	2016	DBLP BibTeX RDF
13	John Longley	The recursion hierarchy for PCF is strict.	CoRR	2016	DBLP BibTeX RDF
13	Lars Birkedal, Ales Bizjak, Ranald Clouston, Hans Bugge Grathwohl, Bas Spitters, Andrea Vezzosi	Guarded Cubical Type Theory: Path Equality for Guarded Recursion.	CoRR	2016	DBLP BibTeX RDF
13	Stefan Milius, Tadeusz Litak	Guard Your Daggers and Traces: Properties of Guarded (Co-)recursion.	CoRR	2016	DBLP BibTeX RDF
13		Total Recursion over Lexicographical Orderings: Elementary Recursive Operators Beyond PR.	CoRR	2016	DBLP BibTeX RDF
13	Eugenia Ternovska	Lifted Relational Algebra with Recursion and Connections to Modal Logic.	CoRR	2016	DBLP BibTeX RDF
13	Lane A. Hemaspaandra, Daniel Rubery	Recursion-Theoretic Ranking and Compression.	CoRR	2016	DBLP BibTeX RDF
13	Ranald Clouston, Ales Bizjak, Hans Bugge Grathwohl, Lars Birkedal	The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types.	Log. Methods Comput. Sci.	2016	DBLP DOI BibTeX RDF
13	Lorenzo Clemente, Pawel Parys, Sylvain Salvati, Igor Walukiewicz	The Diagonal Problem for Higher-Order Recursion Schemes is Decidable.	CoRR	2016	DBLP BibTeX RDF
13	Zheng Wang	Does Your DNS Recursion Really Time Out as Intended? A Timeout Vulnerability of DNS Recursive Servers.	CoRR	2016	DBLP BibTeX RDF
13	Søren Debois, Thomas T. Hildebrandt, Tijs Slaats, Nobuko Yoshida	Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion.	Log. Methods Comput. Sci.	2016	DBLP DOI BibTeX RDF
13	Baltasar Trancón y Widemann	Higher-Order Recursion Abstraction: How to Make Ackermann, Knuth and Conway Look Like a Bunch of Primitives, Figuratively Speaking.	CoRR	2016	DBLP BibTeX RDF
13	Seokhyun Yoon	Convergence and Density Evolution of a Low-Complexity MIMO Detector based on Forward-Backward Recursion over a Ring.	CoRR	2016	DBLP BibTeX RDF
13	Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Sævar Örn Kjartansson	Determinizing Monitors for HML with Recursion.	CoRR	2016	DBLP BibTeX RDF
13	Matthew J. Liberatore	A Counterexample to the Forward Recursion in Fuzzy Critical Path Analysis Under Discrete Fuzzy Sets.	CoRR	2016	DBLP BibTeX RDF
13	Sy-David Friedman, Wei Li 0050, Tin Lok Wong	Fragments of Kripke-Platek set theory and the metamathematics of α-recursion theory.	Arch. Math. Log.	2016	DBLP DOI BibTeX RDF
13	Ralf Hinze, Nicolas Wu	Unifying structured recursion schemes - An Extended Study.	J. Funct. Program.	2016	DBLP DOI BibTeX RDF
13	Andreas Abel 0001, Brigitte Pientka	Well-founded recursion with copatterns and sized types.	J. Funct. Program.	2016	DBLP DOI BibTeX RDF
13	Juan A. Nido Valencia, Julio Solís-Daun, Luis Miguel Villegas-Silva	A representation of recursively enumerable sets through Horn formulas in higher recursion theory.	Period. Math. Hung.	2016	DBLP DOI BibTeX RDF
13	Raphaël Cauderlier, Catherine Dubois	ML Pattern-Matching, Recursion, and Rewriting: From FoCaLiZe to Dedukti.	ICTAC	2016	DBLP DOI BibTeX RDF
13	Lorenzo Clemente, Pawel Parys, Sylvain Salvati, Igor Walukiewicz	The Diagonal Problem for Higher-Order Recursion Schemes is Decidable.	LICS	2016	DBLP DOI BibTeX RDF
13	Koko Muroya, Naohiko Hoshino, Ichiro Hasuo	Memoryful geometry of interaction II: recursion and adequacy.	POPL	2016	DBLP DOI BibTeX RDF
13	D. A. Turner	Recursion Equations as a Programming Language.	A List of Successes That Can Change the World	2016	DBLP DOI BibTeX RDF
13	Holger Bock Axelsen, Robin Kaarsgaard	Join Inverse Categories as Models of Reversible Recursion.	FoSSaCS	2016	DBLP DOI BibTeX RDF
13	Venanzio Capretta, Tarmo Uustalu	A Coalgebraic View of Bar Recursion and Bar Induction.	FoSSaCS	2016	DBLP DOI BibTeX RDF
13	Robert Bruce	Recursion in Fixed Motor Sequences.	AICS	2016	DBLP BibTeX RDF
13	Annemarie Kocab, Ann Senghas, Jesse Snedeker	Recursion in Nicaraguan Sign Language.	CogSci	2016	DBLP BibTeX RDF
13	Jun Lai, Chiara de Jong, Dingguo Gao, Ren Huang, Emiel Krahmer, Jan Sprenger	The Influence of Language-specific Auditory Cues on the Learnability of Center-embedded Recursion.	CogSci	2016	DBLP BibTeX RDF
13	Irina Polyanskaya, Torben Braüner, Patrick Blackburn	Linguistic recursion and Autism Spectrum Disorder.	CogSci	2016	DBLP BibTeX RDF
13	Roussanka Loukanova	Underspecified Quantification by the Theory of Acyclic Recursion.	PAAMS (Special Sessions)	2016	DBLP DOI BibTeX RDF
13	Sam Lindley, J. Garrett Morris	Talking bananas: structural recursion for session types.	ICFP	2016	DBLP DOI BibTeX RDF
13	Roussanka Loukanova	Acyclic Recursion with Polymorphic Types and Underpecification.	ICAART (2)	2016	DBLP DOI BibTeX RDF
13	David B. Thomas	Synthesisable recursion for C++ HLS tools.	ASAP	2016	DBLP DOI BibTeX RDF
13	Lars Birkedal, Ales Bizjak, Ranald Clouston, Hans Bugge Grathwohl, Bas Spitters, Andrea Vezzosi	Guarded Cubical Type Theory: Path Equality for Guarded Recursion.	CSL	2016	DBLP DOI BibTeX RDF
13	Jean-Louis Krivine	Bar Recursion in Classical Realisability: Dependent Choice and Continuum Hypothesis.	CSL	2016	DBLP DOI BibTeX RDF
13	Rohan Jacob-Rao, Andrew Cave, Brigitte Pientka	Mechanizing Proofs about Mendler-style Recursion.	LFMTP	2016	DBLP DOI BibTeX RDF
13	Ann A. Copestake, Guy Emerson, Michael Wayne Goodman, Matic Horvat, Alexander Kuhnle, Ewa Muszynska	Resources for building applications with Dependency Minimal Recursion Semantics.	LREC	2016	DBLP BibTeX RDF
13	Carlo Zaniolo, Mohan Yang, Ariyam Das, Matteo Interlandi	The Magic of Pushing Extrema into Recursion: Simple, Powerful Datalog Programs.	AMW	2016	DBLP BibTeX RDF
13	Mandy Weißbach	Deadlock Analysis of Service-Oriented Systems with Recursion and Concurrency.	ESOCC Workshops	2016	DBLP DOI BibTeX RDF
13	Liang Dai 0002	Identification using Convexification and Recursion.		2016	RDF
13	Benjamin G. Rin	Transfinite recursion and computation in the iterative conception of set.	Synth.	2015	DBLP DOI BibTeX RDF
13	Ales Bizjak, Rasmus Ejlers Møgelberg	A Model of Guarded Recursion With Clock Synchronisation.	MFPS	2015	DBLP DOI BibTeX RDF
13	Stefano Mazzanti	Unbounded Recursion and Non-size-increasing Functions.	ICTCS	2015	DBLP DOI BibTeX RDF
13	Ernesto Copello, Alvaro Tasistro, Nora Szasz, Ana Bove, Maribel Fernández	Alpha-Structural Induction and Recursion for the Lambda Calculus in Constructive Type Theory.	LSFA	2015	DBLP DOI BibTeX RDF
13	Sergey Goncharov 0001, Christoph Rauch, Lutz Schröder	Unguarded Recursion on Coinductive Resumptions.	MFPS	2015	DBLP DOI BibTeX RDF
13	Noah David Schweber	Transfinite Recursion in Higher Reverse Mathematics.	J. Symb. Log.	2015	DBLP DOI BibTeX RDF
13	Martín Escardó, Paulo Oliva	Bar Recursion and Products of Selection Functions.	J. Symb. Log.	2015	DBLP DOI BibTeX RDF
13	Benjamin Sagalovsky	Organizing for Lean: autonomy, recursion and cohesion.	Kybernetes	2015	DBLP DOI BibTeX RDF
13	Samaneh Mashhadi, Massoud Hadian Dehkordi	Two verifiable multi secret sharing schemes based on nonhomogeneous linear recursion and LFSR public-key cryptosystem.	Inf. Sci.	2015	DBLP DOI BibTeX RDF
13	Philipp Rümmer, Hossein Hojjat, Viktor Kuncak	On recursion-free Horn clauses and Craig interpolation.	Formal Methods Syst. Des.	2015	DBLP DOI BibTeX RDF
13	A. R. D. Mathias, Nathan J. Bowler	Rudimentary Recursion, Gentle Functions and Provident Sets.	Notre Dame J. Formal Log.	2015	DBLP DOI BibTeX RDF
13	Baltasar Trancón y Widemann, Michael Hauhs	Algebraic-coalgebraic recursion theory of history-dependent dynamical system models.	Theor. Comput. Sci.	2015	DBLP DOI BibTeX RDF
13	Marco T. Morazán	Generative and accumulative recursion made fun for beginners.	Comput. Lang. Syst. Struct.	2015	DBLP DOI BibTeX RDF
13	Tomás Brázdil, Stefan Kiefer, Antonín Kucera 0001, Ivana Hutarová Vareková	Runtime analysis of probabilistic programs with unbounded recursion.	J. Comput. Syst. Sci.	2015	DBLP DOI BibTeX RDF
13	Aleksandar Mijatovic, Martijn Pistorius, Johannes Stolte	Randomisation and recursion methods for mixed-exponential Lévy models, with financial applications.	J. Appl. Probab.	2015	DBLP DOI BibTeX RDF
13	Dirk Veestraeten	A Recursion Formula for the Moments of the First Passage Time of the Ornstein-Uhlenbeck Process.	J. Appl. Probab.	2015	DBLP DOI BibTeX RDF
13	Irene Lobo Valbuena, Moa Johansson	Conditional Lemma Discovery and Recursion Induction in Hipster.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2015	DBLP DOI BibTeX RDF
13	Filip Mazowiecki, Joanna Ochremiak, Adam Witkowski	Eliminating Recursion from Monadic Datalog Programs on Trees.	CoRR	2015	DBLP BibTeX RDF
13	Jean-Louis Krivine	Bar recursion in classical realisability : dependent choice and well ordering of R.	CoRR	2015	DBLP BibTeX RDF
13	Ramón Casares	Syntax Evolution: Problems and Recursion.	CoRR	2015	DBLP BibTeX RDF
13	Arthur G. Ryman	Recursion in RDF Data Shape Languages.	CoRR	2015	DBLP BibTeX RDF
13	Hanaan Hashim, R. Srikanth 0001	The concept of free will as an infinite metatheoretic recursion.	CoRR	2015	DBLP BibTeX RDF
13	Minming Ni, Jianping Pan 0001, Miao Hu, Zhangdui Zhong	Recursion-based Analysis for Information Propagation in Vehicular Ad Hoc Networks.	CoRR	2015	DBLP BibTeX RDF
13	Ranald Clouston, Ales Bizjak, Hans Bugge Grathwohl, Lars Birkedal	Programming and Reasoning with Guarded Recursion for Coinductive Types.	CoRR	2015	DBLP BibTeX RDF
13	Alicja Smoktunowicz, Agata Smoktunowicz, Ewa Pawelec	The three-term recursion for Chebyshev polynomials is mixed forward-backward stable.	Numer. Algorithms	2015	DBLP DOI BibTeX RDF
13	Thomas W. Cusick, Bryan Johns	Recursion orders for weights of Boolean cubic rotation symmetric functions.	Discret. Appl. Math.	2015	DBLP DOI BibTeX RDF
13	Shui-Hung Hou, Edwin S. H. Hou	On a Recursion Formula Related to Confluent Vandermonde.	Am. Math. Mon.	2015	DBLP DOI BibTeX RDF
13	Leszek Aleksander Kolodziejczyk, Keita Yokoyama	Categorical characterizations of the natural numbers require primitive recursion.	Ann. Pure Appl. Log.	2015	DBLP DOI BibTeX RDF
13	Arash Ardakani, Mahdi Shabany	A Novel Area-Efficient VLSI Architecture for Recursion Computation in LTE Turbo Decoders.	IEEE Trans. Circuits Syst. II Express Briefs	2015	DBLP DOI BibTeX RDF