Object-oriented Programming Laws for Annotated Java Programs

Object-oriented programming laws have been proposed in the context of languages that are not combined with a behavioral interface specification language (BISL). The strong dependence between source-code and interface specifications may cause a number of difficulties when transforming programs. In this paper we introduce a set of programming laws for object-oriented languages like Java combined with the Java Modeling Language (JML). The set of laws deals with object-oriented features taking into account their specifications. Some laws deal only with features of the specification language. These laws constitute a set of small transformations for the development of more elaborate ones like refactorings

Macadamia Oil Supplementation Attenuates Inflammation and Adipocyte Hypertrophy in Obese Mice

Excess of saturated fatty acids in the diet has been associated with obesity, leading to systemic disruption of insulin signaling, glucose intolerance, and inflammation. Macadamia oil administration has been shown to improve lipid profile in humans. We evaluated the effect of macadamia oil supplementation on insulin sensitivity, inflammation, lipid profile, and adipocyte size in high-fat diet (HF) induced obesity in mice. C57BL/6 male mice (8 weeks) were divided into four groups: (a) control diet (CD), (b) HF, (c) CD supplemented with macadamia oil by gavage at 2g/Kg of body weight, three times per week, for 12 weeks (CD + MO), and (d) HF diet supplemented with macadamia oil (HF + MO). CD and HF mice were supplemented with water. HF mice showed hypercholesterolemia and decreased insulin sensitivity as also previously shown. HF induced inflammation in adipose tissue and peritoneal macrophages, as well as adipocyte hypertrophy. Macadamia oil supplementation attenuated hypertrophy of adipocytes and inflammation in the adipose tissue and macrophages.Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)Univ São Paulo, Dept Biol Celular & Desenvolvimento, BR-05508000 São Paulo, BrazilUniv Estadual Paulista, UNESP, Dept Educ Fis, Programa Posgrad Ciencia Motricidad, BR-13506900 Rio Claro, SP, BrazilUniv São Paulo, Inst Ciencias Biomed, Dept Fisiol & Biofis, BR-05508000 São Paulo, BrazilUniv Sao Judas Tadeu, Dept Ciencias Biol, Lab Movimento Humano, BR-05503001 São Paulo, BrazilUniversidade Federal de São Paulo, Dept Fisiol, Disciplina Fisiol Nutr, BR-04023901 São Paulo, BrazilUniv São Paulo, Inst Biociencias, Dept Fisiol Geral, BR-05508090 São Paulo, BrazilUniv Cruzeiro Sul, Inst Ciencias Atividade Fis & Esporte, Programa Posgrad Ciencia Movimento Humano, BR-01506000 São Paulo, BrazilUniversidade Federal de São Paulo, Dept Fisiol, Disciplina Fisiol Nutr, BR-04023901 São Paulo, BrazilWeb of Scienc

The Brazilian Developments on the Regional Atmospheric Modeling System (BRAMS 5.2): An Integrated Environmental Model Tuned for Tropical Areas

We present a new version of the Brazilian developments on the Regional Atmospheric Modeling System where different previous versions for weather, chemistry and carbon cycle were unified in a single integrated software system. The new version also has a new set of state-of-the-art physical parameterizations and greater computational parallel and memory usage efficiency. Together with the description of the main features are examples of the quality of the transport scheme for scalars, radiative fluxes on surface and model simulation of rainfall systems over South America in different spatial resolutions using a scale-aware convective parameterization. Besides, the simulation of the diurnal cycle of the convection and carbon dioxide concentration over the Amazon Basin, as well as carbon dioxide fluxes from biogenic processes over a large portion of South America are shown. Atmospheric chemistry examples present model performance in simulating near-surface carbon monoxide and ozone in Amazon Basin and Rio de Janeiro megacity. For tracer transport and dispersion, it is demonstrated the model capabilities to simulate the volcanic ash 3-d redistribution associated with the eruption of a Chilean volcano. Then, the gain of computational efficiency is described with some details. BRAMS has been applied for research and operational forecasting mainly in South America. Model results from the operational weather forecast of BRAMS on 5 km grid spacing in the Center for Weather Forecasting and Climate Studies, INPE/Brazil, since 2013 are used to quantify the model skill of near surface variables and rainfall. The scores show the reliability of BRAMS for the tropical and subtropical areas of South America. Requirements for keeping this modeling system competitive regarding on its functionalities and skills are discussed. At last, we highlight the relevant contribution of this work on the building up of a South American community of model developers

