Functional proteomics and biochemistry: working together to unravel mitochondrial phenomena of African trypanosomes

Eukaryotic cells are compartmentalized into membrane-bound organelles in order to provide sheltered reaction rooms for various specific processes. Organelles are not randomly distributed in a cell or operate isolated from each other. At the contrary — some organelles are closely linked and their functions are tightly orchestrated. The most well-known example of two such organelles acting in concert are the ER and the mitochondrion that work together in order to coordinate cellular lipid biosynthesis, maintain Ca2+-homeostasis, regulate mitochondrial division and control mitochondrial/ER shape as well as to synchronize the movement of these organelles within a cell. To study the mitochondrion and its interface to the ER requires a simplified mitochondrial system. African trypanosomes represent such a system. The unicellular parasite that causes devastating diseases in humans and animals has only one large mitochondrion that does not undergo fission/fusion events except for the context of cell division. Moreover, mitochondrial functions and morphology are highly regulated throughout the life cycle of the protozoan. Central to the understanding of how mitochondria control their morphology, communicate with their surroundings and manage exchange of metabolites and transport of biopolymers (proteins, RNAs) is the mitochondrial outer membrane (MOM), as the MOM defines the boundary of the organelle. Recently, we have purified the MOM of T. brucei and characterized its proteome using label-free quantitative mass spectrometry for protein abundance profiling in combination with statistical analysis. Our results show that the trypanosomal MOM proteome consists of 82 proteins, two thirds of which have never been associated with mitochondria before. Among these, we identified novel factors required to regulate mitochondrial morphology and the long-elusive protein import machinery of T. brucei. A comparison with the MOM proteome of yeast defines a set of 17 common proteins that are likely present in the mitochondrial outer membrane of all eukaryotes. One of these is the Miro-GTPase Gem1. In yeast, this Ca2+-EF-Hand containing polypeptide is thought to be involved in a protein complex that physically tethers the mitochondrion to the ER. Interestingly, a putative tethering complex in mammalian cells was linked to the mitochondrial fusion/fission machinery. Thus, the concept of a protein complex-mediated connection seems to be a general and conserved feature. We are currently investigating, if such a protein complex exists in T. brucei and if the trypanosomal Gem1 protein is involved. This ER-subdomain associated with mitochondria has been termed mitochondria-associated ER-membranes or MAM. The MAM has recently been implicated to play a key role in Alzheimer’s disease. It is therefore of broad and general interest to establish other eukaryotic model systems in order to investigate the MAM-MOM connection in more detail.

Intervertebral Disc Repair using Fleece-Membrane Composite Silk Material and Genipin-enhanced Fibrin Hydrogel

Introduction: Treating low back pain (LBP) has become an increasing challenge, as it is one of the main factors causing pain and is accompanied by high costs for the individual and the society. LBP can be caused by trauma of the intervertebral disc (IVD) or IVD degeneration. In the case of disc herniation the inner gelatinous part of the IVD, called nucleus pulposus, is pressed through the fibrous, annulus fibrosus that forms the outer part of the IVD. Today’s gold standard for treatment is extensive surgery as removal of the IVD and fusion of the vertebrae. In order to find a more gentle way to treat LBP and restore the native IVD we use a novel silk fleece-membrane composite from genetically modified silk worms whose silk contains a growth factor (GDF-6) that is associated with pushing stem cells towards a disc like phenotype (1). By combining it with a genipin-enhanced fibrin hydrogel we tested its suitability in organ culture on prior injured bovine IVD in our custom built two-degree of freedom bioreactor to mimic natural loading conditions. Material & Methods: Bovine IVDs of 12-17 months old animals were isolated by first removing all surrounding tissue followed by cutting out the IVDs as previously described (2). Culturing of discs occurred in high glucose Dulbecco's Modified Eagle Medium (HG-DMEM) supplemented with 5% serum as previously described (2). On the next day injury was induced using a 2mm biopsy punch (Polymed, Switzerland). The formed cavity was filled with (0.4%) genipin-enhanced human based fibrin hydrogel (35-55mg/mL human fibrinogen, Baxter, Austria) and sealed with a silk fleece-membrane composite (Spintec Engineering, Germany). Different culture conditions were applied: free swelling, static diurnal load of 0.2MPa for 8h/d and complex loading at 0.2MPa compression combined with ± 2° torsion at 0.2Hz for 8h/d (2). After 14 days of culture cell activity was determined with resazurin assay. Additionally, glycosaminoglycan (dimethyl-methylene blue), DNA (Hoechst) and collagen content (hydroxy- proline) were determined. Finally, real-time qPCR of major IVD marker and inflammation genes was performed to judge integrity of IVDs. Results: The fibrin hydrogel is able to keep the silk seal in place throughout the 14 days of in organ culture under all conditions. Additionally, cell activity showed optimistic results and we could not confirm negative effects of the repaired discs regarding overexpression of inflammation markers. Conclusions: The genipin-enhanced fibrin hydrogel in combination with the silk fleece- membrane composite seems to be a promising approach for IVD repair. Currently we assess the capability of GDF-6 incorporated in our silk composites on human mesenchymal stem cells and later on in organ culture. References 1. Clarke LE, McConnell JC, Sherratt MJ, Derby B, Richardson SM, Hoyland JA. Growth differentiation factor 6 and transforming growth factor-beta differentially mediate mesenchymal stem cell differentiation, composition and micromechanical properties of nucleus pulposus constructs. Arthritis Res Ther 2014, Mar 12;16(2):R67. 2. Chan SC, Gantenbein-Ritter B. Preparation of intact bovine tail intervertebral discs for organ culture. J Vis Exp 2012, Feb 2;60(60):e3490. Acknowledgements. This work is funded by the Gebert Rüf Foundation, project number GRS-028/13.

Characterization and source apportionment of organic aerosol using offline aerosol mass spectrometry

