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

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

Cuaderno de diseño de las asesorias de talla en piedra en San Agustin y José Isnos Huila, Barichara Santander, forja en hierro en Bogotá y moldes en resina poliester reforzada con fibra de vidrio Barranquilla y Galapa Atlántico.

120 hojas : ilustraciones, fotografías.

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.

C 172 INST-D 2013. 353 Muestras de bisutería y productos decorativos de réplicas precolombinas talladas en piedra en altorelieve (San Agustín - Huila.

7 fotografías a color.

C 173 INST-D 2013. 354 Esculturas talladas en piedra de réplicas precolombinas (San Agustín - Huila).

18 fotografías a color.

C 174 INST-D 2013. 355 Réplicas talladas en piedra de esculturas precolombinas (San Agustín - Huila)

5 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].