Exploration of geological variability and possible processes through the use of compositional data analysis: an example using scottish metamorphosed

Developments in the statistical analysis of compositional data over the last two decades have made possible a much deeper exploration of the nature of variability, and the possible processes associated with compositional data sets from many disciplines. In this paper we concentrate on geochemical data sets. First we explain how hypotheses of compositional variability may be formulated within the natural sample space, the unit simplex, including useful hypotheses of subcompositional discrimination and specific perturbational change. Then we develop through standard methodology, such as generalised likelihood ratio tests, statistical tools to allow the systematic investigation of a complete lattice of such hypotheses. Some of these tests are simple adaptations of existing multivariate tests but others require special construction. We comment on the use of graphical methods in compositional data analysis and on the ordination of specimens. The recent development of the concept of compositional processes is then explained together with the necessary tools for a staying- in-the-simplex approach, namely compositional singular value decompositions. All these statistical techniques are illustrated for a substantial compositional data set, consisting of 209 major-oxide and rare-element compositions of metamorphosed limestones from the Northeast and Central Highlands of Scotland. Finally we point out a number of unresolved problems in the statistical analysis of compositional processes

Detection of matchings in a sequence of underwater images through texture analysis

This paper presents an approach to ameliorate the reliability of the correspondence points relating two consecutive images of a sequence. The images are especially difficult to handle, since they have been acquired by a camera looking at the sea floor while carried by an underwater robot. Underwater images are usually difficult to process due to light absorption, changing image radiance and lack of well-defined features. A new approach based on gray-level region matching and selective texture analysis significantly improves the matching reliability

Industrial Organization: a Contract Based approach

Industrial Organization, a Contract Based approach (aka IOCB) offers an extensive and an up-to-date panorama of Industrial Organization. It is aimed at advanced undergraduates, graduates, academics and practitioners with an interest in the field. The analysis of market interactions, business strategies and public policy is performed using the standard framework of game theory and the recent advances of contract theory and information economics

Integrated management of urban wastewater systems: a model-based approach

The main objective pursued in this thesis targets the development and systematization of a methodology that allows addressing management problems in the dynamic operation of Urban Wastewater Systems. The proposed methodology will suggest operational strategies that can improve the overall performance of the system under certain problematic situations through a model-based approach. The proposed methodology has three main steps: The first step includes the characterization and modeling of the case-study, the definition of scenarios, the evaluation criteria and the operational settings that can be manipulated to improve the system’s performance. In the second step, Monte Carlo simulations are launched to evaluate how the system performs for a wide range of operational settings combinations, and a global sensitivity analysis is conducted to rank the most influential operational settings. Finally, the third step consists on a screening methodology applying a multi-criteria analysis to select the best combinations of operational settings.

A practical approach on boar sperm cryodamage. Morphofunctional and immunocytochemical study of cryopreserved boar sperm intended for use in artificial insemination

L'ús d'esperma criopreservada en la inseminació artificial (IA) d'espècies d'interès productiu permet un major control sanitari i la creació de bancs de germoplasma d'alt valor genètic, entre d'altres avantatges. En el mercat porcí la major part de les inseminacions són encara realitzades amb semen refrigerat degut a l'èxit de l'aplicació de diluents de llarga durada i també a causa de la sensibilitat de l'esperma porcina a la criopreservació. Malgrat que aquesta sensibilitat ve donada per característiques particulars de la fisiologia espermàtica en l'espècie, algunes ejaculacions mantenen els paràmetres de qualitat espermàtica després de la criopreservació (ejaculacions amb bona "congelabilitat", GFEs) enfront d'altres que no sobreviuen al procés (ejaculacions amb mala "congelabilitat", PFEs). El primer objectiu de l'estudi va ser comparar ambdós grups en termes de fertilitat in vivo. El segon objectiu va ser testar l'eficiència de la inseminació postcervical (post-CAI) amb l'esperma criopreservada. El tercer objectiu va ser buscar predictors de la congelabilitat de les ejaculacions, tant en les GFEs com en les PFEs i en tres passos del procés de criopreservació (a 17ºC, a 5ºC i a 240 min postdescongelació). Aquest objectiu es va dur a terme mitjançant l'avaluació de paràmetres convencionals de qualitat espermàtica i a través de l'estudi de la localització i la reactivitat sota el microscopi de tres proteïnes (GLUT3, HSP90AA1 i Cu/ZnSOD) relacionades amb la fisiologia espermàtica i amb possibles rols en la congelabilitat. El quart objectiu va ser quantificar l'expressió de les tres proteïnes per transferència western, tant en espermatozoides d'ejaculacions GFEs com en els d'ejaculacions PFEs i en els tres passos abans esmentats, per tal de determinar el seu potencial com a predictores de la congelabilitat. Pel primer i el segon objectiu, 86 truges van ser inseminades per post-CAI amb 26 ejaculacions de mascles Piétrain dividides en una porció refrigerada a 17ºC (tractament control) i una porció criopreservada, ambdues porcions classificades alhora com a GFEs o PFEs. Els resultats més rellevants van demostrar que les probabilitats d'embaràs eren dues vegades menors en inseminacions amb esperma criopreservada d'ejaculacions PFEs (P < 0.05) que en inseminacions amb esperma criopreservada d'ejaculacions GFEs, fet que indica que les ejaculacions amb percentatges elevats d'espermatozoides mòbils progressius i d'integritat de membrana (per sobre del 40% en les GFEs) són més favorables a provocar embarassos que no pas aquelles ejaculacions amb una pobra funció espermàtica in vitro (PFEs). Ni el nombre de truges que van donar a llum, ni la quantitat de garrins, ni el risc de reflux espermàtic van ser significativament diferents entre les inseminacions amb esperma criopreservada d'ejaculacions GFEs i les inseminacions control amb semen refrigerat, la qual cosa demostra la bona aplicabilitat de la inseminació post-CAI amb l'esperma criopreservada. Finalment, pel tercer i quart objectius van ser criopreservades 29 i 11 ejaculacions de mascles Piétrain, respectivament. Dos paràmetres cinètics espermàtics, la linealitat (LIN) i la rectitud (STR), van mostrar una hiperactivació de la mobilitat superior en les ejaculacions PFEs que en les GFEs després de 30 min a 5ºC durant la criopreservació. A més, la combinació d'ambdós paràmetres va donar una fiabilitat propera al 72% en la predicció de la congelabilitat de les ejaculacions porcines. Tot i que no va ser possible predir la congelabilitat mitjançant l'avaluació de les tres proteïnes al microscopi, els resultats de transferència western van revelar diferències en l'expressió de la HSP90AA1 en l'esperma a 17ºC, molt possiblement relacionades amb la millor supervivència a la criopreservació dels espermatozoides d'ejaculacions GFEs. Aquests resultats suggereixen que la promoció de la criopreservació d'esperma porcina per la seva aplicació en IA passa pel desenvolupament de tests per la predicció de la congelabilitat en semen refrigerat.

