搜索结果: 1-15 共查到“recursion”相关记录30条 . 查询时间(0.069 秒)
On Typability for Rank-2 Intersection Types with Polymorphic Recursion
Typability Rank-2 Intersection Types Polymorphic Recursion
font style='font-size:12px;'>
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
font style='font-size:12px;'>
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
font style='font-size:12px;'>
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...
Recursion in pragmatics
recursion center-embedding dialogue syntax pragmatics
font style='font-size:12px;'>
2015/4/24
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
font style='font-size:12px;'>
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
font style='font-size:12px;'>
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
font style='font-size:12px;'>
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
font style='font-size:12px;'>
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
font style='font-size:12px;'>
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
font style='font-size:12px;'>
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
font style='font-size:12px;'>
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
font style='font-size:12px;'>
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
font style='font-size:12px;'>
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)
font style='font-size:12px;'>
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...
Augmented Recursion For One-loop Amplitudes
Augmented Recursion One-loop Amplitudes
font style='font-size:12px;'>
2010/12/22
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}(...