Diretrizes para avaliação da emissão de metano entérico com a técnica do gás traçador SF6.

O aumento dos Gases de Efeito Estufa - GEE - e o consequente aquecimento global têm causado preocupação à sociedade em geral, que cobra ações governamentais e dos setores produtivos nacionais, dentre eles, da pecuária. O Brasil ocupa posição de destaque internacional na produção pecuária e exportação de carne e assumiu compromissos voluntários de redução das emissões de GEE, refletindo os anseios da sociedade brasileira. O Brasil tem aumentado a produção de produtos de origem animal de forma consistente. Nos últimos anos esse aumento foi obtido por meio do aumento na eficiência dos sistemas de produção, sem contudo provocar a abertura de novas áreas de pastagens, com o emprego de recuperação de pastagens, a melhoria dos índices zootécnicos e a adoção de sistemas integrados e de boas práticas agropecuárias. Para que essas técnicas possam fazer parte das políticas governamentais para o setor, é preciso determinar o nível das emissões dos sistemas tradicionais e o potencial de mitigação (redução de emissões e remoção de GEE da atmosfera) dos sistemas "melhorados", em âmbito nacional. Neste contexto, a rede de pesquisa PECUS foi concebida para produzir as informações necessárias, de forma imparcial e utilizando métodos padronizados internacionalmente, com vistas a dar suporte ao governo brasileiro na elaboração de políticas e negociações internacionais. Com esse intuito, a rede de pesquisa PECUS criou um comitê técnico, composto por vários subcomitês de especialistas, encarregados de gerar protocolos de pesquisa, de forma a garantir a obtenção de resultados válidos, comparáveis e reportáveis da geração dos componentes produtivos e da vegetação natural, dos fluxos de emissão de GEE e do sequestro de carbono, por meio da padronização e sistematização dos métodos de avaliação nos diferentes sistemas de produção localizados nos principais Biomas brasileiros.

Adaptación en la organización y gestión de los riesgos en las actividades físico deportivas en el medio natural

0,097 IN-RECS (2011) Q2, posición 52 de 162 (Educación)

The Criminalization of Mass Starvations: From Natural Disaster to Crime Against Humanity

Edkins Jenny, 'The Criminalisation of Mass Starvations: From Natural Disaster to Crime Against Humanity', In: 'The New Famines: Why Famines Persist in an Era of Globalisation', (New York: Routledge), pp.50-65, 2006 RAE2008

Fitness of hybrids between rapeseed (Brassica napus) and wild Brassica rapa in natural habitats

J. Allainguillaume, M. Alexander, J. M. Bullock, M. Saunders, C. J. Allender, G. King, C. S. Ford, M. J. Wilkinson. (2006). Fitness of hybrids between rapeseed Brassica napus and wild Brassica rapa in natural habitats. Molecular Ecology, 15 (4) 1175-1184. RAE2008

An association mapping approach to identify flowering time genes in natural populations of Lolium perenne (L.)

Sk?t, L., Humphreys, M. O., Armstead, I. P., Heywood, S., Sk?t, K. P., Sanderson, R., Thomas, I. D., Chorlton, K. H., & Sackville Hamilton, N. R. (2005). An association mapping approach to identify flowering time genes in natural populations of Lolium perenne (L.). Molecular Breeding, 15(3), 233-245. Sponsorship: BBSRC RAE2008

Transformation from natural (thermal contraction) to anthropogenic (resource exploitation) depressions in the Krotoszyn-Koźmin-Raszków area (Polish Lowland)

An exceptional concentration of almost identical depressions exist near the small towns of Krotoszyn, Koźmin and Raszków (southern Wielkopolska). Their origin is, however, different from that of the typical post glacial-relief: they are Man-made enlarged thermal-contraction structures that developed at the very end of the Middle Polish (Warthian) glaciation and during the North Polish (Weichselian) glaciation, most probably under periglacial conditions.

Clasificadora de patata de frecuencia natural

