Polynomial function intervals for floating-point software verification

The focus of our work is the verification of tight functional properties of numerical programs, such as showing that a floating-point implementation of Riemann integration computes a close approximation of the exact integral. Programmers and engineers writing such programs will benefit from verification tools that support an expressive specification language and that are highly automated. Our work provides a new method for verification of numerical software, supporting a substantially more expressive language for specifications than other publicly available automated tools. The additional expressivity in the specification language is provided by two constructs. First, the specification can feature inclusions between interval arithmetic expressions. Second, the integral operator from classical analysis can be used in the specifications, where the integration bounds can be arbitrary expressions over real variables. To support our claim of expressivity, we outline the verification of four example programs, including the integration example mentioned earlier. A key component of our method is an algorithm for proving numerical theorems. This algorithm is based on automatic polynomial approximation of non-linear real and real-interval functions defined by expressions. The PolyPaver tool is our implementation of the algorithm and its source code is publicly available. In this paper we report on experiments using PolyPaver that indicate that the additional expressivity does not come at a performance cost when comparing with other publicly available state-of-the-art provers. We also include a scalability study that explores the limits of PolyPaver in proving tight functional specifications of progressively larger randomly generated programs. © 2014 Springer International Publishing Switzerland.

Measurement of Bottom Versus Charm as a Function of Transverse Momentum with Electron-Hadron Correlations in p plus p Collisions at s=200 GeV

The momentum distribution of electrons from semileptonic decays of charm and bottom quarks for midrapidity |y|< 0.35 in p+p collisions at s=200 GeV is measured by the PHENIX experiment at the Relativistic Heavy Ion Collider over the transverse momentum range 2 < p(T)< 7 GeV/c. The ratio of the yield of electrons from bottom to that from charm is presented. The ratio is determined using partial D/D -> e(+/-)K(-/+)X (K unidentified) reconstruction. It is found that the yield of electrons from bottom becomes significant above 4 GeV/c in p(T). A fixed-order-plus-next-to-leading-log perturbative quantum chromodynamics calculation agrees with the data within the theoretical and experimental uncertainties. The extracted total bottom production cross section at this energy is sigma(bb)=3.2(-1.1)(+1.2)(stat)(-1.3)(+1.4)(syst)mu b.

Yield loss caused by huanglongbing in different sweet orange cultivars in So Paulo, Brazil

