Free- and peptide-based dietary arginine supplementation for the South American fish pacu (Piaractus mesopotamicus)

Arginine was hypothesized to be a model compound in the present study on molecular forms of indispensable amino acid (IAA) dietary supplementation. Juvenile South American pacu (Piaractus mesopotamicus) were fed diets containing arginine in a protein base (casein-wheat gluten or casein-gelatin), or the casein-wheat gluten base supplemented with dipeptide or free arginine at two levels (5 and 10 g kg(-1)). Growth and protein efficiency ratios were significantly affected by diets, but not by arginine molecular form. Three free dispensable amino acids (DAA) and four IAA in plasma were affected by diet, but plasma arginine concentrations did not differ. Plasma urea concentrations, being very low in the pacu, and hepatic arginase activities, were not affected by diet (P = 0.10-0.11), but together with plasma ornithine, mirrored the growth data. Molecular form of arginine supplementation, free or dipeptide, significantly changed several free IAA (Phe, Leu, Ile, His) and urea, with a higher mean plasma concentration in dipeptide fed fish. The dietary treatments, or molecular form of the arginine supplementation, did not change proximate composition, except that calcium levels decreased with higher dietary arginine supplementation level. The present study indicates that dipeptides can provide IAA to pacu, and that arginine supplemented in this form is utilized as efficiently as in free form.

A survey on multi-output regression

In recent years, a plethora of approaches have been proposed to deal with the increasingly challenging task of multi-output regression. This paper provides a survey on state-of-the-art multi-output regression methods, that are categorized as problem transformation and algorithm adaptation methods. In addition, we present the mostly used performance evaluation measures, publicly available data sets for multi-output regression real-world problems, as well as open-source software frameworks.

Methods for Modeling and Analyzing Concurrent Software

Concurrent software executes multiple threads or processes to achieve high performance. However, concurrency results in a huge number of different system behaviors that are difficult to test and verify. The aim of this dissertation is to develop new methods and tools for modeling and analyzing concurrent software systems at design and code levels. This dissertation consists of several related results. First, a formal model of Mondex, an electronic purse system, is built using Petri nets from user requirements, which is formally verified using model checking. Second, Petri nets models are automatically mined from the event traces generated from scientific workflows. Third, partial order models are automatically extracted from some instrumented concurrent program execution, and potential atomicity violation bugs are automatically verified based on the partial order models using model checking. Our formal specification and verification of Mondex have contributed to the world wide effort in developing a verified software repository. Our method to mine Petri net models automatically from provenance offers a new approach to build scientific workflows. Our dynamic prediction tool, named McPatom, can predict several known bugs in real world systems including one that evades several other existing tools. McPatom is efficient and scalable as it takes advantage of the nature of atomicity violations and considers only a pair of threads and accesses to a single shared variable at one time. However, predictive tools need to consider the tradeoffs between precision and coverage. Based on McPatom, this dissertation presents two methods for improving the coverage and precision of atomicity violation predictions: 1) a post-prediction analysis method to increase coverage while ensuring precision; 2) a follow-up replaying method to further increase coverage. Both methods are implemented in a completely automatic tool.

Pacote de sincronização de réplicas de bases de dados

A replicação de base de dados tem como objectivo a cópia de dados entre bases de dados distribuídas numa rede de computadores. A replicação de dados é importante em várias situações, desde a realização de cópias de segurança da informação, ao balanceamento de carga, à distribuição da informação por vários locais, até à integração de sistemas heterogéneos. A replicação possibilita uma diminuição do tráfego de rede, pois os dados ficam disponíveis localmente possibilitando também o seu acesso no caso de indisponibilidade da rede. Esta dissertação baseia-se na realização de um trabalho que consistiu no desenvolvimento de uma aplicação genérica para a replicação de bases de dados a disponibilizar como open source software. A aplicação desenvolvida possibilita a integração de dados entre vários sistemas, com foco na integração de dados heterogéneos, na fragmentação de dados e também na possibilidade de adaptação a várias situações. ABSTRACT: Data replication is a mechanism to synchronize and integrate data between distributed databases over a computer network. Data replication is an important tool in several situations, such as the creation of backup systems, load balancing between various nodes, distribution of information between various locations, integration of heterogeneous systems. Replication enables a reduction in network traffic, because data remains available locally even in the event of a temporary network failure. This thesis is based on the work carried out to develop an application for database replication to be made accessible as open source software. The application that was built allows for data integration between various systems, with particular focus on, amongst others, the integration of heterogeneous data, the fragmentation of data, replication in cascade, data format changes between replicas, master/slave and multi master synchronization.

Integration of ROS for the control of industrial robotic systems in a proprietary environment

