Well-nested word languages have been advertised as adequate formalizations of the notion of mild context-sensitivity. The main result of this paper is a characterization of well-nested tree languages in terms of simple attributed tree transducers.

Article history: Received 18 July 2012 Received in revised form 21 September 2013 Accepted 17 October 2013 Available online 24 October 2013

We use existing measurements of D − → K * 0 ρ − and B → ψ + K * , coupled with flavor independence of QCD, and with vector meson dominance to show that long distance contributions to B → ρ + γ are potentially very serious. We note that long distance (LD) contributions can be appreciably different in B − → ρ − + γ and B 0 → ρ 0 (ω) + γ. All radiative decays of B, B S are shown to be governed ess...

F. Karsch1,2,7, M. Cheng4, S. Ejiri1, P. Hedge1,6, O. Kaczmarek7, E. Laermann7, R. D. Mawhinney6, C. Miao1, S. Mukherjee1, P. Petreczky1,5, C. Schmidt7, and W. Söldner†3 1BNL, Upton, NY 11973, USA; 2Columbia University, New York, NY 10027, USA; 3GSI, Darmstadt, Germany; 4LLNL, Livermore, CA 94550, USA; 5RIKEN-BNL Research Center, BNL, Upton, NY 11973, USA; 6Stony Brook University, Stony Brook, ...

The current status of the experimental measurements and theoretical predictions of the anomalous magnetic moment of the muon aμ is briefly reviewed. The emphasis is put on the evaluation of the hadronic contribution to aμ as it has the largest uncertainty among all Standard Model contributions. The precision of the hadronic contribution is driven by the input e+e− data predominantly from the π+...

A high resolution nested flow model for the coastal, shelf and open sea areas of the Cyprus Basin, NE Levantine, eastern Mediterranean Sea is implemented to fulfil the objectives of the Mediterranean Forecasting System Pilot Project, funded by the EU. The Cyprus coastal ocean model is nested entirely within a coarse regional grid model of the eastern Mediterranean Sea, using the MODB climatolog...

Computer algebra systems, such as Axiom, and programming languages designed for computer algebra, such as Aldor, have very flexible mechanisms for generic code, with type parameterization. Modern versions of Maple can support this style of programming through the use of Maple's module system, and by using module-producing functions to give parametric type constructors. From the software design ...

Abstract Nested subset pattern (nestedness) is an important part of the theoretical framework island biogeography and community ecology. However, most previous studies often used nestedness metrics or randomization algorithms that are vulnerable to type I error. In this study, we investigated lizard assemblages on 37 islands in Zhoushan Archipelago, China. We line-transect method survey species...