En este trabajo se desarrollara una criba de frecuencia natural para el calibrado de patatas en diferentes tamaños. La motivación para realizar trabajo surge de la idea de mejorar los sistemas de clasificado de hortalizas de hoy en día, concretamente el de patatas. El consumo de patatas en la actualidad es muy elevado, ya que se considera un alimento básico en nuestras vidas, por tanto su comercialización está asegurada. En la comercialización, la patata, debe cumplir unos requisitos obligatorios establecidos por la ley. El presente proyecto trata del diseño, para su posterior fabricación, de una criba para la clasificación de patata en fresco en siete tamaños diferentes aplicando la tecnología de vibración basada en la frecuencia natural de los materiales. Para ello una vez determinadas las luces y superficies de malla idóneas para cada tamaño a clasificar, elegiremos el soporte físico que las va a soportar. Este modo de clasificar las patatas es un sistema novedoso, ya que consigue un importante ahorro de energía

A resiliência e a vulnerabilidade ao stress numa população sem-abrigo

Dissertação apresentada à Universidade Fernando Pessoa como parte dos requisitos para obtenção do grau de Mestre em Psicologia Clínica e da Saúde.

Vantagens do ciclo combinado a gás natural face a outras tecnologias de produção de energia. Estudo de caso

Seria impensável concebermos os nossos dias sem a utilização de energia eléctrica. Esta forma de energia é responsável pelo desenvolvimento económico e a sua disponibilidade é indicadora da qualidade de vida dos povos. A procura de formas de obtenção desta energia que minimizem os impactes para o ambiente tem levado à adopção de energias renováveis mas também ao desenvolvimento de novas tecnologias que permitam aumentar a eficiência de conversão de energia entre as suas várias formas. Neste sentido procedeu-se à análise de um estudo de caso da central termoeléctrica a gás natural com tecnologia de ciclo combinado da Tapada do Outeiro, Portugal. Living without electricity is nowadays unconceived. The economic growth and quality of life is strongly dependent on this source of energy. The search for new forms of producing electricity in order to minimise environmental impacts has lead to the adoption of renewable energies and to the improvement of new technologies which allow at the same time to reach high efficiency in the process of energy conversion from the chemical form to the electrical one. This article is about a case study of a natural gas turbine power plant with combined cycle, at “Tapada do Outeiro”, Portugal.

Qual o papel das células natural killer na infeção por VIH-SIDA

Projeto de Pós-Graduação/Dissertação apresentado à Universidade Fernando Pessoa como parte dos requisitos para obtenção do grau de Mestre em Ciências Farmacêuticas

Representações das crianças sobre a Casa de Abrigo e Sistema de Justiça

Dissertação apresentada à Universidade Fernando Pessoa como parte dos requisitos para obtenção do grau de Mestre em Psicologia Jurídica

Productos funcionales y artísticos elaborados con enchapados en tamo al natural y a color mostrando materiales y fases del proceso.

19 hojas : ilustraciones, fotografías a color

Muestras de tejidos con fibras de fique e hilo de algodón natural o industrial con las técnicas del crochet y de bordados, y sombrereras y coronas ornamentales utilizadas por las mujeres Wayúu Guajira.

15 hojas : ilustraciones, fotografías a color.

Verification with Natural Contexts: Soundness of Safe Compositional Network Sketches

In research areas involving mathematical rigor, there are numerous benefits to adopting a formal representation of models and arguments: reusability, automatic evaluation of examples, and verification of consistency and correctness. However, accessibility has not been a priority in the design of formal verification tools that can provide these benefits. In earlier work [30] we attempt to address this broad problem by proposing several specific design criteria organized around the notion of a natural context: the sphere of awareness a working human user maintains of the relevant constructs, arguments, experiences, and background materials necessary to accomplish the task at hand. In this report we evaluate our proposed design criteria by utilizing within the context of novel research a formal reasoning system that is designed according to these criteria. In particular, we consider how the design and capabilities of the formal reasoning system that we employ influence, aid, or hinder our ability to accomplish a formal reasoning task – the assembly of a machine-verifiable proof pertaining to the NetSketch formalism. NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch is conceived to assist system integrators in two types of activities: modeling and design. It provides capabilities for compositional analysis based on a strongly-typed domain-specific language (DSL) for describing and reasoning about constrained-flow networks and invariants that need to be enforced thereupon. In a companion paper [13] we overview NetSketch, highlight its salient features, and illustrate how it could be used in actual applications. In this paper, we define using a machine-readable syntax major parts of the formal system underlying the operation of NetSketch, along with its semantics and a corresponding notion of validity. We then provide a proof of soundness for the formalism that can be partially verified using a lightweight formal reasoning system that simulates natural contexts. A traditional presentation of these definitions and arguments can be found in the full report on the NetSketch formalism [12].