Field deployments of the Aerodyne Aerosol Mass Spectrometer (AMS) have significantly advanced real-time measurements and source apportionment of non-refractory particulate matter. However, the cost and complex maintenance requirements of the AMS make its deployment at sufficient sites to determine regional characteristics impractical. Furthermore, the negligible transmission efficiency of the AMS inlet for supermicron particles significantly limits the characterization of their chemical nature and contributing sources. In this study, we utilize the AMS to characterize the water-soluble organic fingerprint of ambient particles collected onto conventional quartz filters, which are routinely sampled at many air quality sites. The method was applied to 256 particulate matter (PM) filter samples (PM1, PM2:5, and PM10, i.e., PM with aerodynamic diameters smaller than 1, 2.5, and 10 μm, respectively), collected at 16 urban and rural sites during summer and winter. We show that the results obtained by the present technique compare well with those from co-located online measurements, e.g., AMS or Aerosol Chemical Speciation Monitor (ACSM). The bulk recoveries of organic aerosol (60–91 %) achieved using this technique, together with low detection limits (0.8 μg of organic aerosol on the analyzed filter fraction) allow its application to environmental samples. We will discuss the recovery variability of individual hydrocarbon ions, ions containing oxygen, and other ions. The performance of such data in source apportionment is assessed in comparison to ACSM data. Recoveries of organic components related to different sources as traffic, wood burning, and secondary organic aerosol are presented. This technique, while subjected to the limitations inherent to filter-based measurements (e.g., filter artifacts and limited time resolution) may be used to enhance the AMS capabilities in measuring size-fractionated, spatially resolved longterm data sets.

Anatomy of the nail unit and the nail biopsy

The nail unit is the largest and a rather complex skin appendage. It is located on the dorsal aspect of the tips of fingers and toes and has important protective and sensory functions. Development begins in utero between weeks 7 and 8 and is fully formed at birth. For its correct development, a great number of signals are necessary. Anatomically, it consists of 4 epithelial components: the matrix that forms the nail plate; the nail bed that firmly attaches the plate to the distal phalanx; the hyponychium that forms a natural barrier at the physiological point of separation of the nail from the bed; and the eponychium that represents the undersurface of the proximal nail fold which is responsible for the formation of the cuticle. The connective tissue components of the matrix and nail bed dermis are located between the corresponding epithelia and the bone of the distal phalanx. Characteristics of the connective tissue include: a morphogenetic potency for the regeneration of their epithelia; the lateral and proximal nail folds form a distally open frame for the growing nail; and the tip of the digit has rich sensible and sensory innervation. The blood supply is provided by the paired volar and dorsal digital arteries. Veins and lymphatic vessels are less well defined. The microscopic anatomy varies from nail subregion to subregion. Several different biopsy techniques are available for the histopathological evaluation of nail alterations.

Genetic and functional analyses of cell division proteins FtsZ and FtsA in Escherichia coli

In the current model for bacterial cell division, the FtsZ protein forms a ring that marks the division plane, creating a cytoskeletal framework for the subsequent action of other essential division proteins such as FtsA and ZipA. The putative protein complex ultimately generates the division septum. The essential cell division protein FtsZ is a functional and structural homolog of eukaryotic tubulin, and like tubulin, FtsZ hydrolyzes GTP and self-assembles into protein filaments in a strictly GTP-dependent manner. FtsA shares sequence similarity with members of the ATPase superfamily that include actin, but its actual function remains unknown. To test the division model and elucidate functions of the division proteins, this dissertation primarily focuses on the analysis of FtsZ and FtsA in Escherichia coli. ^ By tagging with green fluorescent protein, we first demonstrated that FtsA also exhibits a ring-like structure at the potential division site. The localization of FtsA was dependent on functional FtsZ, suggesting that FtsA is recruited to the septum by the FtsZ ring. In support of this idea, we showed that FtsA and FtsZ directly interact. Using a novel E. coli in situ assay, we found that the FtsA-FtsZ interaction appears to be species-specific, although an interspecies interaction could occur between FtsA and FtsZ proteins from two closely related organisms. In addition, mutagenesis of FtsA revealed that no single domain is solely responsible for its septal localization or interaction with FtsZ. To explore the function of FtsA, we purified FtsA protein and demonstrated that it has ATPase activity. Furthermore, purified FtsA stimulates disassembly of FtsZ polymers in a sedimentation assay but does not affect GTP hydrolysis of FtsZ. This result suggests that in the cell, FtsA may function similarly in regulating dynamic instability of the FtsZ ring during the cell division process. ^ To elucidate the structure-function relationship of FtsZ, we carried out thorough genetic and functional analyses of the mutagenized FtsZ derivatives. Our results indicate that the conserved N-terminal domain of FtsZ is necessary and sufficient for FtsZ self-assembly and localization. Moreover, we discovered a critical role for an extreme C-terminal domain of FtsZ that consists of only 12 residues. Truncated FtsZ derivatives lacking this domain, though able to polymerize and localize, are defective in ring formation in vivo as well as interaction with FtsA and ZipA. Alanine scanning mutagenesis of this region pinpointed at least five residues necessary for the function of FtsZ. Studies of protein levels and protein-protein interactions suggested that these residues may be involved in regulating protein stability and/or FtsZ-FtsA interactions. Interestingly, two of the point mutants exhibited dominant-negative phenotypes. ^ In summary, results from this thesis work have provided additional support for the division machinery model and will contribute to a better understanding of the coordinate functions of FtsA and FtsZ in the cell division process. ^

Identification and characterization of Xenopus Kazrin, a nucleocytoplasmic shuttling protein that interacts with ARVCF catenin

