997 resultados para Piedra natural
Resumo:
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
Resumo:
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
Resumo:
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
Resumo:
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.
Resumo:
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
Resumo:
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.
Resumo:
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
Resumo:
120 hojas : ilustraciones, fotografías.
Resumo:
19 hojas : ilustraciones, fotografías a color
Resumo:
15 hojas : ilustraciones, fotografías a color.
Resumo:
7 fotografías a color.
Resumo:
18 fotografías a color.
C 174 INST-D 2013. 355 Réplicas talladas en piedra de esculturas precolombinas (San Agustín - Huila)
Resumo:
5 fotografías a color.
Resumo:
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].