Environmental assay on the effect of poultry manure application on soil organisms in agroecosystems

This paper reports the effects produced on the organisms of the soil (plants, invertebrates and microorganisms), after the application of two types of poultry manure (sawdust and straw bed) on an agricultural land. The test was made using a terrestrial microcosm, Multi-Species Soil System (MS3) developed in INIA. There was no difference in the germination for any of the three species of plants considered in the study. The biomass was increased in the wheat (Triticum aestivum) coming from ground treated with both kinds of poultry manure. Oilseed rape (Brasica rapa) was not affected and regarding vetch (Vicia sativa) only straw poultry manure showed significant difference. For length only Vicia sativa was affected showing a reduction when straw was exposed to poultry manure. When the effect on invertebrates was studied, we observed a reduction in the number of worms during the test, especially from the ground control (13.7%), higher than in the ground with sawdust poultry manure (6.7%), whereas in the ground with straw poultry manure, there was no reduction. The biomass was affected and at the end of the test it was observed that while the reduction of worms in the ground control was about 48%, the number of those that were in the ground with sawdust poultry manure or straw poultry manure decreased by 41% and 22% respectively. Finally, the effects on microorganisms showed that the enzymatic activities: dehydrogenase (DH) and phosphatase and basal respiration rate increased at the beginning of the test, and the differences were statistically significant compared with the values of the control group. During the test, all these parameters decreased (except DH activities) but they were always higher than in the ground control. This is why it is possible to deduce that the contribution of poultry manure caused an improvement in the conditions of fertilization and also for the soil.

Experiments in abstract interpretation-based code certification for pervasive systems

Proof carrying code (PCC) is a general is originally a roof in ñrst-order logic of certain vermethodology for certifying that the execution of an un- ification onditions and the checking process involves trusted mobile code is safe. The baste idea is that the ensuring that the certifícate is indeed a valid ñrst-order code supplier attaches a certifícate to the mobile code proof. which the consumer checks in order to ensure that the The main practical difñculty of PCC techniques is in code is indeed safe. The potential benefit is that the generating safety certiñeates which at the same time: i) consumer's task is reduced from the level of proving to allow expressing interesting safety properties, ii) can be the level of checking. Recently, the abstract interpre- generated automatically and, iii) are easy and efficient tation techniques developed, in logic programming have to check. In [1], the abstract interpretation techniques been proposed as a basis for PCC. This extended ab- [5] developed in logic programming1 are proposed as stract reports on experiments which illustrate several is- a basis for PCC. They offer a number of advantages sues involved in abstract interpretation-based certifica- for dealing with the aforementioned issues. In particution. First, we describe the implementation of our sys- lar, the xpressiveness of existing abstract domains will tem in the context of CiaoPP: the preprocessor of the be implicitly available in abstract interpretation-based Ciao multi-paradigm programming system. Then, by code certification to deñne a wide range of safety propermeans of some experiments, we show how code certifi- ties. Furthermore, the approach inherits the automation catión is aided in the implementation of the framework. and inference power of the abstract interpretation en- Finally, we discuss the application of our method within gines used in (Constraint) Logic Programming, (C)LP. the área, of pervasive systems

A tutorial on program development and optimization using the Ciao preprocessor

We present in a tutorial fashion CiaoPP, the preprocessor of the Ciao multi-paradigm programming system, which implements a novel program development framework which uses abstract interpretation as a fundamental tool. The framework uses modular, incremental abstract interpretation to obtain information about the program. This information is used to validate programs, to detect bugs with respect to partial specifications written using assertions (in the program itself and/or in system libraries), to generate and simplify run-time tests, and to perform high-level program transformations such as multiple abstract specialization, parallelization, and resource usage control, all in a provably correct way. In the case of validation and debugging, the assertions can refer to a variety of program points such as procedure entry, procedure exit, points within procedures, or global computations. The system can reason with much richer information than, for example, traditional types. This includes data structure shape (including pointer sharing), bounds on data structure sizes, and other operational variable instantiation properties, as well as procedure-level properties such as determinacy, termination, non-failure, and bounds on resource consumption (time or space cost).

Distributes award protocol: A cooperation and communication method for robots.