In common with other members of the p120-catenin subclass of catenins, ARVCF-catenin appears to have multiple cellular and developmental functions. In Xenopus, our lab recently demonstrated that xARVCF- and Xp120-catenins are each essential for early vertebrate embryogenesis, being functionally linked to Rho-family GTPases (RhoA, Rac) and cadherin metabolic stability. For the project described here, the yeast two-hybrid system was employed to screen a Xenopus laevis neurula library for proteins that interact with xARVCF, resulting in the identification of the Xenopus homolog of Kazrin (xKazrin). Kazrin is a variably-spliced protein of unknown function that has been shown to interact with periplakin and envoplakin, components of desmosomal junctions. Kazrin's primary sequence is highly conserved across vertebrate species and is composed of an amino-terminal nuclear export sequence (NES), a carboxy-terminal nuclear localization sequence (NLS) and a central predicted coiled-coil domain. In vitro and in vivo authenticity tests demonstrated that xARVCF-catenin interacts directly with xKazrin via xARVCF's Armadillo and carboxy-terminal regions and xKazrin's coiled-coil domain. The interaction of xARVCF-catenin with xKazrin is specific and does not extend to the related Xp120-catenin. xKazrin co-localized with E-cadherin at sites of cell-cell contact and could be co-immunoprecipitated with components of the cadherin complex. xKazrin was also present in the cytoplasm and nucleus. Suggestive of a nuclear role, mutation of xKazrin's predicted NLS resulted in nuclear exclusion, while deletion of the predicted NES resulted in loss of sensitivity to nuclear export inhibitors. Within Xenopus embryos, xKazrin was expressed across all developmental stages and appeared at varying levels in adult tissues. Morpholino depletion of xKazrin from Xenopus embryos resulted in axial elongation abnormalities and loss of tissue integrity after neurulation. Over-expression of xKazrin had no effect, while over-expression of a NLS mutant resulted in a mild phenotype similar to that seen in xKazrin depleted embryos. Interestingly, the axial phenotype resulting from reduced xKazrin levels was largely rescuable by xARVCF over-expression. In conjunction with xARVCF-catenin, xKazrin has properties consistent with its function at cell-cell contact sites and in the nucleus. ^

Molecular mechanisms involved in the regulation of cell polarity and genome stability by the p21 -activated kinase, Shk1, in the fission yeast, Schizosaccharomyces pombe

The essential p21-activated kinase (PAK), Shk1, is a critical component of a Ras/Cdc42/PAK complex required for cell viability, normal cell polarity, proper regulation of cytoskeletal dynamics, and sexual differentiation in the fission yeast, Schizosaccharomyces pombe. While cellular functions of PAKs have been described in eukaryotes from yeasts to mammals, the molecular mechanisms of PAK regulation and function are poorly understood. This study has characterized a novel Shk1 inhibitor, Skb15, and, in addition, identified the cell polarity regulator, Tea1, as a potential biological substrate of Shk1 in S. pombe. Skb15 is a highly conserved WD repeat protein that was discovered from a two-hybrid screen for proteins that interact with the catalytic domain of Shk1. Molecular data indicate that Skb15 negatively regulates Shk1 kinase activity in S. pombe cells. A null mutation in the skb15 gene is lethal and results in deregulation of actin polymerization and localization, microtubule biogenesis, and the cytokinetic machinery, as well as a substantial uncoupling of these processes from the cell cycle. Loss of Skb15 function is suppressed by partial loss of Shk1, demonstrating that negative regulation of Shk1 by Skb15 is required for proper execution of cytoskeletal remodeling and cytokinetic functions. A mouse homolog of Skb15 can substitute for its counterpart in fission yeast, demonstrating that Skb15 protein function has been substantially conserved through evolution. ^ Our laboratory has recently demonstrated that Shk1, in addition to regulating actin cytoskeletal organization, is required for proper regulation of microtubule dynamics in S. pombe cells. The Shk1 protein localizes to interphase and mitotic microtubules, the septum-forming region, and cell ends. This pattern of localization overlaps with that of the cell polarity regulator, Tea1, in S. pombe cells. The tea1 gene was identified by Paul Nurse's laboratory from a screen for genes involved in the control of cell morphogenesis in S. pombe. In contrast to wild type S. pombe cells, which are rod shaped, tea1 null cells are often bent and/or branched in shape. The Tea1 protein localizes to the cell ends, like Shk1, and the growing tips of interphase microtubules. Thus, experiments were performed to investigate whether Tea1 interacts with Shk1. The tea1 null mutation strongly suppresses the loss of function of Skb15, an essential inhibitor of Shk1 function. All defects associated with the skb15 mutation, including defects in F-actin organization, septation, spindle elongation, and chromosome segregation, are suppressed by tea1Δ, suggesting that Tea1 may function in these diverse processes. Consistent with a role for Tea1 in cytokinesis, tea1Δ cells have a modest cell separation defect that is greatly exacerbated by a shk1 mutation and, like Shk1, Tea1 localizes to the septation site. Molecular analyses showed that Tea1 phosphorylation is significantly dependent on Shk1 function in vivo and that bacterially expressed Tea1 protein is directly phosphorylated by recombinant Shk1 kinase in vitro. Taken together, these results identify Tea1 as a potential biological substrate of Shk1 in S. pombe. ^ In summary, this study provides new insights into a conserved regulatory mechanism for PAKs, and also begins to uncover the molecular mechanisms by which the Ras/Cdc42/PAK complex regulates the microtubule and actin cytoskeletons and cell growth polarization in fission yeast. ^

Juvenile–adult tree associations in a continental Mediterranean ecosystem: no evidence for sustained and general facilitation at increased aridity

Question: How do tree species identity, microhabitat and water availability affect inter- and intra-specific interactions between juvenile and adult woody plants? Location: Continental Mediterranean forests in Alto Tajo Natural Park, Guadalajara, Spain. Methods: A total of 2066 juveniles and adults of four co-occurring tree species were mapped in 17 plots. The frequency of juveniles at different microhabitats and water availability levels was analysed using log-linear models. We used nearest-neighbour contingency table analysis of spatial segregation and J-functions to describe the spatial patterns. Results: We found a complex spatial pattern that varied according to species identity and microhabitat. Recruitment was more frequent in gaps for Quercus ilex, while the other three species recruited preferentially under shrubs or trees depending on the water availability level. Juveniles were not spatially associated to conspecific adults, experiencing segregation from them inmany cases. Spatial associations, both positive and negative, were more common at higher water availability levels. Conclusions: Our results do not agree with expectations from the stressgradient hypothesis, suggesting that positive interactions do not increase in importance with increasing aridity in the study ecosystem. Regeneration patterns are species-specific and depend on microhabitat characteristics and dispersal strategies. In general, juveniles do not look for conspecific adult protection. This work contributes to the understanding of species co-existence, proving the importance of considering a multispecies approach at several plots to overcome limitations of simple pair-wise comparisons in a limited number of sites.