Citrus huanglongbing (HLB) reduces an affected orchard`s economic life. This work aimed to characterize yield loss due to HLB for different sweet orange cultivars and determine the relationship between disease severity and yield. Disease severity and yield were assessed on 949 individual trees distributed in 11 different blocks from sweet orange cultivars Hamlin, Westin, Pera and Valencia. In each block, plants showing a range of HLB severity levels and asymptomatic plants were selected. Total yield (weight of harvested fruit), mean weight of asymptomatic and symptomatic fruit, relative yield (symptomatic tree yield/mean yield of asymptomatic trees from the same block) and relative number of fruits (fruit number from symptomatic tree/mean number of fruits from asymptomatic trees from the same block) were determined. The weight of symptomatic fruit was lower than the weight of asymptomatic fruit, but the weights of asymptomatic and symptomatic fruit were not correlated with disease severity, indicating that the effects of HLB were restricted to symptomatic branches. The relationship of the relative yield with HLB severity can be satisfactorily described by a negative exponential model. The rates of yield decrease as a function of disease severity were similar for all assessed cultivars. A relative yield (up to 19%) was observed even for trees where disease severity was 100%. The strong linear relationship between relative number of fruits per tree and the relative yield per tree suggested that the yield reduction was due primarily to early fruit drop or lack of fruit set on affected branches.

Mass balance characterisation of Al-7Si-Mg alloy microstructures as a function of solution treatment time

Mass balance calculations were performed to model the effect of solution treatment time on A356 and A357 alloy microstructures. Image analysis and electron probe microanalysis were used to characterise microstructures and confirm model predictions. In as-cast microstructures, up to 8 times more Mg is tied up in the pi-phase than in Mg2Si. The dissolution of pi is accompanied by a corresponding increase in the amount of beta-phase. This causes the rate of pi dissolution to be limited by the rate of beta formation. It is predicted that solution treatments of the order of tens of minutes at 540degreesC produce near-maximum T6 yield strengths, and that Mg contents in excess of 0.52 wt% have no advantage.

A monolithic smoothing-gap algorithm for contact-impact based on the signed distance function

A new algorithm has been developed for smoothing the surfaces in finite element formulations of contact-impact. A key feature of this method is that the smoothing is done implicitly by constructing smooth signed distance functions for the bodies. These functions are then employed for the computation of the gap and other variables needed for implementation of contact-impact. The smoothed signed distance functions are constructed by a moving least-squares approximation with a polynomial basis. Results show that when nodes are placed on a surface, the surface can be reproduced with an error of about one per cent or less with either a quadratic or a linear basis. With a quadratic basis, the method exactly reproduces a circle or a sphere even for coarse meshes. Results are presented for contact problems involving the contact of circular bodies. Copyright (C) 2002 John Wiley Sons, Ltd.

Simultaneous FT-NIR and ESR analyses to yield propagation rate coefficients for polymerization of methyl methacrylate based monomers

A hyphenated instrumental approach has been used to obtain reliable values for the propagation rate coefficients as a function of conversion for polymerizations of methyl methacrylate (MMA) and a mixture of MMA and ethyleneglycol dimethacrylate (EGDMA) with a 1:1 concentration of double bonds, from near the onset of the Trommsdorf region into the glass region. ESR spectroscopy was used to measure the radical concentration while FT-NIR fibre-optic spectroscopy was employed to measure instantaneously the double-bond concentration within the temperature-controlled cavity of the ESR instrument during polymerization. The advantage of this approach to the measurement of the rate coefficient is that it is equally applicable to branching and linear polymerizations. For the polymerization of methyl methacrylate, the values of the rate coefficient at the lowest conversions at which reliable values could be obtained were in agreement with recently reported values obtained by the PLP-SEC method. For the lowest conversions, the values obtained were 403 1 mol(-1) s(-1) at 306 K for MMA and 5201 mol(-1) s(-1) at 310 K for a 1:1 mixture of MMA and EGDMA. (C) 2003 Society of Chemical Industry.

Effect of spatial arrangement on the production components and yield of sunflower

ABSTRACT The sunflower plant is an oilseed crop that has aroused a great interest in the Brazilian and international scenery especillay because of the possibility of using its oil for biodiesel production. The objective of this study was to evaluate productivity and yield components of Embrapa 122 sunflower according to the spatial arrangement. Treatments were arranged in 4 x 4 factorial arrangement, which are the four spacings between rows (0.30; 0.50; 0.70 and 0.90 m) and four sowing densities (30,000; 45,000; 60,000 and 75,000 plants ha-1). The experiment was carried out in a complete randomized block design with four replications. The experiments were conducted in the experimental area of the Plant Science Department in Fortaleza, State of Ceará-Brazil and on the Curu Vale Experimental Farm in Pentecoste, State of Ceará-Brazil. Productivity and the following production components were analyzed in the end of the crop cycle: harvested capitula, capitulum diameter, capitulum mass, achene mass per capitulum, mass of 100 achenes, achenes per capitulum, harvest index and oil content in the achenes. The experiments were analyzed jointly in relation to the cropping area and the data submitted to analysis of variance and quantitative factors tested by polynomial regression. The variables, spacing, density and cropping area did not interact with these variables and the spatial arrangement of the plants affected only the components. The cropping area influences the productive behavior of sunflower Embrapa 122. The spatial arrangement of the plants of sunflower of variety Embrapa 122 influences yield components but does not affect productivity.

Incremental yield of bronchial washing for diagnosing smear-negative pulmonary tuberculosis

OBJECTIVE To assess the increased diagnostic yield for pulmonary tuberculosis using bronchial washing cultures compared with sputum cultures. METHODS Study conducted with 61 adults in Lima, Peru, from January 2006 to December 2007. The yield of sputum cultures was compared with the yield of acid-fast bacilli smears and cultures of bronchial washing for diagnosing pulmonary tuberculosis in suspected cases of clinical tuberculosis with negative acid fast bacilli sputum smears. RESULTS Twenty seven (95%CI 32;58) of the cases were eventually diagnosed with smear-negative pulmonary tuberculosis. Bronchial washing samples detected 23 (95%CI 72;99) of the smear-negative pulmonary tuberculosis cases compared with 15 (95%CI 37;74) for sputum cultures (p = 0.02). The incremental diagnostic yield of acid fast bacilli smear and culture of bronchial washing specimens over sputum culture was 44% (95%CI 25;65). CONCLUSIONS In function of the epidemiological context and the resources available, bronchoscopy should be deployed as part of a comprehensive work up that optimizes smear-negative pulmonary tuberculosis diagnosis and minimizes risk and costs.

Labeling of Salmonella Typhymurium with iodine-131 to study phagocytic function in rats

The present study describes a method for labeling Salmonella typhymurium with iodine-131 to evaluate both the morphological and the functional characteristics of the reticulo-endothelial system. A suspension containing 2 x 10(9) bacteria per ml was labeled with carrier-free Na131I without reductor, with a labeling yield of 46.5 ± 3% and 3.5 ± 1.3% of free Iodine-131. The biodistribution of the labeled bacteria in rats was studied with a large field-of-view scintillation camera equiped with a pinhole collimator. Whole body images were obtained 15 and 30 minutes after intravenous injection of the labeled microorganisms. Images showed accumulation of bacteria in the liver and both normal and transplanted spleens of the animals. Autoradiographs of liver and spleen demonstrated labeled bacteria within the cells of the reticulo-endothelial system. The method described is easy to perform, has a good labeling yield and allows the functional evaluation of the reticulo-monophagocytic system, including transplanted spleens.

Fitting the yield curve

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Finance from the NOVA – School of Business and Economics

Development of population-specific function assessment intrument in Lebanon

RESUMO: Contexto: O funcionamento tem sido reconhecido como um dos principais indicadores de resultados para avaliar se as pessoas beneficiam das intervenções destinadas a melhorar a sua saúde mental. O funcionamento refere-se à forma como um indivíduo consegue responder às suas tarefas e solicitações, dos seus familiares e da sua comunidade, de acordo com os requisitos do local e a cultura em que vive (eg, tarefa de cozinhar e limpar para as mulheres em algumas culturas ). O funcionamento é altamente dependente da cultura - por isso, tem sido recomendado o desenvolvimento de medidas de funcionamento específicas de cada cultura. Desenvolver localmente os instrumentos de medida evita problemas de adequação, associados com a adaptação de instrumentos ocidentais. Embora os instrumentos criados desta forma sejam específicos de um meio cultural, eles são simultaneamente "transculturais", no sentido em que cada um se refere às tarefas mais importantes para a população local . Esta abordagem mostrou-se útil para investigadores e agências de ajuda (eg, ONGs) que trabalham em países não-ocidentais . Este estudo descreve o trabalho da agência International Medical Corps (IMC) na criação e validação de um questionário de funcionamento específico nas dimensões cultura e gênero, no Líbano, destinado a avaliar eventuais melhorias em pessoas que receberam intervenções de para problemas de saúde mental, a nível dos cuidados primários de saúde. Método: O instrumento foi desenvolvido usando um método que é uma alternativa à abordagem existente de adaptação de instrumentos ocidentais a outras culturas e situações; esta abordagem é rápida e exequível, tendo já demonstrado ser útil no desenvolvimento de instrumentos válidos e fidedignos. Inicialmente, foi solicitado que as pessoas identificassem, de uma lista livre, as tarefas mais importantes para cuidar de si próprias, da sua família e da sua comunidade; as tarefas identificadas foram posteriormente usadas como base para um instrumento de avaliação de funcionamento culturalmente válido. A partir daqui, foram desenvolvidos questionários específicos da comunidade em questão, posteriormente testados no terreno nas vertentes da validade (de conteúdo, facial e de constructo) e da fiabilidade (teste-reste e inter-entrevistadores). Resultados. O estudo resultou na criação e validação de um questionário de funcionamento específico de cultura e gênero capaz de medir efectivamente a capacidade de execução de tarefas importantes do quotidiano,como parte da avaliação de resultados levada a cabo por profissionais da CSP previamente treinados na identificação, suporte e encaminhamento de pessoas com problemas de saúde mental no Líbano. Conclusão. Neste trabalho descreve-se o desenvolvimento de um questionário de funcionamento específico de cultura e gênero, orientado para a avaliação de resultados, num contexto mais lato de um sistema abrangente de avaliação e monitorização de um serviço comunitário. --------------ABSTRACT: Background. Functioning has been recognized as one of the most important key outcomes to assess whether people benefit from interventions aimed to improve their mental health. Functioning refers to how well na individual can complete the tasks and demands for themselves, their family, and their community which are required by them depending on the setting and the culture they live in (e.g. task of cooking and cleaning for women in some cultures). Functioning is highly dependent on culture. Therefore, it has been recommended to develop culture-specific measures of function. Developing instruments locally avoids the problems of limited local relevance and appropriateness associate with adapting western instruments. Although each instrument created in this way is culturally bound, they are “cross cultural” in the sense that each refers to the tasks most important to local people. This approach proves useful for both researchers and aid agencies working in non-western countries. This study describes International Medical Corps’ (IMC) work in Lebanon to create and validate a culture and gender specific functioning questionnaire to assess improvements in people who received treatment interventions for mental health problems at the primary health care (PHC) level. Method. The measure was developed using a method that is an alternative to the existing approach of adapting western function instruments to other cultures and situations; an approach which has been demonstrated as rapid, feasible and which can yield valid and reliable instruments. Function was assessed by first asking local people what tasks are important to care for themselves, their family and their community using free listing, then using these tasks as the basis for a culturally valid function assessment instrument. Community specific function questionnaires based on these tasks were then created, and field-tested for validity using content, face and construct validity methods, and also field tested for reliability using inter-rater and test retest reliability methods. Results. The study resulted in the creation and validation of a culture and gender specific functioning questionnaire that would effectively measure the ability to do tasks important to daily existence, as part of assessing client level outcomes where PHC providers were trained in the identification, management and referral of people with mental health problems in Lebanon. Conclusion. The paper describes a successful pilot for developing culture and gender specific functioning questionnaires that evaluate client level outcomes as part of a more comprehensive system for monitoring and evaluation of community based case management supports and services.

Chebyshev polynomial approximation to approximate partial differential equations

This paper suggests a simple method based on Chebyshev approximation at Chebyshev nodes to approximate partial differential equations. The methodology simply consists in determining the value function by using a set of nodes and basis functions. We provide two examples. Pricing an European option and determining the best policy for chatting down a machinery. The suggested method is flexible, easy to program and efficient. It is also applicable in other fields, providing efficient solutions to complex systems of partial differential equations.

Natural Arabidopsis brx loss-of-function alleles confer root adaptation to acidic soil.

Soil acidification is a major agricultural problem that negatively affects crop yield. Root systems counteract detrimental passive proton influx from acidic soil through increased proton pumping into the apoplast, which is presumably also required for cell elongation and stimulated by auxin. Here, we found an unexpected impact of extracellular pH on auxin activity and cell proliferation rate in the root meristem of two Arabidopsis mutants with impaired auxin perception, axr3 and brx. Surprisingly, neutral to slightly alkaline media rescued their severely reduced root (meristem) growth by stimulating auxin signaling, independent of auxin uptake. The finding that proton pumps are hyperactive in brx roots could explain this phenomenon and is consistent with more robust growth and increased fitness of brx mutants on overly acidic media or soil. Interestingly, the original brx allele was isolated from a natural stock center accession collected from acidic soil. Our discovery of a novel brx allele in accessions recently collected from another acidic sampling site demonstrates the existence of independently maintained brx loss-of-function alleles in nature and supports the notion that they are advantageous in acidic soil pH conditions, a finding that might be exploited for crop breeding.

Comparison of the polynomial model against explicit measurements of noise components for different mammography systems.

Given the adverse impact of image noise on the perception of important clinical details in digital mammography, routine quality control measurements should include an evaluation of noise. The European Guidelines, for example, employ a second-order polynomial fit of pixel variance as a function of detector air kerma (DAK) to decompose noise into quantum, electronic and fixed pattern (FP) components and assess the DAK range where quantum noise dominates. This work examines the robustness of the polynomial method against an explicit noise decomposition method. The two methods were applied to variance and noise power spectrum (NPS) data from six digital mammography units. Twenty homogeneously exposed images were acquired with PMMA blocks for target DAKs ranging from 6.25 to 1600 µGy. Both methods were explored for the effects of data weighting and squared fit coefficients during the curve fitting, the influence of the additional filter material (2 mm Al versus 40 mm PMMA) and noise de-trending. Finally, spatial stationarity of noise was assessed.Data weighting improved noise model fitting over large DAK ranges, especially at low detector exposures. The polynomial and explicit decompositions generally agreed for quantum and electronic noise but FP noise fraction was consistently underestimated by the polynomial method. Noise decomposition as a function of position in the image showed limited noise stationarity, especially for FP noise; thus the position of the region of interest (ROI) used for noise decomposition may influence fractional noise composition. The ROI area and position used in the Guidelines offer an acceptable estimation of noise components. While there are limitations to the polynomial model, when used with care and with appropriate data weighting, the method offers a simple and robust means of examining the detector noise components as a function of detector exposure.

Soil fertility, nutrition and yield of maize and barley with gypsum application on soil surface in no-till

Annual crop yield and nutrition have shown differentiated responses to modifications in soil chemical properties brought about by gypsum application. The aim of this study was to evaluate the effect of gypsum application rates on the chemical properties of a Latossolo Bruno (Clayey Oxisol), as well as on the nutrition and yield of a maize-barley succession under no-till. The experiment was set up in November 2009 in Guarapuava, Parana, Brazil, applying gypsum rates of 0.0, 1.5, 3.0, 4.5, and 6.0 Mg ha-1 to the soil surface upon sowing maize, with crop succession of barley. Gypsum application decreased the levels of Al3+ and Mg2+ in the 0.0-0.1 m layer and increased soil pH in the layers from 0.2-0.6 m depth. Gypsum application has increased the levels of Ca2+ in all soil layers up to 0.6 m, and the levels of S-SO4(2-) up to 0.8 m. In both crops, the leaf concentrations of Ca and S were increased while Mg concentrations have decreased as a function of gypsum rates. There was also an effect of gypsum rates on grain yield, with a quadratic response of maize and a linear increase for barley. Yield increases were up to 11 and 12 % in relation to control for the maximum technical efficiency (MTE) rates of 3.8 and 6.0 Mg ha-1 of gypsum, respectively. Gypsum application improved soil fertility in the profile, especially in the subsurface, as well as plant nutrition, increasing the yields of maize and barley.