In this Master’s Thesis a new Distributed Award Protocol (DAP) for robot communication and cooperation is presented. Task assignment (contract awarding) is done dynamically with contracts assigned to robots based upon the best bid received. Instead of having a manager and a contractor it is proposed a fully distributed bidding/awarding mechanism without a distinguished master. The best bidding robots are awarded with contract for execution. The contractors make decisions locally. This brings the following benefits: no communication bottleneck, low computational power requirement, increased robustness. DAP can handle multitasking. Tasks can be injected into system during the execution of already allocated tasks. As tasks have priorities, in the next cycle after taking into account actual bid parameters of all robots, tasks can be re-allocated. The aim is to minimize a global cost function which is a compromise between cost of task execution and cost of resources usage. Information about tasks and bid values is spread among robots with the use of a Round Robin Route, which is a novel solution proposed in this work. This method allows also identifying failed robots. Such failed robot is eliminated from the list of awarded robots and its replacement is found so the task is still executed by a team. If the failure of a robot was temporary (e.g. communication noise) and the robot can recover, it can again participate in the next bidding/awarding process. Using a bidding/awarding mechanism allows robots to dynamically relocate among tasks. This is also contributes to system robustness. DAP was evaluated through multiple experiments done in the multi-robot simulation system. Various scenarios were tested to check the idea of the main algorithm. Different failures of robots (communication failures, partial hardware malfunctions) were simulated and observations were made regarding how DAP recovers from them. Also the DAP flexibility to environment changes was watched. The experiments in the simulated environment confirmed the above features of DAP.

Posibilidades del motor 3D de la Nintendo DS

La consola portátil Nintendo DS es una plataforma de desarrollo muy presente entre la comunidad de desarrolladores independientes, con una extensa y nutrida escena homebrew. Si bien las capacidades 2D de la consola están muy aprovechadas, dado que la mayor parte de los esfuerzos de los creadores amateur están enfocados en este aspecto, el motor 3D de ésta (el que se encarga de representar en pantalla modelos tridimensionales) no lo está de igual manera. Por lo tanto, en este proyecto se tiene en vista determinar las capacidades gráficas de la Nintendo DS. Para ello se ha realizado una biblioteca de funciones en C que permite aprovechar las posibilidades que ofrece la consola en el terreno 3D y que sirve como herramienta para la comunidad homebrew para crear aplicaciones 3D de forma sencilla, dado que se ha diseñado como un sistema modular y accesible. En cuanto al proceso de renderizado se han sacado varias conclusiones. En primer lugar se ha determinado la posibilidad de asignar varias componentes de color a un mismo vértice (color material reactivo a la iluminación, color por vértice directo y color de textura), tanto de forma independiente como simultáneamente, pudiéndose utilizar para aplicar diversos efectos al modelo, como iluminación pre-calculada o simulación de una textura mediante color por vértice, ahorrando en memoria de video. Por otro lado se ha implementado un sistema de renderizado multi-capa, que permite realizar varias pasadas de render, pudiendo, de esta forma, aplicar al modelo una segunda textura mezclada con la principal o realizar un efecto de reflexión esférica. Uno de los principales avances de esta herramienta con respecto a otras existentes se encuentra en el apartado de animación. El renderizador desarrollado permite por un lado animación por transformación, consistente en la animación de mallas o grupos de vértices del modelo mediante el movimiento de una articulación asociada que determina su posición y rotación en cada frame de animación. Por otro lado se ha implementado un sistema de animación por muestreo de vértices mediante el cual se determina la posición de éstos en cada instante de la animación, generando frame a frame las poses que componen el movimiento (siendo este último método necesario cuando no se puede animar una malla por transformación). Un mismo modelo puede contener diferentes esqueletos, animados independientemente entre sí, y cada uno de ellos tener definidas varias costumbres de animación que correspondan a movimientos contextuales diferentes (andar, correr, saltar, etc). Además, el sistema permite extraer cualquier articulación para asociar su transformación a un objeto estático externo y que éste siga el movimiento de la animación, pudiendo así, por ejemplo, equipar un objeto en la mano de un personaje. Finalmente se han implementado varios efectos útiles en la creación de escenas tridimensionales, como el billboarding (tanto esférico como cilíndrico), que restringe la rotación de un modelo para que éste siempre mire a cámara y así poder emular la apariencia de un objeto tridimensional mediante una imagen plana, ahorrando geometría, o emplearlo para realizar efectos de partículas. Por otra parte se ha implementado un sistema de animación de texturas por subimágenes que permite generar efectos de movimiento mediante imágenes, sin necesidad de transformar geometría. ABSTRACT. The Nintendo DS portable console has received great interest within the independent developers’ community, with a huge homebrew scene. The 2D capabilities of this console are well known and used since most efforts of the amateur creators has been focused on this point. However its 3D engine (which handles with the representation of three-dimensional models) is not equally used. Therefore, in this project the main objective is to assess the Nintendo DS graphic capabilities. For this purpose, a library of functions in C programming language has been coded. This library allows the programmer to take advantage of the possibilities that the 3D area brings. This way the library can be used by the homebrew community as a tool to create 3D applications in an easy way, since it has been designed as a modular and accessible system. Regarding the render process, some conclusions have been drawn. First, it is possible to assign several colour components to the same vertex (material colour, reactive to the illumination, colour per vertex and texture colour), independently and simultaneously. This feature can be useful to apply certain effects on the model, such as pre-calculated illumination or the simulation of a texture using colour per vertex, providing video memory saving. Moreover, a multi-layer render system has been implemented. This system allows the programmer to issue several render passes on the same model. This new feature brings the possibility to apply to the model a second texture blended with the main one or simulate a spherical reflection effect. One of the main advances of this tool over existing ones consists of its animation system. The developed renderer includes, on the one hand, transform animation, which consists on animating a mesh or groups of vertices of the model by the movement of an associated joint. This joint determines position and rotation of the mesh at each frame of the animation. On the other hand, this tool also implements an animation system by vertex sampling, where the position of vertices is determined at every instant of the animation, generating the poses that build up the movement (the latter method is mandatory when a mesh cannot be animated by transform). A model can contain multiple skeletons, animated independently, each of them being defined with several animation customs, corresponding to different contextual movements (walk, run, jump, etc). Besides, the system allows extraction of information from any joint in order to associate its transform to a static external object, which will follow the movement of the animation. This way, any object could be equipped, for example, on the hand of a character. Finally, some useful effects for the creation of three-dimensional scenes have been implemented. These effects include billboarding (both spherical and cylindrical), which constraints the rotation of a model so it always looks on the camera's direction. This feature can provide the ability to emulate the appearance of a three-dimensional model through a flat image (saving geometry). It can also be helpful in the implementation of particle effects. Moreover, a texture animation system using sub-images has also been implemented. This system allows the generation of movement by using images as textures, without having to transform geometry.