On nonlinearity in neural encoding models applied to the primary visual cortex

Within the regression framework, we show how different levels of nonlinearity influence the instantaneous firing rate prediction of single neurons. Nonlinearity can be achieved in several ways. In particular, we can enrich the predictor set with basis expansions of the input variables (enlarging the number of inputs) or train a simple but different model for each area of the data domain. Spline-based models are popular within the first category. Kernel smoothing methods fall into the second category. Whereas the first choice is useful for globally characterizing complex functions, the second is very handy for temporal data and is able to include inner-state subject variations. Also, interactions among stimuli are considered. We compare state-of-the-art firing rate prediction methods with some more sophisticated spline-based nonlinear methods: multivariate adaptive regression splines and sparse additive models. We also study the impact of kernel smoothing. Finally, we explore the combination of various local models in an incremental learning procedure. Our goal is to demonstrate that appropriate nonlinearity treatment can greatly improve the results. We test our hypothesis on both synthetic data and real neuronal recordings in cat primary visual cortex, giving a plausible explanation of the results from a biological perspective.

Advanced Topics in Resource Analysis: Certification, Incrementality, Concurrency and Array-Sensitivity

El Análisis de Consumo de Recursos o Análisis de Coste trata de aproximar el coste de ejecutar un programa como una función dependiente de sus datos de entrada. A pesar de que existen trabajos previos a esta tesis doctoral que desarrollan potentes marcos para el análisis de coste de programas orientados a objetos, algunos aspectos avanzados, como la eficiencia, la precisión y la fiabilidad de los resultados, todavía deben ser estudiados en profundidad. Esta tesis aborda estos aspectos desde cuatro perspectivas diferentes: (1) Las estructuras de datos compartidas en la memoria del programa son una pesadilla para el análisis estático de programas. Trabajos recientes proponen una serie de condiciones de localidad para poder mantener de forma consistente información sobre los atributos de los objetos almacenados en memoria compartida, reemplazando éstos por variables locales no almacenadas en la memoria compartida. En esta tesis presentamos dos extensiones a estos trabajos: la primera es considerar, no sólo los accesos a los atributos, sino también los accesos a los elementos almacenados en arrays; la segunda se centra en los casos en los que las condiciones de localidad no se cumplen de forma incondicional, para lo cual, proponemos una técnica para encontrar las precondiciones necesarias para garantizar la consistencia de la información acerca de los datos almacenados en memoria. (2) El objetivo del análisis incremental es, dado un programa, los resultados de su análisis y una serie de cambios sobre el programa, obtener los nuevos resultados del análisis de la forma más eficiente posible, evitando reanalizar aquellos fragmentos de código que no se hayan visto afectados por los cambios. Los analizadores actuales todavía leen y analizan el programa completo de forma no incremental. Esta tesis presenta un análisis de coste incremental, que, dado un cambio en el programa, reconstruye la información sobre el coste del programa de todos los métodos afectados por el cambio de forma incremental. Para esto, proponemos (i) un algoritmo multi-dominio y de punto fijo que puede ser utilizado en todos los análisis globales necesarios para inferir el coste, y (ii) una novedosa forma de almacenar las expresiones de coste que nos permite reconstruir de forma incremental únicamente las funciones de coste de aquellos componentes afectados por el cambio. (3) Las garantías de coste obtenidas de forma automática por herramientas de análisis estático no son consideradas totalmente fiables salvo que la implementación de la herramienta o los resultados obtenidos sean verificados formalmente. Llevar a cabo el análisis de estas herramientas es una tarea titánica, ya que se trata de herramientas de gran tamaño y complejidad. En esta tesis nos centramos en el desarrollo de un marco formal para la verificación de las garantías de coste obtenidas por los analizadores en lugar de analizar las herramientas. Hemos implementado esta idea mediante la herramienta COSTA, un analizador de coste para programas Java y KeY, una herramienta de verificación de programas Java. De esta forma, COSTA genera las garantías de coste, mientras que KeY prueba la validez formal de los resultados obtenidos, generando de esta forma garantías de coste verificadas. (4) Hoy en día la concurrencia y los programas distribuidos son clave en el desarrollo de software. Los objetos concurrentes son un modelo de concurrencia asentado para el desarrollo de sistemas concurrentes. En este modelo, los objetos son las unidades de concurrencia y se comunican entre ellos mediante llamadas asíncronas a sus métodos. La distribución de las tareas sugiere que el análisis de coste debe inferir el coste de los diferentes componentes distribuidos por separado. En esta tesis proponemos un análisis de coste sensible a objetos que, utilizando los resultados obtenidos mediante un análisis de apunta-a, mantiene el coste de los diferentes componentes de forma independiente. Abstract Resource Analysis (a.k.a. Cost Analysis) tries to approximate the cost of executing programs as functions on their input data sizes and without actually having to execute the programs. While a powerful resource analysis framework on object-oriented programs existed before this thesis, advanced aspects to improve the efficiency, the accuracy and the reliability of the results of the analysis still need to be further investigated. This thesis tackles this need from the following four different perspectives. (1) Shared mutable data structures are the bane of formal reasoning and static analysis. Analyses which keep track of heap-allocated data are referred to as heap-sensitive. Recent work proposes locality conditions for soundly tracking field accesses by means of ghost non-heap allocated variables. In this thesis we present two extensions to this approach: the first extension is to consider arrays accesses (in addition to object fields), while the second extension focuses on handling cases for which the locality conditions cannot be proven unconditionally by finding aliasing preconditions under which tracking such heap locations is feasible. (2) The aim of incremental analysis is, given a program, its analysis results and a series of changes to the program, to obtain the new analysis results as efficiently as possible and, ideally, without having to (re-)analyze fragments of code that are not affected by the changes. During software development, programs are permanently modified but most analyzers still read and analyze the entire program at once in a non-incremental way. This thesis presents an incremental resource usage analysis which, after a change in the program is made, is able to reconstruct the upper-bounds of all affected methods in an incremental way. To this purpose, we propose (i) a multi-domain incremental fixed-point algorithm which can be used by all global analyses required to infer the cost, and (ii) a novel form of cost summaries that allows us to incrementally reconstruct only those components of cost functions affected by the change. (3) Resource guarantees that are automatically inferred by static analysis tools are generally not considered completely trustworthy, unless the tool implementation or the results are formally verified. Performing full-blown verification of such tools is a daunting task, since they are large and complex. In this thesis we focus on the development of a formal framework for the verification of the resource guarantees obtained by the analyzers, instead of verifying the tools. We have implemented this idea using COSTA, a state-of-the-art cost analyzer for Java programs and KeY, a state-of-the-art verification tool for Java source code. COSTA is able to derive upper-bounds of Java programs while KeY proves the validity of these bounds and provides a certificate. The main contribution of our work is to show that the proposed tools cooperation can be used for automatically producing verified resource guarantees. (4) Distribution and concurrency are today mainstream. Concurrent objects form a well established model for distributed concurrent systems. In this model, objects are the concurrency units that communicate via asynchronous method calls. Distribution suggests that analysis must infer the cost of the diverse distributed components separately. In this thesis we propose a novel object-sensitive cost analysis which, by using the results gathered by a points-to analysis, can keep the cost of the diverse distributed components separate.

