Results 11 to 20 of about 23,253 (274)
Frontiers in Psychology, 2014 It is a truism that conceptual understanding of a hypothesis is required for its empirical investigation. However the concept of recursion as articulated in the context of linguistic analysis has been perennially confused.
Jeffrey eWatumull +4 more
doaj +5 more sources
Recursed is not Recursive: A Jarring Result
CoRR, 2020 Recursed is a 2D puzzle platform video game featuring treasure chests that, when jumped into, instantiate a room that can later be exited (similar to function calls), optionally generating a jar that returns back to that room (similar to continuations).
Erik D. Demaine +2 more
openaire +4 more sources
Hardware acceleration of number theoretic transform for zk‐SNARK
Engineering Reports, EarlyView., 2023 An FPGA‐based hardware accelerator with a multi‐level pipeline is designed to support the large‐bitwidth and large‐scale NTT tasks in zk‐SNARK. It can be flexibly scaled to different scales of FPGAs and has been equipped in the heterogeneous acceleration system with the help of HLS and OpenCL.
Haixu Zhao +6 more
wiley +1 more source
To recurse or not to recurse: a low-dose CT study [PDF]
Progress in Artificial Intelligence, 2021 Restoring high-quality CT images from low-dose CT counterparts is an ill-posed, nonlinear problem to which deep learning approaches have shown promising results compared to classical model-based approaches. Feedforward neural networks, whose output at any given time depends only on their input at that specific time slot, have been widely used to ...
Shabab Bazrafkan +4 more
openaire +2 more sources
Physical Review E, 2015 We introduce a simple lattice model in which percolation is constructed on top of critical percolation clusters, and show that it can be repeated recursively any number $n$ of generations. In two dimensions, we determine the percolation thresholds up to $n=5$. The corresponding critical clusters become more and more compact as $n$ increases, and define
Deng, Youjin +2 more
openaire +3 more sources
Symbolic Computation of Polynomial Conserved Densities, Generalized Symmetries, and Recursion Operators for Nonlinear Differential-Difference Equations [PDF]
, 2004 Algorithms for the symbolic computation of polynomial conserved densities, fluxes, generalized symmetries, and recursion operators for systems of nonlinear differential-difference equations are presented. In the algorithms we use discrete versions of the
Jan A. S +15 more
core +1 more source
Recursive categoricity and recursive stability
Annals of Pure and Applied Logic, 1986 This paper comprises two parts. 1. A model \({\mathcal A}\) in a class \({\mathcal C}\) is strongly recursively stable in C if 1) A is recursively presented and 2) if B is elementarily equivalent to A and B is in C, then not only is B isomorphic to A but every isomorphism from B onto A is recursive.
John N. Crossley +2 more
openaire +2 more sources
General Recursion and Formal Topology [PDF]
, 2010 It is well known that general recursion cannot be expressed within Martin-Loef's type theory and various approaches have been proposed to overcome this problem still maintaining the termination of the computation of the typable terms.
Silvio Valentini +5 more
core +1 more source
Recursion in Recursion: Two-Level Nested Recursion for Length Generalization with Scalability
Advances in Neural Information Processing Systems 36, 2023 Binary Balanced Tree RvNNs (BBT-RvNNs) enforce sequence composition according to a preset balanced binary tree structure. Thus, their non-linear recursion depth is just $\log_2 n$ ($n$ being the sequence length). Such logarithmic scaling makes BBT-RvNNs efficient and scalable on long sequence tasks such as Long Range Arena (LRA).
Jishnu Ray Chowdhury, Cornelia Caragea
openaire +3 more sources
A List of 1 + 1 Dimensional Integrable Equations and Their Properties [PDF]
, 2001 This paper contains a list of known integrable systems. It gives their recursion-, Hamiltonian-, symplectic- and cosymplectic operator, roots of their symmetries and their scaling ...
Jing Ping Wang, Wang, Jing Ping
core +1 more source