Eigenvector centrality of nodes in multiplex networks

We extend the concept of eigenvector centrality to multiplex networks, and introduce several alternative parameters that quantify the importance of nodes in a multi-layered networked system, including the definition of vectorial-type centralities. In addition, we rigorously show that, under reasonable conditions, such centrality measures exist and are unique. Computer experiments and simulations demonstrate that the proposed measures provide substantially different results when applied to the same multiplex structure, and highlight the non-trivial relationships between the different measures of centrality introduced.

Analysis of Contributions to NO2 Ambient Air Quality Levels in Madrid City (Spain) through Modeling. Implications for the Development of Policies and Air Quality Monitoring

As environmental standards become more stringent (e.g. European Directive 2008/50/EC), more reliable and sophisticated modeling tools are needed to simulate measures and plans that may effectively tackle air quality exceedances, common in large cities across Europe, particularly for NO2. Modeling air quality in urban areas is rather complex since observed concentration values are a consequence of the interaction of multiple sources and processes that involve a wide range of spatial and temporal scales. Besides a consistent and robust multi-scale modeling system, comprehensive and flexible emission inventories are needed. This paper discusses the application of the WRF-SMOKE-CMAQ system to the Madrid city (Spain) to assess the contribution of the main emitting sectors in the region. A detailed emission inventory was compiled for this purpose. This inventory relies on bottom-up methods for the most important sources. It is coupled with the regional traffic model and it makes use of an extensive database of industrial, commercial and residential combustion plants. Less relevant sources are downscaled from national or regional inventories. This paper reports the methodology and main results of the source apportionment study performed to understand the origin of pollution (main sectors and geographical areas) and define clear targets for the abatement strategy. Finally the structure of the air quality monitoring is analyzed and discussed to identify options to improve the monitoring strategy not only in the Madrid city but the whole metropolitan area.

Splitting complex temporal questions for question answering systems

