The polymorphically typed functional core language LRP is a lambda calculus with recursive let-expressions, data constructors, case-expressions, and a seq-operator that uses call-by-need evaluation. In this work LRP is extended by scoped work decorations to ease computations when reasoning on program improvements. The considered language LRPw extends LRP by two constructs to represent work (i.e...

The multiple-spiral medallions are beautiful decorations of the Mandelbrot set. Computer graphics provide an invaluable tool to study the structure of these decorations with central symmetry, formed by an infinity of baby Mandelbrot sets that have high periods. Up to now, the external arguments of the external rays landing at the cusps of the cardioids of these baby Mandelbrot sets could not be...

We prove that every 2d-regular unimodular random network carries an invariant Schreier decoration. Equivalently, it is the coset graph of subgroup free group F d . As a corollary we get graphing local isomorphic image coming from p.m.p. action

The main goal is to find the Homfly polynomial of a link formed by decorating each component of the Hopf link with the closure of a directly oriented tangle. Such decorations are spanned in the Hom-fly skein of the annulus by elements Q λ , depending on partitions λ. We show how the 2-variable Homfly invariant λ, µ of the Hopf link arising from decorations Q λ and Q µ can be found from the Schu...

We study a family of Hamiltonians of fermions hopping on a set of lattices in the presence of a background gauge field. The lattices are constructed by decorating the root lattices of various Lie algebras with their minuscule representations. The Hamiltonians are, in momentum space, themselves elements of the Lie algebras in these same representations. We describe various interesting aspects of...

alfalfa crops were surveyed for the incidence of alfalfa mosaic virus (amv), cucumber mosaic virus (cmv), peanut stunt virus (psv), bean leaf roll virus (blrv), bean yellow mosaic virus (bymv) and bean common mosaic virus (bcmv) in the major growing areas in the southeast and central regions of iran. samples were collected between may 2009 and march 2011 and analyzed for viral infection initial...

cucumber mosaic virus (cmv) is one of the causal agents of viral diseases that infected mint (mentha spp.). cmv is a member of the cucumovirus genus in  bromoviridae family. the virus is naturally transmitted by aphids in a non-persistent manner.during  growing season 2007-2008, leaf samples from plants of mint fields with symptoms of viral disease were collected in mint fieldas in tehran provi...

urban landscape structural analysis; focused on the remnant patch mosaic network as the component with closest interdependency with air and water related processes was undertaken to find and propose environmental planning suggestions.assessments demonstrate that remnant patch mosaic network structure of tehran is still restorable. with appropriate corrective measures based on the natural lay ou...