On the computation of the maximal structured singular value for aeronautical applications

peer-reviewed                                                                                                                             This paper considers the necessary transformations and the computational issues associated with the determination of the maximal structured singular value without the use of a frequency gridding strategy. It is shown that, for the case of purely real model perturbations, convergence difficulties exist in determining bounds on the maximal structured singular value using existing Matlab software. A new computational scheme is presented which improves on existing methods for the computation of the worst case combination of real uncertain parameters. This scheme easily outperforms regularisation type solutions, which have been suggested as one way of improving the convergence properties of a strictly real robustness analysis. The improvement is illustrated on a well known civil aircraft robustness analysis example.    ACCEPTEDpeer-reviewe

Assessing the potential impacts of a changing climate on the distribution of a rabies virus vector

Common vampire bats (Desmodus rotundus) occur throughout much of South America to northern MeÂxico. Vampire bats have not been documented in recent history in the United States, but have been documented within about 50 km of the U.S. state of Texas. Vampire bats feed regularly on the blood of mammals and can transmit rabies virus to native species and livestock, causing impacts on the health of prey. Thus cattle producers, wildlife management agencies, and other stakeholders have expressed concerns about whether vampire bats might spread into the southern United States. On the other hand, concerns about vampire- borne rabies can also result in wanton destruction at bat roosts in areas occupied by vampire bats, but also in areas not known to be occupied by this species. This can in turn negatively affect some bat roosts, populations, and species that are of conservation concern, including vampire bats. To better understand the current and possible future distribution of vampire bats in North America and help mitigate future cattle management problems, we used 7,094 vampire bat occurrence records from North America and species distribution modeling (SDM) to map the potential distribution of vampire bats in North America under current and future climate change scenarios. We analysed and mapped the potential distribution of this species using 5 approaches to species distribution modeling: logistic regression, multivariate adaptive regression splines, boosted regression trees, random forest, and maximum entropy. We then projected these models into 17 ªworst-caseº future climate scenarios for year 2070 to generate hypotheses about how the vampire bat distribution in North America might change in the future. Of the variables used in this analysis, minimum temperature of the coldest month had the highest variable importance using all 5 SDM approaches. These results suggest two potential near-future routes of vampire bat dispersal into the U. S., one via southern Texas, and a second into southern Florida. Some of our SDM models support the hypothesis that suitable habitat for vampire bats may currently exist in parts of the Mexico-U.S. borderlands, including extreme southern portions of Texas, as well as in southern Florida. However, this analysis also suggests that extensive expansion into the south-eastern and south-western U.S. over the coming ~60 years appears unlikely

A Formal Semantics of the GraalVM Intermediate Representation

The optimization phase of a compiler is responsible for transforming an intermediate representation (IR) of a program into a more efficient form. Modern optimizers, such as that used in the GraalVM compiler, use an IR consisting of a sophisticated graph data structure that combines data flow and control flow into the one structure. As part of a wider project on the verification of optimization passes of GraalVM, this paper describes a semantics for its IR within Isabelle/HOL. The semantics consists of a big-step operational semantics for data nodes (which are represented in a graph-based static single assignment (SSA) form) and a small-step operational semantics for handling control flow including heap-based reads and writes, exceptions, and method calls. We have proved a suite of canonicalization optimizations and conditional elimination optimizations with respect to the semantics.Comment: 16 pages, 8 figures, to be published to ATVA 202

The inheritance of resistance to bacterial leaf spot of lettuce caused by Xanthomonas campestris pv. vitians in three lettuce cultivars.

Lettuce yields can be reduced by the disease bacterial leaf spot (BLS) caused by the pathogen Xanthomonas campestris pv. vitians (Xcv) and host resistance is the most feasible method to reduce disease losses. The cultivars La Brillante, Pavane and Little Gem express an incompatible host-pathogen interaction as a hypersensitive response (HR) to California strains of Xcv resulting in resistance. Little was known about the inheritance of resistance; however, resistance to other lettuce pathogens is often determined by resistance gene candidates (RGCs) encoding nucleotide-binding leucine-rich repeat (NB-LRR) proteins. Therefore, we determined the inheritance of BLS resistance in the cultivars La Brillante, Little Gem and Pavane and mapped it relative to RGCs. The reaction to Xcv was analyzed in nine F1, F2 and recombinant inbred line populations of lettuce from HR×compatible or HR×HR crosses. The HR in La Brillante, Pavane and Little Gem is conditioned by single dominant genes, which are either allelic or closely linked genes. The resistance gene in La Brillante was designated Xanthomonas resistance 1 (Xar1) and mapped to lettuce linkage group 2. Xar1 is present in a genomic region that contains numerous NB-LRR encoding RGCs and functional pathogen resistance loci in the RGC2 family. The Xar1 gene confers a high level of BLS resistance in the greenhouse and field that can be introgressed into commercial lettuce cultivars to reduce BLS losses using molecular markers