Management of industrial wastewater discharges in river basins through agents'argumentation

La gestió de l'aigua residual és una tasca complexa. Hi ha moltes substàncies contaminants conegudes però encara moltes per conèixer, i el seu efecte individual o col·lgectiu és difícil de predir. La identificació i avaluació dels impactes ambientals resultants de la interacció entre els sistemes naturals i socials és un assumpte multicriteri. Els gestors ambientals necessiten eines de suport pels seus diagnòstics per tal de solucionar problemes ambientals. Les contribucions d'aquest treball de recerca són dobles: primer, proposar l'ús d'un enfoc basat en la modelització amb agents per tal de conceptualitzar i integrar tots els elements que estan directament o indirectament involucrats en la gestió de l'aigua residual. Segon, proposar un marc basat en l'argumentació amb l'objectiu de permetre als agents raonar efectivament. La tesi conté alguns exemples reals per tal de mostrar com un marc basat amb agents que argumenten pot suportar diferents interessos i diferents perspectives. Conseqüentment, pot ajudar a construir un diàleg més informat i efectiu i per tant descriure millor les interaccions entre els agents. En aquest document es descriu primer el context estudiat, escalant el problema global de la gestió de la conca fluvial a la gestiódel sistema urbà d'aigües residuals, concretament l'escenari dels abocaments industrials. A continuació, s'analitza el sistema mitjançant la descripció d'agents que interaccionen. Finalment, es descriuen alguns prototips capaços de raonar i deliberar, basats en la lògica no monòtona i en un llenguatge declaratiu (answer set programming). És important remarcar que aquesta tesi enllaça dues disciplines: l'enginyeria ambiental (concretament l'àrea de la gestió de les aigües residuals) i les ciències de la computació (concretament l'àrea de la intel·ligència artificial), contribuint així a la multidisciplinarietat requerida per fer front al problema estudiat. L'enginyeria ambiental ens proporciona el coneixement del domini mentre que les ciències de la computació ens permeten estructurar i especificar aquest coneixement.

A proposal to estimate the motion of an underwater vehicle through visual mosaicking

