Spatially explicit models that simulate the evolution of dispersal strategies have not considered colonial organisms. Here we develop the colony-based lattice model, in which a colony, rather than an individual, occupies each lattice site. With this model we investigate why invasive tramp ant species usually lack long-distance dispersal, despite living in frequently disturbed habitats. We assum...

the paper studies of the effect the related and unrelated diversification for products and ownership structure on capital structure for a sample of 87 firms out of 19 industry listed on the tehran stock exchange during the period 2004- 2009. for to regress of models to apply of multivariate approach include panel data and cross-sectional regressions. this study adopts panel fixed effects regres...

We lift the theory of optimal reduction to a decomposition of the lambda calculus known as the Linear Substitution Calculus (LSC). LSC decomposes β-reduction into finer steps that manipulate substitutions in two distinctive ways: it uses context rules that allow substitutions to act “at a distance” and rewrites modulo a set of equations that allow substitutions to “float” in a term. We propose ...

Traditional convolutional neural networks (CNN) are stationary and feedforward. They neither change their parameters during evaluation nor use feedback from higher to lower layers. Real brains, however, do. So does our Deep Attention Selective Network (dasNet) architecture. DasNet’s feedback structure can dynamically alter its convolutional filter sensitivities during classification. It harness...

This paper focuses on the restart strategy of CMA-ES on multi-modal functions. A first alternative strategy proceeds by decreasing the initial step-size of the mutation while doubling the population size at each restart. A second strategy adaptively allocates the computational budget among the restart settings in the BIPOP scheme. Both restart strategies are validated on the BBOB benchmark; the...

From applied linguistic point of view, the fundamental question facing the language teachers, methodologists and course designers is which procedure is more effective in FL/SL: learning to use or using to learn? Definitely, in order to be a competent language user, knowledge of language system is necessary, but it is not sufficient to be a successful language user. That is why there was a gradu...

postconditioning is a simple and safe strategy for cardioprotection and infarct size limitation. our previous study showed that oxytocin (ot) exerts postconditioning effect on ischemic/reperfused isolated rat heart. the aim of this study was to investigate the involvement of ot receptor, mitochondrial atp-sensitive potassium channel (mkatp), nitric oxide (no) and cyclooxygenase (cox) pathways i...

This paper defines head linear reduction, a reduction strategy of λ-terms that performs the minimal number of substitutions for reaching a head normal form. The definition relies on an extended notion of redex, and head linear reduction is therefore not a strategy in the exact usual sense. Krivine’s Abstract Machine is proved to be sound by relating it both to head linear reduction and to usual...

We de ne a perpetual one-step reduction strategy which enables one to construct minimal (w.r.t. L evy's ordering on reductions) in nite reductions in Conditional Orthogonal Expression Reduction Systems. We use this strategy to derive two characterizations of perpetual redexes, i.e., redexes whose contractions retain the existence of in nite reductions. These characterizations generalize existin...