This paper presents a multi-layered Question Answering (Q.A.) architecture suitable for enhancing current Q.A. capabilities with the possibility of processing complex questions. That is, questions whose answer needs to be gathered from pieces of factual information scattered in different documents. Specifically, we have designed a layer oriented to process the different types of temporal questions. Complex temporal questions are first decomposed into simpler ones, according to the temporal relationships expressed in the original question. In the same way, the answers of each simple question are re-composed, fulfilling the temporal restrictions of the original complex question. Using this architecture, a Temporal Q.A. system has been developed. In this paper, we focus on explaining the first part of the process: the decomposition of the complex questions. Furthermore, it has been evaluated with the TERQAS question corpus of 112 temporal questions. For the task of question splitting our system has performed, in terms of precision and recall, 85% and 71%, respectively.

Will improved access to capital dampen the need for more agricultural land? A CGE analysis of agricultural capital markets and world-wide biofuel policies. Factor Markets Working Paper No. 48, May 2013

This paper analyses the consequences of enhanced biofuel production in regions and countries of the world that have announced plans to implement or expand on biofuel policies. The analysis considers biofuel policies implemented as binding blending targets for transportation fuels. The chosen quantitative modelling approach is two-fold: it combines the analysis of biofuel policies in a multi-sectoral economic model (MAGNET) with systematic variation of the functioning of capital and labour markets. This paper adds to existing research by considering biofuel policies in the EU, the US and various other countries with considerable agricultural production and trade, such as Brazil, India and China. Moreover, the application multi-sectoral modelling system with different assumptions on the mobility of factor markets allows for the observation of changes in economic indicators under different conditions of how factor markets work. Systematic variation of factor mobility indicates that the ‘burden’ of global biofuel policies is not equally distributed across different factors within agricultural production. Agricultural land, as the pre-dominant and sector-specific factor, is, regardless of different degrees of inter-sectoral or intra-sectoral factor mobility, the most important factor limiting the expansion of agricultural production. More capital and higher employment in agriculture will ease the pressure on additional land use – but only partly. To expand agricultural production at global scale requires both land and mobile factors adapted to increase total factor productivity in agriculture in the most efficient way.

Environmental controls on the Emiliania huxleyi calcite mass

Although ocean acidification is expected to impact (bio)calcification by decreasing the seawater carbonate ion concentration, [CO3]2-, there exists evidence of non-uniform response of marine calcifying plankton to low seawater [CO3]2-. This raises questions on the role of environmental factors other than acidification and on the complex physiological responses behind calcification. Here we investigate the synergistic effect of multiple environmental parameters, including temperature, nutrient (nitrate and phosphate) availability, and seawater carbonate chemistry on the coccolith calcite mass of the cosmopolitan coccolithophore Emiliania huxleyi, the most abundant species in the world ocean. We use a suite of surface (late Holocene) sediment samples from the South Atlantic and southwestern Indian Ocean taken from depths lying well above the modern lysocline. The coccolith calcite mass in our results presents a latitudinal distribution pattern that mimics the main oceanographic features, thereby pointing to the potential importance of phosphorus and temperature in determining coccolith mass by affecting primary calcification and possibly driving the E. huxleyi morphotype distribution. This evidence does not necessarily argue against the potentially important role of the rapidly changing seawater carbonate chemistry in the future, when unabated fossil fuel burning will likely perturb ocean chemistry beyond a critical point. Rather our study highlights the importance of evaluating the combined effect of several environmental stressors on calcifying organisms to project their physiological response(s) in a high CO2 world and improve interpretation of paleorecords.

Seawater carbonate chemistry and accumulation of radiotracers in squid, Loligo vulgaris during experiments, 2011