Multiple Hashing Integration for Real-Time Large Scale Part-to-Part Video Matching

A real-time large scale part-to-part video matching algorithm, based on the cross correlation of the intensity of motion curves, is proposed with a view to originality recognition, video database cleansing, copyright enforcement, video tagging or video result re-ranking. Moreover, it is suggested how the most representative hashes and distance functions - strada, discrete cosine transformation, Marr-Hildreth and radial - should be integrated in order for the matching algorithm to be invariant against blur, compression and rotation distortions: (R; _) 2 [1; 20]_[1; 8], from 512_512 to 32_32pixels2 and from 10 to 180_. The DCT hash is invariant against blur and compression up to 64x64 pixels2. Nevertheless, although its performance against rotation is the best, with a success up to 70%, it should be combined with the Marr-Hildreth distance function. With the latter, the image selected by the DCT hash should be at a distance lower than 1.15 times the Marr-Hildreth minimum distance.

Optimal Piecewise Linear Function Approximation for GPU-based Applications

Many computer vision and human-computer interaction applications developed in recent years need evaluating complex and continuous mathematical functions as an essential step toward proper operation. However, rigorous evaluation of this kind of functions often implies a very high computational cost, unacceptable in real-time applications. To alleviate this problem, functions are commonly approximated by simpler piecewise-polynomial representations. Following this idea, we propose a novel, efficient, and practical technique to evaluate complex and continuous functions using a nearly optimal design of two types of piecewise linear approximations in the case of a large budget of evaluation subintervals. To this end, we develop a thorough error analysis that yields asymptotically tight bounds to accurately quantify the approximation performance of both representations. It provides an improvement upon previous error estimates and allows the user to control the trade-off between the approximation error and the number of evaluation subintervals. To guarantee real-time operation, the method is suitable for, but not limited to, an efficient implementation in modern Graphics Processing Units (GPUs), where it outperforms previous alternative approaches by exploiting the fixed-function interpolation routines present in their texture units. The proposed technique is a perfect match for any application requiring the evaluation of continuous functions, we have measured in detail its quality and efficiency on several functions, and, in particular, the Gaussian function because it is extensively used in many areas of computer vision and cybernetics, and it is expensive to evaluate.

Efficient PGD-based dynamic calculation of non-linear soil behavior

Non-linear behavior of soils during a seismic event has a predominant role in current site response analysis. Soil response analysis consistently indicates that the stress-strain relationship of soils is nonlinear and shows hysteresis. When focusing in forced response simulations, time integrations based on modal analysis are widely considered, however parametric analysis, non-linear behavior and complex damping functions make difficult the online use of standard discretization strategies, e.g. those based on the use of finite element. In this paper we propose a new harmonic analysis formulation, able to address forced response simulation of soils exhibiting their characteristic nonlinear behavior. The solution can be evaluated in real-time from the offline construction of a parametric solution of the associated linearized problem within the Proper Generalized Decomposition framework.

Lo intermedio como lugar : lo intersticial, lo fronterizo y lo impreciso en la arquitectura contemporánea