The Brazilian developments on the Regional Atmospheric Modeling System (BRAMS 5.2): an integrated environmental model tuned for tropical areas

We present a new version of the Brazilian developments on the Regional Atmospheric Modeling System (BRAMS), in which different previous versions for weather, chemistry, and carbon cycle were unified in a single integrated modeling system software. This new version also has a new set of state-of-the-art physical parameterizations and greater computational parallel and memory usage efficiency. The description of the main model features includes several examples illustrating the quality of the transport scheme for scalars, radiative fluxes on surface, and model simulation of rainfall systems over South America at different spatial resolutions using a scale aware convective parameterization. Additionally, the simulation of the diurnal cycle of the convection and carbon dioxide concentration over the Amazon Basin, as well as carbon dioxide fluxes from biogenic processes over a large portion of South America, are shown. Atmospheric chemistry examples show the model performance in simulating near-surface carbon monoxide and ozone in the Amazon Basin and the megacity of Rio de Janeiro. For tracer transport and dispersion, the model capabilities to simulate the volcanic ash 3-D redistribution associated with the eruption of a Chilean volcano are demonstrated. The gain of computational efficiency is described in some detail. BRAMS has been applied for research and operational forecasting mainly in South America. Model results from the operational weather forecast of BRAMS on 5 km grid spacing in the Center for Weather Forecasting and Climate Studies, INPE/Brazil, since 2013 are used to quantify the model skill of near-surface variables and rainfall. The scores show the reliability of BRAMS for the tropical and subtropical areas of South America. Requirements for keeping this modeling system competitive regarding both its functionalities and skills are discussed. Finally, we highlight the relevant contribution of this work to building a South American community of model developers.CNPqFAPESPEarth System Research Laboratory at the National Oceanic and Atmospheric Administration (ESRL/NOAA), Boulder, USAInst Nacl Pesquisas Espaciais, Ctr Previsao Tempo & Estudos Climat, Cachoeira Paulista, SP, BrazilDiv Ciência da Computação, Instituto Tecnológico de Aeronáutica, São José dos Campos, SP, BrazilUniv Estadual Paulista Unesp, Fac Ciencias, Bauru, SP, BrazilCtr Meteorol Bauru IPMet, Bauru, SP, BrazilUniv Fed Sao Paulo, Dept Ciencias Ambientais, Diadema, SP, BrazilUniv Sao Paulo, Inst Astron Geofis & Ciencias Atmosfer, Sao Paulo, SP, BrazilUniv Fed Campina Grande, Dept Ciencias Atmosfer, Campina Grande, PB, BrazilEmbrapa Informat Agr, Campinas, SP, BrazilUniv Fed Sao Paulo, Inst Ciencia & Tecnol, Sao Jose Dos Campos, SP, BrazilUniv Fed Rio Grande do Norte, Dept Ciencias Atmosfer & Climat, Programa Pos Grad Ciencias Climat, Natal, RN, BrazilInst Nacl Pesquisas Espaciais, Ctr Ciencias Sistema, Sao Jose Dos Campos, SP, BrazilUniv Fed Sao Joao Del Rei, Dept Geociencias, Sao Joao Del Rei, MG, BrazilInst Nacl Pesquisas Espaciais, Lab Associado Computacao & Matemat Aplica, Sao Jose Dos Campos, BrazilUniv Evora, Inst Ciencias Agr & Ambientais Mediterr, Evora, PortugalUniv Lusofona Humanidades & Tecnol, Ctr Interdisciplinar Desenvolvimento Ambient Gest, Lisbon, PortugalUniv Fed Pelotas, Fac Meteorol, Pelotas, RS, BrazilUnive Tecnol Fed Parana, Londrina, PR, BrazilNASA, Goddard Space Flight Ctr, Univ Space Res Assoc, Goddard Earth Sci Technol & Res Global Modeling &, Greenbelt, MD USAUniv Fed Sao Paulo, Inst Ciencia & Tecnol, Sao Jose Dos Campos, SP, BrazilUniv Fed Sao Paulo, Inst Ciencia & Tecnol, Sao Jose Dos Campos, SP, BrazilCNPq: 306340/2011-9FAPESP: 2014/01563-1FAPESP: 2015/10206-0FAPESP: 2014/01564-8Web of Scienc

