The Rain Forests of Home: an Atlas of People and Place

pdf contains 31 pages

Home-Automation System

Nuestro proyecto trata de obtener un sistema centralizado para el manejo y monitorización de un conjunto de aparatos eléctricos del hogar, tales como luces, cámaras, sensores, y otros aparatos mediante una aplicación para dispositivos móviles Android. También se facilita una herramienta web para administrar dichos aparatos. Nuestro sistema da soporte al manejo individual y manual de estos aparatos, por ejemplo encender una lámpara, así como la posibilidad de incluir programas que se ejecuten a una determinada hora, y con una determinada recurrencia. Por ejemplo, se puede programar el encendido de una luz todos los días a las 20:00. Además, también se pueden crear reglas que, dado una determinada situación, realicen una serie de acciones. Por ejemplo, si se detecta que la luminosidad baja de cierto valor (detectado mediante un sensor de luz), se encienda una lámpara. Para conseguir esto se ha realizado una aplicación centralizada, a modo de servidor, que se comunica con los aparatos eléctricos mediante diferentes protocolos de comunicación, así como con el dispositivo móvil Android, y una aplicación web administrativa, a través de un portal de servicios web.

Generating artificial homologous proteins according to the representative family character in molecular mechanics properties - an attempt in validating an underlying rule of protein evolution

The molecular mechanics property is the foundation of many characters of proteins. Based on intramolecular hydrophobic force network, the representative family character underlying a protein’s mechanics property is described by a simple two-letter scheme. The tendency of a sequence to become a member of a protein family is scored according to this mathematical representation. Remote homologs of the WW-domain family could be easily designed using such a mechanistic signature of protein homology. Experimental validation showed that nearly all artificial homologs have the representative folding and bioactivity of their assigned family. Since the molecular mechanics property is the only consideration in this study, the results indicate its possible role in the generation of new members of a protein family during evolution.

Rule the World

Rule the World es una aplicación para móviles Android. Consiste en introducir al jugador en una realidad aumentada, mediante el uso de su localización, debe de recoger diferentes objetos para darles diferentes usos, como llevarlos equipados, usarlos para construir otros objetos o enviárselos a amigos. En el siguiente documento se muestra el completo desarrollo de este proyecto, como se ha realizado la gestión, en que partes se ha dividido, la planificación que se ha llevado para realizar el trabajo, el análisis que se hizo de la aplicación, junto con su diseño, como se ha realizado el desarrollo y las pruebas. Este proyecto ha servido para afianzar conocimientos adquiridos a lo largo del grado, como el desarrollo de bases de datos, seguridad y arquitecturas y algoritmos software. Pero también ha servido para aprender nuevas cosas, como programar para un sistema diferente, utilizar elementos poco vistos en el grado, como la geolocalización y los mapas.

Analysis-aware design of embedded systems software

In the past many different methodologies have been devised to support software development and different sets of methodologies have been developed to support the analysis of software artefacts. We have identified this mismatch as one of the causes of the poor reliability of embedded systems software. The issue with software development styles is that they are ``analysis-agnostic.'' They do not try to structure the code in a way that lends itself to analysis. The analysis is usually applied post-mortem after the software was developed and it requires a large amount of effort. The issue with software analysis methodologies is that they do not exploit available information about the system being analyzed.

In this thesis we address the above issues by developing a new methodology, called "analysis-aware" design, that links software development styles with the capabilities of analysis tools. This methodology forms the basis of a framework for interactive software development. The framework consists of an executable specification language and a set of analysis tools based on static analysis, testing, and model checking. The language enforces an analysis-friendly code structure and offers primitives that allow users to implement their own testers and model checkers directly in the language. We introduce a new approach to static analysis that takes advantage of the capabilities of a rule-based engine. We have applied the analysis-aware methodology to the development of a smart home application.

The home range of the signal crayfish in a British lowland river

The signal crayfish Pacifastacus leniusculus (Dana), a native of north-western North America, is now a common resident in some British fresh waters following its introduction to England in 1976 (Lowery & Holdich 1988). In 1984, signal crayfish were introduced into the River Great Ouse, the major lowland river in southern central England, where they have established a large breeding population. This study examines two sites near Thornborough Weir. For the measurement and description of home range a new eletronic microchip system and a modified capture-mark-recapture method were employed. Signal crayfish were marked or tagged to see if they gradually moved away from their burrows. This method proved to be successful for estimating population densities when a section of river is divided into several equidistant linear ”locations”.

The minimal overlap cost sharing rule

In this paper we introduce a new cost sharing rule-the minimal overlap cost sharing rule-which is associated with the minimal overlap rule for claims problems defined by O'Neill (1982). An axiomatic characterization is given by employing a unique axiom: demand separability. Variations of this axiom enable the serial cost sharing rule (Moulin and Shenker, 1992) and the rules of a family (Albizuri, 2010) that generalize the serial cost sharing rule to be characterized. Finally, a family that includes the minimal overlap cost sharing rule is defined and obtained by means of an axiomatic characterization.

Home range and habitat use by Kemp's Ridley turtles in West-Central Florida

The Kemp's ridley turtle (Lepidochelys kempii) is an endangered species whose recovery depends in part on the identification and protection of required habitats. We used radio and sonic telemetry on subadult Kemp's ridley turtles to investigate home-range size and habitat use in the coastal waters of west-central Florida from 1994 to 1996. We tracked 9 turtles during May-August up to 70 days after release and fou.ld they occupied 5-30 km2 foraging ranges. Compositional analyses indicated that turtles used rock outcroppings in their foraging ranges at a significantly higher proportion than expected. based on availability within the study area. Additionally. turtles used live bottom (e.g .• sessile invertebrates) and green macroalgae habitats significantly more than seagrass habitat. Similar studies are needed through'mt the Kemp's ridley turtles' range to investigate regional and stage-specific differences in habitat use. which can then be used to conserve important foraging areas.