1. Nuestra investigación se centra en el estudio de los “ámbitos o espacios intermedios” en momentos de la arquitectura contemporánea, en un período de transición entre finales de los años 80 y nuestros días. Pretendemos analizar cómo se presenta el ámbito intermedio en el objeto o lugar arquitectónico y su función o relación con el entorno cercano, desde el proyecto hasta su repercusión en la experiencia vivida. 2. El concepto de intermedio entendido como ámbito o espacio intersticial, fronterizo y ambivalente (o multivalente), atraviesa en la presente investigación el campo de la etimología, de la ciencia, del pensamiento y del arte, para detenerse en la arquitectura actual, llevándose a cabo una indagación concreta en el proceso de concepción, en la propuesta formal, espacial y funcional, así como en la percepción y demás experiencias o vivencias en el lugar arquitectónico. 3. En primer lugar nos proponemos estudiar y explorar el concepto de “intermedio” en sus características, funciones y ubicaciones dentro de la cultura contemporánea, detectando sus antecedentes culturales más importantes, para a continuación aplicarlo reflexivamente a obras significativas de arquitectura. La investigación se enfoca en la modalidad figural (imprecisa) de lo intermedio (en alusión al “figural” deleuziano), cuyas metáforas base son lo translúcido, la penumbra y la espuma, vinculadas al actual paradigma cultural de la complejidad (C. Jencks). A continuación se analizan las relaciones o implicaciones de dicha modalidad figural en obras de arquitectos como Eisenman, Holl, Tschumi, Ito, Fujimoto, Van Berkel y Bos, y Siza, comprobando su valor operativo y poniendo de manifiesto su sentido e importancia en la actualidad y en la disciplina. El estudio tiene como trasfondo el concepto de in-between de la obra de Eisenman, y utiliza conceptos de la filosofía del límite de Trías como algunos de sus principales fundamentos. 4. En cada una de las obras de arquitectura presentadas esta modalidad imprecisa se traduce en un ámbito o espacio intermedio figural específico. Son obras en las que real y virtual, matricial y objetual, arquitectura y territorio, existente y nuevo, colectivo e individual, social e íntimo, interior y exterior, y demás usos y funciones se entrelazan o funden. Son arquitecturas cuya geometría ya no se encuentra tan determinada por aspectos bi o tridimensionales del dibujo o de la construcción. A través de la manipulación de estas geometrías más o menos complejas, dinámicas e intersticiales, estas obras reflejan (o intuyen) las premisas del actual Zeitgeist: un cambio de esquemas de objetos a relaciones basado en un pensamiento más holístico, transdisciplinar, sistémico o complejo (E. Morin), y una nueva conciencia colectiva sobre la realidad que anuncia la crisis de la percepción, el cambio de paradigma y nuevos valores (F. Capra). Emerge otra forma de sentir y percibir el mundo, los lugares y los espacios, que poco a poco está cambiando el modo de pensar y dibujar la arquitectura, y consecuentemente de interaccionar con ella. 5. El sentido del espacio intermedio figural, emerge en las cada vez más complejas cualidades morfológico-espaciales y funcionales de una parte importante de la arquitectura actual. Arquitectura, geometría y tecnología informática están más entrelazadas que nunca, y de un modo más libre, para así poder indagar en nuevas formas de pensar y crear lugares en que los “espacios intermedios” que investigamos son un testimonio. El espacio arquitectónico se vuelve afectivo e interactivo, un lugar intermedio figural, formalizado por espacialidades intersticiales que parecen aludir a lo líquido, donde la forma es más matriz que configuración, el espacio más espacialidad que compartimiento, la función más versátil y multivalente que específica o autónoma, y la perplejidad, la imaginación y la evocación se entrecruzan y vuelven patentes. 6. La arquitectura de los lugares intermedios valora no solamente el “plano”, la “configuración” y la “transparencia”, sino sobre todo el “espacio” y la “relación” en sus interrelaciones con los usuarios y demás contextos. De la identidad a la relacionalidad, de la representación a la presentación, es una arquitectura que propone “otros espacios” que más que espacios son topografías y espacialidades intersticiales, de tensión, transición, transformación, relación, intercambio e interacción. Son lugares intermedios reales y virtuales, que se sirven tanto de la morfología como de la topología para conquistar nuevas espacialidades, pretendiendo salir de la estricta operación de “forming”/”morphing”/formación/”conformación” para explorar la de “spacing”/espaciamiento. Son lugares que se basan en conceptos como la zona de indiscernibilidad de Deleuze, la imagen- flujo de Buci-Glucksmann, la suspensión-entre de Sloterdijk, o el espacio no-objetivo al que se refiere José Gil, plasmándose en la arquitectura contemporánea como tropos de lo intersticial. 7. Son los lugares intermedios de la arquitectura actual, de espacialidad háptica, más “afectiva”, generativa e interactiva, donde ese ámbito intermedio transforma y es transformado, “afecta”, “con-mueve” (nos hace mover/accionar) y evoca otros lugares, otras posibilidades de espacio habitable u ocupable. Emerge lo intermedio como lugar, algo que anuncia y exhibe, de manera paradigmática y manifiesta, el monumento de Eisenman en Berlín. ABSTRACT 1. Our research focuses on the study of “in-between spaces or environments” at particular times in contemporary architecture, in a transition period from the end of the 1980’s through to today. We aim to analyse how in-between environments are presented in the architectural object or place and their function or their relationship with the nearby surroundings, from the project through to the experience had. 2. In this research, the in-between concept, understood as an interstitial, border and ambivalent (or multi-purpose) environment or space, is assessed from the viewpoint of etymology, science, thought and art, to conclude in current architecture, with specific exploration of the conception process, of the formal, spatial and functional proposal, together with the perception and other experiences in the architectural place. 3. Firstly, we aim to study and explore the “in-between” concept as regards its features, functions and locations within contemporary culture, revealing its most important cultural background, to then apply it reflexively to important works of architecture. The research focuses on the figural (imprecise) mode of in-between (in allusion to Deleuze’s “figural” approach) whose base metaphors are the translucent, semi-darkness and foam, linked to the current cultural paradigm of complexity (C. Jenks). We then go on to assess the relationships or implications of said figural mode in architectural works by Eisenman, Holl, Tschumi, Ito, Fujimoto, Van Berkel and Bos, and Siza, verifying their operational worth and revealing their meaning and importance today and in this discipline. The backdrop of the study is the in-between concept of Eisenman’s work and it also uses concepts from the philosophy of the limit of Trías as its main underpinnings. 4. In each of the architectural works presented, this imprecise mode is translated into a specific in-between environment or space. They are works in which real and virtual, matricial and objectual, architecture and territory, existing and new, collective and individual, social and intimate, interior and exterior and other uses and functions all intertwine or blend together. They are architectures the geometry of which is not so much determined by bi- or tri-dimensional aspects of the drawing or construction. Through the manipulation of these more or less complex, dynamic and interstitial geometries, these works reflect (or insinuate) the premises of the current Zeitgeist: A change in the scheme of objects to relationships towards a more holistic, transdisciplinary, systemic or complex thought (E. Morin), and a new collective conscience about the reality which announces the crisis of perception, the change in paradigm and new values (F. Capra). Another way of feeling and perceiving the world, places and spaces, which little by little is changing the way of thinking and drawing architecture and hence of interacting with it. 5. The meaning of figural in-between space emerges in the increasingly complex, morphological-spatial and functional qualities of a large part of architecture today. Architecture, geometry and computer technology are more than ever intertwined in a freer way to inquire into other ways of thinking and making places, where the “in-between” spaces we research are a testimony. Architectural space becomes affective and interactive, a figural in-between place, formed by interstitial spatiality which seems to allude to something liquid, where shape is more matrix than configuration, space more spatiality than compartment, its function more versatile and multi-purpose than specific or autonomous, and perplexity, imagination and evocation criss-cross each other, becoming obvious. 6. The architecture of in-between places values not only “flat”, “configuration” and “transparency”, but above all “space” and the “relationship” in its interrelations with users and other contexts. From identity to relationality, from representation to presentation, it is an architecture that proposes “other spaces”, which more than spaces are topographies and interstitial spatialities, of tension, transition, transformation, relation, exchange and interaction. They are real and virtual in-between places, that take in both morphology and topology to conquer new spatialities, aiming to depart from the strict “forming”/”morphing” operation in order to explore “spacing”. They are places that derive both from Deleuze’s indiscernibility zone concept, from Buci-Glucksmann´s image-flow concept, from Sloterdijk’s suspension-between, and from the non-objective space referred to by José Gil, and they are embodied in contemporary architecture as tropes of the interstitial. 7. They are the in-between places in architecture today, of haptic spatiality, more “affective”, generative and interactive, where that in-between environment transforms and is transformed, “affects”, “moves” (it makes us move/act) and evokes other places, other possibilities of habitable or occupiable space. The in-between emerges as a place, which paradigmatically and declaredly, Eisenman´s monument in Berlin announces and exhibits. RESUMO 1. A investigação centra-se no estudo dos “âmbitos ou espaços intermédios” em momentos da arquitectura contemporânea, no período de transição entre os finais dos anos 80 e os nossos dias. Pretende-se analisar como se apresenta o âmbito intermédio no objecto ou lugar arquitectónico e sua função ou relação com o meio envolvente, desde o projecto até à sua repercussão na experiencia vivenciada. 2. O conceito de intermédio entendido como âmbito ou espaço intersticial, fronteiriço e ambivalente (ou multivalente), atravessa na presente investigação o campo da etimologia, da ciência, do pensamento e da arte, para deter-se na arquitectura actual, realizando-se uma indagação concreta no processo de concepção, na proposta formal, espacial e funcional, assim como na percepção e demais experiencias ou vivencias no lugar arquitectónico. 3. Em primeiro lugar, explora-se o conceito de “intermédio” nas suas características, funções e concretizações na cultura contemporânea, detectando os seus antecedentes culturais mais importantes, para em seguida aplicá-lo reflexivamente a obras significativas de arquitectura. A investigação centra-se na modalidade figural (imprecisa) do intermédio (alusão ao figural deleuziano) cujas metáforas base são o translúcido, a penumbra e a espuma, relacionadas com o actual paradigma da complexidade (C. Jencks). Em seguida analisam-se as relações ou implicações da referida modalidade figural em obras de arquitectos como Eisenman, Holl, Tschumi, Ito, Fujimoto, Van Berkel e Bos, e Siza, como modo de comprovar o seu valor operativo e revelar o seu sentido e importância na actualidade e na disciplina. O estudo tem como referencia o conceito de in-between da obra de Eisenman, e utiliza conceitos da filosofia do limite de Trias como alguns dos seus principais fundamentos. 4. Em cada uma das obras de arquitectura apresentadas esta modalidade imprecisa traduz-se num âmbito ou espaço intermédia figural especifico. São obras nas quais real e virtual, matricial e objectual, arquitectura e território, existente e novo, colectivo e individual, social e intimo, interior e exterior, e outros usos e funções se entrelaçam ou fundem. São arquitecturas cuja geometria já não está tão determinada por aspectos bi ou tridimensionais do desenho ou da construção. Através do uso destas geometrias mais ou menos complexas, dinâmicas e intersticiais, estas obras reflectem (ou intuem) as premissas do actual zeitgeist: uma mudança de esquemas de objectos a relações para um pensamento mais holístico, transdisciplinar, sistémico ou complexo (E. Morin) e uma nova consciência colectiva sobre a realidade, que anuncia a crise da percepção, a mudança de paradigma e novos valores (F. Capra). Emerge uma outra forma de sentir e perceber o mundo, os lugares e os espaços, que gradualmente vai alterando o modo de pensar e desenhar a arquitectura, e consequentemente de interagir com ela. 5. O sentido do espaço intermédio figural, emerge nas cada vez mais complexas qualidades morfológico-espaciais e funcionais de uma parte importante da arquitectura actual. Cada vez mais, arquitectura, geometria e tecnologia informática, relacionam-se de um modo mais livre para indagar outras formas de pensar e fazer lugares, onde os espaços intermédios que investigamos são um testemunho. O espaço arquitectónico torna-se afectivo e interactivo, um lugar intermédio figural, formalizado por espacialidades intersticiais que parecem aludir ao estado liquido, onde a forma é mais matriz que configuração, o espaço mais espacialidade que compartimento, a função mais versátil e multivalente que especifica ou autónoma, e a perplexidade, a imaginação e a evocação entrecruzam-se e tornam-se patentes. 6. A arquitectura dos lugares intermédios valoriza não só o “plano”, a “configuração” e a “transparência”, mas sobretudo o” espaço” e a ”relação” nas suas inter-relações com os utentes e restante contextos. Da identidade à relacionalidade, da representação à apresentação, é uma arquitectura que propõe “outros espaços”, que além de espaços são topografias e espacialidades intersticiais, de tensão, transição, transformação, relação, intercambio e interacção. São lugares intermédios reais e virtuais que utilizam tanto a morfologia como a topologia para conquistar novas espacialidades, pretendendo ultrapassar a estrita operação de “forming”/“morphing”/formação para explorar a de “spacing”/espaçamento. São lugares que se apoiam tanto no conceito de zona de indescernibilidade de Deleuze, como na de imagem-fluxo de Buci-Glucksmann como no de suspensão–entre de Sloterdijk ou de espaço-não objectivo que refere José Gil, e se plasmam na arquitectura contemporânea como tropos do intersticial. 7. São os lugares intermédios da arquitectura actual, de espacialidade háptica, mais “afectiva”, generativa e interactiva, onde esse âmbito intermédio transforma e é transformado, “afecta”, ”co-move “(nos faz mover/agir) e evoca outros lugares, outras possibilidades de espaço habitável ou ocupável. Emerge o intermédio como lugar que, paradigmática e manifestamente, o monumento de Eisenmann em Berlim, anuncia e exibe.