Vegetation Outlook (VegOut): Predicting Remote Sensing–Based Seasonal Greenness

Accurate and timely prediction of vegetation conditions enhances knowledge-based decision making for drought planning, mitigation, and response. This is very important in countries that are highly dependent on rainfed agriculture. For example, studies show that remote sensing–based observations and vegetation condition prediction have great potential for estimating crop yields (Verdin and Klaver, 2002; Ji and Peters, 2003; Seaquist et al., 2005; Tadesse et al., 2005a, 2008; Funk and Brown, 2006), which in turn may help to address agricultural development and food security issues, as well as improve early warning systems. Many studies have demonstrated the value of Vegetation Indices (VIs), such as the Normalized Difference Vegetation Index (NDVI), calculated from satellite observations for assessing vegetation cover and conditions (Tucker et al., 1985; Roerink et al., 2003; Anyamba and Tucker, 2005; Seaquist et al., 2005), and such data have become a common source of information for vegetation monitoring. The term vegetation condition in this chapter refers to vegetation greenness or vegetation health, as inferred from canopy reflectance values measured by satellite observations (Mennis, 2001; Anyamba and Tucker, 2005). The vegetation greenness metric is commonly calculated from time-series NDVI (Reed et al., 1994) and represents the seasonal, time-integrated NDVI at a specific date, which has been shown to be representative of indicators of general vegetation health including net primary production (NPP) and green biomass (Tucker et al., 1985; Reed et al., 1996; Yang et al., 1998; Eklundh and Olsson, 2003; Hill and Donald, 2003). As a result, VIs and VI derivatives such as time-integrated VI can be used to characterize the temporal and spatial relationships between climate and vegetation and improve our understanding of the lagged relationship between climate (e.g., precipitation and temperature) and vegetation response (Roerink et al., 2003; Anyamba and Tucker, 2005; Seaquist et al., 2005; Camberlin et al., 2007; Groeneveld and Baugh, 2007). Quantitative descriptions of climate-vegetation response lags can then be used to identify and predict vegetation stress during drought

Modulation of Phosducin-Like Protein 3 (PhLP3) Levels Promotes Cytoskeletal Remodelling in a MAPK and RhoA-Dependent Manner

Background Phosducin-like protein 3 (PhLP3) forms a ternary complex with the ATP-dependent molecular chaperone CCT and its folding client tubulin. In vitro studies suggest PhLP3 plays an inhibitory role in ?-tubulin folding while conversely in vivo genetic studies suggest PhLP3 is required for the correct folding of ?-tubulin. We have a particular interest in the cytoskeleton, its chaperones and their role in determining cellular phenotypes associated with high level recombinant protein expression from mammalian cell expression systems. Methodology/Principal Findings As studies into PhLP3 function have been largely carried out in non mammalian systems, we examined the effect of human PhLP3 over-expression and siRNA silencing using a single murine siRNA on both tubulin and actin systems in mammalian Chinese hamster ovary (CHO) cell lines. We show that over-expression of PhLP3 promotes an imbalance of ? and ? tubulin subunits, microtubule disassembly and cell death. In contrast, ?-actin levels are not obviously perturbed. On-the-other-hand, RNA silencing of PhLP3 increases RhoA-dependent actin filament formation and focal adhesion formation and promotes a dramatic elongated fibroblast-like change in morphology. This was accompanied by an increase in phosphorylated MAPK which has been associated with promoting focal adhesion assembly and maturation. Transient overexpression of PhLP3 in knockdown experiments rescues cells from the morphological change observed during PhLP3 silencing but mitosis is perturbed, probably reflecting a tipping back of the balance of PhLP3 levels towards the overexpression state. Conclusions Our results support the hypothesis that PhLP3 is important for the maintenance of ?-tubulin levels in mammalian cells but also that its modulation can promote actin-based cytoskeletal remodelling by a mechanism linked with MAPK phosphorylation and RhoA-dependent changes. PhLP3 levels in mammalian cells are thus finely poised and represents a novel target for engineering industrially relevant cell lines to evolve lines more suited to suspension or adherent cell growth

Development of a Long-Term (1884-2006) Serially Complete Dataset of U.S. Temperatures and Precipitation for Climate Services

Serially complete climate datasets with no missing data are necessary for a diverse group of users working in many economic sectors. In this article we describe the procedures used to create a Serially Complete Data set (SCD) for the U.S. We include the selection criterion applied to potential SCD stations, the various procedural steps and the details applied to each step. A few observations that were not previously digitized were obtained from observers official paper reports. The methods used to estimate missing data are the Spatial Regression Test and the Inverse Distance Weighting technique. Using the criterion for selecting stations we were able to include 2144 stations for the SCD that had at least 1 element (maximum/minimum temperature and/or precipitation) for a continuous period of at least 40 years. In addition, the quality control procedure assigned confidence intervals to all observations and many of the estimates. We continue to explore the options for estimating any missing data that remain after our 3 step approach and we look forward to changing the base data set form TD 3200 to GHCN