搜索结果: 1-15 共查到“recursion”相关记录30条 . 查询时间(0.07 秒)
On Typability for Rank-2 Intersection Types with Polymorphic Recursion
Typability Rank-2 Intersection Types Polymorphic Recursion
2016/5/24
We show that typability for a natural form of polymorphic recursive typing for rank-2 intersection types is undecidable. Our proof involves characterizing typability as a context free language (CFL) g...
A Minimal Recursion Semantic Analysis of Locatives
Minimal Recursion Semantic Analysis Locatives
2015/9/7
The article describes a pilot implementation of a grammar containing different types of locative PPs. In particular, we investigate the distinction between static and directional locatives, and betwee...
Toward a Connectionist Model of Recursion in Human Linguistic Performance
Human Linguistic Performance Connectionist Model
2015/8/10
Naturally occurring speech contains only a limited amount of complex
recursive structure, and this is reˉected in the empirically documented
dif®culties that people experience when processing s...
There has been a recent spate of work on recursion as a central design feature of language. This short report points out that there is little evidence that unlimited recursion, understood as centeremb...
Learning Recursion: Multiple Nested and Crossed Dependencies
artificial language learning non-adjacent dependencies
2015/4/10
Language acquisition in both natural and artificial language learning
settings crucially depends on extracting information from ordered sequences.
Plasticity of grammatical recursion in German learners of Dutch
Language learning Linguistic complexity Plasticity Recursion Sentence processing
2015/4/7
Previous studies have examined cross-serial and embedded complement clauses in West Germanic in order to distinguish between different types of working memory models of human sentence processing, as w...
Recursion Relations and Functional Equations for the Riemann Zeta Function
Riemann zeta function zeros of zeta function recursion relation of zeta function functional equation of zeta function
2011/9/14
Abstract: New recursion relations for the Riemann zeta function are introduced. Their derivation started from the standard functional equation. The new functional equations have both real and imaginar...
Finite mixture models with predictive recursion marginal likelihood
Density estimation Dirichlet distribution mixture com-plexity
2011/7/6
Estimation of finite mixture models when the mixing distribution support is unknown is an important and challenging problem. In this paper, a new approach is given based on the recently proposed predi...
Convergence rate for predictive recursion estimation of finite mixtures
Density estimation Kullback–Leibler divergence
2011/7/6
Predictive recursion (PR) is a fast stochastic algorithm for nonparametric estimation of mixing distributions in mixture models.
Semiparametric inference in mixture models with predictive recursion marginal likelihood
Density estimation Dirichlet process mixture empirical Bayes filtering algorithm
2011/7/5
Predictive recursion is an accurate and computationally efficient algorithm for nonparametric estimation of mixing densities in mixture models. In semiparametric mixture models, however, the algorithm...
Loop equations and topological recursion for the arbitrary-$β$ two-matrix model
Loop equations topological recursion two-matrix model
2011/7/25
Abstract: We write the loop equations for the $\beta$ two-matrix model, and we propose a topological recursion algorithm to solve them, order by order in a small parameter. We find that to leading ord...
A recursion identity for formal iterated logarithms and iterated exponentials
recursion identity formal iterated logarithms iterated exponentials
2011/1/18
We prove a recursive identity involving formal iterated logarithms and for-mal iterated exponentials. These iterated logarithms and exponentials appear in a nat-ural extension of the logarithmic forma...
Efficient Tree-Amplitudes in N=4: Automatic BCFW Recursion in Mathematica
Efficient Tree-Amplitudes in N=4 Automatic BCFW Recursion Mathematica
2010/12/27
We describe an efficient implementation of the BCFW recursion relations for tree-amplitudes in N=4 super Yang-Mills, which can generate analytic formulae for general N^kMHV colour-ordered helicity-amp...
Recursion operators for KP, mKP and Harry-Dym Hierarchies
Exactly Solvable and Integrable Systems(nlin.SI) Mathematical Physics(math-ph)
2010/11/10
In this paper, we give a unified construction of the recursion operators from the Lax representation for three integrable hierarchies: Kadomtsev-Petviashvili (KP), modified Kadomtsev-Petviashvili (mKP...
We present a semi-recursive method for calculating the rational parts of one-loop amplitudes when recursion produces double poles. We illustrate this with the graviton scattering amplitude M^{1-loop}(...