Parallel Computer Vision Algorithms for Graphics Processing Units

La evolución de los teléfonos móviles inteligentes, dotados de cámaras digitales, está provocando una creciente demanda de aplicaciones cada vez más complejas que necesitan algoritmos de visión artificial en tiempo real; puesto que el tamaño de las señales de vídeo no hace sino aumentar y en cambio el rendimiento de los procesadores de un solo núcleo se ha estancado, los nuevos algoritmos que se diseñen para visión artificial han de ser paralelos para poder ejecutarse en múltiples procesadores y ser computacionalmente escalables. Una de las clases de procesadores más interesantes en la actualidad se encuentra en las tarjetas gráficas (GPU), que son dispositivos que ofrecen un alto grado de paralelismo, un excelente rendimiento numérico y una creciente versatilidad, lo que los hace interesantes para llevar a cabo computación científica. En esta tesis se exploran dos aplicaciones de visión artificial que revisten una gran complejidad computacional y no pueden ser ejecutadas en tiempo real empleando procesadores tradicionales. En cambio, como se demuestra en esta tesis, la paralelización de las distintas subtareas y su implementación sobre una GPU arrojan los resultados deseados de ejecución con tasas de refresco interactivas. Asimismo, se propone una técnica para la evaluación rápida de funciones de complejidad arbitraria especialmente indicada para su uso en una GPU. En primer lugar se estudia la aplicación de técnicas de síntesis de imágenes virtuales a partir de únicamente dos cámaras lejanas y no paralelas—en contraste con la configuración habitual en TV 3D de cámaras cercanas y paralelas—con información de color y profundidad. Empleando filtros de mediana modificados para la elaboración de un mapa de profundidad virtual y proyecciones inversas, se comprueba que estas técnicas son adecuadas para una libre elección del punto de vista. Además, se demuestra que la codificación de la información de profundidad con respecto a un sistema de referencia global es sumamente perjudicial y debería ser evitada. Por otro lado se propone un sistema de detección de objetos móviles basado en técnicas de estimación de densidad con funciones locales. Este tipo de técnicas es muy adecuada para el modelado de escenas complejas con fondos multimodales, pero ha recibido poco uso debido a su gran complejidad computacional. El sistema propuesto, implementado en tiempo real sobre una GPU, incluye propuestas para la estimación dinámica de los anchos de banda de las funciones locales, actualización selectiva del modelo de fondo, actualización de la posición de las muestras de referencia del modelo de primer plano empleando un filtro de partículas multirregión y selección automática de regiones de interés para reducir el coste computacional. Los resultados, evaluados sobre diversas bases de datos y comparados con otros algoritmos del estado del arte, demuestran la gran versatilidad y calidad de la propuesta. Finalmente se propone un método para la aproximación de funciones arbitrarias empleando funciones continuas lineales a tramos, especialmente indicada para su implementación en una GPU mediante el uso de las unidades de filtraje de texturas, normalmente no utilizadas para cómputo numérico. La propuesta incluye un riguroso análisis matemático del error cometido en la aproximación en función del número de muestras empleadas, así como un método para la obtención de una partición cuasióptima del dominio de la función para minimizar el error. ABSTRACT The evolution of smartphones, all equipped with digital cameras, is driving a growing demand for ever more complex applications that need to rely on real-time computer vision algorithms. However, video signals are only increasing in size, whereas the performance of single-core processors has somewhat stagnated in the past few years. Consequently, new computer vision algorithms will need to be parallel to run on multiple processors and be computationally scalable. One of the most promising classes of processors nowadays can be found in graphics processing units (GPU). These are devices offering a high parallelism degree, excellent numerical performance and increasing versatility, which makes them interesting to run scientific computations. In this thesis, we explore two computer vision applications with a high computational complexity that precludes them from running in real time on traditional uniprocessors. However, we show that by parallelizing subtasks and implementing them on a GPU, both applications attain their goals of running at interactive frame rates. In addition, we propose a technique for fast evaluation of arbitrarily complex functions, specially designed for GPU implementation. First, we explore the application of depth-image–based rendering techniques to the unusual configuration of two convergent, wide baseline cameras, in contrast to the usual configuration used in 3D TV, which are narrow baseline, parallel cameras. By using a backward mapping approach with a depth inpainting scheme based on median filters, we show that these techniques are adequate for free viewpoint video applications. In addition, we show that referring depth information to a global reference system is ill-advised and should be avoided. Then, we propose a background subtraction system based on kernel density estimation techniques. These techniques are very adequate for modelling complex scenes featuring multimodal backgrounds, but have not been so popular due to their huge computational and memory complexity. The proposed system, implemented in real time on a GPU, features novel proposals for dynamic kernel bandwidth estimation for the background model, selective update of the background model, update of the position of reference samples of the foreground model using a multi-region particle filter, and automatic selection of regions of interest to reduce computational cost. The results, evaluated on several databases and compared to other state-of-the-art algorithms, demonstrate the high quality and versatility of our proposal. Finally, we propose a general method for the approximation of arbitrarily complex functions using continuous piecewise linear functions, specially formulated for GPU implementation by leveraging their texture filtering units, normally unused for numerical computation. Our proposal features a rigorous mathematical analysis of the approximation error in function of the number of samples, as well as a method to obtain a suboptimal partition of the domain of the function to minimize approximation error.