The paper deals with the integration of ROS, in the proprietary environment of the Marchesini Group company, for the control of industrial robotic systems. The basic tools of this open-source software are deeply studied to model a full proprietary Pick and Place manipulator inside it, and to develop custom ROS nodes to calculate trajectories; speaking of which, the URDF format is the standard to represent robots in ROS and the motion planning framework MoveIt offers user-friendly high-level methods. The communication between ROS and the Marchesini control architecture is established using the OPC UA standard; the tasks computed are transmitted offline to the PLC, supervisor controller of the physical robot, because the performances of the protocol don’t allow any kind of active control by ROS. Once the data are completely stored at the Marchesini side, the industrial PC makes the real robot execute a trajectory computed by MoveIt, so that it replicates the behaviour of the simulated manipulator in Rviz. Multiple experiments are performed to evaluate in detail the potential of ROS in the planning of movements for the company proprietary robots. The project ends with a small study regarding the use of ROS as a simulation platform. First, it is necessary to understand how a robotic application of the company can be reproduced in the Gazebo real world simulator. Then, a ROS node extracts information and examines the simulated robot behaviour, through the subscription to specific topics.

Impact of convective motions on pollutant dispersion in urban canyons: an analysis through RANS simulations

Since the majority of the population of the world lives in cities and that this number is expected to increase in the next years, one of the biggest challenges of the research is the determination of the risk deriving from high temperatures experienced in urban areas, together with improving responses to climate-related disasters, for example by introducing in the urban context vegetation or built infrastructures that can improve the air quality. In this work, we will investigate how different setups of the boundary and initial conditions set on an urban canyon generate different patterns of the dispersion of a pollutant. To do so we will exploit the low computational cost of Reynolds-Averaged Navier-Stokes (RANS) simulations to reproduce the dynamics of an infinite array of two-dimensional square urban canyons. A pollutant is released at the street level to mimic the presence of traffic. RANS simulations are run using the k-ɛ closure model and vertical profiles of significant variables of the urban canyon, namely the velocity, the turbulent kinetic energy, and the concentration, are represented. This is done using the open-source software OpenFOAM and modifying the standard solver simpleFoam to include the concentration equation and the temperature by introducing a buoyancy term in the governing equations. The results of the simulation are validated with experimental results and products of Large-Eddy Simulations (LES) from previous works showing that the simulation is able to reproduce all the quantities under examination with satisfactory accuracy. Moreover, this comparison shows that despite LES are known to be more accurate albeit more expensive, RANS simulations represent a reliable tool if a smaller computational cost is needed. Overall, this work exploits the low computational cost of RANS simulations to produce multiple scenarios useful to evaluate how the dispersion of a pollutant changes by a modification of key variables, such as the temperature.

Modelo de inclusão digital para construção do conhecimento em qualidade de vida e atividade fisica

Universidade Estadual de Campinas. Faculdade de Educação Física

Estudo comparativo entre interfaces de programação de aplicações de mapas

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Infraestructura virtual

Estudi de les tècniques de virtualització en arquitectures x86. Estudi de les plataformes que de computació en núvol OpenStack, Eucalyptus i OpenNebula que proporcionen IaaS. Disseny i implementació d'una infraestructura virtual per un entorn privat amb OpenNebula i el sistema d'arxius MooseFS.

Plataforma informática integral basada en tecnología GNU/Linux para negocio online de repostería casera

Plataforma informática integral para negocio online de repostería casera basada en tecnología Linux (opensource).

Accessibilitat web : un estudi sobre el Repositori O2 de la UOC

Són objectius d'aquest Treball Final de Carrera, en primer lloc, avaluar l'accessibilitat del programari de codi lliure Dspace que utilitza la UOC per gestionar les seves publicacions digitals. En segon lloc, avaluar l'accessibilitat de cinc planes web del Repositori Institucional O2 de la UOC, a les quals s'aplicaran les directrius WCAG 1.0 i WCAG 2.0, amb l'ajut de cinc eines d'avaluació automàtica.

A DVD authoring tool for GNU/Linuxdesktop systems

Projecte denominat Mistelix, una eina d'autoria de DVD en codi obert per a sistemes GNU / Linux.

Registre d'entrades i eixides per a l'administració pública

Aquesta memòria representa la definició del meu projecte final de carrera amb una aplicació destinada al registre d'entrades i eixides de l'Administració pública. He emprat eines de plataformes lliures i obertes per al desenvolupament del projecte, amb tecnologia J2EE. A més, hi ha l'objectiu de fer servir i provar arquitectures d'última generació com Enterprise JavaBeans Preview_2 (EJB) 3.0 (5/11/04) per a la lògica de negoci, Hibernate 3.0 alpha (actualment hi ha la beta 1.0 publicada el 20/12/04) com a

Diseño y Desarrollo de herramientas devalidación topológica en el entorno gvSIG

La solució software desenvolupada en l'àmbit del projecte és una extensió per a gvSIG. Aquesta solució permet realitzar validacions topològiques per a xarxes d'aigua en aquesta plataforma. A més, el treball realitzat posa les bases per el desenvolupament d'eines de validació topològica de caràcter més general.