The anthropogenic release of carbon dioxide (CO2) into the atmosphere leads to an increase in the CO2 partial pressure (pCO2) in the ocean, which may reach 950 ?atm by the end of the 21st century. The resulting hypercapnia (high pCO2) and decreasing pH ("ocean acidification") are expected to have appreciable effects on water-breathing organisms, especially on their early-life stages. For organisms like squid that lay their eggs in coastal areas where the embryo and then paralarva are also exposed to metal contamination, there is a need for information on how ocean acidification may influence trace element bioaccumulation during their development. In this study, we investigated the effects of enhanced levels of pCO2 (380, 850 and 1500 ?atm corresponding to pHT of 8.1, 7.85 and 7.60) on the accumulation of dissolved 110mAg, 109Cd, 57Co, 203Hg, 54Mn and 65Zn radiotracers in the whole egg strand and in the different compartments of the egg of Loligo vulgaris during the embryonic development and also in hatchlings during their first days of paralarval life. Retention properties of the eggshell for 110mAg, 203Hg and 65Zn were affected by the pCO2 treatments. In the embryo, increasing seawater pCO2 enhanced the uptake of both 110mAg and 65Zn while 203Hg showed a minimum concentration factor (CF) at the intermediate pCO2. 65Zn incorporation in statoliths also increased with increasing pCO2. Conversely, uptake of 109Cd and 54Mn in the embryo decreased as a function of increasing pCO2. Only the accumulation of 57Co in embryos was not affected by increasing pCO2. In paralarvae, the CF of 110mAg increased with increasing pCO2, whereas the 57Co CF was reduced at the highest pCO2 and 203Hg showed a maximal uptake rate at the intermediate pCO2. 54Mn and 65Zn accumulation in paralarvae were not significantly modified by hypercapnic conditions. Our results suggest a combined effect of pH on the adsorption and protective properties of the eggshell and of hypercapnia on the metabolism of embryo and paralarvae, both causing changes to the accumulation of metals in the tissues of L. vulgaris.

Portland’s Urban Growth Boundary and Lessons for Shanghai and Suzhou-Wuxi-Changzhou Urban Agglomeration, China

Thesis (Master's)--University of Washington, 2016-06

Detecting and sorting targeting peptides wtih neural networks and support vector machines

This paper presents a composite multi-layer classifier system for predicting the subcellular localization of proteins based on their amino acid sequence. The work is an extension of our previous predictor PProwler v1.1 which is itself built upon the series of predictors SignalP and TargetP. In this study we outline experiments conducted to improve the classifier design. The major improvement came from using Support Vector machines as a "smart gate" sorting the outputs of several different targeting peptide detection networks. Our final model (PProwler v1.2) gives MCC values of 0.873 for non-plant and 0.849 for plant proteins. The model improves upon the accuracy of our previous subcellular localization predictor (PProwler v1.1) by 2% for plant data (which represents 7.5% improvement upon TargetP).

Classifying an opponent's behaviour in robot soccer

This paper illustrates the prediction of opponent behaviour in a competitive, highly dynamic, multi-agent and partially observableenvironment, namely RoboCup small size league robot soccer. The performance is illustrated in the context of the highly successful robot soccer team, the RoboRoos. The project is broken into three tasks; classification of behaviours, modelling and prediction of behaviours and integration of the predictions into the existing planning system. A probabilistic approach is taken to dealing with the uncertainty in the observations and with representing the uncertainty in the prediction of the behaviours. Results are shown for a classification system using a Naïve Bayesian Network that determines the opponent’s current behaviour. These results are compared to an expert designed fuzzy behaviour classification system. The paper illustrates how the modelling system will use the information from behaviour classification to produce probability distributions that model the manner with which the opponents perform their behaviours. These probability distributions are show to match well with the existing multi-agent planning system (MAPS) that forms the core of the RoboRoos system.

Applications of ultralong Raman fibre lasers in photonics

This thesis presents a numerical and experimental investigation on applications of ultralong Raman fibre lasers in optical communications, supercontinuum generation and soliton transmission. The research work is divided in four main sections. The first involves the numerical investigation of URFL intra-cavity power and the relative intensity noise transfer evolution along the transmission span. The performance of the URFL is compared with amplification systems of similar complexity. In the case of intracavity power evolution, URFL is compared with a first order Raman amplification system. For the RIN transfer investigation, URFL is compared with a bi-directional dual wavelength pumping system. The RIN transfer function is investigated for several cavity design parameters such as span length, pump distribution and FBG reflectivity. The following section deals with experimental results of URFL cavities. The enhancement of the available spectral bandwidth in the C-band and its spectral flatness are investigated for single and multi-FBGs cavity system. Further work regarding extended URFL cavity in combination with Rayleigh scattering as random distributed feedback produced a laser cavity with dual wavelength outputs independent to each other. The last two sections relate to URFL application in supercontinuum (SC) generation and soliton transmission. URFL becomes an enhancement structure for SC generation. This thesis shows successful experimental results of SC generation using conventional single mode optical fibre and pumped with a continuous wave source. The last section is dedicated to soliton transmission and the study of soliton propagation dynamics. The experimental results of exact soliton transmission over multiple soliton periods using conventional single mode fibre are shown in this thesis. The effect of the input signal, pump distribution, span length and FBGs reflectivity on the soliton propagation dynamics is investigated experimentally and numerically.