Melhoramento genético de trigo via linhagens duplo-haplóides, na Embrapa Trigo, no período 1995-1998.

Visando a aceleração no processo de obtenção de linhagens de trigo e a melhoria das condições de seleção, em material geneticamente fixo (homozigoto), foi implementada a produção de novas linhagens duplo-haplóides (DH), via gimnogenese (DHM), no projeto melhoramento genético de trigo para o Brasil, conduzido na Embrapa Trigo, em Passo Fundo, Rio Grande do Sul. Com a utilização dessa metodologia, que permite a criação de linhagens geneticamente uniformes, em menos de dois anos, a partir do cruzamento trigo X milho, o tempo para a criação de novas linhagens e cultivares foi reduzido de dois a quatro anos, considerando para comparação, respectivamente, o método convencional e o método rápido, que utiliza o avanço de geração no verão. No período 1995-1998 foram polinizadas, com milho, 6.988 espigas de trigo, resultando em 12.178 embriões resgatados e em 4.003 linhagens duplo-haplóides. Em 1998, havia uma coleção de, aproximadamente, 675 linhagens em multiplicação no campo, tendo sido selecionadas 262, que passaram para experimentação preliminar (1. ano / 1 local), em 1999, em ensaios com três repetições, além dessas, foram selecionadas 5 das 39 linhagens duplo-haplóides que estavam no ensaio preliminar em rede (2. ano / 6 locais), em 1999. Paralelamente, as linhagens foram avaliadas para resistência as principais doenças e, também, quanto a aptidão de uso industrial, empregando-se a eletroforese de gluteninas de alto peso molecular. Das 267 (262+5) linhagens selecionadas por características agronômicas, para inclusão e/ou permanência em ensaios de rendimento, em 1999, 51 (19,1%) e 42 (15,7%) apresentaram, respectivamente, combinação de 3 e de 2 bandas indicativas de boa aptidão panificativa

Genetic profiling of Trypanosoma cruzi directly in infected tissues using nested PCR of polymorphic microsatellites.

The investigation of the importance of the genetics of Trypanosoma cruzi in determining the clinical course of Chagas disease will depend on precise characterisation of the parasites present in the tissue lesions. This can be adequately accomplished by the use of hypervariable nuclear markers such as microsatellites. However the unilocal nature of these loci and the scarcity of parasites in chronic lesions make it necessary to use high sensitivity PCR with nested primers, whose design depends on the availability of long flanking regions, a feature not hitherto available for any known T. cruzi microsatellites. Herein, making use of the extensive T. cruzi genome sequence now available and using the Tandem Repeats Finder software, it was possible to identify and characterise seven new microsatellite loci ? six composed of trinucleotide (TcTAC15, TcTAT20, TcAAT8, TcATT14, TcGAG10 and TcCAA10) and one composed of tetranucleotide (TcAAAT6) motifs. All except the TcCAA10 locus were physically mapped onto distinct intergenic regions of chromosome III of the CL Brener clone contigs. The TcCAA10 locus was localised within a hypothetical protein gene in the T. cruzi genome. All microsatellites were polymorphic and useful for T. cruzi genetic variability studies. Using the TcTAC15 locus it was possible to separate the strains belonging to the T. cruzi I lineage (DTU I) from those belonging to T. cruzi II (DTU IIb), T. cruzi III (DTU IIc) and a hybrid group (DTU IId, IIe). The long flanking regions of these novel microsatellites allowed construction of nested primers and the use of full nested PCR protocols. This strategy enabled us to detect and differentiate T. cruzi strains directly in clinical specimens including heart, blood, CSF and skin tissues from patients in the acute and chronic phases of Chagas disease