This thesis proposes a solution to the problem of estimating the motion of an Unmanned Underwater Vehicle (UUV). Our approach is based on the integration of the incremental measurements which are provided by a vision system. When the vehicle is close to the underwater terrain, it constructs a visual map (so called "mosaic") of the area where the mission takes place while, at the same time, it localizes itself on this map, following the Concurrent Mapping and Localization strategy. The proposed methodology to achieve this goal is based on a feature-based mosaicking algorithm. A down-looking camera is attached to the underwater vehicle. As the vehicle moves, a sequence of images of the sea-floor is acquired by the camera. For every image of the sequence, a set of characteristic features is detected by means of a corner detector. Then, their correspondences are found in the next image of the sequence. Solving the correspondence problem in an accurate and reliable way is a difficult task in computer vision. We consider different alternatives to solve this problem by introducing a detailed analysis of the textural characteristics of the image. This is done in two phases: first comparing different texture operators individually, and next selecting those that best characterize the point/matching pair and using them together to obtain a more robust characterization. Various alternatives are also studied to merge the information provided by the individual texture operators. Finally, the best approach in terms of robustness and efficiency is proposed. After the correspondences have been solved, for every pair of consecutive images we obtain a list of image features in the first image and their matchings in the next frame. Our aim is now to recover the apparent motion of the camera from these features. Although an accurate texture analysis is devoted to the matching pro-cedure, some false matches (known as outliers) could still appear among the right correspon-dences. For this reason, a robust estimation technique is used to estimate the planar transformation (homography) which explains the dominant motion of the image. Next, this homography is used to warp the processed image to the common mosaic frame, constructing a composite image formed by every frame of the sequence. With the aim of estimating the position of the vehicle as the mosaic is being constructed, the 3D motion of the vehicle can be computed from the measurements obtained by a sonar altimeter and the incremental motion computed from the homography. Unfortunately, as the mosaic increases in size, image local alignment errors increase the inaccuracies associated to the position of the vehicle. Occasionally, the trajectory described by the vehicle may cross over itself. In this situation new information is available, and the system can readjust the position estimates. Our proposal consists not only in localizing the vehicle, but also in readjusting the trajectory described by the vehicle when crossover information is obtained. This is achieved by implementing an Augmented State Kalman Filter (ASKF). Kalman filtering appears as an adequate framework to deal with position estimates and their associated covariances. Finally, some experimental results are shown. A laboratory setup has been used to analyze and evaluate the accuracy of the mosaicking system. This setup enables a quantitative measurement of the accumulated errors of the mosaics created in the lab. Then, the results obtained from real sea trials using the URIS underwater vehicle are shown.

An approach to coded structured light to obtain three dimensional information

The human visual ability to perceive depth looks like a puzzle. We perceive three-dimensional spatial information quickly and efficiently by using the binocular stereopsis of our eyes and, what is mote important the learning of the most common objects which we achieved through living. Nowadays, modelling the behaviour of our brain is a fiction, that is why the huge problem of 3D perception and further, interpretation is split into a sequence of easier problems. A lot of research is involved in robot vision in order to obtain 3D information of the surrounded scene. Most of this research is based on modelling the stereopsis of humans by using two cameras as if they were two eyes. This method is known as stereo vision and has been widely studied in the past and is being studied at present, and a lot of work will be surely done in the future. This fact allows us to affirm that this topic is one of the most interesting ones in computer vision. The stereo vision principle is based on obtaining the three dimensional position of an object point from the position of its projective points in both camera image planes. However, before inferring 3D information, the mathematical models of both cameras have to be known. This step is known as camera calibration and is broadly describes in the thesis. Perhaps the most important problem in stereo vision is the determination of the pair of homologue points in the two images, known as the correspondence problem, and it is also one of the most difficult problems to be solved which is currently investigated by a lot of researchers. The epipolar geometry allows us to reduce the correspondence problem. An approach to the epipolar geometry is describes in the thesis. Nevertheless, it does not solve it at all as a lot of considerations have to be taken into account. As an example we have to consider points without correspondence due to a surface occlusion or simply due to a projection out of the camera scope. The interest of the thesis is focused on structured light which has been considered as one of the most frequently used techniques in order to reduce the problems related lo stereo vision. Structured light is based on the relationship between a projected light pattern its projection and an image sensor. The deformations between the pattern projected into the scene and the one captured by the camera, permits to obtain three dimensional information of the illuminated scene. This technique has been widely used in such applications as: 3D object reconstruction, robot navigation, quality control, and so on. Although the projection of regular patterns solve the problem of points without match, it does not solve the problem of multiple matching, which leads us to use hard computing algorithms in order to search the correct matches. In recent years, another structured light technique has increased in importance. This technique is based on the codification of the light projected on the scene in order to be used as a tool to obtain an unique match. Each token of light is imaged by the camera, we have to read the label (decode the pattern) in order to solve the correspondence problem. The advantages and disadvantages of stereo vision against structured light and a survey on coded structured light are related and discussed. The work carried out in the frame of this thesis has permitted to present a new coded structured light pattern which solves the correspondence problem uniquely and robust. Unique, as each token of light is coded by a different word which removes the problem of multiple matching. Robust, since the pattern has been coded using the position of each token of light with respect to both co-ordinate axis. Algorithms and experimental results are included in the thesis. The reader can see examples 3D measurement of static objects, and the more complicated measurement of moving objects. The technique can be used in both cases as the pattern is coded by a single projection shot. Then it can be used in several applications of robot vision. Our interest is focused on the mathematical study of the camera and pattern projector models. We are also interested in how these models can be obtained by calibration, and how they can be used to obtained three dimensional information from two correspondence points. Furthermore, we have studied structured light and coded structured light, and we have presented a new coded structured light pattern. However, in this thesis we started from the assumption that the correspondence points could be well-segmented from the captured image. Computer vision constitutes a huge problem and a lot of work is being done at all levels of human vision modelling, starting from a)image acquisition; b) further image enhancement, filtering and processing, c) image segmentation which involves thresholding, thinning, contour detection, texture and colour analysis, and so on. The interest of this thesis starts in the next step, usually known as depth perception or 3D measurement.